title: Effect of interface on mid-infrared photothermal response of MoS2 thin film grown by pulsed laser deposition

abstract: Here we report mid infrared (mid-IR) photothermal response of multi layer MoS2 thin film grown on crystalline (p-type silicon and c-axis oriented single crystal sapphire) and amorphous substrates (Si/SiO2 and Si/SiN) by pulsed laser deposition (PLD) technique. The photothermal response of the MoS2 films was measured as changes in the resistance of MoS2 films when irradiated with mid IR (7 to 8.2 {\mu}m) source. We show that it is possible to enhance the temperature coefficient of resistance (TCR) of the MoS2 thin film by controlling the interface through proper choice of substrate and growth conditions. The thin films grown by PLD were characterized using XRD, Raman, AFM, XPS and TEM. High-resolution transmission electron microscopy (HRTEM) images show that the MoS2 films grow on sapphire substrate in a layer-by-layer manner with misfit dislocations. Layer growth morphology is disrupted when grown on substrates with diamond cubic structure such as silicon due to growth twin formation. The growth morphology is very different on amorphous substrates such as Si/SiO2 or Si/SiN. The MoS2 film grown on silicon shows a very high TCR (-2.9% K-1), mid IR sensitivity (delR/R=5.2 %) and responsivity (8.7 V/W) as compared to films on other substrates.


title: On the efficient representation and execution of deep acoustic models

abstract: In this paper we present a simple and computationally efficient quantization scheme that enables us to reduce the resolution of the parameters of a neural network from 32-bit floating point values to 8-bit integer values. The proposed quantization scheme leads to significant memory savings and enables the use of optimized hardware instructions for integer arithmetic, thus significantly reducing the cost of inference. Finally, we propose a "quantization aware" training process that applies the proposed scheme during network training and find that it allows us to recover most of the loss in accuracy introduced by quantization. We validate the proposed techniques by applying them to a long short-term memory-based acoustic model on an open-ended large vocabulary speech recognition task.


title: Koll\'ar--Nadel type vanishing theorem

abstract: We prove an analytic generalization of Koll\'ar's vanishing theorem, which contains the Nadel vanishing theorem as a special case.


title: The geometric approach for constructing Sinai-Ruelle-Bowen measures

abstract: An important class of `physically relevant' measures for dynamical systems with hyperbolic behavior is given by Sinai-Ruelle-Bowen (SRB) measures. We survey various techniques for constructing SRB measures and studying their properties, paying special attention to the geometric `push-forward' approach. After describing this approach in the uniformly hyperbolic setting, we review recent work that extends it to non-uniformly hyperbolic systems.


title: Cosmology and Astrophysics from Relaxed Galaxy Clusters V: Consistency with Cold Dark Matter Structure Formation

abstract: This is the fifth in a series of papers studying the astrophysics and cosmology of massive, dynamically relaxed galaxy clusters. Our sample comprises 40 clusters identified as being dynamically relaxed and hot in Papers I and II of this series. Here we use constraints on cluster mass profiles from X-ray data to test some of the basic predictions of cosmological structure formation in the Cold Dark Matter (CDM) paradigm. We present constraints on the concentration--mass relation for massive clusters, finding a power-law mass dependence with a slope of $\kappa_m=-0.16\pm0.07$, in agreement with CDM predictions. For this relaxed sample, the relation is consistent with a constant as a function of redshift (power-law slope with $1+z$ of $\kappa_\zeta=-0.17\pm0.26$), with an intrinsic scatter of $\sigma_{\ln c}=0.16\pm0.03$. We investigate the shape of cluster mass profiles over the radial range probed by the data (typically $\sim50$kpc--1Mpc), and test for departures from the simple Navarro, Frenk & White (NFW) form, for which the logarithmic slope of the density profile tends to $-1$ at small radii. Specifically, we consider as alternatives the generalized NFW (GNFW) and Einasto parametrizations. For the GNFW model, we find an average value of (minus) the logarithmic inner slope of $\beta=1.02\pm0.08$, with an intrinsic scatter of $\sigma_\beta=0.22\pm0.07$, while in the Einasto case we constrain the average shape parameter to be $\alpha=0.29\pm0.04$ with an intrinsic scatter of $\sigma_\alpha=0.12\pm0.04$. Our results are thus consistent with the simple NFW model on average, but we clearly detect the presence of intrinsic, cluster-to-cluster scatter about the average.


title: A new astrobiological model of the atmosphere of Titan

abstract: We present results of an investigation into the formation of nitrogen-bearing molecules in the atmosphere of Titan. We extend a previous model (Li et al. 2015, 2016) to cover the region below the tropopause, so the new model treats the atmosphere from Titan's surface to an altitude of 1500 km. We consider the effects of condensation and sublimation using a continuous, numerically stable method. This is coupled with parameterized treatments of the sedimentation of the aerosols and their condensates, and the formation of haze particles. These processes affect the abundances of heavier species such as the nitrogen-bearing molecules, but have less effect on the abundances of lighter molecules. Removal of molecules to form aerosols also plays a role in determining the mixing ratios, in particular of HNC, HC3N and HCN. We find good agreement with the recently detected mixing ratios of C2H5CN, with condensation playing an important role in determining the abundance of this molecule below 500 km. Of particular interest is the chemistry of acrylonitrile (C2H3CN) which has been suggested by Stevenson et al. (2015) as a molecule that could form biological membranes in an oxygen-deficient environment. With the inclusion of haze formation we find good agreement of our model predictions of acrylonitrile with the available observations.


title: On the definability of Menger spaces which are not /sigma-compact

abstract: Hurewicz proved completely metrizable Menger spaces are /sigma-compact. We extend this to Cech-complete Menger spaces and consistently to projective Menger metrizable spaces. On the other hand, it is consistent that there is a co-analytic Menger space that is not /sigma-compact.


title: Automated construction of maximally localized Wannier functions for bands with nontrivial topology

abstract: We show that an optimized projection functions method can automatically construct maximally localized Wannier functions even for bands with nontrivial topology. We demonstrate this method on a tight-binding model of a two-dimensional $\mathbb{Z}_2$ topological insulator, on a three-dimensional strong $\mathbb{Z}_2$ topological insulator, as well as on first-principles density functional theory calculated valence states of Bi$_2$Se$_3$. In all cases, the resulting Wannier functions contain large imaginary components and are more extended than those in the topologically trivial phase.


title: Probabilistic call by push value

abstract: We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both call-by-name and call-by-value and featuring recursive (possibly lazy) data types. We interpret the language in the previously introduced denotational model of probabilistic coherence spaces, a categorical model of full classical Linear Logic, interpreting data types as coalgebras for the resource comonad. We prove adequacy and full abstraction, generalizing earlier results to a much more realistic and powerful programming language.


title: Frequency Shifts Induced by Field Gradients in Muon $g-2$ Experiments

abstract: Two prominent efforts aimed at probing beyond Standard Model physics, searches for a neutron electric dipole moment (EDM) and measurements of the muon $g-2$ anomalous magnetic moment, employ spin precession techniques. In the most recent neutron EDM experiment, frequency shifts induced by magnetic field gradients and $\mathbf{E} \times \mathbf{v}$ motional fields were a significant source of systematic error. We consider the possibility of a similar effect in the most recent muon $g-2$ experiment, and find that such an effect could potentially be as large as $\sim 1$ ppm fractional error, to be compared with the reported $\sim 0.5$ ppm error.


title: On the Asymptotic Behavior of Variance of PLRS Decompositions

abstract: A positive linear recurrence sequence is of the form $H_{n+1} = c_1 H_n + \cdots + c_L H_{n+1-L}$ with each $c_i \ge 0$ and $c_1 c_L > 0$, with appropriately chosen initial conditions. There is a notion of a legal decomposition (roughly, given a sum of terms in the sequence we cannot use the recurrence relation to reduce it) such that every positive integer has a unique legal decomposition using terms in the sequence; this generalizes the Zeckendorf decomposition, which states any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers. Previous work proved not only that a decomposition exists, but that the number of summands $K_n(m)$ in legal decompositions of $m \in [H_n, H_{n+1})$ converges to a Gaussian. Using partial fractions and generating functions it is easy to show the mean and variance grow linearly in $n$: $a n + b + o(1)$ and $C n + d + o(1)$, respectively; the difficulty is proving $a$ and $C$ are positive. Previous approaches relied on delicate analysis of polynomials related to the generating functions and characteristic polynomials, and is algebraically cumbersome. We introduce new, elementary techniques that bypass these issues. The key insight is to use induction and bootstrap bounds through conditional probability expansions to show the variance is unbounded, and hence $C > 0$ (the mean is handled easily through a simple counting argument).


title: Generalzed Bessel Recursion Relations

abstract: This paper presents the equality of finite index sums of Bessel func- tions containing arbitrary numbers of terms. These reduce to the familiar three term recursion formulas in simple cases.


title: Pulse Width Modulation for Speeding Up Quantum Optimal Control Design

abstract: This paper focuses on accelerating quantum optimal control design for complex quantum systems. Based on our previous work [{arXiv:1607.04054}], we combine Pulse Width Modulation (PWM) and gradient descent algorithm into solving quantum optimal control problems, which shows distinct improvement of computational efficiency in various cases. To further apply this algorithm to potential experiments, we also propose the smooth realization of the optimized control solution, e.g. using Gaussian pulse train to replace rectangular pulses. Based on the experimental data of the D-Norleucine molecule, we numerically find optimal control functions in $3$-qubit and $6$-qubit systems, and demonstrate its efficiency advantage compared with basic GRAPE algorithm.


title: On QoS-assured degraded provisioning in service-differentiated multi-layer elastic optical networks

abstract: The emergence of new network applications is driving network operators to not only fulfill dynamic bandwidth requirements, but offer various grades of service. Degraded provisioning provides an effective solution to flexibly allocate resources in various dimensions to reduce blocking for differentiated demands when network congestion occurs. In this work, we investigate the novel problem of online degraded provisioning in service-differentiated multi-layer networks with optical elasticity. Quality of Service (QoS) is assured by service-holding-time prolongation and immediate access as soon as the service arrives without set-up delay. We decompose the problem into degraded routing and degraded resource allocation stages, and design polynomial-time algorithms with the enhanced multi-layer architecture to increase the network flexibility in temporal and spectral dimensions. Illustrative results verify that we can achieve significant reduction of network service failures, especially for requests with higher priorities. The results also indicate that degradation in optical layer can increase the network capacity, while the degradation in electric layer provides flexible time-bandwidth exchange.


title: Spectrum and electromagnetic transitions of bottomonium

abstract: Stimulated by the exciting progress in the observation of new bottomonium states, we study the bottomonium spectrum. To calculate the mass spectrum, we adopt a nonrelativistic screened potential model. The radial Schr\"{o}dinger equation is solved with the three-point difference central method, where the spin-dependent potentials are dealt with non-perturbatively. With this treatment, the corrections of the spin-dependent potentials to the wave functions can be included successfully. Furthermore, we calculate the electromagnetic transitions of the $nS$ ($n\leq 4$), $nP$ ($n\leq 3$), and $nD$ ($n\leq 2$) bottomonium states with a nonrelativistic electromagnetic transition operator widely applied to meson photoproduction reactions. Our predicted masses, hyperfine and fine splittings, electromagnetic transition widths and branching ratios of the bottomonium states are in good agreement with the available experimental data. Especially, the EM transitions of $\Upsilon(3S)\to \chi_{b1,2}(1P)\gamma$, which were not well understood in previous studies, can be reasonably explained by considering the corrections of the spin-dependent interactions to the wave functions. We also discuss the observations of the missing bottomonium states by using radiative transitions. Some important radiative decay chains involving the missing bottomonium states are suggested to be observed. We hope our study can provide some useful references to observe and measure the properties of bottomonium mesons in forthcoming experiments.


title: Test the chiral magnetic effect with isobaric collisions

abstract: The quark-gluon matter produced in relativistic heavy-ion collisions may contain local domains in which P and CP symmetries are not preserved. When coupled with an external magnetic field, such P- and CP-odd domains will generate electric currents along the magnetic field --- a phenomenon called the chiral magnetic effect (CME). Recently, the STAR Collaboration at RHIC and the ALICE Collaboration at the LHC released data of charge-dependent azimuthal-angle correlators with features consistent with the CME expectation. However, the experimental observable is contaminated with significant background contributions from elliptic-flow-driven effects, which makes the interpretation of the data ambiguous. In this Letter, we show that the collisions of isobaric nuclei, $^{96}_{44}$Ru + $^{96}_{44}$Ru and $^{96}_{40}$Zr + $^{96}_{40}$Zr, provide an ideal tool to disentangle the CME signal from the background effects. Our simulation demonstrates that the two collision types at $\sqrt{s_{\rm NN}}=200$ GeV have more than $10\%$ difference in the CME signal and less than $2\%$ difference in the elliptic-flow-driven backgrounds for the centrality range of $20-60\%$.


title: Lifting Subgroups of Symplectic Groups over $\mathbb{Z} / \ell \mathbb{Z}$

abstract: For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The result and the method of proof are both motivated by group-theoretic considerations that arise in the study of Galois representations associated to abelian varieties.


title: The "Riemann Hypothesis" is True for Period Polynomials of Almost All Newforms

abstract: The period polynomial $r_f(z)$ for a weight $k \geq 3$ newform $f \in S_k(\Gamma_0(N),\chi)$ is the generating function for special values of $L(s,f)$. The functional equation for $L(s, f)$ induces a functional equation on $r_f(z)$. Jin, Ma, Ono, and Soundararajan proved that for all newforms $f$ of even weight $k \ge 4$ and trivial nebetypus, the "Riemann Hypothesis" holds for $r_f(z)$: that is, all roots of $r_f(z)$ lie on the circle of symmetry $|z| =1/\sqrt{N}$. We generalize their methods to prove that this phenomenon holds for all but possibly finitely many newforms $f$ of weight $k \ge 3$ with any nebentypus. We also show that the roots of $r_f(z)$ are equidistributed if $N$ or $k$ is sufficiently large.


title: Multiuser Energy Diversity in Energy Harvesting Wireless Communications

abstract: Energy harvesting communication has raised great research interests due to its wide applications and feasibility of commercialization. In this paper, we investigate the multiuser energy diversity. Specifically, we reveal the throughput gain coming from the increase of total available energy harvested over time/space and from the combined dynamics of batteries. Considering both centralized and distributed access schemes, the scaling of the average throughput over the number of transmitters is studied, along with the scaling of corresponding available energy in the batteries.


title: Optimal control of many-body quantum dynamics: chaos and complexity

abstract: Achieving full control of the time-evolution of a many-body quantum system is currently a major goal in physics. In this work we investigate the different ways in which the controllability of a quantum system can be influenced by its complexity, or even its chaotic properties. By using optimal control theory, we are able to derive the control fields necessary to drive various physical processes in a spin chain. Then, we study the spectral properties of such fields and how they relate to different aspects of the system complexity. We find that the spectral bandwidth of the fields is, quite generally, independent of the system dimension. Conversely, the spectral complexity of such fields does increase with the number of particles. Nevertheless, we find that the regular o chaotic nature of the system does not affect signficantly its controllability.


title: Ultra-Weak Time Operators of Schroedinger Operators

abstract: In an abstract framework, a new concept on time operator, ultra-weak time operator, is introduced, which is a concept weaker than that of weak time operator. Theorems on the existence of an ultra-weak time operator are established. As an application of the theorems, it is shown that Schroedinger operators H with potentials V obeying suitable conditions, including the Hamiltonian of the hydrogen atom, have ultra-weak time operators. Moreover, a class of Borel measurable functions $f$ such that $f(H)$ has an ultra-weak time operator is found.


title: Graph Hausdorff dimension, Kolmogorov complexity and construction of fractal graphs

abstract: In this paper we introduce and study discrete analogues of Lebesgue and Hausdorff dimensions for graphs. It turned out that they are closely related to well-known graph characteristics such as rank dimension and Prague (or Ne\v{s}et\v{r}il-R\"odl) dimension. It allows us to formally define fractal graphs and establish fractality of some graph classes. We show, how Hausdorff dimension of graphs is related to their Kolmogorov complexity. We also demonstrate fruitfulness of this interdisciplinary approach by discovering a novel property of general compact metric spaces using ideas from hypergraphs theory and by proving an estimation for Prague dimension of almost all graphs using methods from algorithmic information theory.


title: Mechanical behavior of composite double wall nanotubes from carbon and phosphorous

abstract: Black phosphorus is not stable when it is exposed to air. When covered or terminated by single layer carbon atoms, such as graphene carbon nanotube, it is more strongly protected in the rapid degradation than the bare black phosphorus. Moreover, due to weak interaction between phosphorus atoms in black phosphorene, the nanotube obtained by curling single layer black phosphorus is not as stable as a carbon nanotube at finite temperature. In present work, we recommend a new 1D material, i.e., composite double wall nanotubes from a black phosphorus nanotube with a CNT. The dynamic response of the composite DWNTs is simulated using molecular dynamics approach. The effects of such factors as temperature, slenderness and configurations of DWNTs are discussed. Comparing with a single wall BPNT, the composite DWNTs under uniaxial compression shows some peculiar properties. When the BPNT is embedded in a CNT, the system will not collapse rapidly even if the BPNT has been damaged seriously.


title: A diagrammer's note on DC conductivity of anisotropic Fermi liquids for beginners: Maebashi-Fukuyama formula and Taylor formula

abstract: Formal but exact DC conductivity formulae for anisotropic Fermi liquids are reviewed. One is the Maebashi-Fukuyama formula based on the Fermi-surface harmonics. The other is the Taylor formula based on the scattering eigenfunction. In comparison to these two formulae the current-vertex-correction in the fluctuation-exchange approximation is shown to be a bad vision caused by an inconsistent approximation.


title: The source structure of 0642+449 detected from the CONT14 observations

abstract: The CONT14 campaign with state-of-the-art VLBI data has observed the source 0642+449 with about one thousand observables each day during a continuous observing period of fifteen days, providing tens of thousands of closure delays---the sum of the delays around a closed loop of baselines. The closure delay is independent of the instrumental and propagation delays and provides valuable additional information about the source structure. We demonstrate the use of this new "observable" for the determination of the structure in the radio source 0642+449. This source, as one of the defining sources in the second realization of the International Celestial Reference Frame (ICRF2), is found to have two point-like components with a relative position offset of -426 microarcseconds in right ascension and -66 microarcseconds in declination. The two components are almost equally bright with a flux-density ratio of 0.92. The standard deviation of closure delays for source 0642+449 was reduced from 139 ps to 90 ps by using this two-component model. Closure delays larger than one nanosecond are found to be related to the source structure, demonstrating that structure effects for a source with this simple structure could be up to tens of nanoseconds. The method described in this paper does not rely on a priori source structure information, such as knowledge of source structure determined from direct (Fourier) imaging of the same observations or observations at other epochs. We anticipate our study to be a starting point for more effective determination of the structure effect in VLBI observations.


title: Properties of strongly magnetized ultradense matter and their imprints on magnetar pulsations

abstract: We investigate the effect of strong magnetic fields on the adiabatic radial oscillations of hadronic stars. We describe magnetized hadronic matter within the framework of the relativistic nonlinear Walecka model and integrate the equations of relativistic radial oscillations to determine the fundamental pulsation mode. We consider that the magnetic field increases, in a density dependent way, from the surface, where it has a typical magnetar value of $10^{15}$ G, to the interior of the star where it can be as large as $3 \times 10^{18}$ G. We show that magnetic fields of the order of $10^{18}$ G at the stellar core produce a significant change in the frequency of neutron star pulsations with respect to unmagnetized objects. If radial pulsations are excited in magnetar flares, they can leave an imprint in the flare lightcurves and open a new window for the study of highly magnetized ultradense matter.


title: Spiral Structure and Differential Dust Size Distribution in the LkHa 330 Disk

abstract: Dust trapping accelerates the coagulation of dust particles, and thus it represents an initial step toward the formation of planetesimals. We report $H$-band (1.6 um) linear polarimetric observations and 0.87 mm interferometric continuum observations toward a transitional disk around LkHa 330. As results, a pair of spiral arms were detected in the $H$-band emission and an asymmetric (potentially arm-like) structure was detected in the 0.87 mm continuum emission. We discuss the origin of the spiral arm and the asymmetric structure, and suggest that a massive unseen planet is the most plausible explanation. The possibility of dust trapping and grain growth causing the asymmetric structure was also investigated through the opacity index (beta) by plotting the observed SED slope between 0.87 mm from our SMA observation and 1.3 mm from literature. The results imply that grains are indistinguishable from ISM-like dust in the east side ($beta = 2.0 pm 0.5$), but much smaller in the west side $beta = 0.7^{+0.5}_{-0.4}$, indicating differential dust size distribution between the two sides of the disk. Combining the results of near-infrared and submillimeter observations, we conjecture that the spiral arms exist at the upper surface and an asymmetric structure resides in the disk interior. Future observations at centimeter wavelengths and differential polarization imaging in other bands (Y to K) with extreme AO imagers are required to understand how large dust grains form and to further explore the dust distribution in the disk.


title: The vanishing discount problem and viscosity Mather measures. Part 2: boundary value problems

abstract: In arXiv:1603.01051 (Part 1 of this series), we have introduced a variational approach to studying the vanishing discount problem for fully nonlinear, degenerate elliptic, partial differential equations in a torus. We develop this approach further here to handle boundary value problems. In particular, we establish new representation formulas for solutions of discount problems, critical values, and use them to prove convergence results for the vanishing discount problems.


title: A Descending Price Auction for Matching Markets

abstract: This work presents a descending-price-auction algorithm to obtain the maximum market-clearing price vector (MCP) in unit-demand matching markets with m items by exploiting the combinatorial structure. With a shrewd choice of goods for which the prices are reduced in each step, the algorithm only uses the combinatorial structure, which avoids solving LPs and enjoys a strongly polynomial runtime of $O(m^4)$. Critical to the algorithm is determining the set of under-demanded goods for which we reduce the prices simultaneously in each step of the algorithm. This we accomplish by choosing the subset of goods that maximize a skewness function, which makes the bipartite graph series converges to the combinatorial structure at the maximum MCP in $O(m^2)$ steps. A graph coloring algorithm is proposed to find the set of goods with the maximal skewness value that yields $O(m^4)$ complexity.


title: Scanning tunneling spectroscopy as a probe of multi-Q magnetic states of itinerant magnets

abstract: The combination of electronic correlations and Fermi surfaces with multiple nesting vectors can lead to the appearance of complex multi-Q magnetic ground states, hosting unusual states such as chiral density-waves and quantum Hall insulators. Distinguishing single-Q and multi-Q magnetic phases is however a notoriously difficult experimental problem. Here we propose theoretically that the local density of states near a magnetic impurity, whose orientation may be controlled by an external magnetic field, can be used to map out the detailed magnetic configuration of an itinerant system and distinguish unambiguously between single-Q and multi-Q phases. We demonstrate this concept by computing and contrasting the LDOS near a magnetic impurity embedded in three different magnetic ground states relevant to iron-based superconductors -- one single-Q and two double-Q phases. Our results open a promising avenue to investigate complex magnetic configurations in itinerant systems via standard scanning tunneling spectroscopy, without requiring spin-resolved capability.


title: Application of the Allan Variance to Time Series Analysis in Astrometry and Geodesy: A Review

abstract: The Allan variance (AVAR) was introduced 50 years ago as a statistical tool for assessing of the frequency standards deviations. For the past decades, AVAR has increasingly being used in geodesy and astrometry to assess the noise characteristics in geodetic and astrometric time series. A specific feature of astrometric and geodetic measurements, as compared with the clock measurements, is that they are generally associated with uncertainties; thus, an appropriate weighting should be applied during data analysis. Besides, some physically connected scalar time series naturally form series of multi-dimensional vectors. For example, three station coordinates time series $X$, $Y$, and $Z$ can be combined to analyze 3D station position variations. The classical AVAR is not intended for processing unevenly weighted and/or multi-dimensional data. Therefore, AVAR modifications, namely weighted AVAR (WAVAR), multi-dimensional AVAR (MAVAR), and weighted multi-dimensional AVAR (WMAVAR), were introduced to overcome these deficiencies. In this paper, a brief review is given of the experience of using AVAR and its modifications in processing astro-geodetic time series.


title: Instability of Charged Gauss-Bonnet Black Hole in de Sitter Spacetime at Large $D$

abstract: We study the stabilities of (A)dS charged Gauss-Bonnet(GB) black holes in the large $D$ dimensions. After integrating the equation of motion with respect to the radial direction, we obtain the effective equations at large $D$ to describe the nonlinear dynamical deformations of the black hole. From the perturbation analysis of the effective equations, we get the analytic expressions of the frequencies for the quasinormal modes of scalar type. Furthermore we show that the charged GB black hole becomes unstable only if the cosmological constant is positive, otherwise the black hole is always stable. At the onset of instabilities there is a non-trivial static zero-mode perturbation, which suggests the existence of a new non-spherical symmetric solution branch of static dS charged GB black holes. We construct the non-spherical symmetric static solution of the large $D$ effective equations explicitly.


title: Section Chern number for a 3D photonic crystal and the bulk-edge correspondence

abstract: We have characterized the robust propagation modes of electromagnetic waves in helical structures by the section Chern number that is defined for a two-dimensional (2D) section of the three- dimensional (3D) Brillouin zone. The Weyl point in the photonic bands is associated with a dis- continuous jump of the section Chern number. A spatially localized Gaussian basis set is used to calculate the section Chern numbers where we have implemented the divergence-free condition on each basis function in 3D. The validity of the bulk-edge correspondence in a 3D photonic crystal is discussed in relation to the broken inversion symmetry.


title: Loop super-Virasoro Lie conformal superalgebra

abstract: The loop super-Virasoro conformal superalgebra $\mathfrak{cls}$ associated with the loop super-Virasoro algebra is constructed in the present paper. The conformal superderivation algebra of $\mathfrak{cls}$ is completely determined, which is shown to consist of inner superderivations. And nontrivial free and free $\mathbb{Z}$-graded $\mathfrak{cls}$-modules of rank two are classified. We also give a classification of irreducible free $\mathfrak{cls}$-modules of rank two and all irreducible submodules of each free $\mathbb{Z}$-graded $\mathfrak{cls}$-module of rank two.


title: Measurement of spin pumping voltage separated from extrinsic microwave effects

abstract: Conversions between spin and charge currents are core technologies in recent spintronics. In this article, we provide methods for estimating inverse spin Hall effects (ISHEs) induced by using microwave-driven spin pumping (SP) as a spin-current generator. ISHE and SP induce an electromotive force at the ferromagnetic or spin-wave resonance, which offers a valuable electric way to study spin physics in materials. At the resonance, a microwave for exciting the magnetization dynamics induces an additional electromotive force via rf-current rectification and thermoelectric effects. We discuss methods to separate the signals generated from such extrinsic microwave effects by controlling sample structures and configurations. These methods are helpful in performing accurate measurements on ISHE induced by SP, enabling quantitative studies on the conversion between spin and charge currents on various kinds of materials.


abstract: Irreducibilities of Verma modules over a class of Block type Lie algebras are completely determined. The approach developed in the present paper can be used to deal with non-weight modules.


title: A Note on Field Redefinitions and Higher-Spin Equations

abstract: In this note we provide some details on the quasi-local field redefinitions which map interactions extracted from Vasiliev's equations to those obtained via holographic reconstruction. Without loss of generality, we focus on the source to the Fronsdal equations induced by current interactions quadratic in the higher-spin linearised curvatures.


title: On the triharmonic Lane-Emden equation

abstract: We derive a monotonicity formula and classify finite Morse index solutions (positive or sign-changing, radial or not) to the following triharmonic Lane-Emden equation: \begin{equation}\nonumber (-\Delta)^3 u=|u|^{p-1}u \hbox{ in } \mathbb{R}^n, \end{equation} where $p$ is below the Joseph-Lundgren exponent. As a byproduct we also obtain a new monotonicity formula for the triharmonic maps.


title: Comment on "Supercurrent in a room temperature Bose-Einstein magnon condensate"

abstract: The comment explains that the preprint arXiv:1503.0042 has not presented persuasive theoretical or experimental arguments of existence of spin supercurrents in a magnon condensate prepared in a room temperature yttrium-iron-garnet magnetic film because the authors did not check known criteria for existence of spin supercurrents in magnetically ordered materials. Also they did not compare their supercurrent interpretation with a competing and more realistic scenario of transport by spin diffusion.


title: Core spaces, sector spaces and fan spaces: a topological approach to domain theory

abstract: We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a second topology having the dual specialization order, are the so-called sector spaces, which have good convexity and separation properties and determine the original space. The category of core spaces is shown to be concretely isomorphic to the category of fan spaces; these are certain quasi-ordered spaces having neighborhood bases of so-called fans, obtained by deleting a finite number of principal filters from a principal filter. This approach has useful consequences for domain theory. In fact, endowed with the Scott topology, the continuous domains are nothing but the sober core spaces, and endowed with the Lawson topology, they are the corresponding fan spaces. We generalize the characterization of continuous lattices as meet-continuous lattices with T$_2$ Lawson topology and extend the Fundamental Theorem of Compact Semilattices to non-complete structures. Finally, we investigate cardinal invariants like density and weight of the involved objects.


title: Novel multilevel preconditioners for the systems arising from plane wave discretization of Helmholtz equations with large wave numbers

abstract: In this paper we are concerned with fast algorithms for the systems arising from the plane wave discretizations for two-dimensional Helmholtz equations with large wave numbers. We consider the plane wave weighted least squares (PWLS) method and the plane wave discontinuous Galerkin (PWDG) method. The main goal of this paper is to construct multilevel parallel preconditioners for solving the resulting Helmholtz systems. To this end, we first build a multilevel overlapping space decomposition for the plane wave discretization space based on a multilevel overlapping domain decomposition method. Then, corresponding to the space decomposition, we construct an additive multilevel preconditioner for the underlying Helmholtz systems. Further, we design both additive and multiplicative multilevel preconditioners with smoothers, which are different from the standard multigrid preconditioners. We apply the proposed multilevel preconditioners with a {\it constant} coarsest mesh size to solve two dimensional Helmholtz systems generated by PWLS method or PWDG method, and we find that the new preconditioners possess nearly stable convergence, i.e., the iteration counts of the preconditioned iterative methods (PCG or PGMRES) with the preconditioners increase very slowly when the wave number increases (and the fine mesh size decreases).


title: Coherent control of optical spin-to-orbital angular momentum conversion in metasurface

abstract: We propose and experimentally demonstrate that a metasurface consisting of Pancharatnam-Berry phase optical elements can enable the full control of optical spin-to-orbital angular momentum conversion. Our approach relies on the critical interference between the transmission and reflection upon the metasurfaceto create actively tunable and controllable conversion with a high output via coherent control of the two incident beams. The introduced control methodology is general and could be an important step toward the development of functional optical devices for practical applications.


title: The metastable minima of the Heisenberg spin glass in a random magnetic field

abstract: We have studied zero temperature metastable states in classical $m$-vector component spin glasses in the presence of $m$-component random fields (of strength $h_{r}$) for a variety of models, including the Sherrington Kirkpatrick (SK) model, the Viana Bray (VB) model and the randomly diluted one-dimensional models with long-range power law interactions. For the SK model we have calculated analytically its complexity (the log of the number of minima) for both the annealed case and the quenched case, both for fields above and below the de Almeida Thouless (AT) field ($h_{AT} > 0$ for $m>2$). We have done quenches starting from a random initial state by putting spins parallel to their local fields until convergence and found that in zero field it always produces minima which have zero overlap with each other. For the $m=2$ and $m=3$ cases in the SK model the final energy reached in the quench is very close to the energy $E_c$ at which the overlap of the states would acquire replica symmetry breaking features. These minima have marginal stability and will have long-range correlations between them. In the SK limit we have analytically studied the density of states $\rho(\lambda)$ of the Hessian matrix in the annealed approximation. Despite the absence of continuous symmetries, the spectrum extends down to zero with the usual $\sqrt{\lambda}$ form for the density of states for $h_{r}<h_{AT}$. However, when $h_{r}>h_{AT}$, there is a gap in the spectrum which closes up as $h_{AT}$ is approached. For the VB model and the other models our numerical work shows that there always exist some low-lying eigenvalues and there never seems to be a gap. There is no sign of the AT transition in the quenched states reached from infinite temperature for any model but the SK model, which is the only model which has zero complexity above $h_{AT}$.


title: Probability of Partially Decoding Network-Coded Messages

abstract: In the literature there exists analytical expressions for the probability of a receiver decoding a transmitted source message that has been encoded using random linear network coding. In this work, we look into the probability that the receiver will decode at least a fraction of the source message, and present an exact solution to this problem for both non-systematic and systematic network coding. Based on the derived expressions, we investigate the potential of these two implementations of network coding for information-theoretic secure communication and progressive recovery of data.


title: Forward Hadron Productions in Proton-Proton Collisions in Small-$x$ Formalism

abstract: Employing the so-called hybrid formalism, we calculate the cross section of inclusive hadron production in proton-proton collisions at forward rapidity in small-$x$ formalism at one-loop order. For the case of hadron production at forward rapidity, we can uses collinear parton distributions for projectile proton and $k_\perp$ dependent gluon distribution for target proton. We show that collinear divergences associated with initial and final state parton radiations are renormalized into parton distributions and fragmentation functions in terms of the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi evolution equation, respectively. Furthermore, rapidity divergence can be absorbed into the wave function of target proton which gives rise to the well-known Balitsky-Fadin-Kuraev-Lipatov equation. These divergences are completely separated from the short distance partonic hard parts, which is now finite at the next-to-leading order accuracy. The result presented in this paper can be reckoned as a baseline calculation without any non-linear QCD effects in small-$x$ formalism. As a consistency check, we compare our results with the previous calculation for non-linear proton-nucleus collisions in the small-$x$ formalism and find complete agreement in the dilute and large $N_c$ limit. In phenomenology, the direct comparison of the above two separate calculations can reveal the role and strength of the non-linear dynamics in high energy QCD, and thus help us reliably study the onset of gluon saturation when genuine non-linear interactions become important.


title: On Chebyshev type Inequalities using Generalized k-Fractional Integral Operator

abstract: In this paper, using generalized k-fractional integral operator (in terms of the Gauss hypergeometric function), we establish new results on generalized k-fractional integral inequalities by considering the extended Chebyshev functional in case of synchronous function and some other inequalities.


title: Cost and dimension of words of zero topological entropy

abstract: Let $A^*$ denote the free monoid generated by a finite nonempty set $A.$ In this paper we introduce a new measure of complexity of languages $L\subseteq A^*$ defined in terms of the semigroup structure on $A^*.$ For each $L\subseteq A^*,$ we define its {\it cost} $c(L)$ as the infimum of all real numbers $\alpha$ for which there exist a language $S\subseteq A^*$ with $p_S(n)=O(n^\alpha)$ and a positive integer $k$ with $L\subseteq S^k.$ We also define the {\it cost dimension} $d_c(L)$ as the infimum of the set of all positive integers $k$ such that $L\subseteq S^k$ for some language $S$ with $p_S(n)=O(n^{c(L)}).$ We are primarily interested in languages $L$ given by the set of factors of an infinite word $x=x_0x_1x_2\cdots \in A^\omega$ of zero topological entropy, in which case $c(L)<+\infty.$ We establish the following characterisation of words of linear factor complexity: Let $x\in A^\omega$ and $L=$Fac$(x)$ be the set of factors of $x.$ Then $p_x(n)=\Theta(n)$ if and only $c(L)=0$ and $d_c(L)=2.$ In other words, $p_x(n)=O(n)$ if and only if Fac$(x)\subseteq S^2$ for some language $S\subseteq A^+$ of bounded complexity (meaning $\limsup p_S(n)<+\infty).$ In general the cost of a language $L$ reflects deeply the underlying combinatorial structure induced by the semigroup structure on $A^*.$ For example, in contrast to the above characterisation of languages generated by words of sub-linear complexity, there exist non factorial languages $L$ of complexity $p_L(n)=O(\log n)$ (and hence of cost equal to $0)$ and of cost dimension $+\infty.$ In this paper we investigate the cost and cost dimension of languages defined by infinite words of zero topological entropy.


title: Embedding LTE-U within Wi-Fi Bands for Spectrum Efficiency Improvement

abstract: Driven by growing spectrum shortage, Long-term Evolution in unlicensed spectrum (LTE-U) has recently been proposed as a new paradigm to deliver better performance and experience for mobile users by extending the LTE protocol to unlicensed spectrum. In the paper, we first present a comprehensive overview of the LTE-U technology, and discuss the practical challenges it faces. We summarize the existing LTE-U operation modes and analyze several means for LTE-U coexistence with Wi-Fi medium access control protocols. We further propose a novel hyper access-point (HAP) that integrates the functionalities of LTE small cell base station and commercial Wi-Fi AP for deployment by cellular network operators. Our proposed LTE-U access embedding within the Wi-Fi protocol is non-disruptive to unlicensed Wi-Fi nodes and demonstrates performance benefits as a seamless and novel LTE and Wi-Fi coexistence technology in unlicensed band. We provide results to demonstrate the performances advantage of this novel LTE-U proposal.


title: Spatio-Temporal Saliency Networks for Dynamic Saliency Prediction

abstract: Computational saliency models for still images have gained significant popularity in recent years. Saliency prediction from videos, on the other hand, has received relatively little interest from the community. Motivated by this, in this work, we study the use of deep learning for dynamic saliency prediction and propose the so-called spatio-temporal saliency networks. The key to our models is the architecture of two-stream networks where we investigate different fusion mechanisms to integrate spatial and temporal information. We evaluate our models on the DIEM and UCF-Sports datasets and present highly competitive results against the existing state-of-the-art models. We also carry out some experiments on a number of still images from the MIT300 dataset by exploiting the optical flow maps predicted from these images. Our results show that considering inherent motion information in this way can be helpful for static saliency estimation.


title: Weakly supervised object detection using pseudo-strong labels

abstract: Object detection is an import task of computer vision.A variety of methods have been proposed,but methods using the weak labels still do not have a satisfactory result.In this paper,we propose a new framework that using the weakly supervised method's output as the pseudo-strong labels to train a strongly supervised model.One weakly supervised method is treated as black-box to generate class-specific bounding boxes on train dataset.A de-noise method is then applied to the noisy bounding boxes.Then the de-noised pseudo-strong labels are used to train a strongly object detection network.The whole framework is still weakly supervised because the entire process only uses the image-level labels.The experiment results on PASCAL VOC 2007 prove the validity of our framework, and we get result 43.4% on mean average precision compared to 39.5% of the previous best result and 34.5% of the initial method,respectively.And this frame work is simple and distinct,and is promising to be applied to other method easily.


title: Difference Index of Quasi-Prime Difference Algebraic Systems

abstract: This paper is devoted to studying difference indices of quasi-prime difference algebraic systems. We define the quasi dimension polynomial of a quasi-prime difference algebraic system. Based on this, we give the definition of the difference index of a quasi-prime difference algebraic system through a family of pseudo-Jacobian matrices. Some properties of difference indices are proved. In particular, an upper bound of difference indices is given. As applications, an upper bound of the Hilbert-Levin regularity and an upper bound of orders for difference ideal membership problem are deduced.


title: Stirrers and movers actuated by oscillating fields

abstract: Locomotion via cyclic moves presents a challenge to mesoscopic objects in overdamped environments, where time reversibility may prevent directed motion. Most reported cyclic movers exploit anisotropic drag to push themselves forward. Under an oscillating drive, however, anisotropic drag enables locomotion only if the objects can change their shape. Here, we present a strategy that unexpectedly enables structurally invariant objects to move under oscillating fields. The objects are self-assembled clusters of magnetic particles that exhibit an off-centered dipole moment. By theoretical modeling and in experiments with magnetic Janus particles, we demonstrate that the interaction between such anisotropic particles in the cluster breaks time reversibility. Experimentally, we show that the magnetic configuration of a cluster determines its motion path. We realize stirrers and steerable movers with helical or directed path using the same particle system. The presented strategy based on internal interactions establishes a counterpart to locomotion via anisotropic drag.


title: Interaction patterns and diversity in assembled ecological communities

abstract: The assembly of ecological communities from a pool of species is central to ecology, but the effect of this process on properties of community interaction networks is still largely unknown. Here, we use a systematic analytical framework to describe how assembly from a species pool gives rise to community network properties that differ from those of the pool: Compared to the pool, the community shows a bias towards higher carrying capacities, weaker competitive interactions and stronger beneficial interactions. Moreover, even if interactions between all pool species are completely random, community networks are more structured, with correlations between interspecies interactions, and between interactions and carrying capacities. Nonetheless, we show that these properties are not sufficient to explain the coexistence of all community species, and that it is a simple relation between interactions and species abundances that is responsible for the diversity within a community.


title: Stochastic Recursive Inclusions with Non-Additive Iterate-Dependent Markov Noise

abstract: In this paper we study the asymptotic behavior of stochastic approximation schemes with set-valued drift function and non-additive iterate-dependent Markov noise. We show that a linearly interpolated trajectory of such a recursion is an asymptotic pseudotrajectory for the flow of a limiting differential inclusion obtained by averaging the set-valued drift function of the recursion w.r.t. the stationary distributions of the Markov noise. The limit set theorem in [1] is then used to characterize the limit sets of the recursion in terms of the dynamics of the limiting differential inclusion. We then state two variants of the Markov noise assumption under which the analysis of the recursion is similar to the one presented in this paper. Scenarios where our recursion naturally appears are presented as applications. These include controlled stochastic approximation, subgradient descent, approximate drift problem and analysis of discontinuous dynamics all in the presence of non-additive iterate-dependent Markov noise.


title: Tail dependence of the Gaussian copula revisited

abstract: Tail dependence refers to clustering of extreme events. In the context of financial risk management, the clustering of high-severity risks has a devastating effect on the well-being of firms and is thus of pivotal importance in risk analysis.When it comes to quantifying the extent of tail dependence, it is generally agreed that measures of tail dependence must be independent of the marginal distributions of the risks but rather solely copula-dependent. Indeed, all classical measures of tail dependence are such, but they investigate the amount of tail dependence along the main diagonal of copulas, which has often little in common with the concentration of extremes in the copulas' domain of definition.In this paper we urge that the classical measures of tail dependence may underestimate the level of tail dependence in copulas. For the Gaussian copula, however, we prove that the classical measures are maximal. The implication of the result is two-fold: On the one hand, it means that in the Gaussian case, the (weak) measures of tail dependence that have been reported and used are of utmost prudence, which must be a reassuring news for practitioners. On the other hand, it further encourages substitution of the Gaussian copula with other copulas that are more tail dependent.


title: A form of multivariate Pareto distribution with applications to financial risk measurement

abstract: A new multivariate distribution possessing arbitrarily parametrized and positively dependent univariate Pareto margins is introduced. Unlike the probability law of Asimit et al. (2010) [Asimit, V., Furman, E. and Vernic, R. (2010) On a multivariate Pareto distribution. Insurance: Mathematics and Economics 46(2), 308-316], the structure in this paper is absolutely continuous with respect to the corresponding Lebesgue measure. The distribution is of importance to actuaries through its connections to the popular frailty models, as well as because of the capacity to describe dependent heavy-tailed risks. The genesis of the new distribution is linked to a number of existing probability models, and useful characteristic results are proved. Expressions for, e.g., the decumulative distribution and probability density functions, (joint) moments and regressions are developed. The distributions of minima and maxima, as well as, some weighted risk measures are employed to exemplify possible applications of the distribution in insurance.


title: Towards a Common Format for Computational Material Science Data

abstract: Information and data exchange is an important aspect of scientific progress. In computational materials science, a prerequisite for smooth data exchange is standardization, which means using agreed conventions for, e.g., units, zero base lines, and file formats. There are two main strategies to achieve this goal. One accepts the heterogeneous nature of the community which comprises scientists from physics, chemistry, bio-physics, and materials science, by complying with the diverse ecosystem of computer codes and thus develops "converters" for the input and output files of all important codes. These converters then translate the data of all important codes into a standardized, code-independent format. The other strategy is to provide standardized open libraries that code developers can adopt for shaping their inputs, outputs, and restart files, directly into the same code-independent format. We like to emphasize in this paper that these two strategies can and should be regarded as complementary, if not even synergetic. The main concepts and software developments of both strategies are very much identical, and, obviously, both approaches should give the same final result. In this paper, we present the appropriate format and conventions that were agreed upon by two teams, the Electronic Structure Library (ESL) of CECAM and the NOMAD (NOvel MAterials Discovery) Laboratory, a European Centre of Excellence (CoE). This discussion includes also the definition of hierarchical metadata describing state-of-the-art electronic-structure calculations.


title: Multiple risk factor dependence structures: Distributional properties

abstract: We introduce a class of dependence structures, that we call the Multiple Risk Factor (MRF) dependence structures. On the one hand, the new constructions extend the popular CreditRisk+ approach, and as such they formally describe default risk portfolios exposed to an arbitrary number of fatal risk factors with conditionally exponential and dependent hitting (or occurrence) times. On the other hand, the MRF structures can be seen as an encompassing family of multivariate probability distributions with univariate margins distributed Pareto of the 2nd kind, and in this role they can be used to model insurance risk portfolios of dependent and heavy tailed risk components.


title: Cascaded forward Brillouin scattering to all Stokes orders

abstract: Inelastic scattering processes such as Brillouin scattering can often function in cascaded regimes and this is likely to occur in certain integrated opto-acoustic devices. We develop a Hamiltonian formalism for cascaded Brillouin scattering valid for both quantum and classical regimes. By regarding Brillouin scattering as the interaction of a single acoustic envelope and a single optical envelope that covers all Stokes and anti-Stokes orders, we obtain a compact model that is well suited for numerical implementation, extension to include other optical nonlinearities or short pulses, and application in the quantum-optics domain. We then theoretically analyze intra-mode forward Brillouin scattering (FBS) for arbitrary waveguides with and without optical dispersion. In the absence of optical dispersion, we find an exact analytical solution. With a perturbative approach, we furthermore solve the case of weak optical dispersion. Our work leads to several key results on intra-mode FBS. For negligible dispersion, we show that cascaded intra-mode FBS results in a pure phase modulation and discuss how this necessitates specific experimental methods for the observation of fibre-based and integrated FBS. Further, we discuss how the descriptions that have been established in these two classes of waveguides connect to each other and to the broader context of cavity opto-mechanics and Raman scattering. Finally, we draw an unexpected striking similarity between FBS and discrete diffraction phenomena in waveguide arrays, which makes FBS an interesting candidate for future research in quantum-optics.


title: Flag Algebras: A First Glance

abstract: The theory of flag algebras, introduced by Razborov in 2007, has opened the way to a systematic approach to the development of computer-assisted proofs in extremal combinatorics. It makes it possible to derive bounds for parameters in extremal combinatorics with the help of a computer, in a semi-automated manner. This article describes the main points of the theory in a complete way, using Mantel's theorem as a guiding example.


title: Special values of Gauss's hypergeometric series derived from Appell's series $F_1$ with closed forms

abstract: In a previous work ([Eb]), the author proposed a method employing contiguity relations to derive hypergeometric series in closed form. In [Eb], this method was used to derive Gauss's hypergeometric series $_2F_1$ possessing closed forms. Here, we consider the application of this method to Appell's hypergeometetric series $F_1$ and derive several $F_1$ possessing closed forms. Moreover, analyzing these $F_1$, we obtain values of $_2F_1$ with no free parameters. Some of these results provide new examples of algebraic values of $_2F_1$. Key Words and Phrases: Gauss's hypergeometric series, algebraic value, Appell's hypergeometric series, hypergeometric identity.


title: Electronic properties of SnTe-class topological crystalline insulator materials

abstract: The rise of topological insulators in recent years has broken new ground both in the conceptual cognition of condensed matter physics and the promising revolution of the electronic devices. It also stimulates the explorations of more topological states of matter. Topological crystalline insulator is a new topological phase, which combines the electronic topology and crystal symmetry together. In this article, we review the recent progress in the studies of SnTe-class topological crystalline insulator materials. Starting from the topological identifications in the aspects of the bulk topology, surface states calculations and experimental observations, we present the electronic properties of topological crystalline insulators under various perturbations, including native defect, chemical doping, strain, and thickness-dependent confinement effects, and then discuss their unique quantum transport properties, such as valley-selective filtering and helicity-resolved functionalities for Dirac fermions. The rich properties and high tunability make SnTe-class materials promising candidates for novel quantum devices.


title: Note on the representation of the gap formation probability for real and quaternion Wishart matrices

abstract: Wishart random matrices are often used to model multivariate systems in physics, finance, biology and wireless communication. Extreme value statistics, such as those of the smallest eigenvalue, can be used to test the accuracy of the model. In this article we study the gap formation probability (cumulative distribution function of the smallest eigenvalue) for real and quaternion $N\times \left(N+\nu\right)$ Wishart random matrices in the large $N$ limit. We derive compact expression in terms of determinants of known functions. As a consequence of this representation, the gap formation probabilities solve the Toda lattice equation, in the index $\nu$ for $\nu$ even and for $\nu$ odd separately.


title: A Posteriori Error Analysis for the Optimal Control of Magneto-Static Fields

abstract: This paper is concerned with the analysis and numerical analysis for the optimal control of first-order magneto-static equations. Necessary and sufficient optimality conditions are established through a rigorous Hilbert space approach. Then, on the basis of the optimality system, we prove functional a posteriori error estimators for the optimal control, the optimal state, and the adjoint state. 3D numerical results illustrating the theoretical findings are presented.


title: Accurate semilocal density functional for condensed matter physics and quantum chemistry

abstract: Most density functionals have been developed by imposing the known exact constraints on the exchange-correlation energy, or by a fit to a set of properties of selected systems, or by both. However, accurate modeling of the conventional exchange hole presents a great challenge, due to the delocalization of the hole. Making use of the property that the hole can be made localized under a general coordinate transformation, here we derive an exchange hole from the density matrix expansion, while the correlation part is obtained by imposing the low-density limit constraint. From the hole, a semilocal exchange-correlation functional is calculated. Our comprehensive test shows that this functional can achieve remarkable accuracy for diverse properties of molecules, solids and solid surfaces, substantially improving upon the nonempirical functionals proposed in recent years. Accurate semilocal functionals based on their associated holes are physically appealing and practically useful for developing nonlocal functionals.


title: Learning Social Circles in Ego Networks based on Multi-View Social Graphs

abstract: In social network analysis, automatic social circle detection in ego-networks is becoming a fundamental and important task, with many potential applications such as user privacy protection or interest group recommendation. So far, most studies have focused on addressing two questions, namely, how to detect overlapping circles and how to detect circles using a combination of network structure and network node attributes. This paper asks an orthogonal research question, that is, how to detect circles based on network structures that are (usually) described by multiple views? Our investigation begins with crawling ego-networks from Twitter and employing classic techniques to model their structures by six views, including user relationships, user interactions and user content. We then apply both standard and our modified multi-view spectral clustering techniques to detect social circles in these ego-networks. Based on extensive automatic and manual experimental evaluations, we deliver two major findings: first, multi-view clustering techniques perform better than common single-view clustering techniques, which only use one view or naively integrate all views for detection, second, the standard multi-view clustering technique is less robust than our modified technique, which selectively transfers information across views based on an assumption that sparse network structures are (potentially) incomplete. In particular, the second finding makes us believe a direct application of standard clustering on potentially incomplete networks may yield biased results. We lightly examine this issue in theory, where we derive an upper bound for such bias by integrating theories of spectral clustering and matrix perturbation, and discuss how it may be affected by several network characteristics.


title: Canonical dual method for mixed integer fourth-order polynomial minimization problems with fixed cost terms

abstract: We study a canonical duality method to solve a mixed-integer nonconvex fourth-order polynomial minimization problem with fixed cost terms. This constrained nonconvex problem can be transformed into a continuous concave maximization dual problem without duality gap. The global optimality conditions are proposed and the existence and uniqueness criteria are discussed. Application to a decoupled mixed-integer problem is illustrated and analytic solution for a global minimum is obtained under some suitable conditions. Several examples are given to show the method is effective.


title: Lifetimes and wave functions of ozone metastable vibrational states near the dissociation limit in full symmetry approach

abstract: Energies and lifetimes (widths) of vibrational states above the lowest dissociation limit of $^{16}$O$_3$ were determined using a previously-developed efficient approach, which combines hyperspherical coordinates and a complex absorbing potential. The calculations are based on a recently-computed potential energy surface of ozone determined with a spectroscopic accuracy [J. Chem. Phys. {\bf 139}, 134307 (2013)]. The effect of permutational symmetry on rovibrational dynamics and the density of resonance states in O$_3$ is discussed in detail. Correspondence between quantum numbers appropriate for short- and long-range parts of wave functions of the rovibrational continuum is established. It is shown, by symmetry arguments, that the allowed purely vibrational ($J=0$) levels of $^{16}$O$_3$ and $^{18}$O$_3$, both made of bosons with zero nuclear spin, cannot dissociate on the ground state potential energy surface. Energies and wave functions of bound states of the ozone isotopologue $^{16}$O$_3$ with rotational angular momentum $J=0$ and 1 up to the dissociation threshold were also computed. For bound levels, good agreement with experimental energies is found: The RMS deviation between observed and calculated vibrational energies is 1~\cm. Rotational constants were determined and used for a simple identification of vibrational modes of calculated levels.


title: Remarks on Automorphy of Residually Dihedral Representations

abstract: We prove automorphy lifting results for geometric representations $\rho:G_F \rightarrow GL_2(\mathcal{O})$, with $F$ a totally real field, and $\mathcal{O}$ the ring of integers of a finite extension of $\mathbb{Q}_p$ with $p$ an odd prime, such that the residual representation $\bar{\rho}$ is totally odd and induced from a character of the absolute Galois group of the quadratic subfield $K$ of $F(\zeta_p)/F$. Such representations fail the Taylor-Wiles hypothesis and the patching techniques to prove automorphy do not work. We apply this to automorphy of elliptic curves $E$ over $F$, when $E$ has no $F$ rational 7-isogeny and such that the image of $G_F$ acting on $E[7]$ normalizes a split Cartan subgroup of $GL_2(\mathbb{F}_7)$.


title: Fast Simulation of Hyperplane-Truncated Multivariate Normal Distributions

abstract: We introduce a fast and easy-to-implement simulation algorithm for a multivariate normal distribution truncated on the intersection of a set of hyperplanes, and further generalize it to efficiently simulate random variables from a multivariate normal distribution whose covariance (precision) matrix can be decomposed as a positive-definite matrix minus (plus) a low-rank symmetric matrix. Example results illustrate the correctness and efficiency of the proposed simulation algorithms.


title: Finite-time and finite-size scalings in the evaluation of large-deviation functions: Analytical study using a birth-death process

abstract: The Giardin\`a-Kurchan-Peliti algorithm is a numerical procedure that uses population dynamics in order to calculate large deviation functions associated to the distribution of time-averaged observables. To study the numerical errors of this algorithm, we explicitly devise a stochastic birth-death process that describes the time evolution of the population probability. From this formulation, we derive that systematic errors of the algorithm decrease proportionally to the inverse of the population size. Based on this observation, we propose a simple interpolation technique for the better estimation of large deviation functions. The approach we present is detailed explicitly in a two-state model.


title: How Much Do Downlink Pilots Improve Cell-Free Massive MIMO?

abstract: In this paper, we analyze the benefits of including downlink pilots in a cell-free massive MIMO system. We derive an approximate per-user achievable downlink rate for conjugate beamforming processing, which takes into account both uplink and downlink channel estimation errors, and power control. A performance comparison is carried out, in terms of per-user net throughput, considering cell-free massive MIMO operation with and without downlink training, for different network densities. We take also into account the performance improvement provided by max-min fairness power control in the downlink. Numerical results show that, exploiting downlink pilots, the performance can be considerably improved in low density networks over the conventional scheme where the users rely on statistical channel knowledge only. In high density networks, performance improvements are moderate.


title: Joint Optimization of Coverage, Capacity and Load Balancing in Self-Organizing Networks

abstract: This paper develops an optimization framework for self-organizing networks (SON). The objective is to ensure efficient network operation by a joint optimization of different SON functionalities, which includes capacity, coverage and load balancing. Based on the axiomatic framework of monotone and strictly subhomogeneous function, we formulate an optimization problem for the uplink and propose a two-step optimization scheme using fixed point iterations: i) per base station antenna tilt optimization and power allocation, and ii) cluster-based base station assignment of users and power allocation. We then consider the downlink, which is more difficult to handle due to coupled variables, and show downlink-uplink duality relationship. As a result, a solution for the downlink is obtained by solving the uplink problem. Simulations show that our approach achieves a good trade-off between coverage, capacity and load balancing.


title: High-dimensional approximate $r$-nets

abstract: The construction of $r$-nets offers a powerful tool in computational and metric geometry. We focus on high-dimensional spaces and present a new randomized algorithm which efficiently computes approximate $r$-nets with respect to Euclidean distance. For any fixed $\epsilon>0$, the approximation factor is $1+\epsilon$ and the complexity is polynomial in the dimension and subquadratic in the number of points. The algorithm succeeds with high probability. More specifically, the best previously known LSH-based construction of Eppstein et al.\ \cite{EHS15} is improved in terms of complexity by reducing the dependence on $\epsilon$, provided that $\epsilon$ is sufficiently small. Our method does not require LSH but, instead, follows Valiant's \cite{Val15} approach in designing a sequence of reductions of our problem to other problems in different spaces, under Euclidean distance or inner product, for which $r$-nets are computed efficiently and the error can be controlled. Our result immediately implies efficient solutions to a number of geometric problems in high dimension, such as finding the $(1+\epsilon)$-approximate $k$th nearest neighbor distance in time subquadratic in the size of the input.


title: Hereditarily normal manifolds of dimension > 1 may all be metrizable

abstract: P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions.


title: ADD-OPT: Accelerated Distributed Directed Optimization

abstract: In this paper, we consider distributed optimization problems where the goal is to minimize a sum of objective functions over a multi-agent network. We focus on the case when the inter-agent communication is described by a strongly-connected, \emph{directed} graph. The proposed algorithm, ADD-OPT (Accelerated Distributed Directed Optimization), achieves the best known convergence rate for this class of problems,~$O(\mu^{k}),0<\mu<1$, given strongly-convex, objective functions with globally Lipschitz-continuous gradients, where~$k$ is the number of iterations. Moreover, ADD-OPT supports a wider and more realistic range of step-sizes in contrast to existing work. In particular, we show that ADD-OPT converges for arbitrarily small (positive) step-sizes. Simulations further illustrate our results.


title: Projective configuration theorems: old wine into new wineskins

abstract: This is a survey of select recent results by a number of authors, inspired by the classical configuration theorems of projective geometry.


title: New version of Gram-Schmidt Process with inverse for Signal and Image Processing

abstract: The Gram-Schmidt Process (GSP) is used to convert a non-orthogonal basis (a set of linearly independent vectors, matrices, etc) into an orthonormal basis (a set of orthogonal, unit-length vectors, bi or tri dimensional matrices). The process consists of taking each array and then subtracting the projections in common with the previous arrays. This paper introduces an enhanced version of the Gram-Schmidt Process (EGSP) with inverse, which is useful for Digital Signal and Image Processing, among others applications.


title: Design and implementation of image processing system for Lumen social robot-humanoid as an exhibition guide for Electrical Engineering Days 2015

abstract: Lumen Social Robot is a humanoid robot development with the purpose that it could be a good friend to all people. In this year, the Lumen Social Robot is being developed into a guide in the exhibition and in the seminar of the Final Exam of undergraduate and graduate students in Electrical Engineering ITB, named Electrical Engineering Days 2015. In order to be the guide in that occasion, Lumen is supported by several things. They are Nao robot components, servers, and multiple processor systems. The image processing system is a processing application system that allows Lumen to recognize and determine an object from the image taken from the camera eye. The image processing system is provided with four modules. They are face detection module to detect a person's face, face recognition module to recognize a person's face, face tracking module to follow a person's face, and human detection module to detect humans based on the upper parts of person's body. Face detection module and human detection module are implemented by using the library harcascade.xml on EMGU CV. Face recognition module is implemented by adding the database for the face that has been detected and store it in that database. Face tracking module is implemented by using the Smooth Gaussian filter to the image. ----- Lumen Sosial Robot merupakan sebuah pengembangan robot humanoid agar dapat menjadi teman bagi banyak orang. Sistem pengolahan citra merupakan sistem aplikasi pengolah yang bertujuan Lumen dapat mengenali dan mengetahui suatu objek pada citra yang diambil dari camera mata Lumen. System pengolahan citra dilengkapi dengan empat buah modul, yaitu modul face detection untuk mendeteksi wajah seseorang, modul face recognition untuk mengenali wajah orang tersebut, modul face tracking untuk mengikuti wajah seseorang, dan modul human detection untuk mendeteksi manusia berdasarkan bagian tubuh atas orang


title: Non-monotonic temperature dependence of chaos-assisted diffusion in driven periodic systems

abstract: The spreading of a cloud of independent Brownian particles typically proceeds more effectively at higher temperatures, as it derives from the commonly known Sutherland-Einstein relation for systems in thermal equilibrium. Here, we report on a non-equilibrium situation in which the diffusion of a periodically driven Brownian particle moving in a periodic potential decreases with increasing temperature within a finite temperature window. We identify as the cause for this non-intuitive behaviour a dominant deterministic mechanism consisting of a few unstable periodic orbits embedded into a chaotic attractor together with thermal noise-induced dynamical changes upon varying temperature. The presented analysis is based on extensive numerical simulations of the corresponding Langevin equation describing the studied setup as well as on a simplified stochastic model formulated in terms of a three-state Markovian process. Because chaos exists in many natural as well as in artificial systems representing abundant areas of contemporary knowledge, the described mechanism may potentially be discovered in plentiful different contexts.


title: Quantum Entanglement as a Diagnostic of Phase Transitions in Disordered Fractional Quantum Hall Liquids

abstract: We investigate the disorder-driven phase transition from a fractional quantum Hall state to an Anderson insulator using quantum entanglement methods. We find that the transition is signaled by a sharp increase in the sensitivity of a suitably averaged entanglement entropy with respect to disorder -- the magnitude of its disorder derivative appears to diverge in the thermodynamic limit. We also study the level statistics of the entanglement spectrum as a function of disorder. However, unlike the dramatic phase-transition signal in the entanglement entropy derivative, we find a gradual reduction of level repulsion only deep in the Anderson insulating phase.


title: Design and implementation of computational platform for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015

abstract: Social Robot Lumen is an Artificial Intelligence development project that aims to create an Artificial Intelligence (AI) which allows a humanoid robot to communicate with human being naturally. In this study, Lumen will be developed to be a tour guide in Electrical Engineering Days 2015 exhibition. In developing an AI, there are a lot of modules that need to be developed separately. To make the development easier, we need a computational platform which becomes basis for all developers to give easiness in developing the modules in parallel way. That computational platform that developed by the writer is called Lumen Server. Lumen Server has two main function, which are to be a bridge between all Lumen intelligence modules with NAO robot, and to be the communication bridge between those Lumen intelligence modules. For the second function, Lumen Server implements the AMQP protocol using RabbitMQ. Besides that, writer also developed a control system for robot movement called Lumen Motion. Lumen motion is implemented by modelling the movement of NAO robot and also by creating a control system using fuzzy logic controller. Writer also developed a program that connects all Lumen intelligence modules so that Lumen can act like a tour guide. The implementation of this program uses FSM and event-driven program. From implementation result, all the features which were designed are successfully implemented. By the developing of this computational platform, it can ease the development of Lumen in the future. For next development, it must be focused on creating integration system so that Lumen can be more responsive to the environment. ----- Sosial Robot Lumen adalah proyek pengembangan kecerdasan buatan yang bertujuan untuk menciptakan kecerdasan buatan atau artificial intelligence (AI) yang memungkinkan robot untuk dapat berkomunikasi dengan manusia secara alami.


title: On the representations of a positive integer by certain classes of quadratic forms in eight variables

abstract: In this paper we use the theory of modular forms to find formulas for the number of representations of a positive integer by certain class of quadratic forms in eight variables, viz., forms of the form $a_1x_1^2 + a_2 x_2^2 + a_3 x_3^2 + a_4 x_4^2 + b_1(x_5^2+x_5x_6 + x_6^2) + b_2(x_7^2+x_7x_8 + x_8^2)$, where $a_1\le a_2\le a_3\le a_4$, $b_1\le b_2$ and $a_i$'s $\in \{1,2,3\}$, $b_i$'s $\in \{1,2,4\}$. We also determine formulas for the number of representations of a positive integer by the quadratic forms $(x_1^2+x_1x_2+x_2^2) + c_1(x_3^2+x_3x_4+x_4^2) + c_2(x_5^2+x_5x_6+x_6^2) + c_3(x_7^2+x_7x_8+x_8^2)$, where $c_1,c_2,c_3\in \{1,2,4,8\}$, $c_1\le c_2\le c_3$.


title: Design and implementation of audio communication system for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015

abstract: Social Robot Lumen is a humanoid robot created to act like human and be human friend. In this study, Lumen scenario is limited on Lumen as an exhibition guide in Electrical Engineering Days 2015, a seminar and exhibition of electrical engineering undergraduate and graduate student of Bandung Institute of Technology. To be an exhibition guide, Lumen is equipped by Nao robot, a server, and processing applications. Audio communication system is one of the processing applications. The purpose of the system is to create verbal communication that allow Lumen to receive human voice and respond naturally to it. To be able to communicate like a human, audio communication system is built with speech recognition module to transform speech data into text, speech synthesizer module to transform text data into speech, and gender identification module to distinguish adult female and male voice. Speech recognition module is implemented using Google Speech Recognition API, speech synthesizer module is implemented using Acapela engine, and gender identification module implemented by utilizing speech signal feature that is extracted using Fast Fourier Transform algorithm. Hardware used for implementation are Nao robot, computer, and wireless modem. ----- Lumen Robot Sosial Robot merupakan robot humanoid yang diciptakan agar dapat bersikap seperti manusia dan menjadi teman bagi manusia. Sistem komunikasi audio merupakan salah satu aplikasi pengolah yang bertujuan agar Lumen dapat menerima suara manusia dan meresponnya dengan natural, yaitu seperti cara manusia merespon manusia lainnya. Untuk dapat berkomunikasi seperti manusia, sistem komunikasi audio dilengkapi dengan tiga buah modul: speech recognition untuk mengubah data suara menjadi teks, speech synthesizer untuk mengubah data teks menjadi suara, dan gender identification untuk membedakan suara wanita dan pria.


title: Centers of mass of Poncelet polygons, 200 years after

abstract: The locus of the centers of mass of the family of Poncelet polygons, inscribed into a conic $\Gamma$ and circumscribed about a conic $\gamma$, is a conic homothetic to $\Gamma$.


title: Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application

abstract: Automatic code generation for low-dimensional geometric algorithms is capable of producing efficient low-level software code through a high-level geometric domain specific language. Geometric Algebra (GA) is one of the most suitable algebraic systems for being the base for such code generator. This work presents an attempt at realizing such idea in practice. A novel GA-based geometric code generator, called GMac, is proposed. Comparisons to similar GA-based code generators are provided. The possibility of fully benefiting from the symbolic power of GA while obtaining good performance and maintainability of software implementations is illustrated through a ray tracing application.


title: Hoffmann-Ostenhof's conjecture for traceable cubic graphs

abstract: It was conjectured by Hoffmann-Ostenhof that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a family of cycles. In this paper, we show that this conjecture holds for traceable cubic graphs.


title: Effective equidistribution of horocycle lifts

abstract: We give a rate of equidistribution of lifts of horocycles from the space $\mathrm{SL}(2,\mathbb Z)\backslash \mathrm{SL}(2, \mathbb R)$ to the space $\mathrm{ASL}(2,\mathbb Z)\backslash \mathrm{ASL}(2,\mathbb R)$, making effective a theorem of Elkies and McMullen. This result constitutes an effective version of Ratner's measure classification theorem for measures supported on general horocycle lifts. The method used relies on Weil's resolution of the Riemann hypothesis for function fields in one variable and generalizes the approach of Str\"ombergsson to the case of linear lifts and that of Browning and the author to rational quadratic lifts.


title: Shesop Healthcare: Stress and influenza classification using support vector machine kernel

abstract: Shesop is an integrated system to make human lives more easily and to help people in terms of healthcare. Stress and influenza classification is a part of Shesop's application for a healthcare devices such as smartwatch, polar and fitbit. The main objective of this paper is to classify a new data and inform whether you are stress, depressed, caught by influenza or not. We will use the heart rate data taken for months in Bandung, analyze the data and find the Heart rate variance that constantly related with the stress and flu level. After we found the variable, we will use the variable as an input to the support vector machine learning. We will use the lagrangian and kernel technique to transform 2D data into 3D data so we can use the linear classification in 3D space. In the end, we could use the machine learning's result to classify new data and get the final result immediately: stress or not, influenza or not.


title: Shesop Healthcare: Android application to monitor heart rate variance, display influenza and stress condition using Polar H7

abstract: Shesop is an integrated system to make human lives more easily and to help people in terms of healthcare. Stress and influenza classification is a part of Shesop's application for a healthcare devices such as smartwatch, polar and fitbit. The main objective of this paper is to create a proper application to implement the stress and influenza classification. The application use Android studio, XML and Java. Also, while creating this application, all design and program is considered to be available for future updates. The application needs an android smartphone with Bluetooth Low Energy technology (bluetooth v4.0 or above). SheSop application will accommodate data entry, device picker, data gathering process, result and saving the result. In the end, we could use the polar H7 and this application to get a real-time heart rate, Heart rate variability and diagnose our stress and influenza condition.


title: The Approachability Ideal Without a Maximal Set

abstract: We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously adding partial square sequences on multiple stationary sets. We show that certain quotients of such forcings have the $\omega_1$-approximation property. We apply these ideas to prove, assuming the consistency of a greatly Mahlo cardinal, that it is consistent that the approachability ideal $I[\omega_2]$ does not have a maximal set modulo clubs.


title: Construction of extended 3D field of views of the internal bladder wall surface: a proof of concept

abstract: 3D extended field of views (FOVs) of the internal bladder wall facilitate lesion diagnosis, patient follow-up and treatment traceability. In this paper, we propose a 3D image mosaicing algorithm guided by 2D cystoscopic video-image registration for obtaining textured FOV mosaics. In this feasibility study, the registration makes use of data from a 3D cystoscope prototype providing, in addition to each small FOV image, some 3D points located on the surface. This proof of concept shows that textured surfaces can be constructed with minimally modified cystoscopes. The potential of the method is demonstrated on numerical and real phantoms reproducing various surface shapes. Pig and human bladder textures are superimposed on phantoms with known shape and dimensions. These data allow for quantitative assessment of the 3D mosaicing algorithm based on the registration of images simulating bladder textures.


title: Perfect Single-Sided Radiation and Absorption without Mirrors

abstract: Highly directional radiation from photonic structures is important for many applications, including high power photonic crystal surface emitting lasers, grating couplers, and light detection and ranging devices. However, previous dielectric, few-layer designs only achieved moderate asymmetry ratios, and a fundamental understanding of bounds on asymmetric radiation from arbitrary structures is still lacking. Here, we show that breaking the 180$^\circ$ rotational symmetry of the structure is crucial for achieving highly asymmetric radiation. We develop a general temporal coupled-mode theory formalism to derive bounds on the asymmetric decay rates to the top and bottom of a photonic crystal slab for a resonance with arbitrary in-plane wavevector. Guided by this formalism, we show that infinite asymmetry is still achievable even without the need of back-reflection mirrors, and we provide numerical examples of designs that achieve asymmetry ratios exceeding $10^4$. The emission direction can also be rapidly switched from top to bottom by tuning the wavevector or frequency. Furthermore, we show that with the addition of weak material absorption loss, such structures can be used to achieve perfect absorption with single-sided illumination, even for single-pass absorption rates less than $0.5\%$ and without back-reflection mirrors. Our work provides new design principles for achieving highly directional radiation and perfect absorption in photonics.


title: The Security of Organizations and Individuals in Online Social Networks

abstract: The serious privacy and security problems related to online social networks (OSNs) are what fueled two complementary studies as part of this thesis. In the first study, we developed a general algorithm for the mining of data of targeted organizations by using Facebook (currently the most popular OSN) and socialbots. By friending employees in a targeted organization, our active socialbots were able to find new employees and informal organizational links that we could not find by crawling with passive socialbots. We evaluated our method on the Facebook OSN and were able to reconstruct the social networks of employees in three distinct, actual organizations. Furthermore, in the crawling process with our active socialbots we discovered up to 13.55% more employees and 22.27% more informal organizational links in contrast to the crawling process that was performed by passive socialbots with no company associations as friends. In our second study, we developed a general algorithm for reaching specific OSN users who declared themselves to be employees of targeted organizations, using the topologies of organizational social networks and utilizing socialbots. We evaluated the proposed method on targeted users from three actual organizations on Facebook, and two actual organizations on the Xing OSN (another popular OSN platform). Eventually, our socialbots were able to reach specific users with a success rate of up to 70% on Facebook, and up to 60% on Xing.


title: Identification of Successive "Unobservable" Cyber Data Attacks in Power Systems Through Matrix Decomposition

abstract: This paper presents a new framework of identifying a series of cyber data attacks on power system synchrophasor measurements. We focus on detecting "unobservable" cyber data attacks that cannot be detected by any existing method that purely relies on measurements received at one time instant. Leveraging the approximate low-rank property of phasor measurement unit (PMU) data, we formulate the identification problem of successive unobservable cyber attacks as a matrix decomposition problem of a low-rank matrix plus a transformed column-sparse matrix. We propose a convex-optimization-based method and provide its theoretical guarantee in the data identification. Numerical experiments on actual PMU data from the Central New York power system and synthetic data are conducted to verify the effectiveness of the proposed method.


title: The complexity of tropical graph homomorphisms

abstract: A tropical graph $(H,c)$ consists of a graph $H$ and a (not necessarily proper) vertex-colouring $c$ of $H$. Given two tropical graphs $(G,c_1)$ and $(H,c)$, a homomorphism of $(G,c_1)$ to $(H,c)$ is a standard graph homomorphism of $G$ to $H$ that also preserves the vertex-colours. We initiate the study of the computational complexity of tropical graph homomorphism problems. We consider two settings. First, when the tropical graph $(H,c)$ is fixed; this is a problem called $(H,c)$-COLOURING. Second, when the colouring of $H$ is part of the input; the associated decision problem is called $H$-TROPICAL-COLOURING. Each $(H,c)$-COLOURING problem is a constraint satisfaction problem (CSP), and we show that a complexity dichotomy for the class of $(H,c)$-COLOURING problems holds if and only if the Feder-Vardi Dichotomy Conjecture for CSPs is true. This implies that $(H,c)$-COLOURING problems form a rich class of decision problems. On the other hand, we were successful in classifying the complexity of at least certain classes of $H$-TROPICAL-COLOURING problems.


title: Equations of Riemann surfaces with automorphisms

abstract: We present an algorithm for computing equations of canonically embedded Riemann surfaces with automorphisms. A variant of this algorithm with many heuristic improvements is used to produce equations of Riemann surfaces $X$ with large automorphism groups (that is, $|\mathrm{Aut}(X)| > 4(g_X-1)$) for genus $4 \leq g_X \leq 7$. The main tools are the Eichler trace formula for the character of the action of $\mathrm{Aut}(X)$ on holomorphic differentials, algorithms for producing matrix generators of a representation of a finite group with a specified irreducible character, and Gr\"obner basis techniques for computing flattening stratifications.


title: Bulk viscosity for pion and nucleon thermal fluctuation in the hadron resonance gas model

abstract: We have calculated microscopically bulk viscosity of hadronic matter, where equilibrium thermodynamics for all hadrons in medium are described by Hadron Resonance Gas (HRG) model. Considering pions and nucleons as abundant medium constituents, we have calculated their thermal widths, which inversely control the strength of bulk viscosities for respective components and represent their in-medium scattering probabilities with other mesonic and baryonic resonances, present in the medium. Our calculations show that bulk viscosity increases with both temperature and baryon chemical potential, whereas viscosity to entropy density ratio decreases with temperature and with baryon chemical potential, the ratio increases first and then decreases. The decreasing nature of the ratio with temperature is observed in most of the earlier investigations with few exceptions. We find that the temperature dependence of bulk viscosity crucially depends on the structure of the relaxation time. Along the chemical freeze-out line in nucleus-nucleus collisions with increasing collision energy, bulk viscosity as well as the bulk viscosity to entropy density ratio decreases, which also agrees with earlier references. Our results indicate the picture of a strongly coupled hadronic medium.


title: Exploiting Multi-modal Curriculum in Noisy Web Data for Large-scale Concept Learning

abstract: Learning video concept detectors automatically from the big but noisy web data with no additional manual annotations is a novel but challenging area in the multimedia and the machine learning community. A considerable amount of videos on the web are associated with rich but noisy contextual information, such as the title, which provides weak annotations or labels about the video content. To leverage the big noisy web labels, this paper proposes a novel method called WEbly-Labeled Learning (WELL), which is established on the state-of-the-art machine learning algorithm inspired by the learning process of human. WELL introduces a number of novel multi-modal approaches to incorporate meaningful prior knowledge called curriculum from the noisy web videos. To investigate this problem, we empirically study the curriculum constructed from the multi-modal features of the videos collected from YouTube and Flickr. The efficacy and the scalability of WELL have been extensively demonstrated on two public benchmarks, including the largest multimedia dataset and the largest manually-labeled video set. The comprehensive experimental results demonstrate that WELL outperforms state-of-the-art studies by a statically significant margin on learning concepts from noisy web video data. In addition, the results also verify that WELL is robust to the level of noisiness in the video data. Notably, WELL trained on sufficient noisy web labels is able to achieve a comparable accuracy to supervised learning methods trained on the clean manually-labeled data.