title: Inverse problem for Moebius geometry on the circle

abstract: We give a solution to the inverse problem of Moebius geometry on the circle. Namely, we describe a class of Moebius structures on the circle for each of which there is a hyperbolic space such that its boundary at infinity is the circle, and the induced Moebius structure coincides with the given one. That class is not empty and form an open neighborhood of the canonical Moebius structure in an appropriate fine topology.


title: Role of matter in gravitation: going beyond the Einstein-Maxwell theory

abstract: For field theories in curved spacetime, defining how matter gravitates is part of the theory building process. In this letter, we adopt Bekenstein's multiple geometries approach to allow part of the matter sector to follow the geodesics on a general pseudo-Riemannian geometry, constructed from a tensor and a $U(1)$ gauge field. This procedure allows us to generate a previously unknown corner of vector-tensor theories. In the Jordan frame, apparent high-derivative terms of the vector field are reduced by integrating out an auxiliary variable, at the cost of introducing new matter interactions. As a simple example, we consider a conformal relation between different geometries and demonstrate the presence of an auxiliary degree. We conclude with a discussion of applications, in particular for the early universe.


title: A mathematical model for universal semantics

abstract: We characterize the meaning of words with language-independent numerical fingerprints, through a mathematical analysis of recurring patterns in texts. Approximating texts by Markov processes on a long-range time scale, we are able to extract topics, discover synonyms, and sketch semantic fields from a particular document of moderate length, without consulting external knowledge-base or thesaurus. Our Markov semantic model allows us to represent each topical concept by a low-dimensional vector, interpretable as algebraic invariants in succinct statistical operations on the document, targeting local environments of individual words. These language-independent semantic representations enable a robot reader to both understand short texts in a given language (automated question-answering) and match medium-length texts across different languages (automated word translation). Our semantic fingerprints quantify local meaning of words in 14 representative languages across 5 major language families, suggesting a universal and cost-effective mechanism by which human languages are processed at the semantic level. Our protocols and source codes are publicly available on https://github.com/yajun-zhou/linguae-naturalis-principia-mathematica


title: Transverse momentum dependent of charged pion, kaon and proton/antiproton fragmentation functions from $e^+e^-$ annihilation process

abstract: The main aim of this paper is a new determination of transverse momentum dependence of unpolarized fragmentation function (TMD FFs) in single inclusive hadron production in electron-positron annihilation (SIA) process. Motivated by the need for a reliable and consistent determination of TMD FFs, we use the most recent TMD production cross sections of charged pions ($\pi^\pm$), kaons ($K^\pm$) and protons/antiprotons ($p/\bar{p}$) measured in inclusive $e^+e^-$ collisions by Belle Collaboration. These datasets are the first transverse momentum dependence of identified light charged hadron measurements SIA process. In this analysis, referred to as {\tt SK19 TMD FFs}, the common Gaussian distribution is used for the $P_{hT}$ dependent of the cross section. The uncertainties in the extraction of {\tt SK19 TMD FFs} are estimated using the standard "Hessian" technique. We study the quality of the TMD FFs determined in this analysis by comparing with the available recent Belle cross sections measurement. For all hadron species, we found a very good agreement between this particular set of experimental data and the corresponding theory calculations over a relatively wide range of transverse momentum $P_{hT}$. As a result of this study, suggestions are identified for possible future research considering the theory improvements and other available experimental observables.


title: The kinematic distances of SNR G16.7+0.1 and G15.9+0.2 by analyzing HI absorption spectra

abstract: We build HI absorption spectra towards Supernova Remnant (SNRs) G16.7+0.1 and G15.9+0.2 using the THOR survey data. With the absorption spectra, we give a new distance range of 7 to 16 kpc for G15.9+0.2. We also resolve the near/far-side distance ambiguity of G16,7+0.1 and confirm its kinematic distance of about 14 kpc. In addition, we analyze the CO (J=3-2) spectra towards G16.7+0.1 and find obvious CO emission at the 20 kms$^{-1}$ OH 1720 MHz maser site. This supports Reynoso and Mangum (2000)'s suggestions that the velocity difference between the maser and southern molecular cloud is caused by the shock acceleration. We discuss the impact of the distances on other physical parameters of the two SNRs.


title: A Two Stage GAN for High Resolution Retinal Image Generation and Segmentation

abstract: In recent years, the use of deep learning is becoming increasingly popular in computer vision. However, the effective training of deep architectures usually relies on huge sets of annotated data. This is critical in the medical field where it is difficult and expensive to obtain annotated images. In this paper, we use Generative Adversarial Networks (GANs) for synthesizing high quality retinal images, along with the corresponding semantic label-maps, to be used instead of real images during the training process. Differently from other previous proposals, we suggest a two step approach: first, a progressively growing GAN is trained to generate the semantic label-maps, which describe the blood vessel structure (i.e. vasculature); second, an image-to-image translation approach is used to obtain realistic retinal images from the generated vasculature. By using only a handful of training samples, our approach generates realistic high resolution images, that can be effectively used to enlarge small available datasets. Comparable results have been obtained employing the generated images in place of real data during training. The practical viability of the proposed approach has been demonstrated by applying it on two well established benchmark sets for retinal vessel segmentation, both containing a very small number of training samples. Our method obtained better performances with respect to state-of-the-art techniques.


title: Eddington, Lemaitre and the hypothesis of cosmic expansion

abstract: Arthur Stanley Eddington was one of the leading astronomers and theorists of his generation and a prominent proponent of the general theory of relativity. Yet when his former assistant Georges Lemaitre sent him a paper in 1927 suggesting that the well-known redshifts of the spiral nebulae might be a manifestation of a cosmic expansion predicted by relativity, Eddington paid no attention for three years. In this paper, we consider the reasons for this oversight. We find that conventional explanations (such as Lemaitre's status as a relatively junior researcher and his decision to publish in a lesser-known Belgian journal) do not convince. We propose an alternative explanation that has not been considered in the literature - namely that the observational data cited by Lemaitre in support of his model were of a preliminary nature and would not have been sufficiently convincing for Eddington and others to consider non-static cosmologies.


title: Relativistic deformed kinematics from momentum space geometry

abstract: We present a way to derive a deformation of special relativistic kinematics (possible low energy signal of a quantum theory of gravity) from the geometry of a maximally symmetric curved momentum space. The deformed kinematics is fixed (up to change of coordinates in the momentum variables) by the algebra of isometries of the metric in momentum space. In particular, the well-known example of $\kappa$-Poincar\'e kinematics is obtained when one considers an isotropic metric in de Sitter momentum space such that translations are a subgroup of the isometry group, and for a Lorentz covariant algebra one gets the also well-known case of Snyder kinematics. We prove that our construction gives generically a relativistic kinematics and explain how it relates to previous attempts of connecting a deformed kinematics with a geometry in momentum space.


title: Hidden Covariate Shift: A Minimal Assumption For Domain Adaptation

abstract: Unsupervised Domain Adaptation aims to learn a model on a source domain with labeled data in order to perform well on unlabeled data of a target domain. Current approaches focus on learning \textit{Domain Invariant Representations}. It relies on the assumption that such representations are well-suited for learning the supervised task in the target domain. We rather believe that a better and minimal assumption for performing Domain Adaptation is the \textit{Hidden Covariate Shift} hypothesis. Such approach consists in learning a representation of the data such that the label distribution conditioned on this representation is domain invariant. From the Hidden Covariate Shift assumption, we derive an optimization procedure which learns to match an estimated joint distribution on the target domain and a re-weighted joint distribution on the source domain. The re-weighting is done in the representation space and is learned during the optimization procedure. We show on synthetic data and real world data that our approach deals with both \textit{Target Shift} and \textit{Concept Drift}. We report state-of-the-art performances on Amazon Reviews dataset \cite{blitzer2007biographies} demonstrating the viability of this approach.


title: Predictive Triggering for Distributed Control of Resource Constrained Multi-agent Systems

abstract: A predictive triggering (PT) framework for the distributed control of resource constrained multi-agent systems is proposed. By predicting future communication demands and deriving a probabilistic priority measure, the PT framework is able to allocate limited communication resources in advance. The framework is evaluated through simulations of a cooperative adaptive cruise control system and experiments on multi-agent cart-pole systems. The results of these studies show its effectiveness over other event-triggered designs at reducing network utilization, while also improving the control error of the system.


title: Jet suppression from small to intermediate to large radius

abstract: We present predictions for jet suppression from small to intermediate to very large radius, for low and very high energy jets created in heavy ion collisions at the LHC. We use the hybrid strong/weak coupling model for jet quenching that combines perturbative shower evolution with an effective strongly coupled description of the energy and momentum transfer from the jet into the hydrodynamic quark-gluon plasma. Because of momentum conservation, the wake created by the jet enhances or depletes the amount of particles generated at the freeze-out hypersurface depending on their orientation with respect to the jet. Within such framework we find that jet suppression is surprisingly independent of the anti-$k_T$ radius $R$, first slightly increasing as one increases $R$, then at larger values of $R$ very slowly decreasing. This nearly independence of jet suppression with increasing values of $R$ arises from two competing effects, namely the larger energy loss of the hard jet components, which tends to increase suppression, versus the partial recovery of the lost energy due to medium response, reducing suppression. We also find that the boosted medium from the recoiling jet reduces the amount of plasma in the direction opposite to it in the transverse plane, increasing the amount of jet suppression due to an over-subtraction effect. We show that this characteristic signature of the hydrodynamization of part of the jet energy can be quantified by selecting samples of dijet configurations with different relative pseudorapidities between the leading and the subleading jet.


title: On gauge dependence of the one-loop divergences in $6D$, ${\cal N} = (1,0)$ and ${\cal N} = (1,1)$ SYM theories

abstract: We study the gauge dependence of one-loop divergences in a general matter-coupled $6D$, ${\cal N}=(1,0)$ supersymmetric gauge theory in the harmonic superspace formulation. Our analysis is based on the effective action constructed by the background superfield method, with the gauge-fixing term involving one real parameter $\xi_0$. A manifestly gauge invariant and ${\cal N}=(1,0)$ supersymmetric procedure for calculating the one-loop effective action is developed. It yields the one-loop divergences in an explicit form and allows one to investigate their gauge dependence. As compared to the minimal gauge, $\xi_0=1$, the divergent part of the general-gauge effective action contains a new term depending on $\xi_0\,$. This term vanishes for the background superfields satisfying the classical equations of motion, so that the $S$-matrix divergences are gauge-independent. In the case of $6D$, ${\cal N} = (1,1)$ SYM theory we demonstrate that some divergent contributions in the non-minimal gauges do not vanish off shell, as opposed to the minimal gauge.


title: Multi-Task Attention-Based Semi-Supervised Learning for Medical Image Segmentation

abstract: We propose a novel semi-supervised image segmentation method that simultaneously optimizes a supervised segmentation and an unsupervised reconstruction objectives. The reconstruction objective uses an attention mechanism that separates the reconstruction of image areas corresponding to different classes. The proposed approach was evaluated on two applications: brain tumor and white matter hyperintensities segmentation. Our method, trained on unlabeled and a small number of labeled images, outperformed supervised CNNs trained with the same number of images and CNNs pre-trained on unlabeled data. In ablation experiments, we observed that the proposed attention mechanism substantially improves segmentation performance. We explore two multi-task training strategies: joint training and alternating training. Alternating training requires fewer hyperparameters and achieves a better, more stable performance than joint training. Finally, we analyze the features learned by different methods and find that the attention mechanism helps to learn more discriminative features in the deeper layers of encoders.


title: Multivariate approximation of functions on irregular domains by weighted least-squares methods

abstract: We propose and analyse numerical algorithms based on weighted least squares for the approximation of a real-valued function on a general bounded domain $\Omega \subset \mathbb{R}^d$. Given any $n$-dimensional approximation space $V_n \subset L^2(\Omega)$, the analysis in [6] shows the existence of stable and optimally converging weighted least-squares estimators, using a number of function evaluations $m$ of the order $n \log n$. When an $L^2(\Omega)$-orthonormal basis of $V_n$ is available in analytic form, such estimators can be constructed using the algorithms described in [6,Section 5]. If the basis also has product form, then these algorithms have computational complexity linear in $d$ and $m$. In this paper we show that, when $\Omega$ is an irregular domain such that the analytic form of an $L^2(\Omega)$-orthonormal basis is not available, stable and quasi-optimally weighted least-squares estimators can still be constructed from $V_n$, again with $m$ of the order $n \log n$, but using a suitable surrogate basis of $V_n$ orthonormal in a discrete sense. The computational cost for the calculation of the surrogate basis depends on the Christoffel function of $\Omega$ and $V_n$. Numerical results validating our analysis are presented.


title: Learning Invariant Representations for Sentiment Analysis: The Missing Material is Datasets

abstract: Learning representations which remain invariant to a nuisance factor has a great interest in Domain Adaptation, Transfer Learning, and Fair Machine Learning. Finding such representations becomes highly challenging in NLP tasks since the nuisance factor is entangled in a raw text. To our knowledge, a major issue is also that only few NLP datasets allow assessing the impact of such factor. In this paper, we introduce two generalization metrics to assess model robustness to a nuisance factor: \textit{generalization under target bias} and \textit{generalization onto unknown}. We combine those metrics with a simple data filtering approach to control the impact of the nuisance factor on the data and thus to build experimental biased datasets. We apply our method to standard datasets of the literature (\textit{Amazon} and \textit{Yelp}). Our work shows that a simple text classification baseline (i.e., sentiment analysis on reviews) may be badly affected by the \textit{product ID} (considered as a nuisance factor) when learning the polarity of a review. The method proposed is generic and applicable as soon as the nuisance variable is annotated in the dataset.


title: Magnetization Dynamics in Holographic Ferromagnets: Landau-Lifshitz Equation from Yang-Mills Fields

abstract: We introduce a new approach to understand magnetization dynamics in ferromagnets based on the holographic realization of ferromagnets. A Landau-Lifshitz equation describing the magnetization dynamics is derived from a Yang-Mills equation in the dual gravitational theory, and temperature dependences of the spin-wave stiffness and spin transfer torque appearing in the holographic Landau-Lifshitz equation are investigated by the holographic approach. The results are consistent with the known properties of magnetization dynamics in ferromagnets with conduction electrons.

categories: hep-th cond-mat.mes-hall cond-mat.str-el gr-qc


title: Robust Cellular Communications for Unmanned Aerial Vehicles in Maritime Search and Rescue

abstract: Unmanned aerial vehicles (UAV) are a promising technology for fast, large scale survey operations such as maritime search and rescue (SAR). However, providing reliable communications over long distances remains a challenge. Cellular technology such as Long Term Evolution (LTE) is designed to perform well in the presence of fast-moving clients and highly dynamic channel conditions. Yet, its generic medium access mechanisms make it hard to support low-latency uplink traffic, which is needed for real-time command and control and similar applications. In this paper, we introduce an unmanned aerial system for maritime SAR, supported via an LTE data link. To mitigate drawbacks in uplink channel access, we develop a resource-guaranteed scheme based on persistent scheduling, using an open-source LTE stack. The approach is evaluated with a laboratory setup using software-defined radio modules. Measurements are taken on the application layer, using real-world telemetry data generated by an autopilot system in the presence of high bandwidth background traffic. Evaluations demonstrate that our system fulfills UAV requirements in terms of latency and reliability. Latency is further reduced to 6 ms on average and a 99.9th percentile of 10 ms by application-aware overprovisioning for mission-critical traffic and users.


title: Log-Sobolev inequality for the continuum sine-Gordon model

abstract: We derive a multiscale generalisation of the Bakry--\'Emery criterion for a measure to satisfy a Log-Sobolev inequality. Our criterion relies on the control of an associated PDE well known in renormalisation theory: the Polchinski equation. It implies the usual Bakry--\'Emery criterion, but we show that it remains effective for measures which are far from log-concave. Indeed, using our criterion, we prove that the massive continuum Sine-Gordon model with $\beta < 6\pi$ satisfies asymptotically optimal Log-Sobolev inequalities for Glauber and Kawasaki dynamics. These dynamics can be seen as singular SPDEs recently constructed via regularity structures, but our results are independent of this theory.


title: Modulation of early visual processing alleviates capacity limits in solving multiple tasks

abstract: In daily life situations, we have to perform multiple tasks given a visual stimulus, which requires task-relevant information to be transmitted through our visual system. When it is not possible to transmit all the possibly relevant information to higher layers, due to a bottleneck, task-based modulation of early visual processing might be necessary. In this work, we report how the effectiveness of modulating the early processing stage of an artificial neural network depends on the information bottleneck faced by the network. The bottleneck is quantified by the number of tasks the network has to perform and the neural capacity of the later stage of the network. The effectiveness is gauged by the performance on multiple object detection tasks, where the network is trained with a recent multi-task optimization scheme. By associating neural modulations with task-based switching of the state of the network and characterizing when such switching is helpful in early processing, our results provide a functional perspective towards understanding why task-based modulation of early neural processes might be observed in the primate visual cortex


title: A bound on the number of rationally invisible repelling orbits

abstract: We consider entire transcendental maps with bounded set of singular values such that periodic rays exist and land. For such maps, we prove a refined version of the Fatou-Shishikura inequality which takes into account rationally invisible periodic orbits, that is, repelling cycles which are not landing points of any periodic ray. More precisely, if there are $q<\infty$ singular orbits, then the sum of the number of attracting, parabolic, Siegel, Cremer or rationally invisible orbits is bounded above by $q$. In particular, there are at most $q$ rationally invisible repelling periodic orbits. The techniques presented here also apply to the more general setting in which the function is allowed to have infinitely many singular values.


title: Rotating Ionized Gas Ring around the Galactic Center IRS13E3

abstract: We detected a compact ionized gas associated physically with IRS13E3, an Intermediate Mass Black Hole (IMBH) candidate in the Galactic Center, in the continuum emission at 232 GHz and H30$\alpha$ recombination line using ALMA Cy.5 observation (2017.1.00503.S, P.I. M.Tsuboi). The continuum emission image shows that IRS13E3 is surrounded by an oval-like structure. The angular size is $0".093\pm0".006\times 0".061\pm0".004$ ( $1.14\times10^{16}$ cm $\times 0.74\times10^{16}$ cm). The structure is also identified in the H30$\alpha$ recombination line. This is seen as an inclined linear feature in the position-velocity diagram, which is usually a defining characteristic of a rotating gas ring around a large mass. The gas ring has a rotating velocity of $V_\mathrm{rot}\simeq230$ km s$^{-1}$ and an orbit radius of $r\simeq6\times10^{15}$ cm. From these orbit parameters, the enclosed mass is estimated to be $M_{\mathrm{IMBH}}\simeq2.4\times10^4$ $M_\odot$. The mass is within the astrometric upper limit mass of the object adjacent to Sgr A$^{\ast}$. Considering IRS13E3 has an X-ray counterpart, the large enclosed mass would be supporting evidence that IRS13E3 is an IMBH. Even if a dense cluster corresponds to IRS13E3, the cluster would collapse into an IMBH within $\tau<10^7$ years due to the very high mass density of $\rho \gtrsim8\times10^{11} M_\odot pc^{-3}$. Because the orbital period is estimated to be as short as $T=2\pi r/V_\mathrm{rot}\sim 50-100$ yr, the morphology of the observed ionized gas ring is expected to be changed in the next several decades. The mean electron temperature and density of the ionized gas are $\bar{T}_{\mathrm e}=6800\pm700$ K and $\bar{n}_{\mathrm e}=6\times10^5$ cm$^{-3}$, respectively. Then the mass of the ionized gas is estimated to be $M_{\mathrm{gas}}=4\times10^{-4} M_\odot$.


title: Unimodular covers of 3-dimensional parallelepipeds and Cayley sums

abstract: We show that the following classes of lattice polytopes have unimodular covers, in dimension three: the class of parallelepipeds, the class of centrally symmetric polytopes, and the class of Cayley sums $\text{Cay}(P,Q)$ where the normal fan of $Q$ refines that of $P$. This improves results of Beck et al.~(2018) and Haase et al.~(2008) where the last two classes were shown to be IDP.


title: The Gursky-Streets equation and its application to the $\sigma_k$ Yamabe problem

abstract: The Gursky-Streets equation are introduced as the geodesic equation of a metric structure in conformal geometry. This geometric structure has played a substantial role in the proof of uniqueness of $\sigma_2$ Yamabe problem in dimension four. In this paper we solve the Gursky-Streets equations with uniform $C^{1, 1}$ estimates for $2k\leq n$. An important new ingredient is to show the concavity of the operator which holds for all $k\leq n$. Our proof of the concavity heavily relies on Garding's theory of hyperbolic polynomials and results from the theory of real roots for (interlacing) polynomials. Together with this concavity, we are able to solve the equation with the uniform $C^{1, 1}$ \emph{a priori estimates} for all the cases $n\geq 2k$. Moreover, we establish the uniqueness of the solution to the degenerate equations for the first time. As an application, we prove that if $k\geq 3$ and $M^{2k}$ is conformally flat, any solution solution of $\sigma_k$ Yamabe problem is conformal diffeomorphic to the round sphere $S^{2k}$.


title: Automated interpretation of prenatal ultrasound using a predefined acquisition protocol in resource-limited countries

abstract: In this study, we combine a standardized acquisition protocol with image analysis algorithms to investigate if it is possible to automatically detect maternal risk factors without a trained sonographer. The standardized acquisition protocol can be taught to any health care worker within two hours. This protocol was acquired from 280 pregnant women at St.\ Luke's Catholic Hospital, Wolisso, Ethiopia. A VGG-like network was used to perform a frame classification for each frame within the acquired ultrasound data. This frame classification was used to automatically determine the number of fetuses and the fetal presentation. A U-net was trained to measure the fetal head circumference in all frames in which the VGG-like network detected a fetal head. This head circumference was used to estimate the gestational age. The results show that it possible automatically determine gestational age and determine fetal presentation and the potential to detect twin pregnancies using the standardized acquisition protocol.


title: Effects of numerical implementations of the impenetrability condition on non-linear Stokes flow: applications to ice dynamics

abstract: The basal sliding of glaciers and ice sheets can constitute a large part of the total observed ice velocity, in particular in dynamically active areas. It is therefore important to accurately represent this process in numerical models. The condition that the sliding velocity should be tangential to the bed is realized by imposing an impenetrability condition at the base. We study the, in glaciological literature used, numerical implementations of the impenetrability condition for non-linear Stokes flow with Navier's slip on the boundary. Using the finite element method, we enforce impenetrability by: a local rotation of the coordinate system (strong method), a Lagrange multiplier method enforcing zero average flow across each facet (weak method) and an approximative method that uses the pressure variable as a Lagrange multiplier for both incompressibility and impenetrability. An analysis of the latter shows that it relaxes the incompressibility constraint, but enforces impenetrability approximately if the pressure is close to the normal component of the stress at the bed. Comparing the methods numerically using a method of manufactured solutions unexpectedly leads to similar convergence results. However, we find that, for more realistic cases, in areas of high sliding or varying topography the velocity field simulated by the approximative method differs from that of the other methods by $\sim 1\%$ (two-dimensional flow) and $> 5\%$ when compared to the strong method (three-dimensional flow). In this study the strong method, which is the most commonly used in numerical ice sheet models, emerges as the preferred method due to its stable properties (compared to the weak method in three dimensions) and ability to well enforce the impenetrability condition.


title: Hierarchical Multi-Label Dialog Act Recognition on Spanish Data

abstract: Dialog acts reveal the intention behind the uttered words. Thus, their automatic recognition is important for a dialog system trying to understand its conversational partner. The study presented in this article approaches that task on the DIHANA corpus, whose three-level dialog act annotation scheme poses problems which have not been explored in recent studies. In addition to the hierarchical problem, the two lower levels pose multi-label classification problems. Furthermore, each level in the hierarchy refers to a different aspect concerning the intention of the speaker both in terms of the structure of the dialog and the task. Also, since its dialogs are in Spanish, it allows us to assess whether the state-of-the-art approaches on English data generalize to a different language. More specifically, we compare the performance of different segment representation approaches focusing on both sequences and patterns of words and assess the importance of the dialog history and the relations between the multiple levels of the hierarchy. Concerning the single-label classification problem posed by the top level, we show that the conclusions drawn on English data also hold on Spanish data. Furthermore, we show that the approaches can be adapted to multi-label scenarios. Finally, by hierarchically combining the best classifiers for each level, we achieve the best results reported for this corpus.


title: The optically thick rotating magnetic wind from a massive white dwarf merger product

abstract: WD J005311 is a newly identified white dwarf (WD) in a mid-infrared nebula. The spectroscopic observation indicates the existence of a neon-enriched carbon/oxygen wind with a terminal velocity of $v_{\infty,\rm obs}\sim 16,000\,\rm km\,s^{-1}$ and a mass loss rate of $\dot M_{\rm obs}\sim 3.5\times 10^{-6}\,M_\odot$ yr$^{-1}$. Here we consistently explain the properties of WD J005311 using a newly constructed wind solution, where the optically thick outflow is launched from the carbon burning shell on an oxygen-neon core and accelerated by the rotating magnetic field to become supersonic and unbound well below the photosphere. Our model implies that WD J005311 has a mass of $M_* \sim 1.1\mbox{-}1.3\,M_\odot$, a magnetic field of $B_* \sim (2\mbox{-}5)\times 10^7\,\rm G$, and a spin angular frequency of $\Omega \sim 0.2\mbox{-}0.5 \,\rm s^{-1}$. The large magnetic field and fast spin support the carbon-oxygen WD merger origin. WD J005311 will neither explode as a type Ia supernova nor collapse into a neutron star. If the wind continues to blow another few kyr, WD J005311 will spin down significantly and join to the known sequence of slowly-rotating magnetic WDs. Otherwise it may appear as a fast-spinning magnetic WD and could be a new high energy source.


title: Extreme gas kinematics in an off-nuclear HII region of SDSS J143245.98+404300.3

abstract: We present and discuss the properties of an ionized component with extreme kinematics in an off-nuclear HII region located at 0.8 - 1.0 kpc from the nucleus of SDSS J143245.98+404300.3, recently reported in Rodriguez del Pino et al. (2019). The high-velocity gas component is identified by the detection of very broad emission wings in the Halpha line, with Full Width at Half Maximum (FWHM) > 850-1000 kms-1. Such gas kinematics are outstandingly high compared to other HII regions in local galaxies and similar to those reported in some star-forming clumps of galaxies at redshift around 2. The spatially resolved analysis indicates that the high velocity gas extends at least 90 pc and it could be compatible with an ionized outflow entraining gas at a rate 7 - 9 times larger than the rate at which gas is being converted into stars. We do not detect broad emission wings in other emission lines such as Hbeta, maybe due to moderate dust extinction, nor in [NII]6548, 6584 and [SII]6717, 6731, which could be caused by the presence of turbulent mixing layers originated by the impact of fast-flowing winds. The lack of spectral signatures associated to the presence of Wolf-Rayet stars points towards stellar winds from a large number of massive stars and/or supernovae as the likely mechanisms driving the high velocity gas.


title: Strong spherical rigidity of ancient solutions of expansive curvature flows

abstract: We consider geometric flows of hypersurfaces expanding by a function of the extrinsic curvature and we show that the homothethic sphere is the unique solution of the flow which converges to a point at the initial time. The result does not require assumptions on the speed other than positivity and monotonicity and it is proved using a reflection argument. Our theorem shows that expanding flows exhibit stronger spherical rigidity, if compared with the classification results of ancient solutions in the contractive case.


title: Gravitational redshift test with the future ACES mission

abstract: We investigate the performance of the upcoming ACES (Atomic Clock Ensemble in Space) space mission in terms of its primary scientific objective, the test of the gravitational redshift. Whilst the ultimate performance of that test is determined by the systematic uncertainty of the on-board clock at 2-3 ppm, we determine whether, and under which conditions, that limit can be reached in the presence of colored realistic noise, data gaps and orbit determination uncertainties. To do so we have developed several methods and software tools to simulate and analyse ACES data. Using those we find that the target uncertainty of 2-3 ppm can be reached after only a few measurement sessions of 10-20 days each, with a relatively modest requirement on orbit determination of around 300 m.


title: Strengthening Gossip Protocols using Protocol-Dependent Knowledge

abstract: Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers are exchanged to determine who can call whom. Recent work focused on the success conditions of simple protocols such as "Learn New Secrets" (LNS) wherein an agent a may only call another agent b if a does not know b's secret. A protocol execution is successful if all agents get to know all secrets. On partial networks these protocols sometimes fail because they ignore information available to the agents that would allow for better coordination. We study how epistemic protocols for dynamic gossip can be strengthened, using epistemic logic as a simple protocol language with a new operator for protocol-dependent knowledge. We provide definitions of different strengthenings and show that they perform better than LNS, but we also prove that there is no strengthening of LNS that always terminates successfully. Together, this gives us a better picture of when and how epistemic coordination can help in the dynamic gossip problem in particular and distributed systems in general.


title: Identification of hidden order and emergent constraints in frustrated magnets using tensorial kernel methods

abstract: Machine-learning techniques have proved successful in identifying ordered phases of matter. However, it remains an open question how far they can contribute to the understanding of phases without broken symmetry, such as spin liquids. Here we demonstrate how a machine learning approach can automatically learn the intricate phase diagram of a classical frustrated spin model. The method we employ is a support vector machine equipped with a tensorial kernel and a spectral graph analysis which admits its applicability in an effectively unsupervised context. Thanks to the interpretability of the machine we are able to infer, in closed form, both order parameter tensors of phases with broken symmetry, and the local constraints which signal an emergent gauge structure, and so characterize classical spin liquids. The method is applied to the classical XXZ model on the pyrochlore lattice where it distinguishes---among others---between a hidden biaxial spin nematic phase and several different classical spin liquids. The results are in full agreement with a previous analysis by Taillefumier \emph{et al.} [Phys. Rev. X 7, 041057 (2017)], but go further by providing a systematic hierarchy between disordered regimes, and establishing the physical relevance of the susceptibilities associated with the local constraints. Our work paves the way for the search of new orders and spin liquids in generic frustrated magnets.


title: Henry Helson meets other big shots -- A brief survey

abstract: A theorem of Henry Helson shows that for every ordinary Dirichlet series $\sum a_n n^{-s}$ with a square summable sequence $(a_n)$ of coefficients, almost all vertical limits $\sum a_n \chi(n) n^{-s}$, where $\chi: \mathbb{N} \to \mathbb{T}$ is a completely multiplicative arithmetic function, converge on the right half-plane. We survey on recent improvements and extensions of this result within Hardy spaces of Dirichlet series -- relating it with some classical work of Bohr, Banach, Carleson-Hunt, Ces\`{a}ro, Hardy-Littlewood, Hardy-Riesz, Menchoff-Rademacher, and Riemann.


title: Microwave-Assisted Tunneling in Hard-Wall InAs/InP Nanowire Quantum Dots

abstract: With downscaling of electronic circuits, components based on semiconductor quantum dots are assuming increasing relevance for future technologies. Their response under external stimuli intrinsically depend on their quantum properties. Here we investigate single-electron tunneling in hard-wall InAs/InP nanowires in the presence of an off-resonant microwave drive. Our heterostructured nanowires include InAs quantum dots (QDs) and exhibit different tunnel-current regimes. In particular, for source-drain bias up to few mV Coulomb diamonds spread with increasing contrast as a function of microwave power and present multiple current polarity reversals. This behavior can be modelled in terms of voltage fluctuations induced by the microwave field and presents features that depend on the interplay of the discrete energy levels that contribute to the tunneling process.


title: Mixed-level identification of fault redundancy in microprocessors

abstract: A new high-level implementation independent functional fault model for control faults in microprocessors is introduced. The fault model is based on the instruction set, and is specified as a set of data constraints to be satisfied by test data generation. We show that the high-level test, which satisfies these data constraints, will be sufficient to guarantee the detection of all non-redundant low level faults. The paper proposes a simple and fast simulation based method of generating test data, which satisfy the constraints prescribed by the proposed fault model, and a method of evaluating the high-level control fault coverage for the proposed fault model and for the given test. A method is presented for identification of the high-level redundant faults, and it is shown that a test, which provides 100% coverage of non-redundant high-level faults, will also guarantee 100% non-redundant SAF coverage, whereas all gate-level SAF not covered by the test are identified as redundant. Experimental results of test generation for the execution part of a microprocessor support the results presented in the paper.


title: Resetting processes with non-instanteneous return

abstract: We consider a random two-phase process which we call a reset-return one. The particle starts its motion at the origin. The first, displacement, phase corresponds to a stochastic motion of a particle and is finished at a resetting event. The second, return, phase corresponds to the particle's motion towards the origin from the position it attained at the end of the displacement phase. This motion towards the origin takes place according to a given equation of motion. The whole process is a renewal one. We provide general expressions for the stationary probability density function of the particle's position and for the mean hitting time in one dimension. We perform explicit analysis for the Brownian motion during the displacement phase and three different types of the return motion: return at a constant speed, return at a constant acceleration with zero initial speed and return under the action of a harmonic force. We assume that the waiting times for resetting events follow an exponential distribution, or that resetting takes place at a constant pace. For the first two types of return motion and the exponential resetting the stationary probability density function of the particle's position is invariant under return speed (acceleration), while no such invariance is found for deterministic resetting, and for exponential resetting with return under the action of the harmonic force. We discuss necessary conditions for such invariance of the stationary PDF of the positions with respect to the properties of the return process, and demonstrate some additional examples when this invariance does or does not take place.


title: Error-corrected gates on an encoded qubit

abstract: To solve classically hard problems, quantum computers need to be resilient to the influence of noise and decoherence. In such a fault-tolerant quantum computer, noise-induced errors must be detected and corrected in real-time to prevent them from propagating between components. This requirement is especially pertinent while applying quantum gates, when the interaction between components can cause errors to quickly spread throughout the system. However, the large overhead involved in most fault-tolerant architectures makes implementing these systems a daunting task, which motivates the search for hardware-efficient alternatives. Here, we present a gate enacted by a multilevel ancilla transmon on a cavity-encoded logical qubit that is fault-tolerant with respect to decoherence in both the ancilla and the encoded qubit. We maintain the purity of the encoded qubit in the presence of ancilla errors by detecting those errors in real-time, and applying the appropriate corrections. We show a reduction of the logical gate error by a factor of two in the presence of naturally occurring decoherence, and demonstrate resilience against ancilla bit-flips and phase-flips by observing a sixfold suppression of the gate error with increased energy relaxation, and a fourfold suppression with increased dephasing noise. The results demonstrate that bosonic logical qubits can be controlled by error-prone ancilla qubits without inheriting the ancilla's inferior performance. As such, error-corrected ancilla-enabled gates are an important step towards fully fault-tolerant processing of bosonic qubits.


title: Regularization lemmas and convergence in total variation

abstract: We provide a simple abstract formalism of integration by parts under which we obtain some regularization lemmas. These lemmas apply to any sequence of random variables $(F_n)$ which are smooth and non-degenerated in some sense and enable one to upgrade the distance of convergence from smooth Wasserstein distances to total variation in a quantitative way. This is a well studied topic and one can consult for instance Bally and Caramellino [Electron. J. Probab. 2014], Bogachev, Kosov and Zelenov [Trans. Amer. Math. Soc. 2018], Hu, Lu and Nualart [J. Funct. Anal. 2014], Nourdin and Poly [Stoch. Proc. Appl. 2013] and the references therein for an overview of this issue. Each of the aforementioned references share the fact that some non-degeneracy is required along the whole sequence. We provide here the first result removing this costly assumption as we require only non-degeneracy at the limit. The price to pay is to control the smooth Wasserstein distance between the Malliavin matrix of the sequence and the Malliavin matrix of the limit which is particularly easy in the context of Gaussian limit as their Malliavin matrix is deterministic. We then recover, in a slightly weaker form, the main findings of Nourdin, Peccati and Swan [J. Funct. Anal. 2014]. Another application concerns the approximation of the semi-group of a diffusion process by the Euler scheme in a quantitative way and under the H\"ormander condition.


title: Decomposition of Cartesian Product of Complete Graphs into Sunlet Graphs of Order Eight

abstract: we define the sunlet graph is the graph obtained by taking one copy of the cycle and joined every vertex of the cycle to an exactly one pendant vertex such that the degree of each vertex in the cycle is three. In this paper, we establish necessary and sufficient conditions for the existence of decomposition of the Cartesian product of complete graphs into sunlet graph of order eight.


title: Conditioning Convolutional Segmentation Architectures with Non-Imaging Data

abstract: We compare two conditioning mechanisms based on concatenation and feature-wise modulation to integrate non-imaging information into convolutional neural networks for segmentation of anatomical structures. As a proof-of-concept we provide the distribution of class labels obtained from ground truth masks to ensure strong correlation between the conditioning data and the segmentation maps. We evaluate the methods on the ACDC dataset, and show that conditioning with non-imaging data improves performance of the segmentation networks. We observed conditioning the U-Net architectures was challenging, where no method gave significant improvement. However, the same architecture without skip connections outperforms the baseline with feature-wise modulation, and the relative performance increases as the training size decreases.


title: A Multi-Task Self-Normalizing 3D-CNN to Infer Tuberculosis Radiological Manifestations

abstract: We propose a learning method well-suited to infer the presence of Tuberculosis (TB) manifestations on Computer Tomography (CT) scans mimicking the radiologist reports. Latent features are extracted from the CT volumes employing the V-Net encoder and those are the input to a Feed-Forward Neural Network (FNN) for multi-class classification. To overtake the issues (e.g., exploding/vanishing gradients, lack of sensibility) that normally appear when training deep 3D models with datasets of limited size and composed of large volumes, our proposal employs: 1) At the network architecture level, the scaled exponential linear unit (SELU) activation which allows the network self-normalization, and 2) at the learning phase, multi-task learning with a loss function weighted by the task homoscedastic uncertainty. The results achieve F1-scores close to or above 0.9 for the detection of TB lesions and a Root Mean Square Error of 1.16 for the number of nodules.


title: Chiral susceptibility in Nambu Jona Lasinio model: a Wigner function approach

abstract: We estimate here chiral susceptibility at finite temperature within the framework of the Nambu-Jona-Lasinio model (NJL) using the Wigner function approach. We also estimate it in the presence of chiral chemical potential ($\mu_5$) as well as a non vanishing magnetic field ($B$). We use medium separation regularization scheme (MSS) to calculate the chiral condensate and corresponding susceptibility. It is observed that for a fixed value of chiral chemical potential ($\mu_5$), transition temperature increases with the magnetic field. While for the fixed value of the magnetic field, transition temperature decreases with chiral chemical potential. For a strong magnetic field, we observe non degeneracy in susceptibility for up and down type quarks.


title: Invertible field transformations with derivatives: necessary and sufficient conditions

abstract: We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating such a transformation as differential equations that give new variables in terms of original ones. The obtained results generalise the well-known and widely used inverse function theorem. Taking into account that field transformations are ubiquitous in modern physics and mathematics, our criteria for invertibility will find many useful applications.


title: Enhanced Multi-Index Monte Carlo by means of Multiple Semi-Coarsened Multigrid for Anisotropic Diffusion Problems

abstract: In many models used in engineering and science, material properties are uncertain or spatially varying. For example, in geophysics, and porous media flow in particular, the uncertain permeability of the material is modelled as a random field. These random fields can be highly anisotropic. Efficient solvers, such as the Multiple Semi-Coarsened Multigrid (MSG) method, see [15, 16, 17], are required to compute solutions for various realisations of the uncertain material. The MSG method is an extension of the classic Multigrid method, that uses additional coarse grids that are coarsened in only a single coordinate direction. In this sense, it closely resembles the extension of Multilevel Monte Carlo (MLMC) [6] to Multi-Index Monte Carlo (MIMC) [9]. We present an unbiased MIMC method that reuses the MSG coarse solutions, similar to the work in [11]. Our formulation of the estimator can be interpreted as the problem of learning the unknown distribution of the number of samples across all indices, and unifies the previous work on adaptive MIMC [19] and unbiased estimation [18]. We analyse the cost of this new estimator theoretically and present numerical experiments with various anisotropic random fields, where the unknown coefficients in the covariance model are considered as hyperparameters. We illustrate its robustness and superiority over unbiased MIMC without sample reuse.


title: A Join-Based Hybrid Parameter for Constraint Satisfaction

abstract: We propose joinwidth, a new complexity parameter for the Constraint Satisfaction Problem (CSP). The definition of joinwidth is based on the arrangement of basic operations on relations (joins, projections, and pruning), which inherently reflects the steps required to solve the instance. We use joinwidth to obtain polynomial-time algorithms (if a corresponding decomposition is provided in the input) as well as fixed-parameter algorithms (if no such decomposition is provided) for solving the CSP. Joinwidth is a hybrid parameter, as it takes both the graphical structure as well as the constraint relations that appear in the instance into account. It has, therefore, the potential to capture larger classes of tractable instances than purely structural parameters like hypertree width and the more general fractional hypertree width (fhtw). Indeed, we show that any class of instances of bounded fhtw also has bounded joinwidth, and that there exist classes of instances of bounded joinwidth and unbounded fhtw, so bounded joinwidth properly generalizes bounded fhtw. We further show that bounded joinwidth also properly generalizes several other known hybrid restrictions, such as fhtw with degree constraints and functional dependencies. In this sense, bounded joinwidth can be seen as a unifying principle that explains the tractability of several seemingly unrelated classes of CSP instances.


title: Goal-Driven Sequential Data Abstraction

abstract: Automatic data abstraction is an important capability for both benchmarking machine intelligence and supporting summarization applications. In the former one asks whether a machine can `understand' enough about the meaning of input data to produce a meaningful but more compact abstraction. In the latter this capability is exploited for saving space or human time by summarizing the essence of input data. In this paper we study a general reinforcement learning based framework for learning to abstract sequential data in a goal-driven way. The ability to define different abstraction goals uniquely allows different aspects of the input data to be preserved according to the ultimate purpose of the abstraction. Our reinforcement learning objective does not require human-defined examples of ideal abstraction. Importantly our model processes the input sequence holistically without being constrained by the original input order. Our framework is also domain agnostic -- we demonstrate applications to sketch, video and text data and achieve promising results in all domains.


title: Fabry-P\'erot Huygens' Metasurfaces: On Homogenization of Electrically Thick Composites

abstract: Realization of the anomalous refraction effects predicted by Huygens' metasurfaces (HMS) have required tedious and time-consuming trial-and-error numerical full-wave computations. It is shown herein that these requirements can be alleviated for transverse magnetic (TM) propagation by a periodic dielectric-based HMS consisting of an electrically thick array of cascaded Fabry-P\'erot etalons. This "Fabry-P\'erot HMS" (FP-HMS) is easily designed to mimic the local scattering coefficients of a standard zero-thickness HMS (ZT-HMS) which, according to homogenization theory, should result in the desired anomalous refraction. To probe the characteristics of this practical FP-HMS, a method based on Floquet-Bloch (FB) analysis is derived for predicting the fields scattered from it for arbitrary angles of incidence. This method produces simple closed-form solutions for the FB wave amplitudes and the resulting fields are shown to agree well with full-wave simulations. These predictions and full-wave simulations verify the applicability of homogenization and scattering properties of zero-thickness HMS's to thick structures. They also verify the proposed semi-analytical microscopic design procedure for such structures, offering an effective alternative path to implementation of theoretically envisioned intricate field manipulating devices.


title: Electronic Structure of Single-Twist Trilayer Graphene

abstract: Small-twist-angle bilayer graphene supports strongly correlated insulating states and superconductivity. Twisted few-layer graphene systems are likely to open up new directions for strong correlation physics in moir\'e superlattices. We derive and study moir\'e band models that describe the electronic structure of graphene trilayers in which one of the three layers is twisted by a small angle relative to perfect AAA, ABA, or ABC stacking arrangements. We find that the electronic structure depends very strongly on the starting stackings arrangement and on which layer is twisted. We identify ABA stacking with a middle-layer twist as a promising system for itinerant electron magnetism or even more robust superconductivity, because it exhibits both large and small velocity bands at energies near the Fermi level.


title: Realizing IR theories by projections in the UV

abstract: We study bulk RG flows in the context of TQFTs and show how IR theories can be entirely represented within the respective UV theories by means of codimension-one projection defects. What is more, RG flows of the bulk theory can be described in terms of RG flows of the codimension-one identity defect in the fixed UV bulk theory. We illustrate this in the example of RG flows between Landau-Ginzburg orbifold models, for which the respective defects can be described in terms of matrix factorizations.


title: Bandit Convex Optimization in Non-stationary Environments

abstract: Bandit Convex Optimization (BCO) is a fundamental framework for modeling sequential decision-making with partial information, where the only feedback available to the player is the one-point or two-point function values. In this paper, we investigate BCO in non-stationary environments and choose the \emph{dynamic regret} as the performance measure, which is defined as the difference between the cumulative loss incurred by the algorithm and that of any feasible comparator sequence. Let $T$ be the time horizon and $P_T$ be the path-length of the comparator sequence that reflects the non-stationarity of environments. We propose a novel algorithm that achieves $O(T^{3/4}(1+P_T)^{1/2})$ and $O(T^{1/2}(1+P_T)^{1/2})$ dynamic regret respectively for the one-point and two-point feedback models. The latter result is optimal, matching the $\Omega(T^{1/2}(1+P_T)^{1/2})$ lower bound established in this paper. Notably, our algorithm is more adaptive to non-stationary environments since it does not require prior knowledge of the path-length $P_T$ ahead of time, which is generally unknown.


title: Mechanical Characterisation of the Protective Al$_2$O$_3$ Scale in Cr$_2$AlC MAX phases

abstract: MAX phases have great potential under demands of both high-temperature and high-stress performance, with their mixed atomic bonding producing the temperature and oxidation resistance of ceramics with the mechanical resilience of metals. Here, we measure the mechanical properties up to 980C by nanoindentation on highly dense and pure Cr$_2$AlC, as well as after oxidation with a burner rig at 1200C for more than 29 hours. Only modest reductions in both hardness and modulus up to 980C were observed, implying no change in deformation mechanism. Furthermore, micro-cantilever fracture tests were carried out at the Cr$_2$AlC/Cr$_7$C$_3$ and Cr$_7$C$_3$/Al$_2$O$_3$ interfaces after the oxidation of the Cr$_2$AlC substrates with said burner rig. The values are typical of ceramic-ceramic interfaces, below 4 MPa/m, leading to the hypothesis that the excellent macroscopic behaviour is due to a combination of low internal strain due to the match in thermal expansion coefficient as well as the convoluted interface.


title: Meta Learning for Task-Driven Video Summarization

abstract: Existing video summarization approaches mainly concentrate on sequential or structural characteristic of video data. However, they do not pay enough attention to the video summarization task itself. In this paper, we propose a meta learning method for performing task-driven video summarization, denoted by MetaL-TDVS, to explicitly explore the video summarization mechanism among summarizing processes on different videos. Particularly, MetaL-TDVS aims to excavate the latent mechanism for summarizing video by reformulating video summarization as a meta learning problem and promote generalization ability of the trained model. MetaL-TDVS regards summarizing each video as a single task to make better use of the experience and knowledge learned from processes of summarizing other videos to summarize new ones. Furthermore, MetaL-TDVS updates models via a two-fold back propagation which forces the model optimized on one video to obtain high accuracy on another video in every training step. Extensive experiments on benchmark datasets demonstrate the superiority and better generalization ability of MetaL-TDVS against several state-of-the-art methods.


title: Blue-Noise Dithered QMC Hierarchical Russian Roulette

abstract: In order to efficiently sample specular-diffuse-glossy and glossy-diffuse-glossy transport phenomena, Tokuyoshi and Harada introduced hierarchical Russian roulette, a smart algorithm that allows to compute the minimum of the random numbers associated to leaves of a tree at each internal node. The algorithm is used to efficiently cull the connections between the product set of eye and light vertices belonging to large caches of eye and light subpaths produced through bidirectional path tracing. The original version of the algorithm is entirely based on the generation of semi-stratified pseudo-random numbers. Our paper proposes a novel variant based on deterministic blue-noise dithered Quasi Monte Carlo samples.


title: A Distributed Approach to LARS Stream Reasoning (System paper)

abstract: Stream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data. Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which incrementally update their internal state and return results as the new portions of data streams are pushed. However, the performance of such approaches degrades quickly as the rates of the input data and the complexity of decision problems are growing. This problem was already recognized in the area of stream processing, where systems became distributed in order to allocate vast computing resources provided by clouds. In this paper we propose a distributed approach to stream reasoning that can efficiently split computations among different solvers communicating their results over data streams. Moreover, in order to increase the throughput of the distributed system, we suggest an interval-based semantics for the LARS language, which enables significant reductions of network traffic. Performed evaluations indicate that the distributed stream reasoning significantly outperforms existing stand-alone LARS solvers when the complexity of decision problems and the rate of incoming data are increasing. Under consideration for acceptance in Theory and Practice of Logic Programming.


title: Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

abstract: Control-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precision. Several techniques have been suggested for different programming models, typically tailored to improving precision for a particular analysis. In this paper we explore the use of partial evaluation of Horn clauses as a general-purpose technique for control-flow refinement for integer transitions systems. These are control-flow graphs where edges are annotated with linear constraints describing transitions between corresponding nodes, and they are used in many program analysis tools. Using partial evaluation for control-flow refinement has the clear advantage over other approaches in that soundness follows from the general properties of partial evaluation; in particular, properties such as termination and complexity are preserved. We use a partial evaluation algorithm incorporating property-based abstraction, and show how the right choice of properties allows us to prove termination and to infer complexity of challenging programs that cannot be handled by state-of-the-art tools. We report on the integration of the technique in a termination analyzer, and its use as a preprocessing step for several cost analyzers. Under consideration for acceptance in TPLP.


title: Smoothness parameter of power of Euclidean norm

abstract: In this paper, we study derivatives of powers of Euclidean norm. We prove their H\"older continuity and establish explicit expressions for the corresponding constants. We show that these constants are optimal for odd derivatives and at most two times suboptimal for the even ones. In the particular case of integer powers, when the H\"older continuity transforms into the Lipschitz continuity, we improve this result and obtain the optimal constants.


title: FSS-1000: A 1000-Class Dataset for Few-Shot Segmentation

abstract: Over the past few years, we have witnessed the success of deep learning in image recognition thanks to the availability of large-scale human-annotated datasets such as PASCAL VOC, ImageNet, and COCO. Although these datasets have covered a wide range of object categories, there are still a significant number of objects that are not included. Can we perform the same task without a lot of human annotations? In this paper, we are interested in few-shot object segmentation where the number of annotated training examples are limited to 5 only. To evaluate and validate the performance of our approach, we have built a few-shot segmentation dataset, FSS-1000, which consists of 1000 object classes with pixelwise annotation of ground-truth segmentation. Unique in FSS-1000, our dataset contains significant number of objects that have never been seen or annotated in previous datasets, such as tiny daily objects, merchandise, cartoon characters, logos, etc. We build our baseline model using standard backbone networks such as VGG-16, ResNet-101, and Inception. To our surprise, we found that training our model from scratch using FSS-1000 achieves comparable and even better results than training with weights pre-trained by ImageNet which is more than 100 times larger than FSS-1000. Both our approach and dataset are simple, effective, and easily extensible to learn segmentation of new object classes given very few annotated training examples. Dataset is available at https://github.com/HKUSTCV/FSS-1000.


title: Margulis Multiverse: Infinitesimal Rigidity, Pressure Form and Convexity

abstract: In this article we construct the pressure form on the moduli space of higher dimensional Margulis spacetimes without cusps and study its properties. We show that the Margulis spacetimes are infinitesimally determined by their marked Margulis invariant spectrums. We use it to show that the restrictions of the pressure form give Riemannian metrics on the constant entropy sections of the quotient moduli space. We also show that constant entropy sections of the moduli space with fixed linear part bound convex domains.


title: PyLops -- A Linear-Operator Python Library for large scale optimization

abstract: Linear operators and optimisation are at the core of many algorithms used in signal and image processing, remote sensing, and inverse problems. For small to medium-scale problems, existing software packages (e.g., MATLAB, Python numpy and scipy) allow for explicitly building dense (or sparse) matrices and performing algebraic operations (e.g., computation of matrix-vector products and manipulation of matrices) with syntax that closely represents their corresponding analytical forms. However, many real application, large-scale operators do not lend themselves to explicit matrix representations, usually forcing practitioners to forego of the convenient linear-algebra syntax available for their explicit-matrix counterparts. PyLops is an open-source Python library providing a flexible and scalable framework for the creation and combination of so-called linear operators, class-based entities that represent matrices and inherit their associated syntax convenience, but do not rely on the creation of explicit matrices. We show that PyLops operators can dramatically reduce the memory load and CPU computations compared to explicit-matrix calculations, while still allowing users to seamlessly use their existing knowledge of compact matrix-based syntax that scales to any problem size because no explicit matrices are required.


title: On the topology of metric $f$-$K$-contact manifolds

abstract: We observe that the class of metric $f$-$K$-contact manifolds, which naturally contains that of $K$-contact manifolds, is closed under forming mapping tori of automorphisms of the structure. We show that the de Rham cohomology of compact metric $f$-$K$-contact manifolds naturally splits off an exterior algebra, and relate the closed leaves of the characteristic foliation to its basic cohomology.


title: On the sum of fourth powers in arithmetic progression

abstract: We prove that the equation ${ (x - y)^4 + x^4 + (x + y)^4 = z^n }$ has no integer solutions ${ x, y, z}$ with ${ \gcd(x, y) = 1 }$ for all integers ${ n > 1 }$. We mainly use a modular approach with two Frey ${ \mathbb{Q} }$-curves defined over the field ${ \mathbb{Q}( \sqrt{30} ) }$.


title: ScaleTrotter: Illustrative Visual Travels Across Negative Scales

abstract: We present ScaleTrotter, a conceptual framework for an interactive, multi-scale visualization of biological mesoscale data and, specifically, genome data. ScaleTrotter allows viewers to smoothly transition from the nucleus of a cell to the atomistic composition of the DNA, while bridging several orders of magnitude in scale. The challenges in creating an interactive visualization of genome data are fundamentally different in several ways from those in other domains like astronomy that require a multi-scale representation as well. First, genome data has intertwined scale levels---the DNA is an extremely long, connected molecule that manifests itself at all scale levels. Second, elements of the DNA do not disappear as one zooms out---instead the scale levels at which they are observed group these elements differently. Third, we have detailed information and thus geometry for the entire dataset and for all scale levels, posing a challenge for interactive visual exploration. Finally, the conceptual scale levels for genome data are close in scale space, requiring us to find ways to visually embed a smaller scale into a coarser one. We address these challenges by creating a new multi-scale visualization concept. We use a scale-dependent camera model that controls the visual embedding of the scales into their respective parents, the rendering of a subset of the scale hierarchy, and the location, size, and scope of the view. In traversing the scales, ScaleTrotter is roaming between 2D and 3D visual representations that are depicted in integrated visuals. We discuss, specifically, how this form of multi-scale visualization follows from the specific characteristics of the genome data and describe its implementation. Finally, we discuss the implications of our work to the general illustrative depiction of multi-scale data.


title: Recursive Cascaded Networks for Unsupervised Medical Image Registration

abstract: We present recursive cascaded networks, a general architecture that enables learning deep cascades, for deformable image registration. The proposed architecture is simple in design and can be built on any base network. The moving image is warped successively by each cascade and finally aligned to the fixed image; this procedure is recursive in a way that every cascade learns to perform a progressive deformation for the current warped image. The entire system is end-to-end and jointly trained in an unsupervised manner. In addition, enabled by the recursive architecture, one cascade can be iteratively applied for multiple times during testing, which approaches a better fit between each of the image pairs. We evaluate our method on 3D medical images, where deformable registration is most commonly applied. We demonstrate that recursive cascaded networks achieve consistent, significant gains and outperform state-of-the-art methods. The performance reveals an increasing trend as long as more cascades are trained, while the limit is not observed. Code is available at https://github.com/microsoft/Recursive-Cascaded-Networks.


title: HEAR to remove pops and drifts: the high-variance electrode artifact removal (HEAR) algorithm

abstract: A high fraction of artifact-free signals is highly desirable in functional neuroimaging and brain-computer interfacing (BCI). We present the high-variance electrode artifact removal (HEAR) algorithm to remove transient electrode pop and drift (PD) artifacts from electroencephalographic (EEG) signals. Transient PD artifacts reflect impedance variations at the electrode scalp interface that are caused by ion concentration changes. HEAR and its online version (oHEAR) are open-source and publicly available. Both outperformed state of the art offline and online transient, high-variance artifact correction algorithms for simulated EEG signals. (o)HEAR attenuated PD artifacts by approx. 25 dB, and at the same time maintained a high SNR during PD artifact-free periods. For real-world EEG data, (o)HEAR reduced the fraction of outlier trials by half and maintained the waveform of a movement related cortical potential during a center-out reaching task. In the case of BCI training, using oHEAR can improve the reliability of the feedback a user receives through reducing a potential negative impact of PD artifacts.


title: Performance Evaluation of the LoRa Protocol in the context of Smart Meter

abstract: In recent years, the use of Low Power Wide Area Network (LPWAN) is increasing for the Internet of Things (IoT) applications. In order to demonstrate the application of LPWAN technologies for a realistic smart metering scenario, we set-up and implement a widely used LPWAN protocol which is called LoRaWAN. In this study, the LoRaWAN is implemented by using Multitech devices (end-node and gateway) and the performance of the network is evaluated for different physical (e.g. location, distance etc.) and link parameters (e.g. data rate, transmission power etc.), under the European regulations. To evaluate the performance of the networks, we collected uplink packets in different indoor and outdoor scenarios at various locations. Our results show that LoRaWAN is easy to setup, configurable, scalable, and it performs well for real-time smart metering applications. Moreover, it is necessary to evaluate the physical conditions for the selection of the available system parameters for deploying a robust LoRaWAN network.


title: Full-3D relativistic MHD simulations of bow shock pulsar wind nebulae: emission and polarization

abstract: Bow shock pulsar wind nebulae are observed with a variety of complex morphologies at different wavelengths, most likely due to differences in the magnetic field strength and pulsar wind geometry. Here we present a detailed analysis, showing how these differences affect the observational properties in these systems, focusing on non-thermal synchrotron emission. By adopting different prescriptions for the local emissivity, on top of the magnetic and flow patterns taken from 3D high-resolution numerical simulations in relativistic MHD, and considering various viewing angles, we try to characterize the main features of the emission and polarization, to verify if and how these can be used to get information, or to put constraints, on known objects. We found for example that conditions leading to a strong development of the turbulence in the bow shock tail produce substantial differences in the emission pattern, especially in polarized light.


title: The sensitivity conjecture, induced subgraphs of cubes, and Clifford algebras

abstract: We give another version of Huang's proof that an induced subgraph of the n-dimensional cube graph containing over half the vertices has maximal degree at least $\sqrt{n}$, which implies the Sensitivity Conjecture. This argument uses Clifford algebras of positive definite signature in a natural way. We also prove a weighted version of the result.


title: Gender Balance and Inclusion Within The Australian Space Community: An Overview Of Delegates At The 2018 Australian Space Research Conference

abstract: A significant gender disparity is widely known to occur within the fields of science, technology, engineering and mathematics (STEM). Women are both under-represented in their participation in Australian STEM education (compared to their fraction within the population at large), and face a much higher attrition rate from STEM subjects throughout secondary and tertiary education. Even within STEM careers the proportion of women frequently generally decreases with increasing position of seniority. In 2015 organisers and members of the Australian Space Research Community began to analyse the data from participants of the Australian Space Research Conference, in order to derive statistics relating to the gender balance of the conference. In this paper, the data from the most recent conference (held on the Gold Coast, in September 2018) is analysed, considering the gender demographics of delegates, presenters (within numerous categories), and awards. This year, we also present the dimensions of career type and academic level of conference attendees. The resulting trends are compared to those of other national space research conferences - the Scientific Meeting of the Astronomical Society of Australia. The results show that the representation of females dropped to the lowest levels since formal data collection began in 2015, with females comprising 23% of conference attendees, and 21% of all session presentations (posters and talks combined). Gender parity was achieved however amongst the invited Plenary presentations. Recommendations for removing some of the barriers to female participation in the conference and encouraging greater gender balance and diversity in future are discussed.


title: A View on Edge caching Applications

abstract: Devices with the ability to connect to the internet are growing in numbers day by day thus creating the need for a new way of manag-ing the way the produced traffic travels through data networks. Smart Cities, Vehicular Content Networks, Healthcare and Virtual Reality Videos are a few examples that require high volume data while maintaining low latency. Edge caching practices are a prom-ising solution in such cases in order meet the requirements of low latency in high volume traffic. This paper is a survey on four indic-ative areas, Smart Cities, Vehicular Content Networks, Healthcare and Virtual Reality Videos that make use of edge caching.


title: Capture Aware Sequential Waterfilling for LoraWAN Adaptive Data Rate

abstract: LoRaWAN (Long Range Wide Area Network) is emerging as an attractive network infrastructure for ultra low power Internet of Things devices. Even if the technology itself is quite mature and specified, the currently deployed wireless resource allocation strategies are still coarse and based on rough heuristics. This paper proposes an innovative "sequential waterfilling" strategy for assigning Spreading Factors (SF) to End-Devices (ED). Our design relies on three complementary approaches: i) equalize the Time-on-Air of the packets transmitted by the system's EDs in each spreading factor's group; ii) balance the spreading factors across multiple access gateways, and iii) keep into account the channel capture, which our experimental results show to be very substantial in LoRa. While retaining an extremely simple and scalable implementation, this strategy yields a significant improvement (up to 38%) in the network capacity over the legacy Adaptive Data Rate (ADR), and appears to be extremely robust to different operating/load conditions and network topology configurations.


title: Addition to Structure and dynamics of a polymer-nanoparticle composite: Effect of nanoparticle size and volume fraction

abstract: In our previous publication (Ref. 1) we have shown that the data for the normalized diffusion coefficient of the polymers, $D_p/D_{p0}$, falls on a master curve when plotted as a function of $h/\lambda_d$, where $h$ is the mean interparticle distance and $\lambda_d$ is a dynamic length scale. In the present note we show that also the normalized diffusion coefficient of the nanoparticles, $D_N/D_{N0}$, collapses on a master curve when plotted as a function of $h/R_h$, where $R_h$ is the hydrodynamic radius of the nanoparticles.


title: Flat Band and Hole-induced Ferromagnetism in a Novel Carbon Monolayer

abstract: In recent experiments, superconductivity and correlated insulating states were observed in twisted bilayer graphene (TBG) with small magic angles, which highlights the importance of the flat bands near Fermi energy. However, the moir\'e pattern of TBG consists of more than ten thousand carbon atoms that is not easy to handle with conventional methods. By density functional theory calculations, we obtain a flat band at E$_F$ in a novel carbon monolayer coined as cyclicgraphdiyne with the unit cell of eighteen atoms. By doping holes into cyclicgraphdiyne to make the flat band partially occupied, we find that cyclicgraphdiyne with 1/8, 1/4, 3/8 and 1/2 hole doping concentration shows ferromagnetism (half-metal) while the case without doping is nonmagnetic, indicating a hole-induced nonmagnetic-ferromagnetic transition. The calculated conductivity of cyclicgraphdiyne with 1/8, 1/4 and 3/8 hole doping concentration is much higher than that without doping or with 1/2 hole doping. These results make cyclicgraphdiyne really attractive. By studying several carbon monolayers, we find that a perfect flat band may occur in the lattices with both separated or corner-connected triangular motifs with only including nearest-neighboring hopping of electrons, and the dispersion of flat band can be tuned by next-nearest-neighboring hopping. Our results shed insightful light on the formation of flat band in TBG. The present study also poses an alternative way to manipulate magnetism through doping flat band in carbon materials.


title: A comparison of Deep Learning performances with other machine learning algorithms on credit scoring unbalanced data

abstract: Training models on highly unbalanced data is admitted to be a challenging task for machine learning algorithms. Current studies on deep learning mainly focus on data sets with balanced class labels or unbalanced data, but with massive amount of samples available, like in speech recognition. However, the capacities of deep learning on imbalanced data with little samples is not deeply investigated in literature, while it is a very common application context in numerous industries. To contribute to fill this gap, this paper compares the performances of several popular machine learning algorithms previously applied with success to unbalanced data set with deep learning algorithms. We conduct those experiments on a highly unbalanced data set, used for credit scoring. We evaluate various configuration including neural network optimization techniques and try to determine their capacities when they operate with imbalanced corpora.


title: EyeSec: A Retrofittable Augmented Reality Tool for Troubleshooting Wireless Sensor Networks in the Field

abstract: Wireless Sensor Networks (WSNs) often lack interfaces for remote debugging. Thus, fault diagnosis and troubleshooting are conducted at the deployment site. Currently, WSN operators lack dedicated tools that aid them in this process. Therefore, we introduce EyeSec, a tool for WSN monitoring and maintenance in the field. An Augmented Reality Device (AR Device) identifies sensor nodes using optical markers. Portable Sniffer Units capture network traffic and extract information. With those data, the AR Device network topology and data flows between sensor nodes are visualized. Unlike previous tools, EyeSec is fully portable, independent of any given infrastructure and does not require dedicated and expensive AR hardware. Using passive inspection only, it can be retrofitted to already deployed WSNs. We implemented a proof of concept on low-cost embedded hardware and commodity smart phones and demonstrate the usage of EyeSec within a WSN test bed using the 6LoWPAN transmission protocol.


title: Collaborative Filtering and Multi-Label Classification with Matrix Factorization

abstract: Machine learning techniques for Recommendation System (RS) and Classification has become a prime focus of research to tackle the problem of information overload. RS are software tools that aim at making informed decisions about the services that a user may like. On the other hand, classification technique deals with the categorization of a data object into one of the several predefined classes. In the multi-label classification problem, unlike the traditional multi-class classification setting, each instance can be simultaneously associated with a subset of labels. The focus of thesis is on the development of novel techniques for collaborative filtering and multi-label classification. We propose a novel method of constructing a hierarchical bi-level maximum margin matrix factorization to handle matrix completion of ordinal rating matrix. Taking the cue from the alternative formulation of support vector machines, a novel loss function is derived by considering proximity as an alternative criterion instead of margin maximization criterion for matrix factorization framework. We extended the concept of matrix factorization for yet another important problem of machine learning namely multi-label classification which deals with the classification of data with multiple labels. We propose a novel piecewise-linear embedding method with a low-rank constraint on parametrization to capture nonlinear intrinsic relationships that exist in the original feature and label space. We also study the embedding of labels together with the group information with an objective to build an efficient multi-label classifier. We assume the existence of a low-dimensional space onto which the feature vectors and label vectors can be embedded. We ensure that labels belonging to the same group share the same sparsity pattern in their low-rank representations.


title: Multi-Modal Adversarial Autoencoders for Recommendations of Citations and Subject Labels

abstract: We present multi-modal adversarial autoencoders for recommendation and evaluate them on two different tasks: citation recommendation and subject label recommendation. We analyze the effects of adversarial regularization, sparsity, and different input modalities. By conducting 408 experiments, we show that adversarial regularization consistently improves the performance of autoencoders for recommendation. We demonstrate, however, that the two tasks differ in the semantics of item co-occurrence in the sense that item co-occurrence resembles relatedness in case of citations, yet implies diversity in case of subject labels. Our results reveal that supplying the partial item set as input is only helpful, when item co-occurrence resembles relatedness. When facing a new recommendation task it is therefore crucial to consider the semantics of item co-occurrence for the choice of an appropriate model.


title: Statistical Characteristics and Community analysis of Urban Road Networks

abstract: Urban road networks are typical complex systems, which are crucial to our society and economy. In this study, topological characteristics of a number of urban road networks based on purely physical roads rather than routes of vehicles or buses are investigated in order to discover underlying unique structural features, particularly compared to other types of transport networks. Based on these topological indices, correlations between topological indices and small-worldness of urban road networks are also explored. The finding shows that there is no significant small-worldness for urban road networks, which is apparently different from other transport networks. Following this, community detection of urban road networks is conducted. The results reveal that communities and hierarchy of urban road networks tend to follow a general nature rule.


title: Detecting Radical Text over Online Media using Deep Learning

abstract: Social Media has influenced the way people socially connect, interact and opinionize. The growth in technology has enhanced communication and dissemination of information. Unfortunately,many terror groups like jihadist communities have started consolidating a virtual community online for various purposes such as recruitment, online donations, targeting youth online and spread of extremist ideologies. Everyday a large number of articles, tweets, posts, posters, blogs, comments, views and news are posted online without a check which in turn imposes a threat to the security of any nation. However, different agencies are working on getting down this radical content from various online social media platforms. The aim of our paper is to utilise deep learning algorithm in detection of radicalization contrary to the existing works based on machine learning algorithms. An LSTM based feed forward neural network is employed to detect radical content. We collected total 61601 records from various online sources constituting news, articles and blogs. These records are annotated by domain experts into three categories: Radical(R), Non-Radical (NR) and Irrelevant(I) which are further applied to LSTM based network to classify radical content. A precision of 85.9% has been achieved with the proposed approach


title: Extremophiles: a special or general case in the search for extra-terrestrial life?

abstract: Since time immemorial life has been viewed as being fragile, yet over the past few decades it has been found that many extreme environments are inhabited by organisms known as extremophiles.Knowledge of their emergence, adaptability, and limitations seems to provide a guideline for the search of extra-terrestrial life, since some extremophiles presumably can survive in extreme environments such as Mars, Europa, and Enceladus. Due to physicochemical constraints, the first life necessarily came into existence at the lower limit of lifes conceivable complexity.Thus, the first life could not have been an extremophile, furthermore, since biological evolution occurs over time, then the dual knowledge regarding what specific extremophiles are capable of, and to the analogue environment on extreme worlds, will not be sufficient as a search criterion.This is because, even though an extremophile can live in an extreme environment here-and-now, its ancestor however could not live in that very same environment in the past, which means that no contemporary extremophiles exist in that environment.Furthermore, a theoretical framework should be able to predict whether extremophiles can be considered a special or general case in the galaxy.Thus, a question is raised: does Earths continuous inhabitability represent an extreme or average value for planets? Thus, dependent on whether it is difficult or easy for worlds to maintain this inhabitability, the search for extra-terrestrial life with a focus on extremophiles will either represent a search after dying worlds, or a search after special life on living worlds, where one focus too narrowly on extreme values.


title: Design and Field Implementation of Blockchain Based Renewable Energy Trading in Residential Communities

abstract: This paper proposes a peer to peer (P2P), blockchain based energy trading market platform for residential communities with the objective of reducing overall community peak demand and household electricity bills. Smart homes within the community place energy bids for its available distributed energy resources (DERs) for each discrete trading period during a day, and a double auction mechanism is used to clear the market and compute the market clearing price (MCP). The marketplace is implemented on a permissioned blockchain infrastructure, where bids are stored to the immutable ledger and smart contracts are used to implement the MCP calculation and award service contracts to all winning bids. Utilizing the blockchain obviates the need for a trusted, centralized auctioneer, and eliminates vulnerability to a single point of failure. Simulation results show that the platform enables a community peak demand reduction of 46%, as well as a weekly savings of 6%. The platform is also tested at a real-world Canadian microgrid using the Hyperledger Fabric blockchain framework, to show the end to end connectivity of smart home DERs to the platform.


title: Retrieving Similar Trajectories from Cellular Data at City Scale

abstract: Retrieving similar trajectories from a large trajectory dataset is important for a variety of applications, like transportation planning and mobility analysis. Unlike previous works based on fine-grained GPS trajectories, this paper investigates the feasibility of identifying similar trajectories from cellular data observed by mobile infrastructure, which provide more comprehensive coverage. To handle the large localization errors and low sample rates of cellular data, we develop a holistic system, cellSim, which seamlessly integrates map matching and similar trajectory search. A set of map matching techniques are proposed to transform cell tower sequences into moving trajectories on a road map by considering the unique features of cellular data, like the dynamic density of cell towers and bidirectional roads. To further improve the accuracy of similarity search, map matching outputs M trajectory candidates of different confidence, and a new similarity measure scheme is developed to process the map matching results. Meanwhile, M is dynamically adapted to maintain a low false positive rate of the similarity search, and two pruning schemes are proposed to minimize the computation overhead. Extensive experiments on a large-scale dataset and real-world trajectories of 1701 km reveal that cellSim provides high accuracy (precision 62.4% and recall of 89.8%).


title: Production Ranking Systems: A Review

abstract: The problem of ranking is a multi-billion dollar problem. In this paper we present an overview of several production quality ranking systems. We show that due to conflicting goals of employing the most effective machine learning models and responding to users in real time, ranking systems have evolved into a system of systems, where each subsystem can be viewed as a component layer. We view these layers as being data processing, representation learning, candidate selection and online inference. Each layer employs different algorithms and tools, with every end-to-end ranking system spanning multiple architectures. Our goal is to familiarize the general audience with a working knowledge of ranking at scale, the tools and algorithms employed and the challenges introduced by adopting a layered approach.


title: Useful review on the Exponential-Integral special function

abstract: Special functions have always played a central role in physics and in mathematics, arising as solutions of particular differential equations, or integrals, during the study of particular important physical models and theories in Quantum Mechanics, Thermodynamics, Fluid Dynamics, Viscoelasticity, et cetera. The aim of this short series of lectures is to provide a good treatise about the Exponential Integral special function, covering also a few selected topics like its generalisation, other related special functions (Sine Integral, Cosine Integral and the Logarithmic Integral) and the theory of Asymptotic Series.


title: Topic Modeling with Wasserstein Autoencoders

abstract: We propose a novel neural topic model in the Wasserstein autoencoders (WAE) framework. Unlike existing variational autoencoder based models, we directly enforce Dirichlet prior on the latent document-topic vectors. We exploit the structure of the latent space and apply a suitable kernel in minimizing the Maximum Mean Discrepancy (MMD) to perform distribution matching. We discover that MMD performs much better than the Generative Adversarial Network (GAN) in matching high dimensional Dirichlet distribution. We further discover that incorporating randomness in the encoder output during training leads to significantly more coherent topics. To measure the diversity of the produced topics, we propose a simple topic uniqueness metric. Together with the widely used coherence measure NPMI, we offer a more wholistic evaluation of topic quality. Experiments on several real datasets show that our model produces significantly better topics than existing topic models.


title: Personalized Attraction Enhanced Sponsored Search with Multi-task Learning

abstract: We study a novel problem of sponsored search (SS) for E-Commerce platforms: how we can attract query users to click product advertisements (ads) by presenting them features of products that attract them. This not only benefits merchants and the platform, but also improves user experience. The problem is challenging due to the following reasons: (1) We need to carefully manipulate the ad content without affecting user search experience. (2) It is difficult to obtain users' explicit feedback of their preference in product features. (3) Nowadays, a great portion of the search traffic in E-Commerce platforms is from their mobile apps (e.g., nearly 90% in Taobao). The situation would get worse in the mobile setting due to limited space. We are focused on the mobile setting and propose to manipulate ad titles by adding a few selling point keywords (SPs) to attract query users. We model it as a personalized attractive SP prediction problem and carry out both large-scale offline evaluation and online A/B tests in Taobao. The contributions include: (1) We explore various exhibition schemes of SPs. (2) We propose a surrogate of user explicit feedback for SP preference. (3) We also explore multi-task learning and various additional features to boost the performance. A variant of our best model has already been deployed in Taobao, leading to a 2% increase in revenue per thousand impressions and an opt-out rate of merchants less than 4%.


title: Experimental Estimation of Temporal and Spatial Resolution of Coefficient of Heat Transfer in a Channel Using Inverse Heat Transfer Method

abstract: In this research, a novel method to investigation the transient heat transfer coefficient in a channel is suggested experimentally, in which the water flow, itself, is considered both just liquid phase and liquid-vapor phase. The experiments were designed to predict the temporal and spatial resolution of Nusselt number. The inverse technique method is non-intrusive, in which time history of temperature is measured, using some thermocouples within the wall to provide input data for the inverse algorithm. The conjugate gradient method is used mostly as an inverse method. The temporal and spatial changes of heat flux, Nusselt number, vapor quality, convection number, and boiling number have all been estimated, showing that the estimated local Nusselt numbers of flow for without and with phase change are close to those predicted from the correlations of Churchill and Ozoe (1973) and Kandlikar (1990), respectively. This study suggests that the extended inverse technique can be successfully utilized to calculate the local time-dependent heat transfer coefficient of boiling flow.