title: Study of the fluvial activity on Mars through mapping, sediment transport modelling and spectroscopic analyses

abstract: Mars is the only planet, other than Earth, for which there are several evidences that liquid water was abundant at the surface. Among them, one of the best evidence is that the ancient terrains of Mars are covered with fluvial and lacustrine features such as valley networks, longitudinal valleys and basin lakes. In addition, spectroscopic data have shown the widespread presence of aqueous alteration minerals on the Martian surface, including clays composed by phyllosilicates and hydrated salts. The main subject of my PhD is the study of these specific features (such as valley networks and paleolakes) on Mars surface, both from the geological and spectroscopic point of view through mapping, sediment transport modelling and CRISM spectra analyses. There are, in fact, no doubts that these structures were carved by liquid water, but several questions remain about the mechanisms of their formation and the climatic conditions under which this formation occurred. In this context, the study of these structures along with the identification of hydrated minerals, are a key in the investigation of the past climatic conditions of the planet which can have, in turn, important astrobiological implications. I updated previous global maps of Martian valleys using a new photomosaic of the Martian surface and data at higher resolution with respect to those used in the previous works. Furthermore, I selected a subset of the mapped valleys which includes 63 large fluvial systems and evaluated their formation timescales on the basis of sediment transport modelling. In addition, analyses of CRISM spectral data were performed on a sample of open/closed basin lakes (associated with the mapped valleys) detecting the possible presence of hydrated minerals, in particular (Fe/Mg-smectite), sometimes in association with mafic materials (olivine).


title: MIMO-OTFS in High-Doppler Fading Channels: Signal Detection and Channel Estimation

abstract: Orthogonal time frequency space (OTFS) modulation is a recently introduced multiplexing technique designed in the 2-dimensional (2D) delay-Doppler domain suited for high-Doppler fading channels. OTFS converts a doubly-dispersive channel into an almost non-fading channel in the delay-Doppler domain through a series of 2D transformations. In this paper, we focus on MIMO-OTFS which brings in the high spectral and energy efficiency benefits of MIMO and the robustness of OTFS in high-Doppler fading channels. The OTFS channel-symbol coupling and the sparse delay-Doppler channel impulse response enable efficient MIMO channel estimation in high Doppler environments. We present an iterative algorithm for signal detection based on message passing and a channel estimation scheme in the delay-Doppler domain suited for MIMO-OTFS. The proposed channel estimation scheme uses impulses in the delay-Doppler domain as pilots for estimation. We also compare the performance of MIMO-OTFS with that of MIMO-OFDM under high Doppler scenarios.


title: Formal factorization of higher order irregular linear differential operators

abstract: We study the problem of decomposition (non-commutative factorization) of linear ordinary differential operators near an irregular singular point. The solution (given in terms of the Newton diagram and the respective characteristic numbers) is known for quite some time, though the proofs are rather involved. We suggest a process of reduction of the non-commutative problem to its commutative analog, the problem of factorization of pseudopolynomials, which is known since Newton invented his method of rotating ruler. It turns out that there is an "automatic translation" which allows to obtain the results for formal factorization in the Weyl algebra from well known results in local analytic geometry. Besides, we draw some (apparently unnoticed) parallelism between the formal factorization of linear operators and formal diagonalization of systems of linear first order differential equations.


title: Target Apps Selection: Towards a Unified Search Framework for Mobile Devices

abstract: With the recent growth of conversational systems and intelligent assistants such as Apple Siri and Google Assistant, mobile devices are becoming even more pervasive in our lives. As a consequence, users are getting engaged with the mobile apps and frequently search for an information need in their apps. However, users cannot search within their apps through their intelligent assistants. This requires a unified mobile search framework that identifies the target app(s) for the user's query, submits the query to the app(s), and presents the results to the user. In this paper, we take the first step forward towards developing unified mobile search. In more detail, we introduce and study the task of target apps selection, which has various potential real-world applications. To this aim, we analyze attributes of search queries as well as user behaviors, while searching with different mobile apps. The analyses are done based on thousands of queries that we collected through crowdsourcing. We finally study the performance of state-of-the-art retrieval models for this task and propose two simple yet effective neural models that significantly outperform the baselines. Our neural approaches are based on learning high-dimensional representations for mobile apps. Our analyses and experiments suggest specific future directions in this research area.


title: Stability of Infinite Systems of Coupled Oscillators Via Random Walks on Weighted Graphs

abstract: Weakly coupled oscillators are used throughout the physical sciences, particularly in mathematical neuroscience to describe the interaction of neurons in the brain. Systems of weakly coupled oscillators have a well-known decomposition to a canonical phase model which forms the basis of our investigation in this work. Particularly, our interest lies in examining the stability of synchronous (phase-locked) solutions to this phase system: solutions with phases having the same temporal frequency but differ through time-independent phase-lags. The main stability result of this work comes from adapting a series of investigations into random walks on infinite weighted graphs. We provide an interesting link between the seemingly unrelated areas of coupled oscillators and random walks to obtain algebraic decay rates of small perturbations off the phase-locked solutions under some minor technical assumptions. We also provide some interesting and motivating examples that demonstrate the stability of phase-locked solutions, particularly that of a rotating wave solution arising in a well studied paradigm in the theory of coupled oscillators.


title: Uniform Distribution of Kakutani Partitions Generated By Substitution Schemes

abstract: Substitution schemes provide a classical method for constructing tilings of Euclidean space. Allowing multiple scales in the scheme, we introduce a rich family of sequences of tile partitions generated by the substitution rule, which include the sequence of partitions of the unit interval considered by Kakutani as a special case. Using our recent path counting results for directed weighted graphs, we show that such sequences of partitions are uniformly distributed, thus extending Kakutani's original result. Furthermore, we describe certain limiting frequencies associated with sequences of partitions, which relate to the distribution of tiles of a given type and the volume they occupy.


title: Zero-shot Sequence Labeling: Transferring Knowledge from Sentences to Tokens

abstract: Can attention- or gradient-based visualization techniques be used to infer token-level labels for binary sequence tagging problems, using networks trained only on sentence-level labels? We construct a neural network architecture based on soft attention, train it as a binary sentence classifier and evaluate against token-level annotation on four different datasets. Inferring token labels from a network provides a method for quantitatively evaluating what the model is learning, along with generating useful feedback in assistance systems. Our results indicate that attention-based methods are able to predict token-level labels more accurately, compared to gradient-based methods, sometimes even rivaling the supervised oracle network.


title: Construction of weakly neutral inclusions of general shape by imperfect interfaces

abstract: Upon insertion of an inclusion into a medium with the uniform field, if the field is not perturbed at all outside the inclusion, then it is called a neutral inclusion. It is called a weakly neutral inclusion if the field is perturbed weakly. The inclusions neutral to multiple uniform fields are of circular shape if the medium is isotropic, and any other shape cannot be neutral. We consider in this paper the problem of constructing inclusions of general shape which are weakly neutral to multiple fields in two dimensions. We show that a simply connected domain satisfying a certain geometric condition can be realized as a weakly neutral inclusion to multiple fields by introducing an imperfect interface parameter on the boundary. The geometric condition on the domain and the imperfect interface parameter are determined by the first coefficient of the conformal mapping from the exterior of the unit disk onto the exterior of the domain. We provide some numerical examples to compare field perturbations by weakly neutral inclusions and perfectly bonding interfaces. They clearly show that the field perturbation by weakly neutral inclusions is much weaker.


title: A vanishing result for the supersymmetric nonlinear sigma model in higher dimensions

abstract: We prove a vanishing result for critical points of the supersymmetric nonlinear sigma model on complete non-compact Riemannian manifolds of positive Ricci curvature that admit an Euclidean type Sobolev inequality, assuming that the dimension of the domain is bigger than two and that a certain energy is sufficiently small.


title: Generalized Center Problems with Outliers

abstract: We study the $\mathcal{F}$-center problem with outliers: given a metric space $(X,d)$, a general down-closed family $\mathcal{F}$ of subsets of $X$, and a parameter $m$, we need to locate a subset $S\in \mathcal{F}$ of centers such that the maximum distance among the closest $m$ points in $X$ to $S$ is minimized. Our main result is a dichotomy theorem. Colloquially, we prove that there is an efficient $3$-approximation for the $\mathcal{F}$-center problem with outliers if and only if we can efficiently optimize a poly-bounded linear function over $\mathcal{F}$ subject to a partition constraint. One concrete upshot of our result is a polynomial time $3$-approximation for the knapsack center problem with outliers for which no (true) approximation algorithm was known.


title: Unconventional photon blockade in three-mode optomechanics

abstract: We analyze the photon correlations in an optomechanical system containing two nonlinear optical modes and one mechanical mode which are coupled via a three-mode mixing. Under a weak driving condition, we determine the optimal conditions for photon antibunching in the weak Kerr-nonlinear regime and we find that the analytical calculations are consistent with the numerical results. The photon blockade effect is attributed to destructive quantum interference in the two-photon excitation pathways created as a result of the three-mode interaction.


title: On the groups of periodic links

abstract: It is shown that, if a link $\tilde{L}\subset S^3$ is $p^k$-periodic with $p$ prime and $k\ge 1$, and $L$ is the quotient link, then the groups of $\tilde{L}$ and $L$ can be related by counting homomorphisms to any finite group $\Gamma$ whose order is not divisible by $p$.


title: Multi-Passage Machine Reading Comprehension with Cross-Passage Answer Verification

abstract: Machine reading comprehension (MRC) on real web data usually requires the machine to answer a question by analyzing multiple passages retrieved by search engine. Compared with MRC on a single passage, multi-passage MRC is more challenging, since we are likely to get multiple confusing answer candidates from different passages. To address this problem, we propose an end-to-end neural model that enables those answer candidates from different passages to verify each other based on their content representations. Specifically, we jointly train three modules that can predict the final answer based on three factors: the answer boundary, the answer content and the cross-passage answer verification. The experimental results show that our method outperforms the baseline by a large margin and achieves the state-of-the-art performance on the English MS-MARCO dataset and the Chinese DuReader dataset, both of which are designed for MRC in real-world settings.


title: Non-planar elasticae as optimal curves for the magnetic axis of stellarators

abstract: The problem of finding an optimal curve for the target magnetic axis of a stellarator is addressed. Euler-Lagrange equations are derived for finite length three-dimensional curves that extremise their bending energy while yielding fixed integrated torsion. The obvious translational and rotational symmetry is exploited to express solutions in a preferred cylindrical coordinate system in terms of elliptic Jacobi functions. These solution curves, which, up to similarity transformations, depend on three dimensionless parameters, do not necessarily close. Two closure conditions are obtained for the vertical and toroidal displacement (the radial coordinate being trivially periodic) to yield a countably infinite set of one-parameter families of closed non-planar curves. The behaviour of the integrated torsion (Twist of the Frenet frame), the Linking of the Frenet frame and the Writhe of the solution curves is studied in light of the \Calugareanu theorem. A refreshed interpretation of Mercier's formula for the on-axis rotational transform of stellarator magnetic field-lines is proposed.


title: A Computer Approach to Determine the Densest Translative Tetrahedron Packings

abstract: In 1900, as a part of his 18th problem, Hilbert proposed the question to determine the densest congruent (or translative) packings of a given solid, such as the unit ball or the regular tetrahedron of unit edges. Up to now, our knowledge about this problem is still very limited, excepting the ball case. It is conjectured that, for some particular solids such as tetrahedra, cuboctahedra and octahedra, their maximal translative packing densities and their maximal lattice packing densities are identical. To attack this conjecture, this paper suggests a computer approach to determine the maximal local translative packing density of a given polytope, by studying associated color graphs and applying optimization. In particular, all the tetrahedral case, the cuboctahedral case and the octahedral case of the conjecture have been reduced into finite numbers of manageable optimization problems.


title: Tensor-Based Channel Estimation for Dual-Polarized Massive MIMO Systems

abstract: The 3GPP suggests to combine dual polarized (DP) antenna arrays with the double directional (DD) channel model for downlink channel estimation. This combination strikes a good balance between high-capacity communications and parsimonious channel modeling, and also brings limited feedback schemes for downlink channel state information within reach---since such channel can be fully characterized by several key parameters. However, most existing channel estimation work under the DD model has not yet considered DP arrays, perhaps because of the complex array manifold and the resulting difficulty in algorithm design. In this paper, we first reveal that the DD channel with DP arrays at the transmitter and receiver can be naturally modeled as a low-rank tensor, and thus the key parameters of the channel can be effectively estimated via tensor decomposition algorithms. On the theory side, we show that the DD-DP parameters are identifiable under very mild conditions, by leveraging identifiability of low-rank tensors. Furthermore, a compressed tensor decomposition algorithm is developed for alleviating the downlink training overhead. We show that, by using judiciously designed pilot structure, the channel parameters are still guaranteed to be identified via the compressed tensor decomposition formulation even when the size of the pilot sequence is much smaller than what is needed for conventional channel identification methods, such as linear least squares and matched filtering. Numerical simulations are presented to showcase the effectiveness of the proposed methods.


title: SL(2) over the octonions

abstract: We interpret an open orbit in a 32-dimensional representation space of Spin(9,1) x SL(2,R) as a substitute for the non-existent group of invertible 2x2 matrices over the octonions and study various natural homogeneous subspaces. The approach is via twistor geometry in eight dimensions.


title: An Upper Bound for the Moments of a G.C.D. related to Lucas Sequences

abstract: Let $(u_n)_{n \geq 0}$ be a non-degenerate Lucas sequence, given by the relation $u_n=a_1 u_{n-1}+a_2 u_{n-2}$. Let $\ell_u(m)=lcm(m, z_u(m))$, for $(m,a_2)=1$, where $z_u(m)$ is the rank of appearance of $m$ in $u_n$. We prove that $$\sum_{\substack{m>x\\ (m,a_2)=1}}\frac{1}{\ell_u(m)}\leq \exp(-(1/\sqrt{6}-\varepsilon+o(1))\sqrt{(\log x)(\log \log x)}),$$ when $x$ is sufficiently large in terms of $\varepsilon$, and where the $o(1)$ depends on $u$. Moreover, if $g_u(n)=\gcd(n,u_n)$, we will show that for every $k\geq 1$, $$\sum_{n\leq x}g_u(n)^{k}\leq x^{k+1}\exp(-(1+o(1))\sqrt{(\log x)(\log \log x)}),$$ when $x$ is sufficiently large and where the $o(1)$ depends on $u$ and $k$. This gives a partial answer to a question posed by C. Sanna. As a by-product, we derive bounds on $#\{n\leq x: (n, u_n)>y\}$, at least in certain ranges of $y$, which strengthens what already obtained by Sanna. Finally, we start the study of the multiplicative analogous of $\ell_u(m)$, finding interesting results.


title: The Exact Computational Complexity of Evolutionarily Stable Strategies

abstract: While the computational complexity of many game-theoretic solution concepts, notably Nash equilibrium, has now been settled, the question of determining the exact complexity of computing an evolutionarily stable strategy has resisted solution since attention was drawn to it in 2004. In this paper, I settle this question by proving that deciding the existence of an evolutionarily stable strategy is $\Sigma_2^P$-complete.


title: Sufficient conditions on Liouville type theorems for the 3D steady Navier-Stokes equations

abstract: Our aim is to prove Liouville type theorems for the three dimensional steady-state Navier-Stokes equations provided the velocity field belongs to some Lorentz spaces. The corresponding statement contains several known results as a particular case.


title: On the tightness of $G_\delta$-modifications

abstract: The $G_\delta$-modification $X_\delta$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_\delta$ subsets of $X$. Bella and Spadaro recently investigated the connection between the values of various cardinal functions taken on $X$ and $X_\delta$, respectively. In their paper, as Question 2, they raised the following problem: Is $t(X_\delta) \le 2^{t(X)}$ true for every (compact) $T_2$ space $X$? Note that this is actually two questions. In this note we answer both questions: In the compact case affirmatively and in the non-compact case negatively. In fact, in the latter case we even show that it is consistent with ZFC that no upper bound exists for the tightness of the $G_\delta$-modifications of countably tight, even Frechet spaces.


title: Residual Ratio Thresholding for Model Order Selection

abstract: Model order selection (MOS) in linear regression models is a widely studied problem in signal processing. Techniques based on information theoretic criteria (ITC) are algorithms of choice in MOS problems. This article proposes a novel technique called residual ratio thresholding for MOS in linear regression models which is fundamentally different from the ITC based MOS criteria widely discussed in literature. This article also provides a rigorous mathematical analysis of the high signal to noise ratio (SNR) and large sample size behaviour of RRT. RRT is numerically shown to deliver a highly competitive performance when compared to popular model order selection criteria like Akaike information criterion (AIC), Bayesian information criterion (BIC), penalised adaptive likelihood (PAL) etc. especially when the sample size is small.


title: Quantum Anomalous Hall Effect and Giant Rashba Spin-Orbit Splitting in Compensated n-p--Codoped Graphene

abstract: Quantum anomalous Hall effect (QAHE) is a fundamental quantum transport phenomenon in condensed matter physics. Until now, the only experimental realization of the QAHE has been observed for Cr/V-doped (Bi,Sb)$_2$Te$_3$ but at extremely low observational temperature, thereby limiting its potential application in dissipationless quantum electronics. Employing first-principles calculations, we study the electronic structures of graphene codoped with 5\textit{d} transition metal and boron (B) atoms based on a compensated \textit{n}--\textit{p} codoping scheme. Our findings are as follows. 1) The electrostatic attraction between the \textit{n}- and \textit{p}-type dopants effectively enhances the adsorption of metal adatoms and suppresses their undesirable clustering. 2) Hf--B and Os--B codoped graphene systems can establish long-range ferromagnetic order and open nontrivial band gaps because of the spin-orbit coupling with the non-vanishing Berry curvatures to host the QAHE. 3) The calculated Rashba splitting energy in Re--B and Pt--B codoped graphene systems can reach up to 158 and 85~meV, respectively, which is several orders of magnitude higher than the reported intrinsic spin-orbit coupling strength.


title: A Markovian genomic concatenation model guided by persymmetric matrices

abstract: The aim of this work is to provide a rigorous mathematical analysis of a stochastic concatenation model presented by Sobottka and Hart (2011) which allows approximation of the first-order stochastic structure in bacterial DNA by means of a stationary Markov chain. Two probabilistic constructions that rigorously formalize the model are presented. Necessary and sufficient conditions for a Markov chain to be generated by the model are given, as well as the theoretical background needed for designing new algorithms for statistical analyses of real bacterial genomes. It is shown that the model encompasses the Markov chains satisfying intra-strand parity, a property observed in most DNA sequences.


title: Discrete Factorization Machines for Fast Feature-based Recommendation

abstract: User and item features of side information are crucial for accurate recommendation. However, the large number of feature dimensions, e.g., usually larger than 10^7, results in expensive storage and computational cost. This prohibits fast recommendation especially on mobile applications where the computational resource is very limited. In this paper, we develop a generic feature-based recommendation model, called Discrete Factorization Machine (DFM), for fast and accurate recommendation. DFM binarizes the real-valued model parameters (e.g., float32) of every feature embedding into binary codes (e.g., boolean), and thus supports efficient storage and fast user-item score computation. To avoid the severe quantization loss of the binarization, we propose a convergent updating rule that resolves the challenging discrete optimization of DFM. Through extensive experiments on two real-world datasets, we show that 1) DFM consistently outperforms state-of-the-art binarized recommendation models, and 2) DFM shows very competitive performance compared to its real-valued version (FM), demonstrating the minimized quantization loss. This work is accepted by IJCAI 2018.


title: On the Rayleigh--Kuo criterion for the tertiary instability of zonal flows

abstract: This paper reports the stability conditions for intense zonal flows (ZFs) and the growth rate $\gamma_{\rm TI}$ of the corresponding "tertiary" instability (TI) within the generalized Hasegawa--Mima plasma model. The analytic calculation extends and revises Kuo's analysis of the mathematically similar barotropic vorticity equation for incompressible neutral fluids on a rotating sphere [H.-L. Kuo, J. Meteor. $\textbf{6}$, 105 (1949)]; then, the results are applied to the plasma case. An error in Kuo's original result is pointed out. An explicit analytic formula for TI is derived and compared with numerical calculations. It is shown that, within the generalized Hasegawa--Mima model, a sinusoidal ZF is TI-unstable if and only if it satisfies the Rayleigh--Kuo criterion (known from geophysics) and that the ZF wave number exceeds the inverse ion sound radius. For non-sinusoidal ZFs, the results are qualitatively similar. As a corollary, there is no TI in the geometrical-optics limit, i.e., when the perturbation wavelength is small compared to the ZF scale. This also means that the traditional wave kinetic equation, which is derived under the geometrical-optics assumption, cannot adequately describe the ZF stability.


title: Statistical Inference and Exact Saddle Point Approximations

abstract: Statistical inference may follow a frequentist approach or it may follow a Bayesian approach or it may use the minimum description length principle (MDL). Our goal is to identify situations in which these different approaches to statistical inference coincide. It is proved that for exponential families MDL and Bayesian inference coincide if and only if the renormalized saddle point approximation for the conjugated exponential family is exact. For 1-dimensional exponential families the only families with exact renormalized saddle point approximations are the Gaussian location family, the Gamma family and the inverse Gaussian family. They are conjugated families of the Gaussian location family, the Gamma family and the Poisson-exponential family. The first two families are self-conjugated implying that only for the two first families the Bayesian approach is consistent with the frequentist approach. In higher dimensions there are more examples.


title: Experimental Realization of Sequential Weak Measurements of Arbitrary Non-commuting Pauli Observables

abstract: Sequential weak measurements of non-commuting observables is not only fundamentally interesting in quantum measurement but also shown potential in various applications. The previous reported methods, however, can only realize limited sequential weak measurements experimentally. In this Letter, we propose the realization of sequential measurements of arbitrary observables and experimentally demonstrate for the first time the measurement of sequential weak values of three non-commuting Pauli observables by using genuine single photons. The results presented here will not only improve our understanding of quantum measurement, e.g. testing quantum contextuality, macroscopic realism, and uncertainty relation, but also have many applications such as realizing counterfactual computation, direct process tomography, direct measurement of the density matrix and unbounded randomness certification.


title: Constraining the reionization history with CMB and spectroscopic observations

abstract: We investigate the constraints on the reionization history of the Universe from a joint analysis of the cosmic microwave background and neutral hydrogen fraction data. The $\tanh$ parametrization and principal component analysis methods are applied to the reionization history respectively. The commonly used $\tanh$ parametrization is oversimplistic when the neutral hydrogen fraction data are taken into account. Using the principal component analysis method, the reconstructed reionization history is consistent with the neutral hydrogen fraction data. With the principal component analysis method, we reconstruct the neutral hydrogen fraction at $z=9.75$ as $x_{\text{HI}}=0.69^{+0.30}_{-0.32}$ for $6<z<20$ range reconstruction, and $x_{\text{HI}}=0.76^{+0.22}_{-0.27}$ for $6<z<30$ range reconstruction. These results suggest that the Universe began to reionize at redshift no later than $z=10$ at a $95\%$ confidence level.


title: Bolzano's measurable numbers: are they real?

abstract: During the early 1830's Bernard Bolzano, working in Prague, wrote a manuscript giving a foundational account of numbers and their properties. In the final section of his work he described what he called `infinite number expressions' and `measurable numbers'. This work was evidently an attempt to provide an improved proof of the sufficiency of the criterion usually known as the `Cauchy criterion' for the convergence of an infinite sequence. Bolzano had in fact published this criterion four years earlier than Cauchy who, in his work of 1821, made no attempt at a proof. Any such proof required the construction or definition of real numbers and this, in essence, was what Bolzano achieved in his work on measurable numbers. It therefore pre-dates the well-known constructions of Dedekind, Cantor and many others by several decades. Bolzano's manuscript was partially published in 1962 and more fully published in 1976. We give an account of measurable numbers, the properties Bolzano proved about them, and the controversial reception they have prompted since their publication.


title: Sidorenko's conjecture for higher tree decompositions

abstract: This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader class, comparable to that given in work of Szegedy, through further iteration.


title: Index theory and deformations of open nonnegatively curved manifolds

abstract: We use an index-theoretic technique of Hitchin to show that the space of complete Riemannian metrics of nonnegative sectional curvature on certain open spin manifolds has nontrivial homotopy groups in infinitely many degrees. A new ingredient of independent interest is homotopy density of the subspace of metrics with cylindrical ends.


title: Graviton Mass and Memory

abstract: Gravitational memory, a residual change, arises after a finite gravitational wave pulse interacts with free masses. We calculate the memory effect in massive gravity as a function of the graviton mass $(m_g)$ and show that it is discretely different from the result of general relativity: the memory is reduced not just via the usual expected Yukawa decay but by a numerical factor which survives even in the massless limit. For the strongest existing bounds on the graviton mass, the memory is essentially wiped out for the sources located at distances above 10 Mpc. On the other hand, for the weaker bounds found in the LIGO observations, the memory is reduced to zero for distances above 0.1 Pc. Hence, we suggest that careful observations of the gravitational wave memory effect can rule out the graviton mass or significantly bound it. We also show that adding higher curvature terms reduces the memory effect.


title: Acquisition and use of knowledge over a restricted domain by intelligent agents

abstract: This short paper provides a description of an architecture to acquisition and use of knowledge by intelligent agents over a restricted domain of the Internet Infrastructure. The proposed architecture is added to an intelligent agent deployment model over a very useful server for Internet Autonomous System administrators. Such servers, which are heavily dependent on arbitrary and eventual updates of human beings, become unreliable. This is a position paper that proposes three research questions that are still in progress.


title: Reachability Analysis of Deep Neural Networks with Provable Guarantees

abstract: Verifying correctness of deep neural networks (DNNs) is challenging. We study a generic reachability problem for feed-forward DNNs which, for a given set of inputs to the network and a Lipschitz-continuous function over its outputs, computes the lower and upper bound on the function values. Because the network and the function are Lipschitz continuous, all values in the interval between the lower and upper bound are reachable. We show how to obtain the safety verification problem, the output range analysis problem and a robustness measure by instantiating the reachability problem. We present a novel algorithm based on adaptive nested optimisation to solve the reachability problem. The technique has been implemented and evaluated on a range of DNNs, demonstrating its efficiency, scalability and ability to handle a broader class of networks than state-of-the-art verification approaches.


title: Investigating additional structures on preimages of regular values of smooth maps induced from the manifolds via the Reeb spaces and applications

abstract: The Reeb space of a generic map is the space of all connected components of preimages of the map. Reeb spaces are fundamental and useful tools in the theory of Morse functions and higher dimensional variants and their applications to geometry. These spaces are polyhedra compatible with natural simplicial structures of the manifolds in considerable cases. For example, for Morse functions, fold maps, and proper stable maps, which are useful and fundamental tools in these studies, they are polyhedra whose dimensions are equal to those of the manifolds of the targets. In the 2010s, Hiratuka and Saeki found that the top-dimensional homology group of the Reeb space does not vanish for smooth maps such as proper stable maps having some preimages containing a component which is not (oriented) null-cobordant and which has no singular points. Recently the author found some extended versions of this fact formulating and using cobordism-like groups of equivalence classes of smooth and closed manifolds. The present paper concerns cases where manifolds and preimages with no singular points of maps may have additional algebraic topological or differential topological structures other than differentiable structures and orientations. We show a theorem for this case. We also give some explicit applications of the result where the preimages have spin or spin^c structures induced from the manifolds of the domains and structures of framed manifolds for example. As important applications, we present new explicit construction of spin cobordisms and spin^c cobordisms for example.


title: On Facility Location with General Lower Bounds

abstract: In this paper, we give the first constant approximation algorithm for the lower bounded facility location (LBFL) problem with general lower bounds. Prior to our work, such algorithms were only known for the special case where all facilities have the same lower bound: Svitkina \cite{Svi10} gave a $448$-approximation for the special case, and subsequently Ahmadian and Swamy \cite{AS13} improved the approximation factor to 82.6. As in \cite{Svi10} and \cite{AS13}, our algorithm for LBFL with general lower bounds works by reducing the problem to the capacitated facility location (CFL) problem. To handle some challenges caused by the general lower bounds, our algorithm involves more reduction steps. One main complication is that after aggregation of clients and facilities at a few locations, each of these locations may contain many facilities with different opening costs and lower bounds. To handle this issue, we introduce and reduce our LBFL problem to an intermediate problem called the transportation with configurable supplies and demands (TCSD) problem, which in turn can be reduced to the CFL problem.


title: Self-diffusion coefficient of the square-well fluid from molecular dynamics within the constant force approach

abstract: We present a systematic study of the self-diffusion coefficient for a fluid of particles interacting via the square-well pair potential by means of molecular dynamics simulations in the canonical (N,V,T) ensemble. The discrete nature of the interaction potential is modeled through the constant force approximation and the self-diffusion coefficients is determined for several packing fractions at super critical thermodynamic states. The dependence of the self-diffusion coefficient with the potential range $\lambda$ is analyzed in the range of $1.1 \leq \lambda \leq 1.5 $. The obtained molecular dynamics simulations results are in agreement with the self-diffusion coefficient predicted with the Enskog method. Additionally, we soh that the diffusion coefficient is very sensitive to the potential range, $\lambda$, at low densities leading to a density dependence of this coefficient not shared with other macroscopic properties such as the equation of state. The constant force approximation used in this work to model the discrete pair potential has shown to be an excellent scheme to compute the transport properties using standar computer simulations. Finally, the simulation results presented here are resourceful to improving theoretical approaches, such as the Enskog method.


title: Global stability for solutions to the exponential PDE describing epitaxial growth

abstract: In this paper we prove the global existence, uniqueness, optimal large time decay rates, and uniform gain of analyticity for the exponential PDE $h_t=\Delta e^{-\Delta h}$ in the whole space $\mathbb{R}^d_x$. We assume the initial data is of medium size in the critical Wiener algebra $\Delta h \in A(\mathbb{R}^d)$. This exponential PDE was derived in (Krug, Dobbs, and Majaniemi in 1995) and more recently in (Marzuola and Weare 2013).


title: Cosmological Reconstruction From Galaxy Light: Neural Network Based Light-Matter Connection

abstract: We present a method to reconstruct the initial conditions of the universe using observed galaxy positions and luminosities under the assumption that the luminosities can be calibrated with weak lensing to give the mean halo mass. Our method relies on following the gradients of forward model and since the standard way to identify halos is non-differentiable and results in a discrete sample of objects, we propose a framework to model the halo position and mass field starting from the non-linear matter field using Neural Networks. We evaluate the performance of our model with multiple metrics. Our model is more than $95\%$ correlated with the halo-mass fields up to $k\sim 0.7 {\rm h/Mpc}$ and significantly reduces the stochasticity over the Poisson shot noise. We develop a data likelihood model that takes our modeling error and intrinsic scatter in the halo mass-light relation into account and show that a displaced log-normal model is a good approximation to it. We optimize over the corresponding loss function to reconstruct the initial density field and develop an annealing procedure to speed up and improve the convergence. We apply the method to halo number densities of $\bar{n} = 2.5\times 10^{-4} -10^{-3}({\rm h/Mpc})^3$, typical of current and future redshift surveys, and recover a Gaussian initial density field, mapping all the higher order information in the data into the power spectrum. We show that our reconstruction improves over the standard reconstruction. For baryonic acoustic oscillations (BAO) the gains are relatively modest because BAO is dominated by large scales where standard reconstruction suffices. We improve upon it by $\sim 15-20\%$ in terms of error on BAO peak as estimated by Fisher analysis at $z=0$. We expect larger gains will be achieved when applying this method to the broadband linear power spectrum reconstruction on smaller scales.


title: Measurement of prompt $\psi$(2S) production cross sections in proton-lead and proton-proton collisions at $\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV

abstract: Measurements of prompt $\psi$(2S) meson production cross sections in proton-lead (pPb) and proton-proton (pp) collisions at a nucleon-nucleon center-of-mass energy of $\sqrt{s_{_\mathrm{NN}}} =$ 5.02 TeV are reported. The results are based on pPb and pp data collected by the CMS experiment at the LHC, corresponding to integrated luminosities of 34.6 nb$^{-1}$ and 28.0 pb$^{-1}$, respectively. The nuclear modification factor $R_\mathrm{pPb}$ is measured for prompt $\psi$(2S) in the transverse momentum range 4 $<$ p$_\mathrm{T}$ $<$ 30 GeV$/c$ and the center-of-mass rapidity range $-$2.4 $< y_\mathrm{cm} <$ 1.93. The results on $\psi$(2S) $R_\mathrm{pPb}$ are compared to the corresponding modification factor for prompt J$/\psi$ mesons. The results point to different nuclear effects at play in the production of the excited charmonium state compared to the ground state, in the region of backward rapidity and for p$_\mathrm{T}$ $<$ 10 GeV$/c$.


title: Using Humanoid Robot to Instruct and Evaluate Performance of a Physical Task

abstract: In this paper, we present a tool to assess users ability to change tasks. To do this, we use a variation of the Box and Blocks Test. In this version, a humanoid robot instructs a user to perform a task involving the movement of certain colored blocks. The robot changes randomly change the color of blocks that the user is supposed to move. Canny Edge Detection and Hough Transformation are used to assess user perform the robot's built-in camera. This will allow the robot to inform the user and keep a log of their progress. We present this method for monitoring user progress by describing how the moved blocks are detected. We also present the results of a pilot study where users used this system to perform the task. Preliminary results show that users do not perform differently when the task is changed in this scenario.


title: Control of attosecond light polarization in two-color bi-circular fields

abstract: We develop theoretically and confirm both numerically and experimentally a comprehensive analytical model which describes the propensity rules in the emission of circularly polarized high harmonics by systems driven by two-color counter-rotating fields, a fundamental and its second harmonic. We identify and confirm the three propensity rules responsible for the contrast between the 3N+1 and 3N+2 harmonic lines in the HHG spectra of noble gas atoms. We demonstrate how these rules depend on the laser parameters and how they can be used in the experiment to shape the polarization properties of the emitted attosecond pulses.


title: The Bj\"orling problem for prescribed mean curvature surfaces in $\mathbb{R}^3$

abstract: In this paper we solve the Bj\"orling problem for the class of immersed surfaces in $\mathbb{R}^3$ whose mean curvature is given as an analytic function depending on its Gauss map. As an application, we prove the existence of surfaces with the topology of a M\"obius strip for an arbitrary large class of prescribed functions. In particular, we use the Bj\"orling problem to construct the first known examples of self-translating solitons of the mean curvature flow with the topology of a M\"obius strip in $\mathbb{R}^3$


title: High-Precision Orbit Fitting and Uncertainty Analysis of (486958) 2014 MU69

abstract: NASA's New Horizons spacecraft will conduct a close flyby of the cold classical Kuiper Belt Object (KBO) designated (486958) 2014 MU69 on January 1, 2019. At a heliocentric distance of 44 AU, "MU69" will be the most distant object ever visited by a spacecraft. To enable this flyby, we have developed an extremely high precision orbit fitting and uncertainty processing pipeline, making maximal use of the Hubble Space Telescope's Wide Field Camera 3 (WFC3) and pre-release versions of the ESA Gaia Data Release 2 (DR2) catalog. This pipeline also enabled successful predictions of a stellar occultation by MU69 in July 2017. We describe how we process the WFC3 images to match the Gaia DR2 catalog, extract positional uncertainties for this extremely faint target (typically 140 photons per WFC3 exposure), and translate those uncertainties into probability distribution functions for MU69 at any given time. We also describe how we use these uncertainties to guide New Horizons, plan stellar occultions of MU69, and derive MU69's orbital evolution and long-term stability.


title: Multidimensional Realization Theory and Polynomial System Solving

abstract: Multidimensional systems are becoming increasingly important as they provide a promising tool for estimation, simulation and control, while going beyond the traditional setting of one-dimensional systems. The analysis of multidimensional systems is linked to multivariate polynomials, and is therefore more difficult than the well-known analysis of one-dimensional systems, which is linked to univariate polynomials. In the current paper we relate the realization theory for overdetermined autonomous multidimensional systems to the problem of solving a system of polynomial equations. We show that basic notions of linear algebra suffice to analyze and solve the problem. The difference equations are associated with a Macaulay matrix formulation, and it is shown that the null space of the Macaulay matrix is a multidimensional observability matrix. Application of the classical shift trick from realization theory allows for the computation of the corresponding system matrices in a multidimensional state-space setting. This reduces the task of solving a system of polynomial equations to computing an eigenvalue decomposition. We study the occurrence of multiple solutions, as well as the existence and analysis of solutions at infinity, which allow for an interpretation in terms of multidimensional descriptor systems.


title: Sets with distinct sums of pairs, long arithmetic progressions, and continuous mappings

abstract: We show that if $\varphi \colon \mathbb R\rightarrow\mathbb R$ is a continuous mapping and the set of nonlinearity of $\varphi$ has nonzero Lebesgue measure, then $\varphi$ maps bijectively a certain set that contains arbitrarily long arithmetic progressions onto a certain set with distinct sums of pairs.


title: Identities involving Narayana numbers

abstract: Narayana's cows problem is a problem similar to the Fibonacci's rabbit problem. We define the numbers which are the solutions of this problem as Narayana's cows numbers. Narayana's cows sequence satisfies the third order recurrence relation $N_{r}=N_{r-1}+N_{r-3}$ ($r\geq3$) with initial condition $N_{0} =0$, $N_{1} = N_{2}= 1$. In this paper, the $ar+b$ subscripted Narayana numbers will be expressed by three $a$ step apart Narayana numbers for any $1\leq b\leq a$ ($a\in \mathbb{Z}$). Furthermore, we study the sum $S_{N,r}^{(4,b)}=\sum_{k=0}^{r}N_{4k+b}$ of $4$ step apart Narayana numbers for any $1\leq b\leq 4$.


title: The IMF impact on the ULF oscillations in the magnetospheric polar cusps

abstract: Ultra-low-frequency (ULF) oscillations of the magnetospheric cusps are observed permanently in the near-mid sector of auroral oval in the form of so-called IPCL. In this paper, we posed the question: do electromagnetic waves incident on cusp from the foreshock (it is a special region of cosmic plasma existing before the front of the magnetosphere) affect the IPCL regime? We have proposed a method of experimental investigation, which is based on the idea of the foreshock position dependence on the interplanetary magnetic field (IMF) orientation. A hypothesis has been put forward on the existence of a specific effect of the IPCL north-south asymmetry. We tested our hypothesis using IPCL observation data from the Hornsund (Spitsbergen) and Davis (Antarctica) observatories. We found confirmation of the hypothesis at a high confidence level of statistical significance. Keywords: magnetosphere, ultra-low-frequency oscillations, north-south asymmetry.


title: Bayesian Regularization for Graphical Models with Unequal Shrinkage

abstract: We consider a Bayesian framework for estimating a high-dimensional sparse precision matrix, in which adaptive shrinkage and sparsity are induced by a mixture of Laplace priors. Besides discussing our formulation from the Bayesian standpoint, we investigate the MAP (maximum a posteriori) estimator from a penalized likelihood perspective that gives rise to a new non-convex penalty approximating the $\ell_0$ penalty. Optimal error rates for estimation consistency in terms of various matrix norms along with selection consistency for sparse structure recovery are shown for the unique MAP estimator under mild conditions. For fast and efficient computation, an EM algorithm is proposed to compute the MAP estimator of the precision matrix and (approximate) posterior probabilities on the edges of the underlying sparse structure. Through extensive simulation studies and a real application to a call center data, we have demonstrated the fine performance of our method compared with existing alternatives.

categories: stat.ML cs.LG math.ST stat.CO stat.ME stat.TH


title: Russian word sense induction by clustering averaged word embeddings

abstract: The paper reports our participation in the shared task on word sense induction and disambiguation for the Russian language (RUSSE-2018). Our team was ranked 2nd for the wiki-wiki dataset (containing mostly homonyms) and 5th for the bts-rnc and active-dict datasets (containing mostly polysemous words) among all 19 participants. The method we employed was extremely naive. It implied representing contexts of ambiguous words as averaged word embedding vectors, using off-the-shelf pre-trained distributional models. Then, these vector representations were clustered with mainstream clustering techniques, thus producing the groups corresponding to the ambiguous word senses. As a side result, we show that word embedding models trained on small but balanced corpora can be superior to those trained on large but noisy data - not only in intrinsic evaluation, but also in downstream tasks like word sense induction.


title: Semi-random graph process

abstract: We introduce and study a novel semi-random multigraph process, described as follows. The process starts with an empty graph on $n$ vertices. In every round of the process, one vertex $v$ of the graph is picked uniformly at random and independently of all previous rounds. We then choose an additional vertex (according to a strategy of our choice) and connect it by an edge to $v$. For various natural monotone increasing graph properties $P$, we prove tight upper and lower bounds on the minimum (extended over the set of all possible strategies) number of rounds required by the process to obtain, with high probability, a graph that satisfies $P$. Along the way, we show that the process is general enough to approximate (using suitable strategies) several well-studied random graph models.


title: Active disturbance rejection for precise positioning of dual-stage hard disk drives

abstract: This paper presents an application of adaptive control algorithm in order to reject the external disturbances in dual-stage hard disk drives. For this purpose, a dual PID controller is first designed without the plant exposure to external disturbances. Then, an adaptive control approach based on recursive least squares adaptive (RLS) algorithm was employed to identify and reject disturbances. The performance of the proposed technique was evaluated for hard disk track-seeking through simulation experiments. Results show the feasibility and precise tracking of the designed control system.


title: First direct detection of a polarized companion outside of a resolved circumbinary disk around CS Cha

abstract: In the present study we aim to investigate the circumstellar environment of the spectroscopic binary T Tauri star CS Cha. From unresolved mid- to far-infrared photometry it is predicted that CS Cha hosts a disk with a large cavity. In addition, SED modeling suggests significant dust settling, pointing towards an evolved disk that may show signs of ongoing or completed planet formation. We observed CS Cha with the high contrast imager VLT/SPHERE in polarimetric differential imaging mode to resolve the circumbinary disk in near infrared scattered light. These observations were followed-up by VLT/NACO L-band observations and complemented by archival VLT/NACO K-band and HST/WFPC2 I-band data. We resolve the compact circumbinary disk around CS Cha for the first time in scattered light. We find a smooth, low inclination disk with an outer radius of $\sim$55 au (at 165 pc). We do not detect the inner cavity but find an upper limit for the cavity size of $\sim$15 au. Furthermore, we find a faint co-moving companion with a projected separation of 210 au from the central binary outside of the circumbinary disk. The companion is detected in polarized light and shows an extreme degree of polarization (13.7$\pm$0.4 \% in J-band). The companion's J- and H-band magnitudes are compatible with masses of a few M$_\mathrm{Jup}$. However, K-, L- and I-band data draw this conclusion into question. We explore with radiative transfer modeling whether an unresolved circum-companion disk can be responsible for the high polarization and complex photometry. We find that the set of observations is best explained by a heavily extincted low mass ($\sim 20 \mathrm{M}_\mathrm{Jup}$) brown dwarf or high mass planet with an unresolved disk and dust envelope.


title: Construction of the Literature Graph in Semantic Scholar

abstract: We describe a deployed scalable system for organizing published scientific literature into a heterogeneous graph to facilitate algorithmic manipulation and discovery. The resulting literature graph consists of more than 280M nodes, representing papers, authors, entities and various interactions between them (e.g., authorships, citations, entity mentions). We reduce literature graph construction into familiar NLP tasks (e.g., entity extraction and linking), point out research challenges due to differences from standard formulations of these tasks, and report empirical results for each task. The methods described in this paper are used to enable semantic features in www.semanticscholar.org


title: Existence of Resonances for the Spin-Boson-Model with Critical Coupling Function

abstract: A two-level atom coupled to the quantized radiation field is studied. In the physical relevant situation, the coupling function modeling the interaction between the two component behaves like $|k|^{-1/2}$, as the photon momentum tends to zero. This behavior is referred to as critical, as it constitutes a borderline case. Previous results on non-existence state that, in the general case, neither a ground state nor a resonance exists. Hasler and Herbst have shown [10], however, that a ground state does exist if the absence of self-interactions is assumed. Bach, Ballesteros, K\"onenberg, and Menrath have then explicitly constructed the ground state this specific case [2] using the multiscale analysis known as Pizzo's Method [13]. Building on this result, the existence of resonances is considered. In the present paper, using multiscale analysis, a resonance eigenvalue of the complex deformed Hamiltonian is constructed. Neumann series expansions are used in the analysis and a suitable Feshbach-Schur map controls the exponential decay of the terms in the series.


title: Automated Diagnosis of Clinic Workflows

abstract: Outpatient clinics often run behind schedule due to patients who arrive late or appointments that run longer than expected. We sought to develop a generalizable method that would allow healthcare providers to diagnose problems in workflow that disrupt the schedule on any given provider clinic day. We use a constraint optimization problem to identify the least number of appointment modifications that make the rest of the schedule run on-time. We apply this method to an outpatient clinic at Vanderbilt. For patient seen in this clinic between March 27, 2017 and April 21, 2017, long cycle times tended to affect the overall schedule more than late patients. Results from this workflow diagnosis method could be used to inform interventions to help clinics run smoothly, thus decreasing patient wait times and increasing provider utilization.


title: New physics effects in radiative leptonic $B_s$ decay

abstract: There are several anomalous measurements in the decays induced by the quark level transition $b \to s \mu^+ \mu^-$, which do not agree with the predictions of the Standard Model. These measurements could be considered as signatures of physics beyond the Standard Model. Working within the framework of effective field theory, several groups have performed global fits to all $b \to s \mu^+ \mu^-$ data to identify the Lorentz structure of possible new physics. Many new physics scenarios have been suggested to explain the anomalies in the $b \to s \mu^+ \mu^-$ sector. In this work, we investigate the impact of these new physics scenarios on the radiative leptonic decay of $B_s$ meson. We consider the branching ratio of this decay along with the ratio $R_{\gamma}$ of the differential distribution $B_s \to \mu^+ \mu^- \gamma$ \& $B_s \to e^+ e^- \gamma$ and the muon forward-backward asymmetry $A_{FB}$. We find that the predicted values of the branching ratio and $A_{FB}$ are close to the SM results for all allowed new physics solutions whereas some of the solutions allow large deviation in $R_{\gamma}$ from its SM prediction.


title: Breaking NLI Systems with Sentences that Require Simple Lexical Inferences

abstract: We create a new NLI test set that shows the deficiency of state-of-the-art models in inferences that require lexical and world knowledge. The new examples are simpler than the SNLI test set, containing sentences that differ by at most one word from sentences in the training set. Yet, the performance on the new test set is substantially worse across systems trained on SNLI, demonstrating that these systems are limited in their generalization ability, failing to capture many simple inferences.


title: Time-dependent spectra of a three-level atom in the presence of electron shelving

abstract: We investigate time-dependent spectra of the intermittent resonance fluorescence of a single, laser-driven, three-level atom due to electron shelving. After a quasi-stationary state of the strong transition, a slow decay due to shelving leads to the steady state of the three-level system. The long-term stationary spectrum consists of a coherent peak, an incoherent Mollow-like structure, and a very narrow incoherent peak at the laser frequency. We find that in the ensemble average dynamics the narrow peak emerges during the slow decay regime, after the Mollow spectrum has stabilized, but well before an average dark time has passed. The coherent peak, being a steady state feature, is absent during the time evolution of the spectrum


title: Continuum approximations to systems of correlated interacting particles

abstract: We consider a system of interacting particles with random initial conditions. Continuum approximations of the system, based on truncations of the BBGKY hierarchy, are described and simulated for various initial distributions and types of interaction. Specifically, we compare the Mean Field Approximation (MFA), the Kirkwood Superposition Approximation (KSA), and a recently developed truncation of the BBGKY hierarchy (the Truncation Approximation - TA). We show that KSA and TA perform more accurately than MFA in capturing approximate distributions (histograms) obtained from Monte Carlo simulations. Furthermore, TA is more numerically stable and less computationally expensive than KSA.


title: Incorporating Privileged Information to Unsupervised Anomaly Detection

abstract: We introduce a new unsupervised anomaly detection ensemble called SPI which can harness privileged information - data available only for training examples but not for (future) test examples. Our ideas build on the Learning Using Privileged Information (LUPI) paradigm pioneered by Vapnik et al. [19,17], which we extend to unsupervised learning and in particular to anomaly detection. SPI (for Spotting anomalies with Privileged Information) constructs a number of frames/fragments of knowledge (i.e., density estimates) in the privileged space and transfers them to the anomaly scoring space through "imitation" functions that use only the partial information available for test examples. Our generalization of the LUPI paradigm to unsupervised anomaly detection shepherds the field in several key directions, including (i) domain knowledge-augmented detection using expert annotations as PI, (ii) fast detection using computationally-demanding data as PI, and (iii) early detection using "historical future" data as PI. Through extensive experiments on simulated and real datasets, we show that augmenting privileged information to anomaly detection significantly improves detection performance. We also demonstrate the promise of SPI under all three settings (i-iii); with PI capturing expert knowledge, computationally expensive features, and future data on three real world detection tasks.


title: Double transition of information spreading in a two-layered network

abstract: A great deal of significant progress has been seen in the study of information spreading on populations of networked individuals. A common point in many of past studies is that there is only one transition in the phase diagram of the final accepted size versus the transmission probability. However, whether other factors alter this phenomenology is still under debate, especially for the case of information spreading through many channels and platforms. In the present study, we adopt a two-layered network to represent the interactions of multiple channels and propose a SAR (Susceptible-Accepted-Recovered) information spreading model. Interestingly, our model shows a novel double transition including a continuous transition and a following discontinuous transition in the phase diagram, which originates from two outbreaks between the two layers of the network. Further, we reveal that the key factors are a weak coupling condition between the two layers, a large adoption threshold and the difference of the degree distributions between the two layers. Then, an edge-based compartmental theory is developed which fully explains all numerical results. Our findings may be of significance for understanding the secondary outbreaks of the information in real life.


title: Resonant thermoelectric transport in atomic chains with Fano defects

abstract: Atomic clusters attached to a low-dimensional system, called Fano defects, produce rich wave interferences. In this work, we analytically found an enhanced thermoelectric figure-of-merit (ZT) in periodic atomic chains with Fano defects, compared to those without such defects. We further study self-assembled DNA-like systems with periodic and quasiperiodically placed Fano defects by using a real-space renormalization method developed for the Kubo-Greenwood formula, in which tight-binding and Born models are respectively used for the electric and lattice thermal conductivities. The results reveal that the quasiperiodicity could be another ZT-improving factor, whose long-range disorder inhibits low-frequency acoustic phonons insensitive to local defects.


title: Effective Eavesdropping to Twin Field Quantum Key Distribution

abstract: We present an effective Eavesdropping scheme to attack the twin-field protocol of quantum key distribution [TF-QKD] proposed recently.


title: Extensions of integral domains and quasi-valuations

abstract: Let $S$ be an integral domain with field of fractions $F$ and let $A$ be an $F$-algebra having an $S$-stable basis. We prove the existence of an $S$-subalgebra $R$ of $A$ lying over $S$ whose localization with respect to $S$ is $A$ (we call such $R$ an $S$-nice subalgebra of $A$). We also show that there is no such minimal $S$-nice subalgebra of $A$. Given a valuation $v$ on $F$ with a corresponding valuation domain $O_v$, and an $O_v$-stable basis of $A$ over $F$, we prove the existence of a quasi-valuation on $A$ extending $v$ on $F$. Moreover, we prove the existence of an infinite decreasing chain of quasi-valuations on $A$, all of which extend $v$. Finally, we present applications for the above existence theorems; for example, we show that if $A$ is commutative and $\mathcal C$ is any chain of prime ideals of $S$, then there exists an $S$-nice subalgebra of $A$, having a chain of prime ideals covering $\mathcal C$.


title: On the $f$-Matrices of Pascal-like Triangles Defined by Riordan Arrays

abstract: We define and characterize the $f$-matrices associated to Pascal-like matrices that are defined by ordinary and exponential Riordan arrays. These generalize the face matrices of simplices and hypercubes. Their generating functions can be expressed simply in terms of continued fractions, which are shown to be transformations of the generating functions of the corresponding $\gamma$- and $h$-matrices.


title: Coherence Modeling of Asynchronous Conversations: A Neural Entity Grid Approach

abstract: We propose a novel coherence model for written asynchronous conversations (e.g., forums, emails), and show its applications in coherence assessment and thread reconstruction tasks. We conduct our research in two steps. First, we propose improvements to the recently proposed neural entity grid model by lexicalizing its entity transitions. Then, we extend the model to asynchronous conversations by incorporating the underlying conversational structure in the entity grid representation and feature computation. Our model achieves state of the art results on standard coherence assessment tasks in monologue and conversations outperforming existing models. We also demonstrate its effectiveness in reconstructing thread structures.


title: Mobile recommender systems: Identifying the major concepts

abstract: This paper identifies the factors that have an impact on mobile recommender systems. Recommender systems have become a technology that has been widely used by various online applications in situations where there is an information overload problem. Numerous applications such as e-Commerce, video platforms and social networks provide personalized recommendations to their users and this has improved the user experience and vendor revenues. The development of recommender systems has been focused mostly on the proposal of new algorithms that provide more accurate recommendations. However, the use of mobile devices and the rapid growth of the internet and networking infrastructure has brought the necessity of using mobile recommender systems. The links between web and mobile recommender systems are described along with how the recommendations in mobile environments can be improved. This work is focused on identifying the links between web and mobile recommender systems and to provide solid future directions that aim to lead in a more integrated mobile recommendation domain.


title: On the Kodaira problem for uniruled K\"ahler spaces

abstract: We discuss the Kodaira problem for uniruled K\"ahler spaces. Building on a construction due to Voisin, we give an example of a uniruled K\"ahler space $X$ such that every run of the $K_X$-MMP immediately terminates with a Mori fibre space, yet $X$ does not admit an algebraic approximation. Our example also shows that for a Mori fibration, approximability of the base does not imply approximability of the total space.


title: Gravitational wave echoes from strange stars

abstract: It has recently been claimed, with a $4.2 \sigma$ significance level, that gravitational wave echoes at a frequency of about $72$ Hz have been produced in the GW170817 event. The merging of compact stars can lead to the emission of gravitational waves echoes if the post-merger object features a photon-sphere capable of partially trapping the gravitational waves. If the post-merger source is a black hole, a second internal reflection surface, associated to quantum effects near the black hole horizon, must be present to avoid the gravitational wave capture. Alternatively, gravitational wave echoes can be produced by ultracompact stars crossing the photon-sphere line in the mass-radius diagram during the neutron star merging. In this case, the second reflection surface is not needed. A recently proposed preliminary analysis using an incompressible (and so unphysical) equation of state suggests that gravitational wave echoes at a frequency of tens of Hz can be produced by an ultracompact star. Since strange stars are extremely compact, we examine the possibility that strange stars emit gravitational wave echoes at such a frequency. Using parameterized models of the equation of state of ultra-stiff quark matter we find that a strange star can emit gravitational wave echoes, but the corresponding frequencies are of the order of tens of kHz, thus not compatible with the $72$ Hz signal.


title: S4ND: Single-Shot Single-Scale Lung Nodule Detection

abstract: The state of the art lung nodule detection studies rely on computationally expensive multi-stage frameworks to detect nodules from CT scans. To address this computational challenge and provide better performance, in this paper we propose S4ND, a new deep learning based method for lung nodule detection. Our approach uses a single feed forward pass of a single network for detection and provides better performance when compared to the current literature. The whole detection pipeline is designed as a single $3D$ Convolutional Neural Network (CNN) with dense connections, trained in an end-to-end manner. S4ND does not require any further post-processing or user guidance to refine detection results. Experimentally, we compared our network with the current state-of-the-art object detection network (SSD) in computer vision as well as the state-of-the-art published method for lung nodule detection (3D DCNN). We used publically available $888$ CT scans from LUNA challenge dataset and showed that the proposed method outperforms the current literature both in terms of efficiency and accuracy by achieving an average FROC-score of $0.897$. We also provide an in-depth analysis of our proposed network to shed light on the unclear paradigms of tiny object detection.


title: Chemical composition of two bright extremely metal-poor stars from the SDSS MARVELS pre-survey

abstract: \sdsszeroeight\ (V = 11.4; [Fe/H] = $-$3.1) and \sdssonethree\ (V = 12.4; [Fe/H] = $-$3.2) were observed with the SDSS 2.5-m telescope as part of the SDSS-MARVELS spectroscopic pre-survey, and were identified as extremely metal-poor (EMP; [Fe/H] $< -3.0$) stars during high-resolution follow-up with the Hanle Echelle Spectrograph (HESP) on the 2.3-m Himalayan Chandra Telescope. In this paper, the first science results using HESP, we present a detailed analysis of their chemical abundances. Both the stars exhibit under-abundances in their neutron-capture elements, while one of them, \sdssonethree, is clearly enhanced in carbon. Lithium was also detected in this star at a level of about A(Li) = 1.95. The spectra were obtained over a span of 6-24 months, and indicate that both stars could be members of binary systems. We compare the elemental abundances derived for these two stars along with other carbon-enhanced metal-poor (CEMP) and EMP stars, in order to understand the nature of their parent supernovae. We find that CEMP-no stars and EMP dwarfs exhibit very similar trends in their lithium abundances at various metallicities. We also find indications that CEMP-no stars have larger abundances of Cr and Co at a given metallicity, compared to EMP stars.


title: Proto-exact categories of matroids, Hall algebras, and K-theory

abstract: This paper examines the category $\mathbf{Mat}_{\bullet}$ of pointed matroids and strong maps from the point of view of Hall algebras. We show that $\mathbf{Mat}_{\bullet}$ has the structure of a finitary proto-exact category - a non-additive generalization of exact category due to Dyckerhoff-Kapranov. We define the algebraic K-theory $K_* (\mathbf{Mat}_{\bullet})$ of $\mathbf{Mat}_{\bullet}$ via the Waldhausen construction, and show that it is non-trivial, by exhibiting injections $$\pi^s_n (\mathbb{S}) \hookrightarrow K_n (\mathbf{Mat}_{\bullet})$$ from the stable homotopy groups of spheres for all $n$. Finally, we show that the Hall algebra of $\mathbf{Mat}_{\bullet}$ is a Hopf algebra dual to Schmitt's matroid-minor Hopf algebra.


title: Multi-Domain Neural Machine Translation

abstract: We present an approach to neural machine translation (NMT) that supports multiple domains in a single model and allows switching between the domains when translating. The core idea is to treat text domains as distinct languages and use multilingual NMT methods to create multi-domain translation systems, we show that this approach results in significant translation quality gains over fine-tuning. We also explore whether the knowledge of pre-specified text domains is necessary, turns out that it is after all, but also that when it is not known quite high translation quality can be reached.


title: DocFace: Matching ID Document Photos to Selfies

abstract: Numerous activities in our daily life, including transactions, access to services and transportation, require us to verify who we are by showing our ID documents containing face images, e.g. passports and driver licenses. An automatic system for matching ID document photos to live face images in real time with high accuracy would speedup the verification process and remove the burden on human operators. In this paper, by employing the transfer learning technique, we propose a new method, DocFace, to train a domain-specific network for ID document photo matching without a large dataset. Compared with the baseline of applying existing methods for general face recognition to this problem, our method achieves considerable improvement. A cross validation on an ID-Selfie dataset shows that DocFace improves the TAR from 61.14% to 92.77% at FAR=0.1%. Experimental results also indicate that given more training data, a viable system for automatic ID document photo matching can be developed and deployed.


title: Spin-polaronics, an emerging technology

abstract: The static and dynamic properties of spin-polarons in La-doped $CaMnO_3$ are explored theoretically, by means of an effective low energy Hamiltonian. All parameters from the Hamiltoniain are evaluated from first principles theory, without adjustable parameters. %We compare different geometries, like spin-polarons in bulk, surface and as single two-dimensional layers. The Hamiltonian is used to investigate the temperature stability as well as the response to an external applied electric field, for spin-polarons in bulk, surface and as single two-dimensional layers. Technically this involves atomistic spin-dynamics simulations in combination with kinetic Monte Carlo simulations. Where a comparison can be made, our simulations exhibit an excellent agreement with available experimental data and previous theory. Remarkably, we find that excellent control of the mobility of spin-polarons in this material can be achieved, and that the critical parameters deciding this is the temperature and strength of the applied electrical field. We outline different technological implications of spin-polarons, and point to spin-polaronics as an emerging sub-field of nano-technology. In particular, we demonstrate that it is feasible to write and erase information on atomic scale, by use of spin-polarons in $CaMnO_3$.


title: Clustering With Pairwise Relationships: A Generative Approach

abstract: Semi-supervised learning (SSL) has become important in current data analysis applications, where the amount of unlabeled data is growing exponentially and user input remains limited by logistics and expense. Constrained clustering, as a subclass of SSL, makes use of user input in the form of relationships between data points (e.g., pairs of data points belonging to the same class or different classes) and can remarkably improve the performance of unsupervised clustering in order to reflect user-defined knowledge of the relationships between particular data points. Existing algorithms incorporate such user input, heuristically, as either hard constraints or soft penalties, which are separate from any generative or statistical aspect of the clustering model; this results in formulations that are suboptimal and not sufficiently general. In this paper, we propose a principled, generative approach to probabilistically model, without ad hoc penalties, the joint distribution given by user-defined pairwise relations. The proposed model accounts for general underlying distributions without assuming a specific form and relies on expectation-maximization for model fitting. For distributions in a standard form, the proposed approach results in a closed-form solution for updated parameters.


title: Types, Codes and TFTs

abstract: We establish a relation between fully extended $2$-dimensional TQFTs and recognisable weighted formal languages, rational biprefix codes and lattice TFTs. We show the equivalence of $2D$ closed TFTs and rational exchangeable series and we discuss the important special case of finite groups. Finally, we outline a reformulation in terms of a restricted version of second order monadic logic.


title: Unique rectification in $d$-complete posets: towards the $K$-theory of Kac-Moody flag varieties

abstract: The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minuscule varieties to a broader class of Kac-Moody structure constants. We begin to address the unification of these theories. Our main result is the existence of unique rectification targets in a large class of $d$-complete posets. From this result, we obtain conjectural positive combinatorial formulas for certain $K$-theoretic Schubert structure constants in the Kac-Moody setting.


title: Emergent Strange Nodal Metallicity from Orbital-Selective Mott Physics

abstract: While a specific kind of strange metal is increasingly found to be the "normal" states in a wide variety of unconventional superconductors, its microscopic origin is presently a hotly debated enigma. Using dynamical mean-field theory (DMFT) based on hybridization expansion of continuous-time quantum Monte-Carlo (CTQMC) solver for an extended two-band Hubbard model (2BHM), we investigate the conditions underlying the emergence of such a metal. Specifically, we tie strange metallicity to an orbital-selective Mottness in 2BHM or momentum-selective Mott phase (OSMP) in 2D Hubbard models inspired by a cluster-to-orbital mapping. We find $(i)$ disparate spin and charge responses, $(ii)$ fractional power-law behavior and $\omega/T$-scaling in the charge and spin fluctuation responses, and $(iii)$ very good accord with optical conductivity and nuclear magnetic relaxation rates in the slightly underdoped normal states of cuprates and Fe-arsenides. We analyze the local problem using bosonization to show that such anomalous responses arise from a lattice orthogonality catastrophe specifically in the OSMP. Our work establishes the intimate link between strange metallicity and selective Mottness in quantum matter.


title: Intrinsic factorization of ideals in Dedekind domains

abstract: We present a generalization of a polynomial factorization algorithm that works with ideals in maximal orders of global function fields. The method presented in this paper is intrinsic in the sense that it does not depend on the embedding of the ring of polynomials into the Dedekind domain in question.


title: The State of the Art in Developing Fuzzy Ontologies: A Survey

abstract: Conceptual formalism supported by typical ontologies may not be sufficient to represent uncertainty information which is caused due to the lack of clear cut boundaries between concepts of a domain. Fuzzy ontologies are proposed to offer a way to deal with this uncertainty. This paper describes the state of the art in developing fuzzy ontologies. The survey is produced by studying about 35 works on developing fuzzy ontologies from a batch of 100 articles in the field of fuzzy ontologies.


title: Rotationally induced coherence in turbulent kinematic dynamos

abstract: We consider rotating, kinematic dynamos at low magnetic Prandtl number $Pm$. We show that the inclusion of rotation leads to an increase in spatio-temporal coherence and a modification of the turbulent spectrum. These effects make the flow more efficient in driving the dynamo, in the sense that the energy injection rate required to reach the critical value of the magnetic Reynolds number $Rm_c$ is reduced in comparison with a non-rotating dynamo (Seshasayanan et al. 2017). For random dynamos it is known that the growth-rate would largely be determined by the spectral index of the flow at the resistive scale. Here, however, we demonstrate that the dynamo growth-rate in rotating flows is increased by the rotationally induced long-lived large scale eddies with a coherence time greater than the local turnover time. These eddies play the major role in determining the dynamo growth-rate.


title: A random effects stochastic block model for joint community detection in multiple networks with applications to neuroimaging

abstract: Motivated by multi-subject experiments in neuroimaging studies, we develop a modeling framework for joint community detection in a group of related networks, which can be considered as a sample from a population of networks. The proposed random effects stochastic block model facilitates the study of group differences and subject-specific variations in the community structure. The model proposes a putative mean community structure which is representative of the group or the population under consideration but is not the community structure of any individual component network. Instead, the community memberships of nodes vary in each component network with a transition matrix, thus modeling the variation in community structure across a group of subjects. To estimate the quantities of interest we propose two methods, a variational EM algorithm, and a model-free "two-step" method based on either spectral or non-negative matrix factorization (NMF). Our NMF based method Co-OSNTF is of independent interest and we study its convergence properties to a stationary point. We also develop a resampling-based hypothesis test for differences in community structure in two populations both at the whole network level and node level. The methodology is applied to a publicly available fMRI dataset from multi-subject experiments involving schizophrenia patients. Our methods reveal an overall putative community structure representative of the group as well as subject-specific variations within each group. Using our network level hypothesis tests we are able to ascertain statistically significant difference in community structure between the two groups, while our node level tests help determine the nodes that are driving the difference.


title: Attitude and Motivation towards Learning Physics

abstract: Physics is considered as one of the most prevailing and problematic subjects by the students in the realm of science. Students perceived physics as a difficult subject during high school days and become more evasive when they reach college. Based on an investigation of 446 engineering and technology students, this study analyses and evaluates the relationship between attitude and motivation of engineering and technology students towards learning physics. It shows that there is no significant difference in the attitude and motivation of students towards learning physics. Furthermore, there is a negligible degree of relationship for attitude and motivation. The relationship between attitude and motivation is due to chance. This confides that most students found that is unlikely for them to enjoy learning physics because of their professor. Faculty should encourage students in drilling physics problems, students are found to like answering difficult physics questions in ever examination, expresses that they have a mathematical mind.


title: Examining the Use of Neural Networks for Feature Extraction: A Comparative Analysis using Deep Learning, Support Vector Machines, and K-Nearest Neighbor Classifiers

abstract: Neural networks in many varieties are touted as very powerful machine learning tools because of their ability to distill large amounts of information from different forms of data, extracting complex features and enabling powerful classification abilities. In this study, we use neural networks to extract features from both images and numeric data and use these extracted features as inputs for other machine learning models, namely support vector machines (SVMs) and k-nearest neighbor classifiers (KNNs), in order to see if neural-network-extracted features enhance the capabilities of these models. We tested 7 different neural network architectures in this manner, 4 for images and 3 for numeric data, training each for varying lengths of time and then comparing the results of the neural network independently to those of an SVM and KNN on the data, and finally comparing these results to models of SVM and KNN trained using features extracted via the neural network architecture. This process was repeated on 3 different image datasets and 2 different numeric datasets. The results show that, in many cases, the features extracted using the neural network significantly improve the capabilities of SVMs and KNNs compared to running these algorithms on the raw features, and in some cases also surpass the performance of the neural network alone. This in turn suggests that it may be a reasonable practice to use neural networks as a means to extract features for classification by other machine learning models for some datasets.


title: Anomalous effects of velocity rescaling algorithms: the flying ice cube effect revisited

abstract: The flying ice cube effect is a molecular dynamics simulation artifact in which the use of velocity rescaling thermostats sometimes causes the violation of the equipartition theorem, affecting both structural and dynamic properties. The reason for this artifact and the conditions under which it occurs have not been fully understood. Since the flying ice cube effect was first demonstrated, a new velocity rescaling algorithm (the CSVR thermostat) has been developed and become popular without its effects on the equipartition theorem being truly known. Meanwhile, use of the simple velocity rescaling and Berendsen thermostat algorithms has not abated but has actually continued to grow. Here, we have calculated the partitioning of the kinetic energy between translational, rotational, and vibrational modes in simulations of diatomic molecules to explicitly determine whether the equipartition theorem is violated under different thermostats and while rescaling velocities to different kinetic energy distributions. We have found that the underlying cause of the flying ice cube effect is a violation of balance leading to systematic redistributions of kinetic energy under simple velocity rescaling and the Berendsen thermostat. When velocities are instead rescaled to the canonical ensemble's kinetic energy distribution, as is done with the CSVR thermostat, the equipartition theorem is not violated, and we show that the CSVR thermostat satisfies detailed balance. The critical necessity for molecular dynamics practitioners to abandon the use of popular yet incorrect velocity rescaling algorithms is underscored with an example demonstrating that the main result of a highly-cited study is entirely due to artifacts resulting from the study's use of the Berendsen thermostat.


title: DIRECT: Deep Discriminative Embedding for Clustering of LIGO Data

abstract: In this paper, benefiting from the strong ability of deep neural network in estimating non-linear functions, we propose a discriminative embedding function to be used as a feature extractor for clustering tasks. The trained embedding function transfers knowledge from the domain of a labeled set of morphologically-distinct images, known as classes, to a new domain within which new classes can potentially be isolated and identified. Our target application in this paper is the Gravity Spy Project, which is an effort to characterize transient, non-Gaussian noise present in data from the Advanced Laser Interferometer Gravitational-wave Observatory, or LIGO. Accumulating large, labeled sets of noise features and identifying of new classes of noise lead to a better understanding of their origin, which makes their removal from the data and/or detectors possible.


title: A geometric formula for multiplicities of $K$-types of tempered representations

abstract: Let $G$ be a connected, linear, real reductive Lie group with compact centre. Let $K<G$ be compact. Under a condition on $K$, which holds in particular if $K$ is maximal compact, we give a geometric expression for the multiplicities of the $K$-types of any tempered representation (in fact, any standard representation) $\pi$ of $G$. This expression is in the spirit of Kirillov's orbit method and the quantisation commutes with reduction principle. It is based on the geometric realisation of $\pi|_K$ obtained in an earlier paper. This expression was obtained for the discrete series by Paradan, and for tempered representations with regular parameters by Duflo and Vergne. We obtain consequences for the support of the multiplicity function, and a criterion for multiplicity-free restrictions that applies to general admissible representations. As examples, we show that admissible representations of $\mathrm{SU}(p,1)$, $\mathrm{SO}_0(p,1)$ and $\mathrm{SO}_0(2,2)$ restrict multiplicity-freely to maximal compact subgroups.


title: Higher Spin Currents with Manifest $SO(4)$ Symmetry in the Large ${\cal N}=4$ Holography

abstract: The large ${\cal N}=4$ nonlinear superconformal algebra is generated by six spin-$1$ currents, four spin-$\frac{3}{2}$ currents and one spin-$2$ current. The simplest extension of these $11$ currents is described by the $16$ higher spin currents of spins $(1,\frac{3}{2},\frac{3}{2}, \frac{3}{2}, \frac{3}{2}, 2,2,2,2,2,2, \frac{5}{2}, \frac{5}{2},\frac{5}{2}, \frac{5}{2}, 3)$. In this paper, by using the defining operator product expansions (OPEs) between the $11$ currents and $16$ higher spin currents, we determine the $16$ higher spin currents (the higher spin-$1, \frac{3}{2}$ currents were found previously) in terms of affine Kac-Moody spin-$\frac{1}{2}, 1$ currents in the Wolf space coset model completely. An antisymmetric second rank tensor, three antisymmetric almost complex structures or the structure constant are contracted with the multiple product of spin-$\frac{1}{2}, 1$ currents. The Wolf space coset contains the group $SU(N+2)$ and the level $k$ is characterized by the affine Kac-Moody spin-$1$ currents. After calculating the eigenvalues of the zeromode of the higher spin-$3$ current acting on the higher representations up to three (or four) boxes of Young tableaux in $SU(N+2)$ in the Wolf space coset, we obtain the corresponding three-point functions with two scalar operators at finite $(N,k)$. Furthermore, under the large $(N,k)$ 't Hooft like limit, the eigenvalues associated with any boxes of Young tableaux are obtained and the corresponding three-point functions are written in terms of the 't Hooft coupling constant in simple form in addition to the two-point functions of scalars and the number of boxes.


title: Pohozaev identity for the anisotropic $p$-Laplacian and estimates of torsion function

abstract: In this paper we prove the Pohozaev identity for the weighted anisotropic $p$-Laplace operator. As an application of our identity, we deduce the nonexistence of nontrivial solutions of the Dirichlet problem for the weighted anisotropic $p$-Laplacian in star-shaped domains of $\mathbb{R}^n$. We also provide an upper bound estimate for the first Dirichet eigenvalue of the anisotropic $p$-Laplacian on bounded domains of $\mathbb{R}^n$, some sharp estimates for the torsion function of compact manifolds with boundary and a nonexistence result for the solutions of the Laplace equation on closed Riemannian manifolds.


title: Universal scaling of the pion, kaon and proton $p_{\rm{T}}$ spectra in Pb-Pb collisions at 2.76 TeV

abstract: With the experimental data collected by the ALICE collaboration in Pb-Pb collisions at a center-of-mass energy per nucleon pair 2.76 TeV for six different centralities (0-5$\%$, 5-10$\%$, 10-20$\%$, 20-40$\%$, 40-60$\%$ and 60-80$\%$), we investigate the scaling property of the pion, kaon and proton transverse momentum ($p_{\rm{T}}$) spectra at these centralities. We show that in the low $p_{\rm{T}}$ region with $p_{\rm T} \leq$ 2.75 (3.10 and 2.35) GeV/c the pion (kaon and proton) spectra exhibit a scaling behaviour independent of the centrality of the collisions. This scaling behaviour arises when these spectra are presented in terms of a suitable variable, $z=p_{\rm{T}}/K$. The scaling parameter $K$ is determined by the quality factor method and is parameterized by $a \langle N_{\rm{part}}\rangle^{b}$, where $\langle N_{\rm{part}}\rangle$ is the average value of the number of participating nucleons, $a$ and $b$ are free parameters, $b$ characterizes the rate at which $\textrm{ln} K$ changes with $\textrm{ln} \langle N_{\rm{part}}\rangle$. The values of $b$ for pions and kaons are consistent within uncertainties, while they are smaller than that for protons. In the high $p_{\rm{T}}$ region, due to the suppression of the spectra, a violation of the proposed scaling is observed going from central to peripheral collisions. The more peripheral the collisions are, the more clearly violated the proposed scaling becomes. In the framework of the colour string percolation model, we argue that the pions, kaons and protons originate from the fragmentation of clusters which are formed by strings overlapping and the cluster's fragmentation functions are different for different hadrons. The scaling behaviour of the pion, kaon and proton spectra in the low $p_{\rm T}$ region can be simultaneously explained by the colour string percolation model in a qualitative way.


title: Day-ahead Trading of Aggregated Energy Flexibility - Full Version

abstract: Flexibility of small loads, in particular from Electric Vehicles (EVs), has recently attracted a lot of interest due to their possibility of participating in the energy market and the new commercial potentials. Different from existing work, the aggregation techniques proposed in this paper produce flexible aggregated loads from EVs taking into account technical market requirements. They can be further transformed into the so-called flexible orders and be traded in the day-ahead market by a Balance Responsible Party (BRP). As a result, the BRP can achieve at least 20% cost reduction on average in energy purchase compared to traditional charging based on 2017 real electricity prices from the Danish electricity market.


title: Jacob Bekenstein and the Development of Black Hole Thermodynamics

abstract: I give some personal reflections on Jacob Bekenstein's pioneering work on associating an entropy to a black hole proportional to its area and on the generalized second law of thermodynamics.


title: Machine-learning guided discovery of a high-performance spin-driven thermoelectric material

abstract: Thermoelectric conversion using Seebeck effect for generation of electricity is becoming an indispensable technology for energy harvesting and smart thermal management. Recently, the spin-driven thermoelectric effects (STEs), which employ emerging phenomena such as the spin-Seebeck effect (SSE) and the anomalous Nernst effect (ANE), have garnered much attention as a promising path towards low cost and versatile thermoelectric technology with easily scalable manufacturing. However, progress in development of STE devices is hindered by the lack of understanding of the mechanism and materials parameters that govern the STEs. To address this problem, we enlist machine learning modeling to establish the key physical parameters controlling SSE. Guided by these models, we have carried out a high-throughput experiment which led to the identification of a novel STE material with a thermopower an order of magnitude larger than that of the current generation STE devices.


title: Towards Logarithmic GLSM: The r-spin case

abstract: In this article, we establish the logarithmic foundation for compactifying the moduli stacks of the gauged linear sigma model using stable log maps of Abramovich-Chen-Gross-Siebert. We then illustrate our method via the key example of Witten's $r$-spin class to construct a proper moduli stack with a reduced perfect obstruction theory whose virtual cycle recovers the $r$-spin virtual cycle of Chang-Li-Li. Indeed, our construction of the reduced virtual cycle is built upon the work of Chang-Li-Li by appropriately extending and modifying the Kiem-Li cosection along certain logarithmic boundary. In the subsequent article, we push the technique to a general situation. One motivation of our construction is to fit the gauged linear sigma model in the broader setting of Gromov-Witten theory so that powerful tools such as virtual localization can be applied. A project along this line is currently in progress leading to applications including computing loci of holomorphic differentials, and calculating higher genus Gromov-Witten invariants of quintic threefolds.


title: Unified Management and Optimization of Edge-Cloud IoT Applications

abstract: Internet of Things (IoT) applications have seen a phenomenal growth with estimates of growing to a 25 Billion dollar industry by 2020. With the scale of IoT applications growing and stricter requirements on latency, edge computing has piqued the interest for such environments. However, the industry is still in its infancy with no proper support for applications running across the entire edge-cloud environment, and an array of manual tedious per-application optimizations. In this work, we propose Steel, a unified framework for developing, deploying, and monitoring applications in the edge-cloud. Steel supports dynamically adapting and easily moving services back and forth between the edge and the cloud. Steel is extensible where common optimizations (but crucial for the edge) can be built as pluggable and configurable modules. We have added two very common optimizations: placement and adaptive communication, to cope with both short and long-term changes in the workload and environment.