title: Integration with respect to the Hermitian fractional Brownian motion

abstract: For every $d\geq 1$, we consider the $d$-dimensional Hermitian fractional Brownian motion (HfBm), that is the process with values in the space of $(d\times d)$-Hermitian matrices and with upper-diagonal entries given by complex fractional Brownian motions of Hurst index $H\in (0,1)$. We follow the approach of [A. Deya and R. Schott: On the rough paths approach to non-commutative stochastic calculus, JFA (2013)] to define a natural integral with respect to the HfBm when $H>\frac13$, and identify this interpretation with the rough integral with respect to the $d^2$ entries of the matrix. Using this correspondence, we establish a convenient It{\^o}--Stratonovich formula for the Hermitian Brownian motion. Finally, we show that at least when $H\geq \frac12$, and as the size $d$ of the matrix tends to infinity, the integral with respect to the HfBm converges (in the tracial sense) to the integral with respect to the so-called non-commutative fractional Brownian motion.


title: Distributed Collaborative Hashing and Its Applications in Ant Financial

abstract: Collaborative filtering, especially latent factor model, has been popularly used in personalized recommendation. Latent factor model aims to learn user and item latent factors from user-item historic behaviors. To apply it into real big data scenarios, efficiency becomes the first concern, including offline model training efficiency and online recommendation efficiency. In this paper, we propose a Distributed Collaborative Hashing (DCH) model which can significantly improve both efficiencies. Specifically, we first propose a distributed learning framework, following the state-of-the-art parameter server paradigm, to learn the offline collaborative model. Our model can be learnt efficiently by distributedly computing subgradients in minibatches on workers and updating model parameters on servers asynchronously. We then adopt hashing technique to speedup the online recommendation procedure. Recommendation can be quickly made through exploiting lookup hash tables. We conduct thorough experiments on two real large-scale datasets. The experimental results demonstrate that, comparing with the classic and state-of-the-art (distributed) latent factor models, DCH has comparable performance in terms of recommendation accuracy but has both fast convergence speed in offline model training procedure and realtime efficiency in online recommendation procedure. Furthermore, the encouraging performance of DCH is also shown for several real-world applications in Ant Financial.


title: A Combined Astrophysical and Dark Matter Interpretation of the IceCube HESE and Throughgoing Muon Events

abstract: We perform a combined likelihood analysis for the IceCube 6-year high-energy starting events (HESE) and 8-year throughgoing muon events above 10 TeV using a two-component neutrino flux model. The two-component flux can be motivated either from purely astrophysical sources or due to a beyond Standard Model contribution, such as decaying heavy dark matter. We find that the astrophysical plus dark matter interpretation is mildly preferred by the current data over the purely astrophysical explanation. As for the astrophysical neutrinos, we consider two different source flavor compositions corresponding to the standard pion decay and muon-damped pion decay sources. We find that the latter is slightly preferred over the former as the high-energy component, while the low-energy component does not show any such preference. We also take into account the multi-messenger gamma-ray constraints and find that our two-component fit is compatible with these constraints, whereas the single-component power-law bestfit to the HESE data is ruled out. The astrophysical plus dark matter interpretation of the two-component flux is found to be mildly preferred by the current data and the gamma-ray constraints over the purely astrophysical explanation.


title: Aggregation and Electronically-Induced Migration of Oxygen Vacancies in TiO2 Anatase

abstract: The influence of the electric field and electric current on the behavior of oxygen vacancies (VOs) in TiO2 anatase was investigated with Scanning Tunneling Microscopy (STM). At the anatase (101) surface VOs are not stable; they migrate into the bulk at temperatures above 200 K. Scanning a clean anatase (101) surface at a sample bias greater than +4.3 V results in surface VOs in the scanned area, suggesting that subsurface VOs migrate back to the surface. To test this hypothesis, surface VOs were first created through bombardment with energetic electrons. The sample was then mildly annealed, which caused the VOs to move to the subsurface region, where they formed vacancy clusters. These VO clusters have various, distinct shapes. Scanning VO clusters with a high STM bias reproducibly converts them back into groupings of surface VO, with a configuration that is characteristic for each type of cluster. The dependence of the subsurface-to-surface VO migration on the applied STM bias voltage, tunneling current, and sample temperature was investigated systematically. The results point towards a key role of energetic, 'hot' electrons in this process. The findings are closely related to the memristive behavior of oxides and oxygen diffusion in solid-oxide membranes.


title: Joint Scheduling and Coding For Low In-Order Delivery Delay Over Lossy Paths With Delayed Feedback

abstract: We consider the transmission of packets across a lossy end-to-end network path so as to achieve low in-order delivery delay. This can be formulated as a decision problem, namely deciding whether the next packet to send should be an information packet or a coded packet. Importantly, this decision is made based on delayed feedback from the receiver. While an exact solution to this decision problem is challenging, we exploit ideas from queueing theory to derive scheduling policies based on prediction of a receiver queue length that, while suboptimal, can be efficiently implemented and offer substantially better performance than state of the art approaches. We obtain a number of useful analytic bounds that help characterise design trade-offs and our analysis highlights that the use of prediction plays a key role in achieving good performance in the presence of significant feedback delay. Our approach readily generalises to networks of paths and we illustrate this by application to multipath transport scheduler design.


title: Pose estimation of a single circle using default intrinsic calibration

abstract: Circular markers are planar markers which offer great performances for detection and pose estimation. For an uncalibrated camera with an unknown focal length, at least the images of at least two coplanar circles are generally required to recover their poses. Unfortunately, detecting more than one ellipse in the image must be tricky and time-consuming, especially regarding concentric circles. On the other hand, when the camera is calibrated, one circle suffices but the solution is twofold and can hardly be disambiguated. Our contribution is to put beyond this limit by dealing with the uncalibrated case of a camera seeing one circle and discussing how to remove the ambiguity. We propose a new problem formulation that enables to show how to detect geometric configurations in which the ambiguity can be removed. Furthermore, we introduce the notion of default camera intrinsics and show, using intensive empirical works, the surprising observation that very approximate calibration can lead to accurate circle pose estimation.


title: Extensive air showers' arrival direction distribution by the TSU array under GELATICA experiment

abstract: The distribution of the arrival zenith angle of the Extensive Air Showers (EAS) with a wide range of a total number of charged particles is studied using the experimental data obtained using the EAS 4-detector array 'TSU' in Tbilisi. The station is a part of the GELATICA net in Georgia (GEorgian Large-area Angle and TIme Coincidence Array), which is devoted to the study of possible correlations in the arrival times and directions of separate EAS events over large distances. It is shown that the distribution function with the conventional exponential dependence of showers' flux on absorbing air thickness provides a good approximation for the arrival direction distribution. The dependence of the EAS absorption path estimation on the angular trimming boundary of data set is studied; the necessity of strict verification of the used value of data trimming boundary is stated.


title: Robust calibration and arbitrage-free interpolation of SSVI slices

abstract: We describe a robust calibration algorithm of a set of SSVI slices (i.e. a set of 3 SSVI parameters $\theta, \rho, \varphi$ attached to each option maturity available on the market), which grants that these slices are free of Butterfly and Calendar-Spread arbitrage. Given such a set of consistent SSVI parameters, we show that the most natural interpolation/extrapolation of the parameters provides a full continuous volatility surface free of arbitrage. The numerical implementation is straightforward, robust and quick, yielding an effective, parsimonious solution to the smile problem, which has the potential to become a benchmark one.


title: Mechanical design of a distal scanner for confocal microlaparoscope: A conic solution

abstract: This paper presents the mechanical design of a distal scanner to perform a spiral scan for mosaic-imaging with a confocal microlaparoscope. First, it is demonstrated with ex vivo experiments that a spiral scan performs better than a raster scan on soft tissue. Then a mechanical design is developed in order to perform the spiral scan. The design in this paper is based on a conic structure with a particular curved surface. The mechanism is simple to implement and to drive; therefore, it is a low-cost solution. A 5:1 scale prototype is implemented by rapid prototyping and the requirements are validated by experiments. The experiments include manual and motor drive of the system. The manual drive demonstrates the resulting spiral motion by drawing the tip trajectory with an attached pencil. The motor drive demonstrates the speed control of the system with an analysis of video thread capturing the trajectory of a laser beam emitted from the tip.


title: Reaction of O2 with Subsurface Oxygen Vacancies on TiO2 Anatase (101)

abstract: Oxygen (O2) adsorbed on metal oxides is important in catalytic oxidation reactions, chemical sensing, and photocatalysis. Strong adsorption requires transfer of negative charge from oxygen vacancies (VOs) or dopants, for example. With scanning tunneling microscopy, we observed, transformed, and, in conjunction with theory, identified the nature of O2 molecules on the (101) surface of anatase (titanium oxide, TiO2) doped with niobium. VOs reside exclusively in the bulk, but we pull them to the surface with a strongly negatively charged scanning tunneling microscope tip. O2 adsorbed as superoxo (O2)- at fivefold-coordinated Ti sites was transformed to peroxo (O2)2- and, via reaction with a VO, placed into an anion surface lattice site as an (O2)O species. This so-called bridging dimer also formed when O2 directly reacted with VOs at or below the surface.


title: Absence of hyperuniformity in amorphous hard-sphere packings of nonvanishing complexity

abstract: We relate the structure factor $S(\mathbf{k} \to \mathbf{0})$ in a system of jammed hard spheres of number density $\rho$ to its complexity per particle $\Sigma(\rho)$ by the formula $S(\mathbf{k} \to \mathbf{0})=-1/ [\rho^2\Sigma''(\rho)+2\rho\Sigma'(\rho)]$. We have verified this formula for the case of jammed disks in a narrow channel, for which it is possible to find $\Sigma(\rho)$ and $S(\mathbf{k})$ analytically. Hyperuniformity, which is the vanishing of $S(\mathbf{k} \to \mathbf{0})$, will therefore not occur if the complexity is nonzero. An example is given of a jammed state of hard disks in a narrow channel which is hyperuniform when generated by dynamical rules that produce a non-extensive complexity.


title: Dynamic Low-Stretch Trees via Dynamic Low-Diameter Decompositions

abstract: Spanning trees of low average stretch on the non-tree edges, as introduced by Alon et al. [SICOMP 1995], are a natural graph-theoretic object. In recent years, they have found significant applications in solvers for symmetric diagonally dominant (SDD) linear systems. In this work, we provide the first dynamic algorithm for maintaining such trees under edge insertions and deletions to the input graph. Our algorithm has update time $ n^{1/2 + o(1)} $ and the average stretch of the maintained tree is $ n^{o(1)} $, which matches the stretch in the seminal result of Alon et al. Similar to Alon et al., our dynamic low-stretch tree algorithm employs a dynamic hierarchy of low-diameter decompositions (LDDs). As a major building block we use a dynamic LDD that we obtain by adapting the random-shift clustering of Miller et al. [SPAA 2013] to the dynamic setting. The major technical challenge in our approach is to control the propagation of updates within our hierarchy of LDDs: each update to one level of the hierarchy could potentially induce several insertions and deletions to the next level of the hierarchy. We achieve this goal by a sophisticated amortization approach. We believe that the dynamic random-shift clustering might be useful for independent applications. One of these applications is the dynamic spanner problem. By combining the random-shift clustering with the recent spanner construction of Elkin and Neiman [SODA 2017]. We obtain a fully dynamic algorithm for maintaining a spanner of stretch $ 2k - 1 $ and size $ O (n^{1 + 1/k} \log{n}) $ with amortized update time $ O (k \log^2 n) $ for any integer $ 2 \leq k \leq \log n $. Compared to the state-of-the art in this regime [Baswana et al. TALG '12], we improve upon the size of the spanner and the update time by a factor of $ k $.


title: Stable Tetraquarks

abstract: For very heavy quarks, relations derived from heavy-quark symmetry imply novel narrow doubly heavy tetraquark states containing two heavy quarks and two light antiquarks. We predict that double-beauty states will be stable against strong decays, whereas the double-charm states and mixed beauty+charm states will dissociate into pairs of heavy-light mesons. Observing a new double-beauty state through its weak decays would establish the existence of tetraquarks and illuminate the role of heavy color-antitriplet diquarks as hadron constituents.


title: 2HDM portal for Singlet-Doublet Dark Matter

abstract: We present an extensive analysis of a model in which the (Majorana) Dark Matter candidate is a mixture between a SU(2) singlet and two SU(2) doublets. This kind of setup takes the name of singlet-doublet model. We will investigate in detail an extension of this model in which the Dark Matter sector interactions with a 2-doublet Higgs sector enforcing the complementarity between Dark Matter phenomenology and searches of extra Higgs bosons.


title: Impact of distance determinations on Galactic structure. I. Young and intermediate-age tracers

abstract: Here we discuss impacts of distance determinations on the Galactic disk traced by relatively young objects. The Galactic disk, about 40 kpc in diameter, is a cross-road of studies on the methods of measuring distances, interstellar extinction, evolution of galaxies, and other subjects of interest in astronomy. A proper treatment of interstellar extinction is, for example, crucial for estimating distances to stars in the disk outside the small range of the solar neighborhood. We'll review the current status of relevant studies and discuss some new approaches to the extinction law. When the extinction law is reasonably constrained, distance indicators found in today and future surveys are telling us stellar distribution and more throughout the Galactic disk. Among several useful distance indicators, the focus of this review is Cepheids and open clusters (especially contact binaries in clusters). These tracers are particularly useful for addressing the metallicity gradient of the Galactic disk, an important feature for which comparison between observations and theoretical models can reveal the evolutionary of the disk.


title: Dynamics of a few interacting bosons escaping from an open well

abstract: The dynamics of a few ultra-cold bosons tunneling from a one-dimensional potential well into open space is studied. In such a system several decay channels can be distinguished, each corresponding to a different number of bosons escaping simultaneously. We show that as the interparticle interaction strength is changed, the system undergoes transitions between distinct regimes characterized by the dominance of different decay channels. These transitions are reflected in the behavior of the decay rate of the system, which is measurable experimentally. By means of a simple theoretical description we show that the transitions occur at the points where a new decay channel becomes energetically viable. The results provide insight into the behavior of decaying few-body systems and may have potential interest to experiments.


title: Dynamic Modeling, Stability, and Control of Power Systems with Distributed Energy Resources

abstract: This article presents a suite of new control designs for next-generation electric smart grids. The future grid will consist of thousands of non-conventional renewable generation sources such as wind, solar, and energy storage. These new components are collectively referred to as distributed energy resources (DER). The article presents a comprehensive list of dynamic models for DERs, and shows their coupling with the conventional generators and loads. It then presents several innovative control designs that can be used for facilitating large-scale DER integration. Ideas from decentralized retrofit control and distributed sparsity-promoting optimal control are used for developing these designs, followed by illustrations on an IEEE power system test model.


title: Stable cosmological Kaluza-Klein Spacetimes

abstract: We consider the Einstein flow on a product manifold with one factor being a compact quotient of 3-dimensional hyperbolic space without boundary and the other factor being a flat torus of fixed arbitrary dimension. We consider initial data symmetric with respect to the toroidal directions. We obtain effective Einsteinian field equations coupled to a wave map type and a Maxwell type equation by the Kaluza-Klein reduction. The Milne universe solves those field equations when the additional parts arising from the toroidal dimensions are chosen constant. We prove future stability of the Milne universe within this class of spacetimes, which establishes stability of a large class of cosmological Kaluza-Klein vacua. A crucial part of the proof is the implementation of a new gauge for Maxwell-type equations in the cosmological context, which we refer to as slice-adapted gauge.


title: Asteroseismic modelling of solar-type stars: internal systematics from input physics and surface correction methods

abstract: Asteroseismic forward modelling techniques are being used to determine fundamental properties (e.g. mass, radius, and age) of solar-type stars. The need to take into account all possible sources of error is of paramount importance towards a robust determination of stellar properties. We present a study of 34 solar-type stars for which high signal-to-noise asteroseismic data is available from multi-year Kepler photometry. We explore the internal systematics on the stellar properties, that is, associated with the uncertainty in the input physics used to construct the stellar models. In particular, we explore the systematics arising from: (i) the inclusion of the diffusion of helium and heavy elements; and (ii) the uncertainty in solar metallicity mixture. We also assess the systematics arising from (iii) different surface correction methods used in optimisation/fitting procedures. The systematics arising from comparing results of models with and without diffusion are found to be 0.5%, 0.8%, 2.1%, and 16% in mean density, radius, mass, and age, respectively. The internal systematics in age are significantly larger than the statistical uncertainties. We find the internal systematics resulting from the uncertainty in solar metallicity mixture to be 0.7% in mean density, 0.5% in radius, 1.4% in mass, and 6.7% in age. The surface correction method by Sonoi et al. and Ball & Gizon's two-term correction produce the lowest internal systematics among the different correction methods, namely, ~1%, ~1%, ~2%, and ~8% in mean density, radius, mass, and age, respectively. Stellar masses obtained using the surface correction methods by Kjeldsen et al. and Ball & Gizon's one-term correction are systematically higher than those obtained using frequency ratios.


title: Puzzling out the coexistence of terrestrial planets and giant exoplanets. The 2/1 resonant periodic orbits

abstract: Hundreds of giant planets have been discovered so far and the quest of exo-Earths in giant planet systems has become intriguing. In this work, we aim to address the question of the possible long-term coexistence of a terrestrial companion on an orbit interior to a giant planet, and explore the extent of the stability regions for both non-resonant and resonant configurations. Our study focuses on the restricted three-body problem, where an inner terrestrial planet (massless body) moves under the gravitational attraction of a star and an outer massive planet on a circular or elliptic orbit. Using the Detrended Fast Lyapunov Indicator as a chaotic indicator, we constructed maps of dynamical stability by varying both the eccentricity of the outer giant planet and the semi-major axis of the inner terrestrial planet, and identify the boundaries of the stability domains. Guided by the computation of families of periodic orbits, the phase space is unravelled by meticulously chosen stable periodic orbits, which buttress the stability domains. We provide all possible stability domains for coplanar symmetric configurations and show that a terrestrial planet, either in mean-motion resonance or not, can coexist with a giant planet, when the latter moves on either a circular or an (even highly) eccentric orbit. New families of symmetric and asymmetric periodic orbits are presented for the 2/1 resonance. It is shown that an inner terrestrial planet can survive long time spans with a giant eccentric outer planet on resonant symmetric orbits, even when both orbits are highly eccentric. For 22 detected single-planet systems consisting of a giant planet with high eccentricity, we discuss the possible existence of a terrestrial planet. This study is particularly suitable for the research of companions among the detected systems with giant planets, and could assist with refining observational data.


title: Shape Analysis of HII Regions - I. Statistical Clustering

abstract: We present here our shape analysis method for a sample of 76 Galactic HII regions from MAGPIS 1.4 GHz data. The main goal is to determine whether physical properties and initial conditions of massive star cluster formation is linked to the shape of the regions. We outline a systematic procedure for extracting region shapes and perform hierarchical clustering on the shape data. We identified six groups that categorise HII regions by common morphologies. We confirmed the validity of these groupings by bootstrap re-sampling and the ordinance technique multidimensional scaling. We then investigated associations between physical parameters and the assigned groups. Location is mostly independent of group, with a small preference for regions of similar longitudes to share common morphologies. The shapes are homogeneously distributed across Galactocentric distance and latitude. One group contains regions that are all younger than 0.5 Myr and ionised by low- to intermediate-mass sources. Those in another group are all driven by intermediate- to high-mass sources. One group was distinctly separated from the other five and contained regions at the surface brightness detection limit for the survey. We find that our hierarchical procedure is most sensitive to the spatial sampling resolution used, which is determined for each region from its distance. We discuss how these errors can be further quantified and reduced in future work by utilising synthetic observations from numerical simulations of HII regions. We also outline how this shape analysis has further applications to other diffuse astronomical objects.


title: Correlation energies of the high-density spin-polarized electron gas to meV accuracy

abstract: We present a novel combination of quantum Monte Carlo methods and a finite size extrapolation framework with which we calculate the thermodynamic limit of the exact correlation energy of the polarized electron gas at high densities to meV accuracy, $-40.44(5)$ and $-31.70(4)$ mHa at $r_{\rm s}=0.5$ and $1$, respectively. The fixed-node error is characterized and found to exceed $1$ mHa, and we show that the magnitude of the correlation energy of the polarized electron gas is underestimated by up to $6$ meV by the Perdew-Wang parametrization, for which we suggest improvements.


title: Electronic Structure Topology Associated Domain is Useful to Minimize the Uncertainty of QM/MM Boundary Charge Transfer Effects

abstract: The charge transfer effect is an important component in the physical description of realistic proteins. In the hybrid quantum mechanical-molecular mechanical (QM/MM) simulations, the significant charge transfer between the QM/MM boundaries could lead to the slow convergence problem with very large QM regions. In this work, we will discuss how community structure in complex network (electronic structure topology associated domain) can be used to measure QM/MM boundary effects and how it can provide a different perspective on well established concepts in available QM/MM simulations. The graph theory is employed to provide an useful solution to distinguish the significant charge transfer regions between the core active site and the surrounding protein environment in the QM/MM simulations. According to community detection algorithm for complex network, the charge transfer topology associated domain (ctTAD) is suggested to provide an alternative tool for systematically minimizing the charge transfer effects of QM/MM boundary with minor computational costs.


title: AKARI color useful for classifying chemical types of Miras

abstract: The AKARI/IRC color combining the S9W and L18W bands is useful for distinguishing between oxygen-rich and carbon-rich circumstellar dust. Ishihara and collaborators found in 2011 that this color, used together with the near-IR color J-Ks, can be used to classify two groups of dust-enshrouded stars with different chemistry. They investigated the distributions of such dusty AGB stars in the Galaxy and found that those with oxygen-rich dust are more centrally concentrated. While this is consistent with previous studies, the map in Ishihara et al. shows that carbon-rich stars are also present in the Galactic bulge for which almost no carbon-rich stars were reported before. Here we focus on Mira variables whose distances can be well constrained based on the period-luminosity relation. Among some candidates of carbon-rich Miras selected by the AKARI color, we confirmed at least four carbon-rich Miras within the bulge with their optical spectra. This gives a new insight into the complicated nature of stellar populations in the bulge.


title: Distributed Load-Side Control: Coping with Variation of Renewable Generations

abstract: This paper addresses the distributed frequency control problem in a multi-area power system taking into account of unknown time-varying power imbalance. Particularly, fast controllable loads are utilized to restore system frequency under changing power imbalance in an optimal manner. The imbalanced power causing frequency deviation is decomposed into three parts: a known constant part, an unknown low-frequency variation and a high-frequency residual. The known steady part is usually the prediction of power imbalance. The variation may result from the fluctuation of renewable resources, electric vehicle charging, etc., which is usually unknown to operators. The high-frequency residual is usually unknown and treated as an external disturbance. Correspondingly, in this paper, we resolve the following three problems in different timescales: 1) allocate the steady part of power imbalance economically; 2) mitigate the effect of unknown low-frequency power variation locally; 3) attenuate unknown high-frequency disturbances. To this end, a distributed controller combining consensus method with adaptive internal model control is proposed. We first prove that the closed-loop system is asymptotically stable and converges to the optimal solution of an optimization problem if the external disturbance is not included. We then prove that the power variation can be mitigated accurately. Furthermore, we show that the closed-loop system is robust against both parameter uncertainty and external disturbances. The New England system is used to verify the efficacy of our design.


title: Large-Scale Surveys of Pulsating Stars for Studying Stellar Populations in the Inner Galaxy

abstract: Surveys of pulsating stars in the inner Galaxy have been very limited, but recent large-scale surveys are rapidly bringing us new samples of various kinds of variable stars and new insights into stellar populations therein. Because of the severe interstellar extinction along the Galactic disc, the stellar populations in the inner Galaxy are more easily observed in the infrared, but even in the infrared the interstellar extinction may cause a serious problem in revealing their accurate characteristics. Here we review recent discoveries of Cepheids and Miras, two kinds of luminous pulsating stars with period-luminosity relation, in the inner Galaxy.


title: Exponential Hilbert series of equivariant embeddings

abstract: In this article, we study properties of the exponential Hilbert series of a $G$-equivariant projective variety, where $G$ is a semisimple, simply-connected complex linear algebraic group. We prove a relationship between the exponential Hilbert series and the degree and dimension of the variety. We then prove a combinatorial identity for the coefficients of the polynomial representing the exponential Hilbert series. This formula is used in examples to prove further combinatorial identities involving Stirling numbers of the first and second kinds.


title: Fluctuations about the Fubini-Lipatov instanton for false vacuum decay in classically scale invariant models

abstract: For a scalar theory whose classical scale invariance is broken by quantum effects, we compute self-consistent bounce solutions and Green's functions. Deriving analytic expressions, we find that the latter are similar to the Green's functions in the archetypal thin-wall model for tunneling between quasi-degenerate vacua. The eigenmodes and eigenspectra are, however, very different. Large infrared effects from the modes of low angular momentum $j=0$ and $j=1$, which include the approximate dilatational modes for $j=0$, are dealt with by a resummation of one-loop effects. For a parametric example, this resummation is carried out numerically.


title: The structure of all the supersymmetric solutions of ungauged N = (1,0),d=6 supergravity

abstract: We characterize all the supersymmetric configurations and solutions of minimal N=(1,0), d=6 supergravity coupled in the most general gauge-invariant way to an arbitrary number of tensor and vector multiplets and hypermultiplets.


title: Affective Recommendation System for Tourists by Using Emotion Generating Calculations

abstract: An emotion orientated intelligent interface consists of Emotion Generating Calculations (EGC) and Mental State Transition Network (MSTN). We have developed the Android EGC application software which the agent works to evaluate the feelings in the conversation. In this paper, we develop the tourist information system which can estimate the user's feelings at the sightseeing spot. The system can recommend the sightseeing spot and the local food corresponded to the user's feeling. The system calculates the recommendation list by the estimate function which consists of Google search results, the important degree of a term at the sightseeing website, and the the aroused emotion by EGC. In order to show the effectiveness, this paper describes the experimental results for some situations during Hiroshima sightseeing.


title: Spin weighted wavelets on the sphere

abstract: In the present paper, a construction of spin weighted spherical wavelets is presented. It is based on approximate identities, the wavelets are defined for a continuous set of parameters, and the wavelet transform is invertible directly by an integral.


title: The rationality of irrationality in the Monty Hall problem

abstract: The rational solution of the Monty Hall problem unsettles many people. Most people, including the authors, think it feels wrong to switch the initial choice of one of the three doors, despite having fully accepted the mathematical proof for its superiority. Many people, if given the choice to switch, think the chances are fifty-fifty between their options, but still strongly prefer to stay with their initial choice. Is there some sense behind these irrational feelings? We entertain the possibility that intuition solves the problem of how to behave in a real game show, not in the abstract textbook version of the Monty Hall problem. A real showmaster sometimes plays evil, either to make the show more interesting, to save money, or because he is in a bad mood. A moody showmaster erases any information advantage the guest could extract by him opening other doors which drives the chance of the car being behind the chosen door towards fifty percent. Furthermore, the showmaster could try to read or manipulate the guest's strategy to the guest's disadvantage. Given this, the preference to stay with the initial choice turns out to be a very rational defense strategy of the show's guest against the threat of being manipulated by its host. Thus, the intuitive feelings most people have about the Monty Hall problem coincide with what would be a rational strategy for a real-world game show. Although these investigations are mainly intended to be an entertaining mathematical commentary on an information-theoretic puzzle, they touch on interesting psychological questions.


title: Morse families and Dirac systems

abstract: Dirac structures and Morse families are used to obtain a geometric formalism that unifies most of the scenarios in mechanics (constrained calculus, nonholonomic systems, optimal control theory, higher-order mechanics, etc.), as the examples in the paper show. This approach generalizes the previous results on Dirac structures associated with Lagrangian submanifolds. An integrability algorithm in the sense of Mendela, Marmo and Tulczyjew is described for the generalized Dirac dynamical systems under study to determine the set where the implicit differential equations have solutions.


title: DeepFM: An End-to-End Wide & Deep Learning Framework for CTR Prediction

abstract: Learning sophisticated feature interactions behind user behaviors is critical in maximizing CTR for recommender systems. Despite great progress, existing methods have a strong bias towards low- or high-order interactions, or rely on expertise feature engineering. In this paper, we show that it is possible to derive an end-to-end learning model that emphasizes both low- and high-order feature interactions. The proposed framework, DeepFM, combines the power of factorization machines for recommendation and deep learning for feature learning in a new neural network architecture. Compared to the latest Wide & Deep model from Google, DeepFM has a shared raw feature input to both its "wide" and "deep" components, with no need of feature engineering besides raw features. DeepFM, as a general learning framework, can incorporate various network architectures in its deep component. In this paper, we study two instances of DeepFM where its "deep" component is DNN and PNN respectively, for which we denote as DeepFM-D and DeepFM-P. Comprehensive experiments are conducted to demonstrate the effectiveness of DeepFM-D and DeepFM-P over the existing models for CTR prediction, on both benchmark data and commercial data. We conduct online A/B test in Huawei App Market, which reveals that DeepFM-D leads to more than 10% improvement of click-through rate in the production environment, compared to a well-engineered LR model. We also covered related practice in deploying our framework in Huawei App Market.


title: New insights in the geometry and interconnection of port-Hamiltonian systems

abstract: We discuss a new geometric construction of port-Hamiltonian systems. Using this framework, we revisit the notion of interconnection providing it with an intrinsic description. Special emphasis on theoretical and applied examples is given throughout the paper to show the applicability and the novel contributions of the proposed framework.


title: Crust breaking and the limiting rotational frequency of neutron stars

abstract: The limiting rotational frequency of neutron stars may be determined by the strength of their crusts. As a star spins up from accretion, centrifugal forces will cause the crust to fail. If the crust breaks unevenly, a rotating mass quadrupole moment will radiate gravitational waves (GW). This radiation can prevent further spin up and may be a promising source for continuous GW searches. We calculate that for a breaking strain (strength) of neutron star crust that is consistent with molecular dynamics simulations, the crust may fail at rotational frequencies in agreement with observations.


title: Existence of Compact Structures in $f(R,T)$ Gravity

abstract: The present paper is devoted to investigate the possible emergence of relativistic compact stellar objects through modified $f(R,T)$ gravity. For anisotropic matter distribution, we used Krori and Barura solutions and two notable and viable $f(R,T)$ gravity formulations. By choosing particular observational data, we determine the values of constant in solutions for three relativistic compact star candidates. We have presented some physical behavior of these relativistic compact stellar objects and some aspects like energy density, radial as well as transverse pressure, their evolution, stability, measure of anisotropy and energy conditions.


title: Evaluation of the Gradient Boosting of Regression Trees Method on Estimating the Car Following Behavior

abstract: Car-following models, as the essential part of traffic microscopic simulations, have been utilized to analyze and estimate longitudinal drivers' behavior since sixty years ago. The conventional car following models use mathematical formulas to replicate human behavior in the car-following phenomenon. Incapability of these approaches to capturing the complex interactions between vehicles calls for deploying advanced learning frameworks to consider the more detailed behavior of drivers. In this study, we apply the Gradient Boosting of Regression Tree (GBRT) algorithm to the vehicle trajectory data sets, which have been collected through the Next Generation Simulation program, so as to develop a new car-following model. First, the regularization parameters of the proposed method are tuned using the cross-validation technique and the sensitivity analysis. Afterward, the prediction performance of the GBRT is compared to the world-famous GHR model, when both models have been trained on the same data sets. The estimation results of the models on the unseen records indicate the superiority of the GBRT algorithm in capturing the motion characteristics of two successive vehicles.


title: Quasi-periodic pulsations in the most powerful solar flare of Cycle 24

abstract: Quasi-periodic pulsations (QPP) are common in solar flares and are now regularly observed in stellar flares. We present the detection of two different types of QPP signals in the thermal emission light curves of the X9.3 class solar flare SOL2017-09-06T12:02, which is the most powerful flare of Cycle 24. The period of the shorter-period QPP drifts from about 12 to 25 seconds during the flare. The observed properties of this QPP are consistent with a sausage oscillation of a plasma loop in the flaring active region. The period of the longer-period QPP is about 4 to 5 minutes. Its properties are compatible with standing slow magnetoacoustic oscillations, which are often detected in coronal loops. For both QPP signals, other mechanisms such as repetitive reconnection cannot be ruled out, however. The studied solar flare has an energy in the realm of observed stellar flares, and the fact that there is evidence of a short-period QPP signal typical of solar flares along with a long-period QPP signal more typical of stellar flares suggests that the different ranges of QPP periods typically observed in solar and stellar flares is likely due to observational constraints, and that similar physical processes may be occurring in solar and stellar flares.


title: Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

abstract: Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to communicate information, e.g., in scientific papers, and to perform computations using computer algebra systems. Enabling computers to access the information encoded in mathematical formulae requires machine-readable formats that can represent both the presentation and content, i.e., the semantics, of formulae. Exchanging such information between systems additionally requires conversion methods for mathematical representation formats. We analyze how the semantic enrichment of formulae improves the format conversion process and show that considering the textual context of formulae reduces the error rate of such conversions. Our main contributions are: (1) providing an openly available benchmark dataset for the mathematical format conversion task consisting of a newly created test collection, an extensive, manually curated gold standard and task-specific evaluation metrics; (2) performing a quantitative evaluation of state-of-the-art tools for mathematical format conversions; (3) presenting a new approach that considers the textual context of formulae to reduce the error rate for mathematical format conversions. Our benchmark dataset facilitates future research on mathematical format conversions as well as research on many problems in mathematical information retrieval. Because we annotated and linked all components of formulae, e.g., identifiers, operators and other entities, to Wikidata entries, the gold standard can, for instance, be used to train methods for formula concept discovery and recognition. Such methods can then be applied to improve mathematical information retrieval systems, e.g., for semantic formula search, recommendation of mathematical content, or detection of mathematical plagiarism.


title: Radial flow in a multi phase transport model at FAIR energies

abstract: Azimuthal distributions of radial velocities of charged hadrons produced in nucleus-nucleus $(AB)$ collisions are compared with the corresponding azimuthal distribution of charged hadron multiplicity in the framework of a multiphase transport (AMPT) model at two different collision energies. The mean radial velocity seems to be a good probe for studying radial expansion. While the anisotropic part of the distributions indicates a kind of collective nature of radial expansion, the isotropic part characterizes a thermal motion. The present investigation is carried out keeping the upcoming Compressed Baryonic Matter (CBM) experiment to be held at the Facility for Anti-proton Ion Research (FAIR) in mind. As far as high-energy heavy-ion interactions are concerned, CBM will supplement the Relativistic Heavy Ion Collider (RHIC) and Large Hadron Collider (LHC) experiments. In this context our simulation results at high baryochemical potential would be interesting, when scrutinized from the perspective of almost a baryon free environment achieved at RHIC and LHC.


title: Direct and Large Eddy Simulation of three-dimensional non-Boussinesq gravity currents with a high order DG method

abstract: We present results of three-dimensional Direct Numerical Simulations (DNS) and Large Eddy Simulations (LES) of turbulent gravity currents with a Discontinuous Galerkin (DG) Finite Elements method. In particular, we consider the three-dimensional lock-exchange test case as a typical benchmark for gravity currents. Since, to the best of our knowledge, non-Boussinesq three-dimensional reference DNS are not available in the literature for this test case, we first perform a DNS experiment. The three-dimensional DNS allows to correctly capture the loss of coherence of the three-dimensional turbulent structures, providing an accurate description of the turbulent phenomena taking place in gravity currents. The DNS is then employed to assess the performance of different LES models. In particular, we have considered the Smagorinsky model, the isotropic dynamic model and an anisotropic dynamic model. The LES results highlight the excessively dissipative nature of the Smagorinsky model with respect to the dynamic models and the fact that the anisotropic dynamic model performs slightly better with respect to its isotropic counterpart.


title: Generic pointed quartic curves in $\mathbb{R}\mathbb{P}^{2}$ and uninodal dessins

abstract: In this article we obtain a rigid isotopy classification of generic pointed quartic curves $(A,p)$ in $\mathbb{R}\mathbb{P}^{2}$ by studying the combinatorial properties of dessins. The dessins are real versions, proposed by S. Orevkov, of Grothendieck's dessins d'enfants. This classification contains 20 classes determined by the number of ovals of $A$, the parity of the oval containing the marked point $p$, the number of ovals that the tangent line $T_p A$ intersects, the nature of connected components of $A\setminus T_p A$ adjacent to $p$, and in the maximal case, on the convexity of the position of the connected components of $A\setminus T_p A$. We study the combinatorial properties and decompositions of dessins corresponding to real uninodal trigonal curves in real ruled surfaces. Uninodal dessins in any surface with non-empty boundary can be decomposed in blocks corresponding to cubic dessins in the disk $\mathbf{D}^2$, which produces a classification of these dessins. The classification of dessins under consideration leads to a rigid isotopy classification of generic pointed quartic curves in $\mathbb{R}\mathbb{P}^{2}$. This classification was first obtained by S. Rieken based on the relation between quartic curves and del Pezzo surfaces.


title: Introducing a Cost-Effective Approach for Improving the Arterial Traffic Performance Operating Under the Semi-Actuated Coordinated Signal Control

abstract: The semi-actuated coordinated operation mode is a type of signal control where minor approaches are placed with detectors to develop actuated phasing while major movements are coordinated without using detection systems. The objective of this study is to propose a cost-effective approach for reducing delay in the semi-actuated coordinated signal operation without incurring any extra costs in terms of installing new detectors or developing adaptive controller systems. We propose a simple approach for further enhancing a pre-optimized timing plan. In this method, the green splits of non-coordinated phases are multiplied by a factor greater than one. In the meantime, the amount of green time added to the non-coordinated phases is subtracted from the coordinated phases to keep the cycle length constant. Thus, if the traffic demand on the side streets exceeds the expected traffic flow, the added time in the non-coordinated phase enables the non-coordinated phases to accommodate the additional traffic demand. A regression analysis is implemented so as to identify the optimal value of the mentioned factor, called Actuated Factor (ActF). The response variable is the average delay reduction (seconds/vehicle) of the simulation runs under the proposed signal timing plan compared to the simulation runs under the pre-optimized timing plan, obtained through the macroscopic signal optimization tools. External traffic movements, left-turn percentage, and ActF are the explanatory variables in the model. Results reveal that the ActF is the only significant variable with the optimal value of 1.15 that is applicable for a wide range of traffic volumes.


title: Analytical Models of Exoplanetary Atmospheres. VI. Full Solutions for Improved Two-stream Radiative Transfer Including Direct Stellar Beam

abstract: Two-stream radiative transfer is a workhorse in the Earth, planetary and exoplanetary sciences due to its simplicity and ease of implementation. However, a longstanding limitation of the two-stream approximation is its inaccuracy in the presence of medium-sized or large aerosols. This limitation was lifted by the discovery of the improved two-stream technique, where the accuracy of the scattering greenhouse effect is matched to that of multi-stream calculations by construction. In the present study, we derive the full solutions for improved two-stream radiative transfer, following its introduction by Heng & Kitzmann (2017), and include contributions from the direct stellar beam. The generalization of the original two-stream flux solutions comes in the form of a correction factor, traditionally set to unity, which is the ratio of a pair of first Eddington coefficients. We derive an analytical expression for this correction factor and also provide a simple fitting function for its ease of use by other workers. We prove that the direct stellar beam is associated with a second Eddington coefficient that is on the order of unity. Setting this second Eddington coefficient to 2/3 and $1/\sqrt{3}$ reproduces the Eddington and quadrature closures, respectively, associated with the direct beam. We use our improved two-stream solutions for the fluxes to derive two-stream source function solutions for both the intensity and fluxes.


title: Radiative leptonic decay $B\to \gamma \ell \nu_\ell$ with subleading power corrections

abstract: We reconsider the QCD predictions for the radiative decay $B\to \gamma \ell \nu_\ell$ with an energetic photon in the final state by taking into account the $1/E_\gamma, 1/m_b$ power-suppressed hard-collinear and soft corrections from higher-twist $B$-meson light-cone distribution amplitudes (LCDAs). The soft contribution is estimated through a dispersion relation and light-cone QCD sum rules. The analysis of theoretical uncertainties and the dependence of the decay form factors on the leading-twist LCDA $\phi_+(\omega)$ shows that the latter dominates. The radiative leptonic decay is therefore well suited to constrain the parameters of $\phi_+(\omega)$, including the first inverse moment, $1/\lambda_B$, from the expected high-statistics data of the BELLE II experiment.


title: CNN-based Landmark Detection in Cardiac CTA Scans

abstract: Fast and accurate anatomical landmark detection can benefit many medical image analysis methods. Here, we propose a method to automatically detect anatomical landmarks in medical images. Automatic landmark detection is performed with a patch-based fully convolutional neural network (FCNN) that combines regression and classification. For any given image patch, regression is used to predict the 3D displacement vector from the image patch to the landmark. Simultaneously, classification is used to identify patches that contain the landmark. Under the assumption that patches close to a landmark can determine the landmark location more precisely than patches farther from it, only those patches that contain the landmark according to classification are used to determine the landmark location. The landmark location is obtained by calculating the average landmark location using the computed 3D displacement vectors. The method is evaluated using detection of six clinically relevant landmarks in coronary CT angiography (CCTA) scans: the right and left ostium, the bifurcation of the left main coronary artery (LM) into the left anterior descending and the left circumflex artery, and the origin of the right, non-coronary, and left aortic valve commissure. The proposed method achieved an average Euclidean distance error of 2.19 mm and 2.88 mm for the right and left ostium respectively, 3.78 mm for the bifurcation of the LM, and 1.82 mm, 2.10 mm and 1.89 mm for the origin of the right, non-coronary, and left aortic valve commissure respectively, demonstrating accurate performance. The proposed combination of regression and classification can be used to accurately detect landmarks in CCTA scans.


title: Normal projected entangled pair states generating the same state

abstract: Tensor networks are generated by a set of small rank tensors and define many-body quantum states in a succinct form. The corresponding map is not one-to-one: different sets of tensors may generate the very same state. A fundamental question in the study of tensor networks naturally arises: what is then the relation between those sets? The answer to this question in one dimensional setups has found several applications, like the characterization of local and global symmetries, the classification of phases of matter and unitary evolutions, or the determination of the fixed points of renormalization procedures. Here we answer this question for projected entangled-pair states (PEPS) in any dimension and lattice geometry, as long as the tensors generating the states are normal, which constitute an important and generic class.


title: The importance of observing astrophysical tau neutrinos

abstract: The evidence of a new population of diffuse high-energy neutrinos, obtained by IceCube, has opened a new era in the field of neutrino physics. Up to now the events detected are still without any source counterpart. The detected events are compatible with the standard picture of cosmic neutrinos undergoing 3-flavor neutrino oscillations. We analyze the implications of neutrino oscillations for the present and future experiments, focusing particularly on tau neutrinos. In fact tau neutrinos are very important: even if they are not produced in astrophysical sites, they have to exist due to oscillations and their observation should be regarded as a basic proof in support of this scenario. Moreover, IceCube's measurement of the flux of muon neutrinos implies that the flux of tau neutrinos is measured within $20\%$, just assuming standard neutrino oscillations. On this basis, after discussing the experimental signatures of tau neutrinos, we predict the rates for $\nu_\tau$ detection in the present and future neutrino telescopes. We show that the present IceCube detector is close to observe the first tau neutrinos, with a probability of about 90\%. Moreover the next generation of IceCube can identify about 2 neutrinos per year, reaching an evidence of 5$\sigma$ in about 10 years, despite the present uncertainty on the spectrum and on the production mechanism. The non observation of these neutrino events would have dramatic implications, such as the questioning of cosmic neutrino observations or the violation of neutrino oscillations over cosmological scales.


title: Energy-based operator splitting approach for the time discretization of coupled systems of partial and ordinary differential equations for fluid flows: The Stokes case

abstract: The goal of this work is to develop a novel splitting approach for the numerical solution of multiscale problems involving the coupling between Stokes equations and ODE systems, as often encountered in blood flow modeling applications. The proposed algorithm is based on a semi-discretization in time based on operator splitting, whose design is guided by the rationale of ensuring that the physical energy balance is maintained at the discrete level. As a result, unconditional stability with respect to the time step choice is ensured by the implicit treatment of interface conditions within the Stokes substeps, whereas the coupling between Stokes and ODE substeps is enforced via appropriate initial conditions for each substep. Notably, unconditional stability is attained without the need of subiterating between Stokes and ODE substeps. Stability and convergence properties of the proposed algorithm are tested on three specific examples for which analytical solutions are derived.


title: Constructive Analysis of S1S and B\"uchi Automata

abstract: We study S1S and B\"uchi automata in the constructive type theory of the Coq proof assistant. For UP semantics (ultimately periodic sequences), we verify B\"uchi's translation of formulas to automata and thereby establish decidability of S1S constructively. For AS semantics (all sequences), we verify B\"uchi's translation assuming that sequences over finite semigroups have Ramseyan factorisations (RF). Assuming RF, UP semantics and AS semantics agree. RF is a consequence of Ramsey's theorem and implies the infinite pigeonhole principle, which is known to be unprovable constructively. We show that each of the following properties holds for UP semantics but is equivalent to RF for AS semantics: excluded middle of formula satisfaction, excluded middle of automaton acceptance, and existence of complement automata.


title: On the Complexity of Team Logic and its Two-Variable Fragment

abstract: We study the logic FO(~), the extension of first-order logic with team semantics by unrestricted Boolean negation. It was recently shown axiomatizable, but otherwise has not yet received much attention in questions of computational complexity. In this paper, we consider its two-variable fragment FO2(~) and prove that its satisfiability problem is decidable, and in fact complete for the recently introduced non-elementary class TOWER(poly). Moreover, we classify the complexity of model checking of FO(~) with respect to the number of variables and the quantifier rank, and prove a dichotomy between PSPACE- and ATIME-ALT(exp, poly)-completeness. To achieve the lower bounds, we propose a translation from modal team logic MTL to FO2(~) that extends the well-known standard translation from modal logic ML to FO2. For the upper bounds, we translate to a fragment of second-order logic.


title: Understanding Soft-Tissue Behavior for Application to Microlaparoscopic Surface Scan

abstract: This paper presents an approach for understanding the soft tissue behavior in surface contact with a probe scanning the tissue. The application domain is confocal microlaparoscopy, mostly used for imaging the outer surface of the organs in the abdominal cavity. The probe is swept over the tissue to collect sequential images to obtain a large field of view with mosaicking. The problem we address is that the tissue also moves with the probe due to its softness; therefore the resulting mosaic is not in the same shape and dimension as traversed by the probe. Our approach is inspired by the finger slip studies and adapts the idea of load-slip phenomenon that explains the movement of the soft part of the finger when dragged on a hard surface. We propose the concept of loading-distance and perform measurements on beef liver and chicken breast tissues. We propose a protocol to determine the loading-distance prior to an automated scan and introduce an approach to compensate the tissue movement in raster scans. Our implementation and experiments show that we can have an image-mosaic of the tissue surface in a desired rectangular shape with this approach.


title: An efficient deep convolutional laplacian pyramid architecture for CS reconstruction at low sampling ratios

abstract: The compressed sensing (CS) has been successfully applied to image compression in the past few years as most image signals are sparse in a certain domain. Several CS reconstruction models have been proposed and obtained superior performance. However, these methods suffer from blocking artifacts or ringing effects at low sampling ratios in most cases. To address this problem, we propose a deep convolutional Laplacian Pyramid Compressed Sensing Network (LapCSNet) for CS, which consists of a sampling sub-network and a reconstruction sub-network. In the sampling sub-network, we utilize a convolutional layer to mimic the sampling operator. In contrast to the fixed sampling matrices used in traditional CS methods, the filters used in our convolutional layer are jointly optimized with the reconstruction sub-network. In the reconstruction sub-network, two branches are designed to reconstruct multi-scale residual images and muti-scale target images progressively using a Laplacian pyramid architecture. The proposed LapCSNet not only integrates multi-scale information to achieve better performance but also reduces computational cost dramatically. Experimental results on benchmark datasets demonstrate that the proposed method is capable of reconstructing more details and sharper edges against the state-of-the-arts methods.


title: S Coronae Australis -- a T Tauri Twin

abstract: The star S CrA is a tight visual binary consisting of two classical T Tauri stars, both with outstanding spectral characteristics and brightness variations. High-resolution spectra were collected at ESO and photometric observations with the SMARTS telescope. Both stars undergo large variation in brightness caused mainly by variable foreground extinction. From the stellar parameters we conclude that the two stars are remarkably similar, and that S CrA can be regarded as a T Tauri twin. Rotational periods and inclinations are also similar. The stars differ, however, in terms of degree of veiling and emission line profiles. We compared observed Balmer emission line profiles with models including magnetospheric accretion and a disk wind. We found a good match between observed signatures of accreting gas, wind features, and rotational velocities with those resulting from our modelling for inclinations of around 65 degrees. At this orientation the trajectories of infalling gas just above the stellar surfaces are parallel to the line-of-sight, and accordingly we observe extended red-shifted absorption components extending to + 380 km/s, the estimated free-fall velocity at the surface. However, our so derived inclinations differ from those derived from interferometric near-infrared spectroscopy, and we discuss possible causes for this puzzling discrepancy.


title: A $p$-adically entire function with integral values on ${\mathbb Q}_p$ and entire liftings of the $p$-divisible group ${\mathbb Q}_p/{\mathbb Z}_p$

abstract: We give a self-contained proof of the fact that, for any prime number $p$, there exists a power series $$\Psi= \Psi_p(T) \in T + T^2\Z[[T]] $$ which trivializes the addition law of the formal group of Witt covectors is $p$-adically entire and assumes values in $\Z_p$ all over $\Q_p$. We actually generalize, following a suggestion of M. Candilera, the previous facts to any fixed unramified extension $\Q_q$ of $\Q_p$ of degree $f$, where $q = p^f$. We show that $\Psi = \Psi_q$ provides a quasi-finite covering of the Berkovich affine line $\A^1_{\Q_p}$ by itself. We prove in section 3 new strong estimates for the growth of $\Psi$, in view of the application to $p$-adic Fourier expansions on $\Q_p$. We locate the zeros of $\Psi$ and to obtain its product expansion. We reconcile the present discussion (for $q =p$) with a previous formal group proof which takes place in the Fr\'echet algebra $\Q_p\{x\}$ of the analytic additive group $\G_{a,\Q_p}$ over $\Q_p$. We show that, for any $\lambda \in \Q_p^\times$, the closure $\sE_\lambda^\circ$ of $\Z_p[\Psi(p^ix/\lambda)\,|\,i=0,1,\dots]$ in $\Q_p\{x\}$ is a Hopf algebra object in the category of Fr\'echet $\Z_p$-algebras. The special fiber of $\sE_\lambda^\circ$ is the affine algebra of the $p$-divisible group $\Q_p/p \lambda \Z_p$ over $\F_p$, while $\sE_\lambda^\circ [1/p]$ is dense in $\Q_p\{x\}$. From $\Z_p[\Psi(\lambda x)\,|\,\lambda \in \Q_p^\times]$ we construct a $p$-adic analog $\AP_{\Q_p}(\Sigma_\rho)$ of the algebra of Dirichlet series holomorphic in a strip $(-\rho, \rho) \times i \R \subset \C$. We start developing this analogy. It turns out that the Banach algebra of almost periodic functions on $\Q_p$ identifies with the topological ring of germs of holomorphic almost periodic functions on strips around $\Q_p$.


title: Arithmetic lattices in unipotent algebraic groups

abstract: Fixing an arithmetic lattice $\Gamma$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ with $[\Gamma : \Gamma \cap \Delta] [\Delta: \Gamma \cap \Delta] = n$. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smith's "Subgroups of finite index in nilpotent groups" apply to study arithmetic lattices in an algebraic group. In particular, we show that for any unipotent algebraic $\mathbb{Z}$-group with arithmetic lattice $\Gamma$, the Dirichlet function associated to the commensurability growth function satisfies an Euler decomposition. Moreover, the local parts are rational functions in $p^{-s}$, where the degrees of the numerator and denominator are independent of $p$. This gives regularity results for the set of arithmetic lattices in $G$.


title: Semi-direct product of groups, filter banks and sampling

abstract: An abstract sampling theory associated to a unitary representation of a countable discrete non abelian group $G$, which is a semi-direct product of groups, on a separable Hilbert space is studied. A suitable expression of the data samples and the use of a filter bank formalism allows to fix the mathematical problem to be solved: the search of appropriate dual frames for $\ell^2(G)$. An example involving crystallographic groups illustrates the obtained results by using average or pointwise samples.


title: Strong interactions between dipolar polaritons

abstract: Nonperturbative coupling between cavity photons and excitons leads to formation of hybrid light-matter excitations termed polaritons. In structures where photon absorption leads to creation of excitons with aligned permanent dipoles, the elementary excitations, termed dipolar polaritons, are expected to exhibit enhanced interactions. Here, we report a substantial increase in interaction strength between dipolar polaritons as the size of the dipole is increased by tuning the applied gate voltage. To this end, we use coupled quantum well structures embedded inside a microcavity where coherent electron tunneling between the wells controls the size of the excitonic dipole. Modifications of the interaction strength are characterized by measuring the changes in the reflected intensity of light when polaritons are driven with a resonant laser. Factor of 6.5 increase in the interaction strength to linewidth ratio that we obtain indicates that dipolar polaritons could be used to demonstrate a polariton blockade effect and thereby form the building blocks of many-body states of light.


title: Online Fall Detection using Recurrent Neural Networks

abstract: Unintentional falls can cause severe injuries and even death, especially if no immediate assistance is given. The aim of Fall Detection Systems (FDSs) is to detect an occurring fall. This information can be used to trigger the necessary assistance in case of injury. This can be done by using either ambient-based sensors, e.g. cameras, or wearable devices. The aim of this work is to study the technical aspects of FDSs based on wearable devices and artificial intelligence techniques, in particular Deep Learning (DL), to implement an effective algorithm for on-line fall detection. The proposed classifier is based on a Recurrent Neural Network (RNN) model with underlying Long Short-Term Memory (LSTM) blocks. The method is tested on the publicly available SisFall dataset, with extended annotation, and compared with the results obtained by the SisFall authors.


title: A Sequential Algorithm to Detect Diffusion Switching along Intracellular Particle Trajectories

abstract: Single-particle tracking allows to infer the motion of single molecules in living cells. When we observe a long trajectory (more than 100 points), it is possible that the particle switches mode of motion over time. Then, fitting a single model to the trajectory can be misleading. In this paper, we propose a method to detect the temporal change points : the times at which a change of dynamics occurs. More specifically, we consider that the particle switches between three main modes of motion : Brownian motion, subdiffusion and superdiffusion. We use an algorithm based on a statistic (Briane et al. 2016) computed on local windows along the trajectory. The method is non parametric as the statistic is not related to any particular model. This algorithm controls the number of false change point detections in the case where the trajectory is fully Brownian. A Monte Carlo study is proposed to demonstrate the performances of the method and also to compare the procedure to two competitive algorithms. At the end, we illustrate the utility of the method on real data depicting the motion of mRNA complexes (called mRNP) in neuronal dendrites.


title: Eigenvalues of random graphs with cycles

abstract: Networks are often studied using the eigenvalues of their adjacency matrix, a powerful mathematical tool with a wide range of applications. Since in real systems the exact graph structure is not known, researchers resort to random graphs to obtain eigenvalue properties from known structural features. However, this theory is far from intuitive and often requires training of free probability, cavity methods or a strong familiarity with probability theory. In this note we offer a different perspective on this field by focusing on the cycles in a graph. We use the so-called method of moments to obtain relation between eigenvalues and cycle weights and then we obtain spectral properties of random graphs with cyclic motifs. We use it to explore properties of the eigenvalues of adjacency matrices of graphs with short cycles and of circulant directed graphs. Although our result is not as powerful as the some of the existing methods, they are nevertheless useful and far easier to understand.


title: DUNE: Status and Perspectives

abstract: The Deep Underground Neutrino Experiment (DUNE) provides a rich science program with a focus on neutrino oscillations and other beyond the standard model physics. The high-intensity, wide-band neutrino beam will be produced at the Fermi National Accelerator Laboratory (FNAL) and will be directed to the 40~kt liquid argon far detector at the Sanford Underground Research Facility, 1300~km from FNAL. The primary goals of the experiment are to determine the ordering of neutrino masses and to measure the CP violating phase, $\delta_{\textrm{CP}}$. The underground location of the large DUNE far detector and its excellent energy and spatial resolution will allow also for non-accelerator physics programs predicted by grand unified theories, such as nucleon decay or $n$---$\bar{n}$ oscillations. Moreover, DUNE will be sensitive to the electron neutrino flux from a core-collapse supernova, providing valuable information on the phenomenon's underlying mechanisms. This ambitious project requires extensive prototyping and a testing program to guarantee that all parts of the technology are fully understood and well tested. Two such prototypes, in both single phase (ProtoDUNE-SP) and dual phase (ProtoDUNE-DP) technologies, are under construction and will be operated at the CERN Neutrino Platform (NP) starting in 2018.


title: Gauge Assisted Quadratic Gravity: A Framework for UV Complete Quantum Gravity

abstract: We discuss a variation of quadratic gravity in which the gravitational interaction remains weakly coupled at all energies, but is assisted by a Yang-Mills gauge theory which becomes strong at the Planck scale. The Yang-Mills interaction is used to induce the usual Einstein-Hilbert term, which was taken to be small or absent in the original action. We study the spin-two propagator in detail, with a focus on the high mass resonance which is shifted off the real axis by the coupling to real decay channels. We calculate scattering in the $J=2$ partial wave and show explicitly that unitarity is satisfied. The theory will in general have a large cosmological constant and we study possible solutions to this, including a unimodular version of the theory. Overall, the theory satisfies our present tests for being a ultraviolet completion of quantum gravity.


title: TMD gluon distributions at small x in the CGC theory

abstract: We review recent progress in the description of unpolarized transverse-momentum-dependent (TMD) gluon distributions at small $x$ in the color glass condensate (CGC) effective theory. We discuss the origin of the non-universality of TMD gluon distributions in the TMD factorization framework and in the CGC theory and the equivalence of the two approaches in their overlapping domain of validity. We show some applications of this equivalence, including recent results on the behavior of TMD gluon distributions at small $x$, and on the study of gluon saturation. We discuss recent advances in the unification of the TMD evolution and the non-linear small-$x$ evolution of gluon distributions.


title: Rigid isotopy classification of generic rational quintics in $\mathbb{R}\mathbb{P}^{2}$

abstract: In this article we obtain the rigid isotopy classification of generic rational curves of degre $5$ in $\mathbb{R}\mathbb{P}^{2}$. In order to study the rigid isotopy classes of nodal rational curves of degree $5$ in $\mathbb{R}\mathbb{P}^{2}$, we associate to every real rational nodal quintic curve with a marked real nodal point a nodal trigonal curve in the Hirzebruch surface $\Sigma_3$ and the corresponding nodal real dessin on $\mathbb{C}\mathbb{P}^{1}/(z\mapsto\bar{z})$. The dessins are real versions, proposed by S. Orevkov, of Grothendieck's dessins d'enfants. The dessins are graphs embedded in a topological surface and endowed with a certain additional structure. We study the combinatorial properties and decompositions of dessins corresponding to real nodal trigonal curves $C\subset \Sigma_n$ in real Hirzebruch surfaces $\Sigma_n$. Nodal dessins in the disk can be decomposed in blocks corresponding to cubic dessins in the disk $\mathbf{D}^2$, which produces a classification of these dessins. The classification of dessins under consideration leads to a rigid isotopy classification of real rational quintics in $\mathbb{R}\mathbb{P}^{2}$.


title: Weak quantum discord

abstract: Originally introduced as the difference between two possible forms of quantum mutual information, quantum discord has posteriorly been shown to admit a formulation according to which it measures a distance between the state under scrutiny and the closest projectively measured (non-discordant) state. Recently, it has been shown that quantum discord results in higher values when projective measurements are substituted by weak measurements. This sounds paradoxical since weaker measurements should imply weaker disturbance and, thus, a smaller distance. In this work we solve this puzzle by presenting a quantifier and an underlying interpretation for what we call weak quantum discord. As a by-product, we introduce the notion of symmetrical weak quantum discord.


title: Modelling pulsatile blood flow through surgically coupled microvascular anastomoses

abstract: The significant rates of post-operative arterial thrombus formation following the sutured anastomosis (surgical connection) of vessels in microvascular reconstruction has kindled the development of engineered solutions such as the UNILINK coupler. These devices reduce thrombosis rates, which recent numerical studies suggest to be due to decreases in shear strain rate across the anastomosis site when compared to sutured vessels. In this work we develop and analytically solve the first mathematical model for the problem of microvascular anastomosis, leading to the discovery that the rates of thrombosis using these surgical coupling devices could be further reduced by decreasing the gradient of the wall deformation at the join.


title: Robust numerical methods for nonlocal (and local) equations of porous medium type. Part II: Schemes and experiments

abstract: We develop unified and easy to use framework to study robust fully discrete numerical methods for nonlinear degenerate diffusion equations $$ \partial_t u-\mathfrak{L}[\varphi(u)]=f(x,t) \qquad\text{in}\qquad \mathbb{R}^N\times(0,T), $$ where $\mathfrak{L}$ is a general symmetric L\'evy type diffusion operator. Included are both local and nonlocal problems with e.g. $\mathfrak{L}=\Delta$ or $\mathfrak{L}=-(-\Delta)^{\frac\alpha2}$, $\alpha\in(0,2)$, and porous medium, fast diffusion, and Stefan type nonlinearities $\varphi$. By robust methods we mean that they converge even for nonsmooth solutions and under very weak assumptions on the data. We show that they are $L^p$-stable for $p\in[1,\infty]$, compact, and convergent in $C([0,T];L_{\text{loc}}^p(\mathbb{R}^N))$ for $p\in[1,\infty)$. The first part of this project is given in \cite{DTEnJa18a} and contains the unified and easy to use theoretical framework. This paper is devoted to schemes and testing. We study many different problems and many different concrete discretizations, proving that the results of \cite{DTEnJa18a} apply and testing the schemes numerically. Our examples include fractional diffusions of different orders, and Stefan problems, porous medium, and fast diffusion nonlinearities. Most of the convergence results and many schemes are completely new for nonlocal versions of the equation, including results on high order methods, the powers of the discrete Laplacian method, and discretizations of fast diffusions. Some of the results and schemes are new even for linear and local problems.


title: Resilient Assignment Using Redundant Robots on Transport Networks with Uncertain Travel Time

abstract: This paper considers the problem of assigning multiple mobile robots to goals on transport networks with uncertain information about travel times. Our aim is to produce optimal assignments, such that the average waiting time at destinations is minimized. Since noisy travel time estimates result in sub-optimal assignments, we propose a method that offers resilience to uncertainty by making use of redundant robots. However, solving the redundant assignment problem optimally is strongly NP-hard. Hence, we exploit structural properties of our mathematical problem formulation to propose a polynomial-time, near-optimal solution. We demonstrate that our problem can be reduced to minimizing a supermodular cost function subject to a matroid constraint. This allows us to develop a greedy algorithm, for which we derive sub-optimality bounds. We demonstrate the effectiveness of our approach with simulations on transport networks, where uncertain edge costs and uncertain node positions lead to noisy travel time estimates. Comparisons to benchmark algorithms show that our method performs near-optimally and significantly better than non-redundant assignment. Finally, our findings include results on the benefit of diversity and complementarity in redundant robot coalitions; these insights contribute towards providing resilience to uncertainty through targeted robot team compositions.


title: Non-equilibrium Pair Breaking in Ba(Fe1-xCox)2As2 Superconductors: Evidence for Formation of Photo-Induced Excitonic Spin-Density-Wave State

abstract: Ultrafast terahertz (THz) pump{probe spectroscopy reveals unusual out-of-equilibrium Cooper pair dynamics driven by femtosecond (fs) optical quench of superconductivity (SC) in iron pnictides. We observe a two{step quench of the SC gap, where an abnormally slow (many 100's of ps) quench process is clearly distinguished from the usual fast (sub-ps) hot{phonon{mediated scattering channel. This pair breaking dynamics depends strongly on doping, pump uence, and temperature. The above observations, together with quantum kinetic modeling of non-equilibrium SC and magnetic correlations, provide evidence for photogeneration of a transient state where SC competes with build{up of spin-density-wave (SDW) excitonic correlation between quasi-particles (QP).


title: Convolutional Neural Networks for Skull-stripping in Brain MR Imaging using Consensus-based Silver standard Masks

abstract: Convolutional neural networks (CNN) for medical imaging are constrained by the number of annotated data required in the training stage. Usually, manual annotation is considered to be the "gold standard". However, medical imaging datasets that include expert manual segmentation are scarce as this step is time-consuming, and therefore expensive. Moreover, single-rater manual annotation is most often used in data-driven approaches making the network optimal with respect to only that single expert. In this work, we propose a CNN for brain extraction in magnetic resonance (MR) imaging, that is fully trained with what we refer to as silver standard masks. Our method consists of 1) developing a dataset with "silver standard" masks as input, and implementing both 2) a tri-planar method using parallel 2D U-Net-based CNNs (referred to as CONSNet) and 3) an auto-context implementation of CONSNet. The term CONSNet refers to our integrated approach, i.e., training with silver standard masks and using a 2D U-Net-based architecture. Our results showed that we outperformed (i.e., larger Dice coefficients) the current state-of-the-art SS methods. Our use of silver standard masks reduced the cost of manual annotation, decreased inter-intra-rater variability, and avoided CNN segmentation super-specialization towards one specific manual annotation guideline that can occur when gold standard masks are used. Moreover, the usage of silver standard masks greatly enlarges the volume of input annotated data because we can relatively easily generate labels for unlabeled data. In addition, our method has the advantage that, once trained, it takes only a few seconds to process a typical brain image volume using modern hardware, such as a high-end graphics processing unit. In contrast, many of the other competitive methods have processing times in the order of minutes.


title: Deconfinement Transition Effects on Cosmological Parameters and Primordial Gravitational Wave Spectrum

abstract: The cosmological evolution can be described in terms of directly measurable cosmological scalar parameters (deceleration $q$, jerk $j$, snap $s$, etc...) constructed out of high order derivatives of the scale factor. Their behavior at the critical temperature of the Quantum Chromodynamics (QCD) phase transition in early universe could be a specific tool to study the transition, analogously to the fluctuations of conserved charges in QCD. We analyze the effect of the crossover transition from quarks and gluons to hadrons in early universe on the cosmological scalars and on the gravitational wave spectrum, by using the recent lattice QCD equation of state and including the electroweak degrees of freedom and different models of dark matter. Near the transition the cosmological parameters follow the behavior of QCD trace anomaly and of the speed of sound of the entire system. The effects of deconfinement turn out to be more relevant for the modification of the primordial spectrum of gravitational waves and our complete analysis, based on lattice QCD simulations and on the hadron resonance gas below the critical temperature, refines previous results.


title: Shell-model interactions from chiral effective field theory

abstract: We construct valence-space Hamiltonians for use in shell-model calculations, where the residual two-body interaction is based on symmetry principles and the low-momentum expansion from chiral effective field theory. In addition to the usual free-space contact interactions, we also include novel center-of-mass--dependent operators that arise due to the Galilean invariance breaking by in-medium effects. We fitted the low-energy constants to 441 ground- and excited-state energies in the sd shell and obtained a root-mean-square derivation of 1.8 MeV at leading order and of 0.5 MeV at next-to-leading order, with natural low-energy constants in all cases. The developed chiral shell-model interactions enable order-by-order uncertainty estimates and show promising predictions for neutron-rich isotopes beyond the fitted data set.


title: Direct evidence of ferromagnetism in a quantum anomalous Hall system

abstract: Quantum anomalous Hall (QAH) systems are of great fundamental interest and potential application because of their dissipationless conduction without the need for external magnetic field. The QAH effect has been realized in magnetically doped topological insulator thin films. However, full quantization requires extremely low temperature ($T< 50\,$mK) in the initial works, though it has been significantly improved with modulation doping or co-doping of magnetic elements. Improved ferromagnetism has been shown in these thin films, yet direct evidence of long-range ferromagnetic order is lacking. Herein, we present direct visualization of long-range ferromagnetic order in thin films of Cr and V co-doped (Bi,Sb)$_2$Te$_3$ using low-temperature magnetic force microscopy with $\textit{in-situ}$ transport. The magnetization reversal process reveals typical ferromagnetic domain behavior, i.e., domain nucleation and possibly domain wall propagation, in contrast to much weaker magnetic signals observed in the end members, possibly due to superparamagnetic behavior. The observed long-range ferromagnetic order resolves one of the major challenges in QAH systems, and paves the way to high-temperature dissipationless conduction by exploring magnetic topological insulators.


title: Tuning Rashba Spin-Orbit Coupling in Gated Multilayer InSe

abstract: Manipulating the electron spin with the aid of spin-orbit coupling (SOC) is an indispensable element of spintronics. Electrostatically gating a material with strong SOC results in an effective magnetic field which can in turn be used to govern the electron spin. In this work, we report the existence and electrostatic tunability of Rashba SOC in multilayer InSe. We observed a gate-voltage-tuned crossover from weak localization (WL) to weak antilocalization (WAL) effect in quantum transport studies of InSe, which suggests an increasing SOC strength. Quantitative analyses of magneto-transport studies and energy band diagram calculations provide strong evidence for the predominance of Rashba SOC in electrostatically gated InSe. Furthermore, we attribute the tendency of the SOC strength to saturate at high gate voltages to the increased electronic density of states-induced saturation of the electric field experienced by the electrons in the InSe layer. This explanation of nonlinear gate voltage control of Rashba SOC can be generalized to other electrostatically gated semiconductor nanomaterials in which a similar tendency of spin-orbit length saturation was observed (e.g. nanowire field effect transistors), and is thus of broad implications in spintronics. Identifying and controlling the Rashba SOC in InSe may serve pivotally in devising III-VI semiconductor-based spintronic devices in the future.


title: Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

abstract: We analyse the complexity of approximate counting constraint satisfactions problems $\mathrm{\#CSP}(\mathcal{F})$, where $\mathcal{F}$ is a set of nonnegative rational-valued functions of Boolean variables. A complete classification is known in the conservative case, where $\mathcal{F}$ is assumed to contain arbitrary unary functions. We strengthen this result by fixing any permissive strictly increasing unary function and any permissive strictly decreasing unary function, and adding only those to $\mathcal{F}$: this is weak conservativity. The resulting classification is employed to characterise the complexity of a wide range of two-spin problems, fully classifying the ferromagnetic case. In a further weakening of conservativity, we also consider what happens if only the pinning functions are assumed to be in $\mathcal{F}$ (instead of the two permissive unaries). We show that any set of functions for which pinning is not sufficient to recover the two kinds of permissive unaries must either have a very simple range, or must satisfy a certain monotonicity condition. We exhibit a non-trivial example of a set of functions satisfying the monotonicity condition.


title: Bihelical spectrum of solar magnetic helicity and its evolution

abstract: Using a recently developed two-scale formalism to determine the magnetic helicity spectrum (Brandenburg et al. 2017), we analyze synoptic vector magnetograms built with data from the Vector Spectromagnetograph (VSM) instrument on the \emph{Synoptic Optical Long-term Investigations of the Sun} (SOLIS) telescope during January 2010-July 2016. In contrast to an earlier study using only three Carrington rotations, our analysis includes 74 synoptic Carrington rotation maps. We recover here bihelical spectra at different phases of solar cycle~24, where the net magnetic helicity in the majority of the data is consistent with a large-scale dynamo with helical turbulence operating in the Sun. More than $20\%$ of the analyzed maps, however, show violations of the expected sign rule.


title: Connecting the Milky Way potential profile to the orbital timescales and spatial structure of the Sagittarius Stream

abstract: Recent maps of the halo using RR Lyrae from Pan-STARRS1 have clearly depicted the spatial structure of the Sagittarius stream. These maps show the leading and trailing stream apocenters differ in galactocentric radius by a factor of two, and also resolve substructure in the stream at these apocenters. Here we present dynamical models that reproduce these features of the stream in simple Galactic potentials. We find that debris at the apocenters must be dynamically young, in the sense of being stripped off in the last two pericentric passages, while the Sagittarius dwarf is currently experiencing a third passage. The ratio of apocenters is sensitive to both dynamical friction and the outer slope of the Galactic rotation curve. These dependences can be understood with simple regularities connecting the apocentric radii, circular velocities, and orbital period of the progenitor. The effect of dynamical friction on the stream can be constrained using substructure within the leading apocenter. Our ensembles of models are not intended as statistically proper fits to the stream. Nevertheless, out of the range of models we consider, we consistently find the mass within 100 kpc to be $\sim 7 \times 10^{11} \, M_{\odot}$, with a nearly flat rotation curve between 50 and 100 kpc. This points to a more extended Galactic halo than assumed in some current models. As in previous work, we find prolate or triaxial halos ease agreement with the track of the leading stream. We display the behavior of our models in various observational spaces and characterize the substructure expected within the stream. In particular, the young trailing stream visible near trailing apocenter should exhibit a tight trend of velocity with distance separate from the older debris, and we suggest that this will serve as an especially useful probe of the outer Galactic potential.


title: Quark mass dependent collective excitations and quark number susceptibilities within the hard thermal loop approximation

abstract: We calculate all those QCD $N$-point functions which are relevant for a three-loop QCD thermodynamics calculation with finite quark masses within the hard the thermal loop approximation. Using the effective quark propagator, we also calculate second order quark and baryon number susceptibilities within the hard thermal loop approximation and compare the results with available lattice data.


title: Encoding and Selecting Coarse-Grain Mapping Operators with Hierarchical Graphs

abstract: Coarse grain (CG) molecular dynamics (MD) can simulate systems inaccessible to fine grain (FG) MD simulations. A CG simulation decreases the degrees of freedom by mapping atoms from an FG representation into agglomerate CG particles. The FG to CG mapping is not unique. Research into systematic selection of these mappings is challenging due to their combinatorial growth with respect to the number of atoms in a molecule. Here we present a method of reducing the total count of mappings by imposing molecular topology and symmetry constraints. The count reduction is illustrated by considering all mappings for nearly 49,889 molecules. The resulting number of mapping operators is still large, so we introduce hierarchical graphs which encode multiple CG mapping operators. The encoding method is demonstrated for methanol and a 14-mer peptide. This encoding provides a foundation to perform automated mapping selection.


title: Estimates of the transition densities for the reflected Brownian motion on simple nested fractals

abstract: We give sharp two-sided estimates for the functions $g_M(t,x,y)$ and $g_M(t,x,y)-g(t,x,y)$, where $g_M(t,x,y)$ are the transition probability densities of the reflected Brownian motion on a $M$-complex of size $M \in \mathbb{Z}$ of an unbounded planar simple nested fractal and $g(t,x,y)$ are the transition probability densities of the `free' Brownian motion on this fractal. This is done for a large class of planar simple nested fractals with the good labeling property.


title: Finite-frequency dissipation in a driven Kondo model

abstract: Using both a resonant level model and the time-dependent Gutzwiller approximation, we study the power dissipation of a localized impurity hybridized with a conduction band when the hybridization is periodically switched on and off. The total dissipated energy is proportional to the Kondo temperature, with a non-trivial frequency dependence. At low frequencies it can be well approximated by the one of a single quench, and is obtainable analitically; at intermediate frequencies it undergoes oscillations; at high frequencies, after reaching its maximum, it quickly drops to zero. This frequency-dependent energy dissipation could be relevant to systems such as irradiated quantum dots, where Kondo can be switched at very high frequencies.


title: Language Recognition using Time Delay Deep Neural Network

abstract: This work explores the use of a monolingual Deep Neural Network (DNN) model as an universal background model (UBM) to address the problem of Language Recognition (LR) in I-vector framework. A Time Delay Deep Neural Network (TDDNN) architecture is used in this work, which is trained as an acoustic model in an English Automatic Speech Recognition (ASR) task. A logistic regression model is trained to classify the I-vectors. The proposed system is tested with fourteen languages with various confusion pairs and it can be easily extended to include a new language by just retraining the last simple logistic regression model. The architectural flexibility is the major advantage of the proposed system compared to the single DNN classifier based approach.


title: Sound Value Iteration

abstract: Computing reachability probabilities is at the heart of probabilistic model checking. All model checkers compute these probabilities in an iterative fashion using value iteration. This technique approximates a fixed point from below by determining reachability probabilities for an increasing number of steps. To avoid results that are significantly off, variants have recently been proposed that converge from both below and above. These procedures require starting values for both sides. We present an alternative that does not require the a priori computation of starting vectors and that converges faster on many benchmarks. The crux of our technique is to give tight and safe bounds - whose computation is cheap - on the reachability probabilities. Lifting this technique to expected rewards is trivial for both Markov chains and MDPs. Experimental results on a large set of benchmarks show its scalability and efficiency.


title: Roster Evaluation Based on Classifiers for the Nurse Rostering Problem

abstract: The personnel scheduling problem is a well-known NP-hard combinatorial problem. Due to the complexity of this problem and the size of the real-world instances, it is not possible to use exact methods, and thus heuristics, meta-heuristics, or hyper-heuristics must be employed. The majority of heuristic approaches are based on iterative search, where the quality of intermediate solutions must be calculated. Unfortunately, this is computationally highly expensive because these problems have many constraints and some are very complex. In this study, we propose a machine learning technique as a tool to accelerate the evaluation phase in heuristic approaches. The solution is based on a simple classifier, which is able to determine whether the changed solution (more precisely, the changed part of the solution) is better than the original or not. This decision is made much faster than a standard cost-oriented evaluation process. However, the classification process cannot guarantee 100% correctness. Therefore, our approach, which is illustrated using a tabu search algorithm in this study, includes a filtering mechanism, where the classifier rejects the majority of the potentially bad solutions and the remaining solutions are then evaluated in a standard manner. We also show how the boosting algorithms can improve the quality of the final solution compared with a simple classifier. We verified our proposed approach and premises, based on standard and real-world benchmark instances, to demonstrate the significant speedup obtained with comparable solution quality.