title: The applications of deep neural networks to sdBV classification

abstract: With several new large-scale surveys on the horizon, including LSST, TESS, ZTF, and Evryscope, faster and more accurate analysis methods will be required to adequately process the enormous amount of data produced. Deep learning, used in industry for years now, allows for advanced feature detection in minimally prepared datasets at very high speeds; however, despite the advantages of this method, its application to astrophysics has not yet been extensively explored. This dearth may be due to a lack of training data available to researchers. Here we generate synthetic data loosely mimicking the properties of acoustic mode pulsating stars and we show that two separate paradigms of deep learning - the Artificial Neural Network And the Convolutional Neural Network - can both be used to classify this synthetic data effectively. And that additionally this classification can be performed at relatively high levels of accuracy with minimal time spent adjusting network hyperparameters.


title: Data-Based Optimal Control of Multi-Agent Systems: A Reinforcement Learning Design Approach

abstract: This paper studies optimal consensus tracking problem of heterogeneous linear multi-agent systems. By introducing tracking error dynamics, the optimal tracking problem is reformulated as finding a Nash-equilibrium solution of a multi-player games, which can be done by solving associated coupled Hamilton-Jacobi (HJ) equations. A data-based error estimator is designed to obtain the data-based control for the multi-agent systems. Using the quadratic functional to approximate the every agent's value function, we can obtain the optimal cooperative control by input-output (I/O) $Q$-learning algorithm with value iteration technique in the least-square sense. The control law solves the optimal consensus problem for multi-agent systems with measured input-output information, and does not rely on the model of multi-agent systems. A numerical example is provided to illustrate the effectiveness of the proposed algorithm.


title: On reducing the communication cost of the diffusion LMS algorithm

abstract: The rise of digital and mobile communications has recently made the world more connected and networked, resulting in an unprecedented volume of data flowing between sources, data centers, or processes. While these data may be processed in a centralized manner, it is often more suitable to consider distributed strategies such as diffusion as they are scalable and can handle large amounts of data by distributing tasks over networked agents. Although it is relatively simple to implement diffusion strategies over a cluster, it appears to be challenging to deploy them in an ad-hoc network with limited energy budget for communication. In this paper, we introduce a diffusion LMS strategy that significantly reduces communication costs without compromising the performance. Then, we analyze the proposed algorithm in the mean and mean-square sense. Next, we conduct numerical experiments to confirm the theoretical findings. Finally, we perform large scale simulations to test the algorithm efficiency in a scenario where energy is limited.


title: Virtual plane-wave imaging via Marchenko redatuming

abstract: Marchenko redatuming is a novel scheme used to retrieve up- and down-going Green's functions in an unknown medium. Marchenko equations are based on reciprocity theorems and are derived on the assumption of the existence of functions exhibiting space-time focusing properties once injected in the subsurface. In contrast to interferometry but similarly to standard migration methods, Marchenko redatuming only requires an estimate of the direct wave from the virtual source (or to the virtual receiver), illumination from only one side of the medium, and no physical sources (or receivers) inside the medium. In this contribution we consider a different time-focusing condition within the frame of Marchenko redatuming that leads to the retrieval of virtual plane-wave responses. As a result, it allows multiple-free imaging using only a one-dimensional sampling of the targeted model at a fraction of the computational cost of standard Marchenko schemes. The potential of the new method is demonstrated on 2D synthetic models.


title: Axial anomaly and nesting in the inhomogeneous chiral phase

abstract: Axial anomaly and nesting is elucidated in the context of the inhomogeneous chiral phase. Using the Gross-Neveu models in 1+1 dimensions, we shall discuss axial anomaly and nesting from two different points of view: one is homogeneous chiral transition and the other is the Ferrel-Fulde-Larkin-Ovchinnikov (FFLO) state in superconductivity, which are closely related to each other by way of duality. It is shown that axial anomaly leads to a particular kind of the FFLO state within the two dimensional Nambu-Jona Lasinio model, where axial anomaly is manifested in a different mode. Nesting is a driving mechanism for both phenomena, but its realization has different features. We reconsider the effect of nesting in the context of duality.


title: A simple and efficient profile likelihood for semiparametric exponential family

abstract: Semiparametric exponential family proposed by Ning et al. (2017) is an extension of the parametric exponential family to the case with a nonparametric base measure function. Such a distribution family has potential application in some areas such as high dimensional data analysis. However, the methodology for achieving the semiparametric efficiency has not been proposed in the existing literature. In this paper, we propose a profile likelihood to efficiently estimate both parameter and nonparametric function. Due to the use of the least favorable curve in the procedure of profile likelihood, the semiparametric efficiency is achieved successfully and the estimation bias is reduced significantly. Moreover, by making the most of the structure information of the semiparametric exponential family, the estimator of the least favorable curve has an explicit expression. It ensures that the newly proposed profile likelihood can be implemented and is computationally simple. Simulation studies can illustrate that our proposal is much better than the existing methodology for most cases under study, and is robust to the different model conditions.


title: Errors in Flash-Memory-Based Solid-State Drives: Analysis, Mitigation, and Recovery

abstract: NAND flash memory is ubiquitous in everyday life today because its capacity has continuously increased and cost has continuously decreased over decades. This positive growth is a result of two key trends: (1) effective process technology scaling; and (2) multi-level (e.g., MLC, TLC) cell data coding. Unfortunately, the reliability of raw data stored in flash memory has also continued to become more difficult to ensure, because these two trends lead to (1) fewer electrons in the flash memory cell floating gate to represent the data; and (2) larger cell-to-cell interference and disturbance effects. Without mitigation, worsening reliability can reduce the lifetime of NAND flash memory. As a result, flash memory controllers in solid-state drives (SSDs) have become much more sophisticated: they incorporate many effective techniques to ensure the correct interpretation of noisy data stored in flash memory cells. In this chapter, we review recent advances in SSD error characterization, mitigation, and data recovery techniques for reliability and lifetime improvement. We provide rigorous experimental data from state-of-the-art MLC and TLC NAND flash devices on various types of flash memory errors, to motivate the need for such techniques. Based on the understanding developed by the experimental characterization, we describe several mitigation and recovery techniques, including (1) cell-tocell interference mitigation; (2) optimal multi-level cell sensing; (3) error correction using state-of-the-art algorithms and methods; and (4) data recovery when error correction fails. We quantify the reliability improvement provided by each of these techniques. Looking forward, we briefly discuss how flash memory and these techniques could evolve into the future.


title: On the State Constrained Optimal Control of the Stefan Type Free Boundary Problems

abstract: We analyze the state constrained inverse Stefan type parabolic free boundary problem as an optimal control problem in the Sobolev-Besov spaces framework. Boundary heat flux, density of heat sources, and free boundary are components of the control vector. Cost functional is the sum of the $L_2$-norm declinations of the temperature measurement at the final moment, the phase transition temperature, the final position of the free boundary, and the penalty term, taking into account the state constraint on the temperature. We prove the existence of optimal control, Frechet differentiability, and optimality condition in the Besov spaces under minimal regularity assumptions on the data. We pursue space-time discretization through finite differences and prove that the sequence of discrete optimal control problems converges to the original problem both with respect to functional and control.


title: Factor endowment -- commodity output relationships in a three-factor, two-good general equilibrium trade model

abstract: We analyze the Rybczynski sign pattern, which expresses the factor endowment - commodity output relationships in a three-factor, two-good general equilibrium trade model. The relationship determines whether a strong Rybczynski result holds. We search for a sufficient condition for each Rybczynski sign pattern to hold in a systematic manner, which no other studies have derived. We assume factor-intensity ranking is constant. We use the EWS (economy-wide substitution)-ratio vector and the Hadamard product in our analysis. We show that the position of the EWS-ratio vector determines the Rybczynski sign pattern. This article provides a basis for further applications.


title: Investigation of the formation process of soap bubbles from soap film

abstract: In this paper, we study the formation process of a soap bubble by blowing soap film. Both bubble diameter and formation position were investigated in experiments. We found that the ratio between bubble size and soap film column is constant, and that the formation position increases linearly within a critical length-range. We used the theory of Rayleigh-Plateau instability to explain these findings. The theoretical explanations are consistent with the experimental data.


title: Subsonic flows passing a duct for three-dimensional steady compressible Euler system with friction

abstract: For the three-dimensional steady non-isentropic compressible Euler system with friction, we show existence of a class of symmetric subsonic, supersonic and transonic-shock solutions in a straight duct with constant square-section. Such flows are called Fanno flow in engineering. We formulate a boundary value problem for subsonic flows, and study their stability under multidimensional small perturbations of boundary conditions. Since the subsonic Euler system is of elliptic-hyperbolic composite-mixed type, this is achieved by using the framework established in [L. Liu; G. Xu; H. Yuan: Stability of spherically symmetric subsonic flows and transonic shocks under multidimensional perturbations. Adv. Math. 291 (2016), 696--757], and establishing an iteration scheme, which involves solving a second order nonlocal elliptic equation.


title: Data-driven model of the cosmic-ray flux and mass composition from 10 GeV to $10^{11}$ GeV

abstract: We present a new parametrization of the cosmic-ray flux and its mass composition over an energy range from 10 GeV to $10^{11}$ GeV. Our approach is data-driven and relies on theoretical assumptions as little as possible. We combine measurements of the flux of individual elements from high-precision satellites and balloon experiments with indirect measurements of mass groups from the leading air shower experiments. To our knowledge, we provide the first fit of this kind that consistently takes both statistical and systematic uncertainties into account. The uncertainty on the energy scales of individual experiments is handled explicitly in our mathematical approach. Part of our results is a common energy scale and adjustment factors for the energy scales of the participating experiments. Our fit has a reduced $\chi^2$-value of 0.5, showing that experimental data are in good agreement, if systematic uncertainties are considered. Our model may serve as a world-average of the measured fluxes for individual elements from proton to iron from 10 GeV to $10^{11}$ GeV. It is useful as an input for simulations or theoretical computations based on cosmic rays. The experimental uncertainties of the input data are captured in a covariance matrix, which can be propagated into derived quantities.


title: Universal Differentiability Sets in Carnot Groups of Arbitrarily High Step

abstract: We show that every model filiform group $\mathbb{E}_{n}$ contains a measure zero set $N$ such that every Lipschitz map $f\colon \mathbb{E}_{n}\to \mathbb{R}$ is differentiable at some point of $N$. Model filiform groups are a class of Carnot groups which can have arbitrarily high step. Essential to our work is the question of whether existence of an (almost) maximal directional derivative $Ef(x)$ in a Carnot group implies differentiability of a Lipschitz map $f$ at $x$. We show that such an implication is valid in model Filiform groups except for a one-dimensional subspace of horizontal directions. Conversely, we show that this implication fails for every horizontal direction in the free Carnot group of step three and rank two.


title: Optical and Radio Observations of the T Tauri Binary KH 15D (V582 Mon): Stellar Properties, Disk Mass Limit and Discovery of a CO Outflow

abstract: We present VRIJHK photometry of the KH 15D T Tauri binary system for the 2015/16 and 2016/17 observing seasons. For the first time in the modern (CCD) era we are seeing Star B fully emerge from behind the trailing edge of the precessing circumbinary ring during each apastron passage. We are, therefore, able to measure its luminosity and color. Decades of photometry on the system now allow us to infer the effective temperature, radius, mass and age of each binary component. We find our values to be in good agreement with previous studies, including archival photographic photometry from the era when both stars were fully visible, and they set the stage for a full model of the system that can be constructed once radial velocity measurements are available. We also present the first high sensitivity radio observations of the system, taken with ALMA and the SMA. The respective 2.0 and 0.88 mm observations provide an upper limit on the circumbinary (gas and dust) disk mass of 1.7 Jupiter masses and reveal an extended CO outflow which overlaps with the position, systemic velocity and orientation of the KH 15D system and is certainly associated with it. The low velocity, tight collimation, and extended nature of the emission suggest that the outflow is inclined nearly orthogonal to the line of sight, implying it is also orthogonal to the circumbinary ring. The position angle of the radio outflow also agrees precisely with the direction of polarization of the optical emission during the faint phase. A small offset between the optical image of the binary and the central line of the CO outflow remains as a puzzle and possible clue to the jet launching mechanism.


title: Virtual immersions, and a characterization of symmetric spaces

abstract: We define virtual immersions, as a generalization of isometric immersions in a pseudo-Riemannian vector space. We show that virtual immersions possess a second fundamental form, which is in general not symmetric. We prove that a manifold admits a virtual immersion with skew symmetric second fundamental form, if and only if it is a symmetric space, and in this case the virtual immersion is essentially unique.


title: Quantifying Differential Privacy in Continuous Data Release under Temporal Correlations

abstract: Differential Privacy (DP) has received increasing attention as a rigorous privacy framework. Many existing studies employ traditional DP mechanisms (e.g., the Laplace mechanism) as primitives to continuously release private data for protecting privacy at each time point (i.e., event-level privacy), which assume that the data at different time points are independent, or that adversaries do not have knowledge of correlation between data. However, continuously generated data tend to be temporally correlated, and such correlations can be acquired by adversaries. In this paper, we investigate the potential privacy loss of a traditional DP mechanism under temporal correlations. First, we analyze the privacy leakage of a DP mechanism under temporal correlation that can be modeled using Markov Chain. Our analysis reveals that, the event-level privacy loss of a DP mechanism may \textit{increase over time}. We call the unexpected privacy loss \textit{temporal privacy leakage} (TPL). Although TPL may increase over time, we find that its supremum may exist in some cases. Second, we design efficient algorithms for calculating TPL. Third, we propose data releasing mechanisms that convert any existing DP mechanism into one against TPL. Experiments confirm that our approach is efficient and effective.


title: Faddeev-Jackiw quantization of topological invariants: Euler and Pontryagin classes

abstract: The symplectic analysis for the four dimensional Pontryagin and Euler invariants is performed within the Faddeev-Jackiw context. The Faddeev-Jackiw constraints and the generalized Faddeev-Jackiw brackets are reported; we show that in spite of the Pontryagin and Euler classes give rise the same equations of motion, its respective symplectic structures are different to each other. In addition, a quantum state that solves the Faddeev-Jackiw constraints is found, and we show that the quantum states for these invariants are different to each other. Finally, we present some remarks and conclusions.


title: SyGuS-Comp 2017: Results and Analysis

abstract: Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula phi in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In this year's competition six new solvers competed on over 1500 benchmarks. This paper presents and analyses the results of SyGuS-Comp'17.


title: The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

abstract: We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2017. We present the participants of SYNTCOMP 2017, with a focus on changes with respect to the previous years and on the two completely new tools that have entered the competition. Finally, we present and analyze the results of our experimental evaluation, including a ranking of tools with respect to quantity and quality of solutions.


title: The isoperimetric problem in the 2-dimensional Finsler space forms with k = 0. II

abstract: This paper is a continuation of the second author's previous work. We investigate the isoperimetric problem in the 2-dimensional Finsler space form $(F_B, B^2(1))$ with $k=0$ by using the Holmes-Thompson area and prove that the circle centered the origin achieves the local maximum area of the isoperimetric problem.


title: Scenario-based Economic Dispatch with Uncertain Demand Response

abstract: This paper introduces a new computational framework to account for uncertainties in day-ahead electricity market clearing process in the presence of demand response providers. A central challenge when dealing with many demand response providers is the uncertainty of its realization. In this paper, a new economic dispatch framework that is based on the recent theoretical development of the scenario approach is introduced. By removing samples from a finite uncertainty set, this approach improves dispatch performance while guaranteeing a quantifiable risk level with respect to the probability of violating the constraints. The theoretical bound on the level of risk is shown to be a function of the number of scenarios removed. This is appealing to the system operator for the following reasons: (1) the improvement of performance comes at the cost of a quantifiable level of violation probability in the constraints; (2) the violation upper bound does not depend on the probability distribution assumption of the uncertainty in demand response. Numerical simulations on (1) 3-bus and (2) IEEE 14-bus system (3) IEEE 118-bus system suggest that this approach could be a promising alternative in future electricity markets with multiple demand response providers.


title: Spectrum Sensing under Spectrum Misuse Behaviors: A Multi-Hypothesis Test Perspective

abstract: Spectrum misuse behaviors, brought either by illegitimate access or by rogue power emission, endanger the legitimate communication and deteriorate the spectrum usage environment. In this paper, our aim is to detect whether the spectrum band is occupied, and if it is occupied, recognize whether the misuse behavior exists. One vital challenge is that the legitimate spectrum exploitation and misuse behaviors coexist and the illegitimate user may act in an intermittent and fast-changing manner, which brings about much uncertainty for spectrum sensing. To tackle it, we firstly formulate the spectrum sensing problems under illegitimate access and rogue power emission as a uniform ternary hypothesis test. Then, we develop a novel test criterion, named the generalized multi-hypothesis N-P criterion. Following the criterion, we derive two test rules based on the generalized likelihood ratio test and the R-test, respectively, whose asymptotic performances are analyzed and an upper bound is also given. Furthermore, a cooperative spectrum sensing scheme is designed based on the global N-P criterion to further improve the detection performances. In addition, extensive simulations are provided to verify the proposed schemes' performance under various parameter configurations.


title: ConvNets and ImageNet Beyond Accuracy: Understanding Mistakes and Uncovering Biases

abstract: ConvNets and Imagenet have driven the recent success of deep learning for image classification. However, the marked slowdown in performance improvement combined with the lack of robustness of neural networks to adversarial examples and their tendency to exhibit undesirable biases question the reliability of these methods. This work investigates these questions from the perspective of the end-user by using human subject studies and explanations. The contribution of this study is threefold. We first experimentally demonstrate that the accuracy and robustness of ConvNets measured on Imagenet are vastly underestimated. Next, we show that explanations can mitigate the impact of misclassified adversarial examples from the perspective of the end-user. We finally introduce a novel tool for uncovering the undesirable biases learned by a model. These contributions also show that explanations are a valuable tool both for improving our understanding of ConvNets' predictions and for designing more reliable models.


title: Primordial magnetic field generation in the Quark Gluon Plasma phase

abstract: In this work we investigate the possibility of generation of primordial magnetic field in the early universe near the QCD phase transition epoch via the collapse of $Z(3)$ domains. The $Z(3)$ domain walls arise in the deconfined phase of the QCD (above $T\sim 200$ MeV) and their collapse leads to a net quark concentration near the wall boundary due to non-trivial reflection of quarks. We look at the response of leptons to this quark excess and find that leptons do not cancel the electric charge concentration due to the quarks. The wall collapse and a net charge concentration can lead to the generation of vorticity and turbulence in the primordial plasma. We estimate the magnitude of the magnetic field generated and find that it can be quite large $\mathcal{O}(10^{15-18}\mathrm{G})$. The mechanism is independent of the order of the QCD phase transition.


title: Measurements of single top quark cross sections at 13 TeV with the CMS experiment

abstract: An overview of recent measurements of inclusive and differential single top quark cross sections at 13 TeV with the CMS experiment is given in this note. This includes measurements targeting the $t$-channel and tW production modes resulting in inclusive cross sections of $\sigma_{t\mathrm{\mbox{-}ch.}}=238\pm32~\mathrm{pb}$ and $\sigma_\mathrm{tW}=63.1\pm6.6~\mathrm{pb}$ respectively. In addition, the $t$-channel cross section has been measured differentially as a function of the top quark transverse momentum and rapidity. The results are found in agreement with the standard model expectations. Furthermore, a search for single top quark production in association with a Z boson is detailed which yields an observed (expected) significance of 3.7 (3.1) standard deviations.


title: Stratosphere circulation on tidally locked ExoEarths

abstract: Stratosphere circulation is important to interpret abundances of photo-chemically produced compounds like ozone that we aim to observe to assess habitability of exoplanets. We thus investigate a tidally locked ExoEarth scenario for TRAPPIST-1b, TRAPPIST-1d, Proxima Centauri~b and GJ 667 C~f with a simplified 3D atmosphere model and for different stratospheric wind breaking assumptions. These planets are representatives for different circulation regimes for orbital periods: $P_{orb}=1-100$~days. The circulation of exoplanets with $P_{orb} \leq $ 25~days can be dominated by the standing tropical Rossby wave in the troposphere and also in the stratosphere: It leads to a strong equatorial eastward wind jet and to 'Anti-Brewer-Dobson'-circulation that confines air masses to the stratospheric equatorial region. Thus, the distribution of photo-chemically produced species and aerosols may be limited to an 'equatorial transport belt'. In contrast, planets with $P_{orb}>25$~days, like GJ~667~C~f, exhibit efficient thermally driven circulation in the stratosphere that allows for a day side-wide distribution of air masses. The influence of the standing tropical Rossby waves on tidally locked ExoEarths with $P_{orb} \leq 25$~days can, however, be circumvented with deep stratospheric wind breaking alone - allowing for equator-to-pole transport like on Earth. For planets with $3 \leq P_{orb} \leq 6$~days, the extratropical Rossby wave acts as an additional safe-guard against the tropical Rossby wave in case of shallow wind breaking. Therefore, TRAPPIST-1d is less prone to have an equatorial transport belt in the stratosphere than Proxima~Centauri~b. Even our Earth model shows an equatorial wind jet, if stratosphere wind breaking is inefficient.


title: Nakayama automorphism of quasi-commutative skew PBW extensions over AS-regular algebras

abstract: Graded quasi-commutative skew PBW extensions are isomorphic to graded iterated Ore extensions of endomorphism type, whence graded quasi-commutative skew PBW extensions with coefficients in AS-regular algebras are skew Calabi-Yau and the Nakayama automorphism exists for these extensions. With this in mind, in this paper we give a description of Nakayama automorphism for these non-commutative algebras using the Nakayama automorphism of the ring of the coefficients.


title: The rank of a complex unit gain graph in terms of the rank of its underlying graph

abstract: Let $\Phi=(G, \varphi)$ be a complex unit gain graph (or $\mathbb{T}$-gain graph) and $A(\Phi)$ be its adjacency matrix, where $G$ is called the underlying graph of $\Phi$. The rank of $\Phi$, denoted by $r(\Phi)$, is the rank of $A(\Phi)$. Denote by $\theta(G)=|E(G)|-|V(G)|+\omega(G)$ the dimension of cycle spaces of $G$, where $|E(G)|$, $|V(G)|$ and $\omega(G)$ are the number of edges, the number of vertices and the number of connected components of $G$, respectively. In this paper, we investigate bounds for $r(\Phi)$ in terms of $r(G)$, that is, $r(G)-2\theta(G)\leq r(\Phi)\leq r(G)+2\theta(G)$, where $r(G)$ is the rank of $G$. As an application, we also prove that $1-\theta(G)\leq\frac{r(\Phi)}{r(G)}\leq1+\theta(G)$. All corresponding extremal graphs are characterized.


title: J1154+2443: a low-redshift compact star-forming galaxy with a 46 per cent leakage of Lyman continuum photons

abstract: We report the detection of the Lyman continuum (LyC) radiation of the compact star-forming galaxy (SFG) J1154+2443 observed with the Cosmic Origins Spectrograph (COS) onboard the Hubble Space Telescope. This galaxy, at a redshift of z=0.3690, is characterized by a high emission-line flux ratio O32=[OIII]5007/[OII]3727=11.5. The escape fraction of the LyC radiation fesc(LyC) in this galaxy is 46 per cent, the highest value found so far in low-redshift SFGs and one of the highest values found in galaxies at any redshift. The narrow double-peaked Lya emission line is detected in the spectrum of J1154+2443 with a separation between the peaks Vsep of 199 km/s, one of the lowest known for Lya-emitting galaxies, implying a high fesc(Lya). Comparing the extinction-corrected Lya/Hb flux ratio with the case B value we find fesc(Lya) = 98 per cent. Our observations, combined with previous detections in the literature, reveal an increase of O32 with increasing fesc(LyC). We also find a tight anticorrelation between fesc(LyC) and Vsep. The surface brightness profile derived from the COS acquisition image reveals a bright star-forming region in the centre and an exponential disc in the outskirts with a disc scale length alpha=1.09 kpc. J1154+2443, compared to other known low-redshift LyC leakers, is characterized by the lowest metallicity, 12+logO/H=7.65+/-0.01, the lowest stellar mass M*=10^8.20 Msun, a similar star formation rate SFR=18.9 Msun/yr and a high specific SFR of 1.2x10^-7 yr^-1.


title: Supersymmetric higher spin models in three dimensional spaces

abstract: We review the component Lagrangian construction of the supersymmetric higher spin models in three dimensional (3D) Minkowski and anti de Sitter (AdS) spaces. The approach is based on the frame-like gauge invariant formulation, where massive higher spin fields are realized through a system of massless ones. We develop a supersymmetric generalization of this formulation to the Lagrangian construction of the on-shell N=1, 3D higher spin supermultiplets. In 3D Minkowski space we show that the massive supermultiplets can be constructed from one extended massless supermultiplet by adding the mass terms to the Lagrangian and the corresponding corrections to the supertransformations of the fermionic fields. In 3D AdS space we construct massive supermultiplets using a formulation of the massive fields in terms of the set of gauge invariant objects (curvatures) in the process of their consistent supersymmetric deformation.


title: Does light from steady sources bear any observable imprint of the dispersive intergalactic medium?

abstract: There has recently been some interest in the prospect of detecting ionized intergalactic baryons by examining the properties of incoherent light from background cosmological sources, namely quasars. Although the paper by \cite{lieu13} proposed a way forward, it was refuted by the later theoretical work of \cite{hir14} and observational study of \cite{hal16}. In this paper we investigated in detail the manner in which incoherent radiation passes through a dispersive medium both from the frameworks of classical and quantum electrodynamics, which led us to conclude that the premise of \cite{lieu13} would only work if the pulses involved are genuinely classical ones involving many photons per pulse, but unfortunately each photon must not be treated as a pulse that is susceptible to dispersive broadening. We are nevertheless able to change the tone of the paper at this juncture, by pointing out that because current technology allows one to measure the phase of individual modes of radio waves from a distant source, the most reliable way of obtaining irrefutable evidence of dispersion, namely via the detection of its unique signature of a quadratic spectral phase, may well be already accessible. We demonstrate how this technique is only applied to measure the column density of the ionized intergalactic medium.


title: Scalar dark matter interpretation of the DAMPE data with U(1) gauge interactions

abstract: Recently, DAMPE experiment released the new measurement of the total cosmic $e^+e^-$ flux between 25 GeV and 4.6 TeV which indicates a spectral softening at around 0.9 TeV and a tentative peak at around 1.4 TeV. We utilize the scalar dark matter (DM) annihilation scenario to explain the DAMPE peak by extending $G_{SM}\equiv SU(3)_C \times SU(2)_L \times U(1)_Y$ with additional $U(1)$ gauge symmetries while keeping anomaly free to generate $\chi \chi \to Z^\prime Z^\prime \to \ell\bar{\ell}\ell^\prime\overline{\ell^\prime}$, where $\chi, Z^\prime, \ell^{(^\prime)}$ denote the scalar DM, the new gauge boson and $\ell^{(^\prime)}=e,\mu,\tau$, respectively, with $m_\chi \sim m_{Z^\prime} \sim 2 \times 1.5$ (TeV). We first illustrate that the minimal framework $G_{SM} \times U(1)_{Y^\prime}$ with the above mass choices can explain the DAMPE excess but has been excluded by LHC constraints from the $Z^\prime$ searches. Then we study a non-minimal framework $G_{SM} \times U(1)_{Y^\prime} \times U(1)_{Y^{\prime \prime}}$ in which $U(1)_{Y^{\prime \prime}}$ mixes with $U(1)_{Y^\prime}$. We show that such a framework can interpret the DAMPE data while passing other constraints including the DM relic abundance, DM direct detection and collider bounds. We also investigate the predicted $e^+e^-$ spectrum in this framework and find that the mass splitting $\Delta m = m_\chi - m_{Z'}$ should be less than about 17 GeV to produce the peak-like structure.


title: Improving Video Generation for Multi-functional Applications

abstract: In this paper, we aim to improve the state-of-the-art video generative adversarial networks (GANs) with a view towards multi-functional applications. Our improved video GAN model does not separate foreground from background nor dynamic from static patterns, but learns to generate the entire video clip conjointly. Our model can thus be trained to generate - and learn from - a broad set of videos with no restriction. This is achieved by designing a robust one-stream video generation architecture with an extension of the state-of-the-art Wasserstein GAN framework that allows for better convergence. The experimental results show that our improved video GAN model outperforms state-of-theart video generative models on multiple challenging datasets. Furthermore, we demonstrate the superiority of our model by successfully extending it to three challenging problems: video colorization, video inpainting, and future prediction. To the best of our knowledge, this is the first work using GANs to colorize and inpaint video clips.


title: Technical Report: A New Decision-Theory-Based Framework for Echo Canceler Control

abstract: A control logic has a central role in many echo cancellation systems for optimizing the performance of adaptive filters while estimating the echo path. For reliable control, accurate double-talk (DT) and channel change (CC) detectors are usually incorporated to the echo canceler. This work expands the usual detection strategy to define a classification problem characterizing four possible states of the echo canceler operation. The new formulation allow the use of decision theory to continuously control the transitions among the different modes of operation. The classification rule reduces to a low cost statistics for which it is possible to determine the probability of error under all hypotheses, allowing the classification performance to be accessed analytically. Monte Carlo simulations using synthetic and real data illustrate the reliability of the proposed method.


title: On Warped Product Gradient Yamabe Soliton

abstract: In this paper, we provide a necessary and sufficient conditions for the warped product $M=B\times_f F$ to be a gradient Yamabe soliton when the base is conformal to an n-dimensional pseudo-Euclidean space, which are invariant under the action of an (n-1)-dimensional translation group, and the fiber F is scalar-constant. As application, we obtain solutions in steady case with fiber scalar-flat. Besides, on the warped product we consider the potential function as separable variables and obtain some characterization of the base and the fiber.


title: Doubly autoparallel structure on the probability simplex

abstract: On the probability simplex, we can consider the standard information geometric structure with the e- and m-affine connections mutually dual with respect to the Fisher metric. The geometry naturally defines submanifolds simultaneously autoparallel for the both affine connections, which we call {\em doubly autoparallel submanifolds}. In this note we discuss their several interesting common properties. Further, we algebraically characterize doubly autoparallel submanifolds on the probability simplex and give their classification.


title: Infrared/Terahertz Spectra of the Photogalvanic Effect in (Bi,Sb)Te based Three Dimensional Topological Insulators

abstract: We report on the systematic study of infrared/terahertz spectra of photocurrents in (Bi,Sb)Te based three dimensional topological insulators. We demonstrate that in a wide range of frequencies, ranging from fractions up to tens of terahertz, the photocurrent is caused by the linear photogalvanic effect (LPGE) excited in the surface states. The photocurrent spectra reveal that at low frequencies the LPGE emerges due to free carrier Drude-like absorption. The spectra allow to determine the room temperature carrier mobilities in the surface states despite the presents of thermally activate residual impurities in the material bulk. In a number of samples we observed an enhancement of the linear photogalvanic effect at frequencies between 30{\div}60 THz, which is attributed to the excitation of electrons from helical surface to bulk conduction band states. Under this condition and applying oblique incidence we also observed the circular photogalvanic effect driven by the radiation helicity.


title: Collaborative Filtering with Social Exposure: A Modular Approach to Social Recommendation

abstract: This paper is concerned with how to make efficient use of social information to improve recommendations. Most existing social recommender systems assume people share similar preferences with their social friends. Which, however, may not hold true due to various motivations of making online friends and dynamics of online social networks. Inspired by recent causal process based recommendations that first model user exposures towards items and then use these exposures to guide rating prediction, we utilize social information to capture user exposures rather than user preferences. We assume that people get information of products from their online friends and they do not have to share similar preferences, which is less restrictive and seems closer to reality. Under this new assumption, in this paper, we present a novel recommendation approach (named SERec) to integrate social exposure into collaborative filtering. We propose two methods to implement SERec, namely social regularization and social boosting, each with different ways to construct social exposures. Experiments on four real-world datasets demonstrate that our methods outperform the state-of-the-art methods on top-N recommendations. Further study compares the robustness and scalability of the two proposed methods.


title: A method to define the energy threshold depending on noise level for rare event searches

abstract: Solid state detectors and cryogenic detectors are widely employed in rare event searches, such as direct Dark Matter detection or Coherent Neutrino Nucleus Scattering experiments. The excellent sensitivity and, consequently, their low energy thresholds are among the most appealing features of such detectors. We present a method to quantify the lowest trigger threshold achievable as a function of the acceptable amount of noise events triggered for the physics case under investigation. We then apply this novel method to existing experimental and simulated data to validate the model we presented.


title: VoiceMask: Anonymize and Sanitize Voice Input on Mobile Devices

abstract: Voice input has been tremendously improving the user experience of mobile devices by freeing our hands from typing on the small screen. Speech recognition is the key technology that powers voice input, and it is usually outsourced to the cloud for the best performance. However, the cloud might compromise users' privacy by identifying their identities by voice, learning their sensitive input content via speech recognition, and then profiling the mobile users based on the content. In this paper, we design an intermediate between users and the cloud, named VoiceMask, to sanitize users' voice data before sending it to the cloud for speech recognition. We analyze the potential privacy risks and aim to protect users' identities and sensitive input content from being disclosed to the cloud. VoiceMask adopts a carefully designed voice conversion mechanism that is resistant to several attacks. Meanwhile, it utilizes an evolution-based keyword substitution technique to sanitize the voice input content. The two sanitization phases are all performed in the resource-limited mobile device while still maintaining the usability and accuracy of the cloud-supported speech recognition service. We implement the voice sanitizer on Android systems and present extensive experimental results that validate the effectiveness and efficiency of our app. It is demonstrated that we are able to reduce the chance of a user's voice being identified from 50 people by 84% while keeping the drop of speech recognition accuracy within 14.2%.


title: Continuous-Variable Entanglement Test in Driven Quantum Contacts

abstract: The standard entanglement test using the Clauser-Horne-Shimony-Holt inequality is known to fail in mesoscopic junctions at finite temperatures. Since this is due to the bidirectional particle flow, a similar failure is expected to occur in an ac-driven contact. We develop a continuous-variable entanglement test suitable for electrons and holes that are created by the ac drive. The generalized Bell inequality is violated in junctions with low conductance or small number of transport channels and with ac voltages which create few electron-hole pairs per cycle. Our ac-entanglement test depends on the total number of electron-hole pairs and on the distribution of probabilities of pair creations similar to the Fano factor.


title: Self-inhibiting thermal conduction in high-beta, whistler-unstable plasma

abstract: A heat flux in a high-$\beta$ plasma with low collisionality triggers the whistler instability. Quasilinear theory predicts saturation of the instability in a marginal state characterized by a heat flux that is fully controlled by electron scattering off magnetic perturbations. This marginal heat flux does not depend on the temperature gradient and scales as $1/\beta$. We confirm this theoretical prediction by performing numerical particle-in-cell simulations of the instability. We further calculate the saturation level of magnetic perturbations and the electron scattering rate as functions of $\beta$ and the temperature gradient to identify the saturation mechanism as quasilinear. Suppression of the heat flux is caused by oblique whistlers with magnetic-energy density distributed over a wide range of propagation angles. This result can be applied to high-$\beta$ astrophysical plasmas, such as the intracluster medium, where thermal conduction at sharp temperature gradients along magnetic-field lines can be significantly suppressed. We provide a convenient expression for the amount of suppression of the heat flux relative to the classical Spitzer value as a function of the temperature gradient and $\beta$. For a turbulent plasma, the additional independent suppression by the mirror instability is capable of producing large total suppression factors (several tens in galaxy clusters) in regions with strong temperature gradients.


title: Interesting examples of violation of the classical equivalence principle but not of the weak one

abstract: The equivalence principle (EP), as well as Schiff's conjecture, are discussed (en passant), and the connection between the EP and quantum mechanics is then briefly analyzed. Two semiclassical violations of the classical equivalence principle (CEP) but not of the weak one (WEP), i.e. Greenberger gravitational Bohr atom and the tree-level scattering of different quantum particles by an external weak higher-order gravitational field, are thoroughly investigated afterwards. Next, two quantum examples of systems that agree with the WEP but not with the CEP, namely COW experiment and free fall in a constant gravitational field of a massive object described by its wave-function $\Psi$, are discussed in detail. Keeping in mind that among the four examples focused on this work only COW experiment is based on an experimental test, some important details related to it, are presented as well.


title: Security of Cyber-Physical Systems. From Theory to Testbeds and Validation

abstract: Traditional control environments connected to physical systems are being upgraded with novel information and communication technologies. The resulting systems need to be adequately protected. Experimental testbeds are crucial for the study and analysis of ongoing threats against those resulting cyber-physical systems. The research presented in this paper discusses some actions towards the development of a replicable and affordable cyber-physical testbed for training and research. The architecture of the testbed is based on real-world components, and emulates cyber-physical scenarios commanded by SCADA (Supervisory Control And Data Acquisition) technologies. We focus on two representative protocols, Modbus and DNP3. The paper reports as well the development of some adversarial scenarios, in order to evaluate the testbed under cyber-physical threat situations. Some detection strategies are evaluated using our proposed testbed.


title: The observational constraints on the flat $\phi$CDM models

abstract: Most dark energy models have the $\Lambda$CDM as their limit, and if future observations constrain our universe to be close to $\Lambda$CDM Bayesian arguments about the evidence and the fine-tuning will have to be employed to discriminate between the models. Assuming a baseline $\Lambda$CDM model we investigate a number of quintessence and phantom dark energy models, and we study how they would perform when compared to observational data, such as the expansion rate, the angular distance, and the growth rate measurements, from the upcoming Dark Energy Spectroscopic Instrument (DESI) survey. We sample posterior likelihood surfaces of these dark energy models with Monte Carlo Markov Chains while using central values consistent with the Planck $\Lambda$CDM universe and covariance matrices estimated with Fisher information matrix techniques. We find that for this setup the Bayes factor provides a substantial evidence in favor of the $\Lambda$CDM model over most of the alternatives. We also investigated how well the CPL parametrization approximates various scalar field dark energy models, and identified the location for each dark energy model in the CPL parameter space.


title: LATTE: Application Oriented Social Network Embedding

abstract: In recent years, many research works propose to embed the network structured data into a low-dimensional feature space, where each node is represented as a feature vector. However, due to the detachment of embedding process with external tasks, the learned embedding results by most existing embedding models can be ineffective for application tasks with specific objectives, e.g., community detection or information diffusion. In this paper, we propose study the application oriented heterogeneous social network embedding problem. Significantly different from the existing works, besides the network structure preservation, the problem should also incorporate the objectives of external applications in the objective function. To resolve the problem, in this paper, we propose a novel network embedding framework, namely the "appLicAtion orienTed neTwork Embedding" (Latte) model. In Latte, the heterogeneous network structure can be applied to compute the node "diffusive proximity" scores, which capture both local and global network structures. Based on these computed scores, Latte learns the network representation feature vectors by extending the autoencoder model model to the heterogeneous network scenario, which can also effectively unite the objectives of network embedding and external application tasks. Extensive experiments have been done on real-world heterogeneous social network datasets, and the experimental results have demonstrated the outstanding performance of Latte in learning the representation vectors for specific application tasks.


title: Generalization of Phonon Confinement Model for Interpretation of Raman Line-Shape from Nano-Silicon

abstract: A comparative analysis of two Raman line-shape functions has been carried out to validate the true representation of experimentally observed Raman scattering data for semiconducting nanomaterials. A modified form of already existing phonon confinement model incorporates two basic considerations, phonon momentum conservation and shift in zone centre phonon frequency. After incorporation of the above mentioned two factors, a rather symmetric Raman line-shape is generated which is in contrary to the usual asymmetric Raman line-shapes obtained from nanostructured semiconductor. By fitting an experimentally observed Raman scattering data from silicon nanostructures, prepared by metal induced etching, it can be established that the Raman line-shape obtained within the framework of phonon confinement model is a true representative Raman line-shape of sufficiently low dimensions semiconductors.


title: Lattice Boltzmann Benchmark Kernels as a Testbed for Performance Analysis

abstract: Lattice Boltzmann methods (LBM) are an important part of current computational fluid dynamics (CFD). They allow easy implementations and boundary handling. However, competitive time to solution not only depends on the choice of a reasonable method, but also on an efficient implementation on modern hardware. Hence, performance optimization has a long history in the lattice Boltzmann community. A variety of options exists regarding the implementation with direct impact on the solver performance. Experimenting and evaluating each option often is hard as the kernel itself is typically embedded in a larger code base. With our suite of lattice Boltzmann kernels we provide the infrastructure for such endeavors. Already included are several kernels ranging from simple to fully optimized implementations. Although these kernels are not fully functional CFD solvers, they are equipped with a solid verification method. The kernels may act as an reference for performance comparisons and as a blue print for optimization strategies. In this paper we give an overview of already available kernels, establish a performance model for each kernel, and show a comparison of implementations and recent architectures.


title: Sum of squares lower bounds from symmetry and a good story

abstract: In this paper, we develop machinery which makes it much easier to prove sum of squares lower bounds when the problem is symmetric under permutations of $[1,n]$ and the unsatisfiability of our problem comes from integrality arguments, i.e. arguments that an expression must be an integer. Roughly speaking, to prove SOS lower bounds with our machinery it is sufficient to verify that the answer to the following three questions is yes: 1. Are there natural pseudo-expectation values for the problem? 2. Are these pseudo-expectation values rational functions of the problem parameters? 3. Are there sufficiently many values of the parameters for which these pseudo-expectation values correspond to the actual expected values over a distribution of solutions which is the uniform distribution over permutations of a single solution? We demonstrate our machinery on three problems, the knapsack problem analyzed by Grigoriev, the MOD 2 principle (which says that the complete graph $K_n$ has no perfect matching when $n$ is odd), and the following Turan type problem: Minimize the number of triangles in a graph $G$ with a given edge density. For knapsack, we recover Grigoriev's lower bound exactly. For the MOD 2 principle, we tighten Grigoriev's linear degree sum of squares lower bound, making it exact. Finally, for the triangle problem, we prove a sum of squares lower bound for finding the minimum triangle density. This lower bound is completely new and gives a simple example where constant degree sum of squares methods have a constant factor error in estimating graph densities.


title: Constraint Bubbles: Adding Efficient Zero-Density Bubbles to Incompressible Free Surface Flow

abstract: Liquid simulations for computer animation often avoid simulating the air phase to reduce computational costs and ensure good conditioning of the linear systems required to enforce incompressibility. However, this free surface assumption leads to an inability to realistically treat bubbles: submerged gaps in the liquid are interpreted as empty voids that immediately collapse. To address this shortcoming, we present an efficient, practical, and conceptually simple approach to augment free surface flows with negligible density bubbles. Our method adds a new constraint to each disconnected air region that guarantees zero net flux across its entire surface, and requires neither simulating both phases nor reformulating into stream function variables. Implementation of the method requires only minor modifications to the pressure solve of a standard grid-based fluid solver, and yields linear systems that remain sparse and symmetric positive definite. In our evaluations, solving the modified pressure projection system took no more than 10% longer than the corresponding free surface solve. We demonstrate the method's effectiveness and flexibility by incorporating it into commercial fluid animation software and using it to generate a variety of dynamic bubble scenarios showcasing glugging effects, viscous and inviscid bubbles, interactions with irregularly-shaped and moving solid boundaries, and surface tension effects.


title: Algorithms for the solution of systems of linear equations in commutative ring

abstract: Solution methods for linear equation systems in a commutative ring are discussed. Four methods are compared, in the setting of several different rings: Dodgson's method [1], Bareiss's method [2] and two methods of the author - method by forward and back-up procedures [3] and a one-pass method [4]. We show that for the number of coefficient operations, or for the number of operations in the finite rings, or for modular computation in the polynomial rings the one-pass method [4] is the best. The method of forward and back-up procedures [3] is the best for the polynomial rings when we make use of classical algorithms for polynomial operations.


title: Algorithms for the Computing Determinants in Commutative Rings

abstract: Two known computation methods and one new computation method for matrix determinant over an integral domain are discussed. For each of the methods we evaluate the computation times for different rings and show that the new method is the best.


title: Spatially-Adaptive Filter Units for Deep Neural Networks

abstract: Classical deep convolutional networks increase receptive field size by either gradual resolution reduction or application of hand-crafted dilated convolutions to prevent increase in the number of parameters. In this paper we propose a novel displaced aggregation unit (DAU) that does not require hand-crafting. In contrast to classical filters with units (pixels) placed on a fixed regular grid, the displacement of the DAUs are learned, which enables filters to spatially-adapt their receptive field to a given problem. We extensively demonstrate the strength of DAUs on a classification and semantic segmentation tasks. Compared to ConvNets with regular filter, ConvNets with DAUs achieve comparable performance at faster convergence and up to 3-times reduction in parameters. Furthermore, DAUs allow us to study deep networks from novel perspectives. We study spatial distributions of DAU filters and analyze the number of parameters allocated for spatial coverage in a filter.


title: On the abstract Bogomolov-Tian-Todorov Theorem

abstract: We describe an abstract version of the Theorem of Bogomolov-Tian-Todorov, whose underlying idea is already contained in various papers by Bandiera, Fiorenza, Iacono, Manetti. More explicitly, we prove an algebraic criterion for a differential graded Lie algebras to be homotopy abelian. Then, we collect together many examples and applications in deformation theory and other settings.


title: Multiple Exciton Generation in Nanostructures for Advanced Photovoltaic Cells

abstract: This paper reviews both experimental and theoretical work on nanostructures showing high quantum yields due to the phenomenon of multiple exciton generation. It outlines the aims and barriers to progress in identifying further such nanostructures, and also includes developments concerning solar devices where nanostructures act as the light-absorbing component. It reports on both semiconductor and carbon structures, both monocomposite (of various dimensionalities) and heterogeneous. Finally, it looks at future directions that can be taken to push solar cell efficiency above the classic limit set by Shockley and Queissier in 1961.


title: Automated Coronal Hole Identification via Multi-Thermal Intensity Segmentation

abstract: Coronal holes (CH) are regions of open magnetic fields that appear as dark areas in the solar corona due to their low density and temperature compared to the surrounding quiet corona. To date, accurate identification and segmentation of CHs has been a difficult task due to their comparable intensity to local quiet Sun regions. Current segmentation methods typically rely on the use of single EUV passband and magnetogram images to extract CH information. Here, the Coronal Hole Identification via Multi-thermal Emission Recognition Algorithm (CHIMERA) is described, which analyses multi-thermal images from the Atmospheric Image Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) to segment coronal hole boundaries by their intensity ratio across three passbands (171 \AA, 193 \AA, and 211 \AA). The algorithm allows accurate extraction of CH boundaries and many of their properties, such as area, position, latitudinal and longitudinal width, and magnetic polarity of segmented CHs. From these properties, a clear linear relationship was identified between the duration of geomagnetic storms and coronal hole areas. CHIMERA can therefore form the basis of more accurate forecasting of the start and duration of geomagnetic storms.


title: Dark matter, extra-terrestrial gamma-rays and the MSSM: a viability study

abstract: We fit the $\gamma$-ray excess from the galactic centre (GC) in terms of parameters of the minimal supersymmetric standard model (MSSM). Consistency with other $\gamma$-ray observation, such as those from dwarf spheroidal galaxies, is also ensured, in addition to the constraints from direct dark matter search. Furthermore, we expect the contribution to the relic density from the MSSM dark mater candidate, namely, the lightest neutralino, should not go below the stipulated value; otherwise it will amount to going beyond the MSSM by including some additional dark matter source. After a detailed scan of the parameter space in terms of four representative types of particle spectra, we identify the ones that are best fit to the observed data. However, these two are somewhat unsatisfactory in terms of $\chi^2_{min}$ as well as $p$-values. In some case(s), the unacceptability of low-$\chi^2_{min}$ regions due to direct search constraint is responsible for this. In others, the observed shape of the $\gamma$-ray spectrum makes the fits unsatisfactory. The imposed lower limit on relic density, too, has a role to play all along. On the whole, the conclusion is that the MSSM is not a very satisfactory fit for the GC $\gamma$-ray compounded with other cosmological observations and direct search limits.


title: Spatiotemporal light-beam compression from nonlinear mode coupling

abstract: We experimentally demonstrate simultaneous spatial and temporal compression in the propagation of light pulses in multimode nonlinear optical fibers. We reveal that the spatial beam self-cleaning recently discovered in graded-index multimode fibers is accompanied by significant temporal reshaping and up to four-fold shortening of the injected sub-nanosecond laser pulses. Since the nonlinear coupling among the modes strongly depends on the instantaneous power, we explore the entire range of the nonlinear dynamics with a single optical pulse, where the optical power is continuously varied across the pulse profile.


title: Auxiliary Guided Autoregressive Variational Autoencoders

abstract: Generative modeling of high-dimensional data is a key problem in machine learning. Successful approaches include latent variable models and autoregressive models. The complementary strengths of these approaches, to model global and local image statistics respectively, suggest hybrid models that encode global image structure into latent variables while autoregressively modeling low level detail. Previous approaches to such hybrid models restrict the capacity of the autoregressive decoder to prevent degenerate models that ignore the latent variables and only rely on autoregressive modeling. Our contribution is a training procedure relying on an auxiliary loss function that controls which information is captured by the latent variables and what is left to the autoregressive decoder. Our approach can leverage arbitrarily powerful autoregressive decoders, achieves state-of-the art quantitative performance among models with latent variables, and generates qualitatively convincing samples.


title: Quantum Prisoners' Dilemma under Enhanced Interrogation

abstract: In the quantum version of prisoners' dilemma, each prisoner is equipped with a single qubit that the interrogator can entangle. We enlarge the available Hilbert space by introducing a third qubit that the interrogator can entangle with the other two. We discuss an enhanced interrogation technique based on tripartite entanglement and analyze Nash equilibria. We show that for tripartite entanglement approaching a W-state, there exist Nash equilibria that coincide with the Pareto optimal choice where both prisoners cooperate. Upon continuous variation between a W-state and a pure bipartite entangled state, the game is shown to have a surprisingly rich structure. The role of bipartite and tripartite entanglement is explored to explain that structure.


title: On nondegeneracy conditions for the Levi map in higher codimension: a survey

abstract: We compare various definitions of nondegeneracy of the Levi map for real submanifolds of higher codimension in $C^N$ and discuss the generalization to higher codimension of the 2-jet determination for biholomorphisms in the hypersurface case proved by Chern and Moser.


title: On K-polystability of cscK manifolds with transcendental cohomology class

abstract: In this paper we study K-polystability of arbitrary (possibly non-projective) compact K\"ahler manifolds admitting holomorphic vector fields. As a main result, we show that existence of a constant scalar curvature K\"ahler (cscK) metric implies 'geodesic K-polystability', in a sense that is expected to be equivalent to K-polystability in general. In particular, in the spirit of an expectation of Chen-Tang we show that geodesic K-polystability implies algebraic K-polystability for polarized manifolds. Hence our main result recovers a possibly stronger version of results of Berman-Darvas-Lu in this case. As a key part of the proof we also study subgeodesic rays with singularity type prescribed by singular test configurations, and prove a result on asymptotics of the K-energy functional along such rays. In an appendix by R. Dervan it is moreover deduced that geodesic K-polystability implies equivariant K-polystability. This improves upon previous work and proves that existence of a cscK (or extremal) K\"ahler metric implies equivariant K-polystability (resp. relative K-stability).


title: A self-consistent cloud model for brown dwarfs and young giant exoplanets: comparison with photometric and spectroscopic observations

abstract: We developed a simple, physical and self-consistent cloud model for brown dwarfs and young giant exoplanets. We compared different parametrisations for the cloud particle size, by either fixing particle radii, or fixing the mixing efficiency (parameter fsed) or estimating particle radii from simple microphysics. The cloud scheme with simple microphysics appears as the best parametrisation by successfully reproducing the observed photometry and spectra of brown dwarfs and young giant exoplanets. In particular, it reproduces the L-T transition, due to the condensation of silicate and iron clouds below the visible/near-IR photosphere. It also reproduces the reddening observed for low-gravity objects, due to an increase of cloud optical depth for low gravity. In addition, we found that the cloud greenhouse effect shifts chemical equilibriums, increasing the abundances of species stable at high temperature. This effect should significantly contribute to the strong variation of methane abundance at the L-T transition and to the methane depletion observed on young exoplanets. Finally, we predict the existence of a continuum of brown dwarfs and exoplanets for absolute J magnitude=15-18 and J-K color=0-3, due to the evolution of the L-T transition with gravity. This self-consistent model therefore provides a general framework to understand the effects of clouds and appears well-suited for atmospheric retrievals.


title: Understanding Service Integration of Online Social Networks: A Data-Driven Study

abstract: The cross-site linking function is widely adopted by online social networks (OSNs). This function allows a user to link her account on one OSN to her accounts on other OSNs. Thus, users are able to sign in with the linked accounts, share contents among these accounts and import friends from them. It leads to the service integration of different OSNs. This integration not only provides convenience for users to manage accounts of different OSNs, but also introduces usefulness to OSNs that adopt the cross-site linking function. In this paper, we investigate this usefulness based on users' data collected from a popular OSN called Medium. We conduct a thorough analysis on its social graph, and find that the service integration brought by the cross-site linking function is able to change Medium's social graph structure and attract a large number of new users. However, almost none of the new users would become high PageRank users (PageRank is used to measure a user's influence in an OSN). To solve this problem, we build a machine-learning-based model to predict high PageRank users in Medium based on their Twitter data only. This model achieves a high F1-score of 0.942 and a high area under the curve (AUC) of 0.986. Based on it, we design a system to assist new OSNs to identify and attract high PageRank users from other well-established OSNs through the cross-site linking function.


title: On density of subgraphs of Cartesian products

abstract: In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)\alpha(H)$ holds, where $\alpha(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products.


title: Uncertainty Estimates for Efficient Neural Network-based Dialogue Policy Optimisation

abstract: In statistical dialogue management, the dialogue manager learns a policy that maps a belief state to an action for the system to perform. Efficient exploration is key to successful policy optimisation. Current deep reinforcement learning methods are very promising but rely on epsilon-greedy exploration, thus subjecting the user to a random choice of action during learning. Alternative approaches such as Gaussian Process SARSA (GPSARSA) estimate uncertainties and are sample efficient, leading to better user experience, but on the expense of a greater computational complexity. This paper examines approaches to extract uncertainty estimates from deep Q-networks (DQN) in the context of dialogue management. We perform an extensive benchmark of deep Bayesian methods to extract uncertainty estimates, namely Bayes-By-Backprop, dropout, its concrete variation, bootstrapped ensemble and alpha-divergences, combining it with DQN algorithm.


title: FRAPpuccino: Fault-detection through Runtime Analysis of Provenance

abstract: We present FRAPpuccino (or FRAP), a provenance-based fault detection mechanism for Platform as a Service (PaaS) users, who run many instances of an application on a large cluster of machines. FRAP models, records, and analyzes the behavior of an application and its impact on the system as a directed acyclic provenance graph. It assumes that most instances behave normally and uses their behavior to construct a model of legitimate behavior. Given a model of legitimate behavior, FRAP uses a dynamic sliding window algorithm to compare a new instance's execution to that of the model. Any instance that does not conform to the model is identified as an anomaly. We present the FRAP prototype and experimental results showing that it can accurately detect application anomalies.


title: Summary of effect aliasing structure (SEAS): new descriptive statistics for factorial and supersaturated designs

abstract: In the assessment and selection of supersaturated designs, the aliasing structure of interaction effects is usually ignored by traditional criteria such as $E(s^2)$-optimality. We introduce the Summary of Effect Aliasing Structure (SEAS) for assessing the aliasing structure of supersaturated designs, and other non-regular fractional factorial designs, that takes account of interaction terms and provides more detail than usual summaries such as (generalized) resolution and wordlength patterns. The new summary consists of three criteria, abbreviated as MAP: (1) Maximum dependency aliasing pattern; (2) Average square aliasing pattern; and (3) Pairwise dependency ratio. These criteria provided insight when traditional criteria fail to differentiate between designs. We theoretically study the relationship between the MAP criteria and traditional quantities, and demonstrate the use of SEAS for comparing some example supersaturated designs, including designs suggested in the literature. We also propose a variant of SEAS to measure the aliasing structure for individual columns of a design, and use it to choose assignments of factors to columns for an $E(s^2)$-optimal design.


title: Estimates of solutions of elliptic equations with a source reaction term involving the product of the function and its gradient

abstract: We study local and global properties of positive solutions of $-{\Delta}u=u^p]{\left |{\nabla u}\right |}^q$ in a domain ${\Omega}$ of ${\mathbb R}^N$, in the range $1\<p+q$, $p\geq 0$, $0\leq q\< 2$. We first prove a local Harnack inequality and nonexistence of positive solutions in ${\mathbb R}^N$ when $p(N-2)+q(N-1) \<N$ or in an exterior domain if $p(N-2)+q(N-1)\<N$ and $0\leq q\<1$. Using a direct Bernstein method we obtain a first range of values of $p$ and $q$ in which $u(x)\leq c({\mathrm dist\,}(x,\partial\Omega)^{\frac{q-2}{p+q-1}}$ This holds in particular if $p+q\<1+\frac{4}{n-1}$. Using an integral Bernstein method we obtain a wider range of values of $p$ and $q$ in which all the global solutions are constants. Our result contains Gidas and Spruck nonexistence result as a particular case. We also study solutions under the form $u(x)=r^{\frac{q-2}{p+q-1}}\omega(\sigma)$. We prove existence, nonexistence and rigidity of the spherical component $\omega$ in some range of values of $N$, $p$ and $q$.


title: Microscopic theory of cavity-enhanced single-photon emission from optical two-photon Raman processes

abstract: We consider cavity-enhanced single-photon generation from stimulated two-photon Raman processes in three-level systems. We compare four fundamental system configurations, one $\Lambda$-, one V- and two ladder ($\Xi$-) configurations. These can be realized as subsystems of a single quantum dot or of quantum-dot molecules. For a new microscopic understanding of the Raman process, we analyze the Heisenberg equation of motion applying the cluster-expansion scheme. Within this formalism an exact and rigorous definition of a cavity-enhanced Raman photon via its corresponding Raman correlation is possible. This definition for example enables us to systematically investigate the on-demand potential of Raman-transition-based single-photon sources. The four system arrangements can be divided into two subclasses, $\Lambda$-type and V-type, which exhibit strongly different Raman-emission characteristics and Raman-emission probabilities. Moreover, our approach reveals whether the Raman path generates a single photon or just induces destructive quantum interference with other excitation paths. Based on our findings and as a first application, we gain a more detailed understanding of experimental data from the literature. Our analysis and results are also transferable to the case of atomic three-level-resonator systems, and can be extended to more complicated multi-level schemes.


title: Hubble Catalog of Variables

abstract: The Hubble Catalog of Variables (HCV) project aims to identify the variable sources in the Hubble Source Catalog (HSC), which includes about 92 million objects with over 300 million measurements detected by the WFPC2, ACS and WFC3 cameras on board of the Hubble Space Telescope (HST), by using an automated pipeline containing a set of detection and validation algorithms. All the HSC sources with more than a predefined number of measurements in a single filter/instrument combination are pre-processed to correct systematic effect and to remove the bad measurements. The corrected data are used to compute a number of variability indexes to determine the variability status of each source. The final variable source catalog will contain variables stars, active galactic nuclei (AGNs), supernovae (SNs) or even new types of variables, reaching an unprecedented depth (V$\leq$27 mag). At the end of the project, the first release of the HCV will be available at the Mikulski Archive for Space Telescopes (MAST) and the ESA Hubble Science Archives. The HCV pipeline will be deployed at the Space Telescope Science Institute (STScI) so that an updated HCV may be generated following future releases of HSC.


title: Alice in Triangleland: Lewis Carroll's Pillow Problem and Variants Solved on Shape Space of Triangles

abstract: We provide a natural answer to Lewis Carroll's pillow problem of what is the probability that a triangle is obtuse, Prob(Obtuse). This arises by straightforward combination of a) Kendall's Theorem - that the space of all triangles is a sphere - and b) the natural map sending triangles in space to points in this shape sphere. The answer is 3/4. Our method moreover readily generalizes to a wider class of problems, since a) and b) both have many applications and admit large generalizations: Shape Theory. An elementary and thus widely accessible prototype for Shape Theory is thereby desirable, and extending Kendall's already-notable prototype a) by demonstrating that b) readily solves Lewis Carroll's well-known pillow problem indeed provides a memorable and considerably stronger prototype. This is a prototype of, namely, mapping flat geometry problems directly realized in a space to shape space, where differential-geometric tools are readily available to solve the problem and then finally re-interpret it in the original `shape-in-space' terms. We illustrate this program's versatility by posing and solving a number of variants of the pillow problem. We first find Prob(Isosceles is Obtuse). We subsequently define tall and flat triangles, as bounded by regular triangles whose base-to-median ratio is that of the equilateral triangle. These definitions have Jacobian and Hopfian motivation as well as entering Kendall's own considerations of `splinters': almost-collinear triangles. We find that Prob(Tall) = 1/2 = Prob(Flat) is immediately apparent from regularity's symmetric realization in shape space. However, Prob(Obtuse and Flat), Prob(Obtuse is Flat) and all other nontrivial expressions concerning having any two of the properties mentioned above, or having one of these conditioned on another, constitute nontrivial variants of the pillow problem, and we solve them all.


title: A dimensionally split Cartesian cut cell method for hyperbolic conservation laws

abstract: We present a dimensionally split method for solving hyperbolic conservation laws on Cartesian cut cell meshes. The approach combines local geometric and wave speed information to determine a novel stabilised cut cell flux, and we provide a full description of its three-dimensional implementation in the dimensionally split framework of Klein et al. [1]. The convergence and stability of the method are proved for the one-dimensional linear advection equation, while its multi-dimensional numerical performance is investigated through the computation of solutions to a number of test problems for the linear advection and Euler equations. When compared to the cut cell flux of Klein et al., it was found that the new flux alleviates the problem of oscillatory boundary solutions produced by the former at higher Courant numbers, and also enables the computation of more accurate solutions near stagnation points. Being dimensionally split, the method is simple to implement and extends readily to multiple dimensions.


title: An Update on Brane Supersymmetry Breaking

abstract: "Brane supersymmetry breaking" is a peculiar phenomenon that can occur in perturbative orientifold vacua. It results from the simultaneous presence, in the vacuum, of non-mutually BPS sets of BPS branes and orientifolds, which leave behind a net tension and thus a runaway potential, but no tachyons. In the simplest ten-dimensional realization, the low-lying modes combine the closed sector of type-I supergravity with an open sector including USp(32) gauge bosons, fermions in the antisymmetric 495 and an additional singlet playing the role of a goldstino. We review some properties of this system and of other non-tachyonic models in ten dimensions with broken supersymmetry, and we illustrate some puzzles that their very existence raises, together with some applications that they have stimulated.


title: Spectroscopy of the All-Charm Tetraquark

abstract: We use a non-relativistic model to study the mass spectroscopy of a tetraquark composed by $c \, \bar{c} \, c \, \bar{c}$ quarks in the diquark-antidiquark picture. By numerically solving the Schr\"{o}dinger equation with a Cornell-inspired potential, we separate the four-body problem into three two-body problems. Spin-dependent terms (spin-spin, spin-orbit and tensor) are used to describe the splitting structure of the $c\bar{c}$ spectrum and are also extended to the interaction between diquarks. Recent experimental data on charmonium states are used to fix the parameters of the model and a satisfactory description of the spectrum is obtained. We find that the spin-dependent interaction is sizable in the diquark-antidiquark system, despite of the heavy diquark mass, and that the diquark has a finite size if treated in analogy to the $c\bar{c}$ systems. We find that the lowest $S$-wave $T_{4c}$ tetraquarks might be below their thresholds of spontaneous dissociation into low-lying charmonium pairs, while orbital and radial excitations would be mostly above the corresponding charmonium pair threshold. These states could be investigated in the forthcoming experiments at LHCb and Belle II.


title: Tverberg partitions as weak epsilon-nets

abstract: We prove a Tverberg-type theorem using the probabilistic method. Given $\varepsilon >0$, we find the smallest number of partitions of a set $X$ in $R^d$ into $r$ parts needed in order to induce at least one Tverberg partition on every subset of $X$ with at least $\varepsilon |X|$ elements. This generalizes known results about Tverberg's theorem with tolerance.


title: Exponential lower bounds on spectrahedral representations of hyperbolicity cones

abstract: The Generalized Lax Conjecture asks whether every hyperbolicity cone is a section of a semidefinite cone of sufficiently high dimension. We prove that the space of hyperbolicity cones of hyperbolic polynomials of degree $d$ in $n$ variables contains $(n/d)^{\Omega(d)}$ pairwise distant cones in a certain metric, and therefore that any semidefinite representation of such cones must have dimension at least $(n/d)^{\Omega(d)}$ (even if a small approximation is allowed). The proof contains several ingredients of independent interest, including the identification of a large subspace in which the elementary symmetric polynomials lie in the relative interior of the set of hyperbolic polynomials, and quantitative versions of several basic facts about real rooted polynomials.


title: Generalized curvature modified plasma dispersion functions and Dupree renormalization of toroidal ITG

abstract: A new generalization of curvature modified plasma dispersion functions is introduced in order to express Dupree renormalized dispersion relations used in quasi-linear theory. For instance the Dupree renormalized dispersion relation for gyrokinetic, toroidal ion temperature gradient driven (ITG) modes, where the Dupree's diffusion coefficient is assumed to be a low order polynomial of the velocity, can be written entirely using generalized curvature modified plasma dispersion functions: Knm's. Using those, Dupree's formulation of renormalized quasi-linear theory is revisited for the toroidal ITG mode. The Dupree diffusion coefficient has been obtained as a function of velocity using an iteration scheme, first by assuming that the diffusion coefficient is constant at each v (i.e. applicable for slow dependence), and then substituting the resulting v dependence in the form of complex polynomial coefficients into the Knm's for verification. The algorithm generally converges rapidly after only a few iterations. Since the quasi-linear calculation relies on an assumed form for the wave-number spectrum, especially around its peak, practical usefullness of the method is to be determined in actual applications.


title: Google matrix of Bitcoin network

abstract: We construct and study the Google matrix of Bitcoin transactions during the time period from the very beginning in 2009 till April 2013. The Bitcoin network has up to a few millions of bitcoin users and we present its main characteristics including the PageRank and CheiRank probability distributions, the spectrum of eigenvalues of Google matrix and related eigenvectors. We find that the spectrum has an unusual circle-type structure which we attribute to existing hidden communities of nodes linked between their members. We show that the Gini coefficient of the transactions for the whole period is close to unity showing that the main part of wealth of the network is captured by a small fraction of users.


title: Rastall gravity is equivalent to Einstein gravity

abstract: Rastall gravity, originally developed in 1972, is currently undergoing a significant surge in popularity. Rastall gravity purports to be a modified theory of gravity, with a non-conserved stress-energy tensor, and an unusual non-minimal coupling between matter and geometry, the Rastall stress-energy satisfying nabla_b [T_R]^{ab} = {\lambda/4} g^{ab} nabla_b R. Unfortunately, a deeper look shows that Rastall gravity is completely equivalent to Einstein gravity --- usual general relativity. The gravity sector is completely standard, based as usual on the Einstein tensor, while in the matter sector Rastall's stress-energy tensor corresponds to an artificially isolated part of the physical conserved stress-energy.


title: Fast Nonseparable Gaussian Stochastic Process with Application to Methylation Level Interpolation

abstract: Gaussian stochastic process (GaSP) has been widely used as a prior over functions due to its flexibility and tractability in modeling. However, the computational cost in evaluating the likelihood is $O(n^3)$, where $n$ is the number of observed points in the process, as it requires to invert the covariance matrix. This bottleneck prevents GaSP being widely used in large-scale data. We propose a general class of nonseparable GaSP models for multiple functional observations with a fast and exact algorithm, in which the computation is linear ($O(n)$) and exact, requiring no approximation to compute the likelihood. We show that the commonly used linear regression and separable models are special cases of the proposed nonseparable GaSP model. Through the study of an epigenetic application, the proposed nonseparable GaSP model can accurately predict the genome-wide DNA methylation levels and compares favorably to alternative methods, such as linear regression, random forest and localized Kriging method. The algorithm for fast computation is implemented in the ${\tt FastGaSP}$ R package on CRAN.


title: Assessing the Impact of Virtualizing Physical Labs

abstract: Virtual laboratories are the new online educational trend for communicating to students practical skills of science. In this paper we report on a comparison of techniques for familiarizing distance learning students with a 3D virtual biology laboratory, in order to prepare them for their microscopy experiment in their physical wet lab. Initial training for these students was provided at a distance, via Skype. Their progress was assessed through Pre and Post-tests and compared to those of students who opted to only prepare for their wet lab using the conventional face-to-face educational method, which was provided for all students. Our results provide preliminary answers to questions such as whether the incorporation of a virtual lab in the educational process will improve the quality of distance learning education and whether a virtual lab can be a valuable educational supplement to students enrolled in laboratory courses on Biology.


title: Convolutional Networks with Adaptive Inference Graphs

abstract: Do convolutional networks really need a fixed feed-forward structure? What if, after identifying the high-level concept of an image, a network could move directly to a layer that can distinguish fine-grained differences? Currently, a network would first need to execute sometimes hundreds of intermediate layers that specialize in unrelated aspects. Ideally, the more a network already knows about an image, the better it should be at deciding which layer to compute next. In this work, we propose convolutional networks with adaptive inference graphs (ConvNet-AIG) that adaptively define their network topology conditioned on the input image. Following a high-level structure similar to residual networks (ResNets), ConvNet-AIG decides for each input image on the fly which layers are needed. In experiments on ImageNet we show that ConvNet-AIG learns distinct inference graphs for different categories. Both ConvNet-AIG with 50 and 101 layers outperform their ResNet counterpart, while using 20% and 38% less computations respectively. By grouping parameters into layers for related classes and only executing relevant layers, ConvNet-AIG improves both efficiency and overall classification quality. Lastly, we also study the effect of adaptive inference graphs on the susceptibility towards adversarial examples. We observe that ConvNet-AIG shows a higher robustness than ResNets, complementing other known defense mechanisms.


title: Willmore Flow of planar networks

abstract: Geometric gradient flows for elastic energies of Willmore type play an important role in mathematics and in many applications. The evolution of elastic curves has been studied in detail both for closed as well as for open curves. Although elastic flows for networks also have many interesting features, they have not been studied so far from the point of view of mathematical analysis. So far it was not even clear what are appropriate boundary conditions at junctions. In this paper we give a well-posedness result for Willmore flow of networks in different geometric settings and hence lay a foundation for further mathematical analysis. A main point in the proof is to check whether different proposed boundary conditions lead to a well posed problem. In this context one has to check the Lopatinskii--Shapiro condition in order to apply the Solonnikov theory for linear parabolic systems in H\"older spaces which is needed in a fixed point argument. We also show that the solution we get is unique in a purely geometric sense.


title: Virtually Fibering Right-Angled Coxeter Groups

abstract: We show that certain right-angled Coxeter groups have finite index subgroups that quotient to $\mathbb Z$ with finitely generated kernels. The proof uses Bestvina-Brady Morse theory facilitated by combinatorial arguments. We describe a variety of examples where the plan succeeds or fails. Among the successful examples are the right-angled reflection groups in $\mathbb H^4$ with fundamental domain the $120$-cell or the $24$-cell.


title: A Monte Carlo method for estimating sensitivities of reflected diffusions in convex polyhedral domains

abstract: In this work we develop an effective Monte Carlo method for estimating sensitivities, or gradients of expectations of sufficiently smooth functionals, of a reflected diffusion in a convex polyhedral domain with respect to its defining parameters --- namely, its initial condition, drift and diffusion coefficients, and directions of reflection. Our method, which falls into the class of infinitesimal perturbation analysis (IPA) methods, uses a probabilistic representation for such sensitivities as the expectation of a functional of the reflected diffusion and its associated derivative process. The latter process is the unique solution to a constrained linear stochastic differential equation with jumps whose coefficients, domain and directions of reflection are modulated by the reflected diffusion. We propose an asymptotically unbiased estimator for such sensitivities using an Euler approximation of the reflected diffusion and its associated derivative process. Proving that the Euler approximation converges is challenging because the derivative process jumps whenever the reflected diffusion hits the boundary (of the domain). A key step in the proof is establishing a continuity property of the related derivative map, which is of independent interest. We compare the performance of our IPA estimator to a standard likelihood ratio estimator (whenever the latter is applicable), and provide numerical evidence that the variance of the former is substantially smaller than that of the latter. We illustrate our method with an example of a rank-based interacting diffusion model of equity markets. Interestingly, we show that estimating certain sensitivities of the rank-based interacting diffusion model using our method for a reflected Brownian motion description of the model outperforms a finite difference method for a stochastic differential equation description of the model.


title: All-Helicity Symbol Alphabets from Unwound Amplituhedra

abstract: We review an algorithm for determining the branch points of general amplitudes in planar $\mathcal{N}=4$ super-Yang-Mills theory from amplituhedra. We demonstrate how to use the recent reformulation of amplituhedra in terms of `sign flips' in order to streamline the application of this algorithm to amplitudes of any helicity. In this way we recover the known branch points of all one-loop amplitudes, and we find an `emergent positivity' on boundaries of amplituhedra.


title: Calculating Semantic Similarity between Academic Articles using Topic Event and Ontology

abstract: Determining semantic similarity between academic documents is crucial to many tasks such as plagiarism detection, automatic technical survey and semantic search. Current studies mostly focus on semantic similarity between concepts, sentences and short text fragments. However, document-level semantic matching is still based on statistical information in surface level, neglecting article structures and global semantic meanings, which may cause the deviation in document understanding. In this paper, we focus on the document-level semantic similarity issue for academic literatures with a novel method. We represent academic articles with topic events that utilize multiple information profiles, such as research purposes, methodologies and domains to integrally describe the research work, and calculate the similarity between topic events based on the domain ontology to acquire the semantic similarity between articles. Experiments show that our approach achieves significant performance compared to state-of-the-art methods.


title: Lifshitz entanglement entropy from holographic cMERA

abstract: We study entanglement entropy in free Lifshitz scalar field theories holographically by employing the metrics proposed by Nozaki, Ryu and Takayanagi in \cite{Nozaki:2012zj} obtained from a continuous multi-scale entanglement renormalisation ansatz (cMERA). In these geometries we compute the minimal surface areas governing the entanglement entropy as functions of the dynamical exponent $z$ and we exhibit a transition from an area law to a volume law analytically in the limit of large $z$. We move on to explore the effects of a massive deformation, obtaining results for any $z$ in arbitrary dimension. We then trigger a renormalisation group flow between a Lifshitz theory and a conformal theory and observe a monotonic decrease in entanglement entropy along this flow. We focus on strip regions but also consider a disc in the undeformed theory.


title: Assessing Information Transmission in Data Transformations with the Channel Multivariate Entropy Triangle

abstract: Data transformation, e.g. feature transformation and selection, is an integral part of any machine learning procedure. In this paper we introduce an information-theoretic model and tools to assess the quality of data transformations in machine learning tasks. In an unsupervised fashion, we analyze the transfer of information of the transformation of a discrete, multivariate source of information X into a discrete, multivariate sink of information Y related by a distribution PXY . The first contribution is a decomposition of the maximal potential entropy of (X, Y) that we call a balance equation, into its a) non-transferable, b) transferable but not transferred and c) transferred parts. Such balance equations can be represented in (de Finetti) entropy diagrams, our second set of contributions. The most important of these, the aggregate Channel Multivariate Entropy Triangle is a visual exploratory tool to assess the effectiveness of multivariate data transformations in transferring information from input to output variables. We also show how these decomposition and balance equation also apply to the entropies of X and Y respectively and generate entropy triangles for them. As an example, we present the application of these tools to the assessment of information transfer efficiency for PCA and ICA as unsupervised feature transformation and selection procedures in supervised classification tasks.


title: Thermostat-assisted continuously-tempered Hamiltonian Monte Carlo for Bayesian learning

abstract: We propose a new sampling method, the thermostat-assisted continuously-tempered Hamiltonian Monte Carlo, for Bayesian learning on large datasets and multimodal distributions. It simulates the Nos\'e-Hoover dynamics of a continuously-tempered Hamiltonian system built on the distribution of interest. A significant advantage of this method is that it is not only able to efficiently draw representative i.i.d. samples when the distribution contains multiple isolated modes, but capable of adaptively neutralising the noise arising from mini-batches and maintaining accurate sampling. While the properties of this method have been studied using synthetic distributions, experiments on three real datasets also demonstrated the gain of performance over several strong baselines with various types of neural networks plunged in.