title: Normal behaviour models for wind turbine vibrations: An alternative approach

abstract: The identification of abnormal behaviour in mechanical systems is key to anticipate and avoid their potential failure. Thus wind turbine health is commonly assessed monitoring series of $10$-minute SCADA and high frequency data from sensors. To monitor wind turbine vibrations, normal behaviour models are built to predict tower top accelerations and drive-train vibrations. Signal deviations from model prediction are labelled as anomalies and are further investigated. More efficient models are expected to help enhancing the identification of abnormal behaviour. In this paper we assess a stochastic approach to reconstruct the $1$ Hz tower top acceleration signal, which was measured in a wind turbine located at the wind farm Alpha Ventus in the German North Sea. We compare the resulting data reconstruction with that of a model based on a neural network, which has been previously reported as a data-mining algorithm suitable for reconstructing this signal. In order to focus the discussion on the similarities and differences of both approaches, we limit our evaluation to a single input-output system; in doing so, we avoid other differences, i.e. loading type, pre-processing or model complexity. Our results present evidence that the stochastic approach outperforms the neural network in the high frequency domain ($1$ Hz). Although neural network retrieve accurate step-forward predictions, with low mean square errors, the stochastic approach predictions better preserve the statistics and the frequency components of the original signal, remaining high accuracy levels. The implementation of our stochastic approach is available as open source code and can easily be adapted for other situations involving stochastic data reconstruction. Based on our findings we argue that such an approach could be implemented in signal reconstruction for monitoring purposes or for abnormal behaviour detection.


title: Modelling energy-dependent pulsar light curves

abstract: In recent years, surprise discoveries of pulsed emission from the Crab and Vela pulsars above 100 GeV have drawn renewed attention to this largely unexplored region of the energy range. In this paper, we discuss example light curves due to curvature emission, with good resolution in the different energy bands. Continued light curve modelling may help to discriminate between different emission mechanisms, as well as constrain the location where emission is produced within the pulsar magnetosphere, including regions beyond the light cylinder.


title: RI/MOM and RI/SMOM renormalization of overlap quark bilinears on domain wall fermion configurations

abstract: Renormalization constants (RCs) of overlap quark bilinear operators on 2+1-flavor domain wall fermion configurations are calculated by using the RI/MOM and RI/SMOM schemes. The scale independent RC for the axial vector current is computed by using a Ward identity. Then the RCs for the quark field and the vector, tensor, scalar and pseudoscalar operators are calculated in both the RI/MOM and RI/SMOM schemes. The RCs are converted to the $\overline{\rm MS}$ scheme and we compare the numerical results from using the two intermediate schemes. The lattice size is $48^3\times96$ and the inverse spacing $1/a = 1.730(4) {\rm~GeV}$.


title: Implicit Low-Order Unstructured Finite-Element Multiple Simulation Enhanced by Dense Computation using OpenACC

abstract: In this paper, we develop a low-order three-dimensional finite-element solver for fast multiple-case crust deformation analysis on GPU-based systems. Based on a high-performance solver designed for massively parallel CPU based systems, we modify the algorithm to reduce random data access, and then insert OpenACC directives. The developed solver on ten Reedbush-H nodes (20 P100 GPUs) attained speedup of 14.2 times from 20 K computer nodes, which is high considering the peak memory bandwidth ratio of 11.4 between the two systems. On the newest Volta generation V100 GPUs, the solver attained a further 2.45 times speedup from P100 GPUs. As a demonstrative example, we computed 368 cases of crustal deformation analyses of northeast Japan with 400 million degrees of freedom. The total procedure of algorithm modification and porting implementation took only two weeks; we can see that high performance improvement was achieved with low development cost. With the developed solver, we can expect improvement in reliability of crust-deformation analyses by many-case analyses on a wide range of GPU-based systems.


title: Active Atoms and Interstitials in Two-dimensional Colloidal Crystals

abstract: We study experimentally and numerically the motion of a self-phoretic active particle in two-dimensional (2D) loosely-packed colloidal crystals at fluid interfaces. Two scenarios emerge depending on the interaction between the active particle and the lattice: the active particle either navigates throughout the crystal as an interstitial or is part of the lattice and behaves as an active atom. Active interstitials undergo a run-and-tumble motion, with the passive colloids of the crystal acting as tumbling sites. Instead, active atoms exhibit an intermittent motion, which stems from the interplay between the periodic potential landscape of the passive crystal and the particle's self-propulsion. Our results shed new light on the behaviour of dense active phases and constitute the first step towards the realization of non-close-packed crystalline phases with internal activity.


title: The unavoidable information flow to environment in quantum measurements

abstract: One of the basic lessons of quantum theory is that one cannot obtain information on an unknown quantum state without disturbing it. Hence, by performing a certain measurement, we limit the other possible measurements that can be effectively implemented on the original input state. It has been recently shown that one can implement sequentially any device, either channel or observable, which is compatible with the first measurement [T. Heinosaari and T. Miyadera: Phys. Rev. A Vol 91 (2015), 022110]. In this work we prove that this can be done, apart from some special cases, only when the succeeding device is implemented on a larger system than just the input system. This means that some part of the still available quantum information has been flown to the environment and cannot be gathered by accessing the input system only. We characterize the size of the post-measurement system by determining the class of measurements for the observable in question that allow the subsequent realization of any measurement process compatible with the said observable. We also study the class of measurements that allow the subsequent realization of any observable jointly measurable with the first one and show that these two classes coincide when the first observable is extreme.


title: Context Aware Robot Navigation using Interactively Built Semantic Maps

abstract: We discuss the process of building semantic maps, how to interactively label entities in them, and how to use them to enable context-aware navigation behaviors in human environments. We utilize planar surfaces, such as walls and tables, and static objects, such as door signs, as features for our semantic mapping approach. Users can interactively annotate these features by having the robot follow him/her, entering the label through a mobile app, and performing a pointing gesture toward the landmark of interest. Our gesture based approach can reliably estimate which object is being pointed at and detect ambiguous gestures with probabilistic modeling. Our person following method attempts to maximize future utility by a search for future actions assuming constant velocity model for the human. We describe a method to extract metric goals from a semantic map landmark and to plan a human aware path that takes into account the personal spaces of people. Finally, we demonstrate context-awareness for person following in two scenarios: interactive labeling and door passing. We believe that future navigation approaches and service robotics applications can be made more effective by further exploiting the structure of human environments.


title: Theoretical calculations for precision polarimetry based on Mott scattering

abstract: Electron polarimeters based on Mott scattering are extensively used in different fields in physics such as atomic, nuclear or particle physics. This is because spin-dependent measurements gives additional information on the physical processes under study. The main quantity that needs to be understood in very much detail, both experimentally and theoretically, is the spin-polarization function, so called analyzing power or Sherman function. A detailed theoretical analysis on all the contributions to the effective interaction potential that are relevant at the typical electron beam energies and angles commonly used in the calibration of the experimental apparatus is presented. The main contribution leading the theoretical error on the Sherman function is found to correspond to radiative corrections that have been qualitatively estimated to be below the 0.5% for the considered kinematical conditions: unpolarized electron beams of few MeV elastically scattered from a gold and silver targets at backward angles.


title: Inferring Room Semantics Using Acoustic Monitoring

abstract: Having knowledge of the environmental context of the user i.e. the knowledge of the users' indoor location and the semantics of their environment, can facilitate the development of many of location-aware applications. In this paper, we propose an acoustic monitoring technique that infers semantic knowledge about an indoor space \emph{over time,} using audio recordings from it. Our technique uses the impulse response of these spaces as well as the ambient sounds produced in them in order to determine a semantic label for them. As we process more recordings, we update our \emph{confidence} in the assigned label. We evaluate our technique on a dataset of single-speaker human speech recordings obtained in different types of rooms at three university buildings. In our evaluation, the confidence\emph{ }for the true label generally outstripped the confidence for all other labels and in some cases converged to 100\% with less than 30 samples.


title: Support varieties - an axiomatic approach

abstract: We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples, taken in particular from representation theory of finite dimensional algebras.


title: A 1.3 mm SMA Survey of 29 Variable Young Stellar Objects

abstract: Young stellar objects (YSOs) may undergo periods of active accretion (outbursts), during which the protostellar accretion rate is temporarily enhanced by a few orders of magnitude. Whether or not these accretion outburst YSOs possess similar dust/gas reservoirs to each other, and whether or not their dust/gas reservoirs are similar as quiescent YSOs, are issues not yet clarified. The aim of this work is to characterize the millimeter thermal dust emission properties of a statistically significant sample of long and short duration accretion outburst YSOs (i.e., FUors and EXors) and the spectroscopically identified candidates of accretion outbursting YSOs (i.e., FUor-like objects). We have carried out extensive Submillimeter Array (SMA) observations mostly at $\sim$225 GHz (1.33 mm) and $\sim$272 GHz (1.10 mm), from 2008 to 2017. We covered accretion outburst YSOs located at $<$1 kpc distances from the solar system. We analyze all the existing SMA data of such objects, both published and unpublished, in a coherent way to present a millimeter interferometric database of 29 objects. We obtained 21 detections at $>$3-$\sigma$ significance. Detected sources except for the two cases of V883 Ori and NGC 2071 MM3 were observed with $\sim$1$"$ angular resolution. Overall our observed targets show a systematically higher millimeter luminosity distribution than those of the $M_{*}>$0.3 $M_{\odot}$ Class II YSOs in the nearby ($\lesssim$400 pc) low-mass star-forming molecular clouds (e.g., Taurus, Lupus, Upp Scorpio, and Chameleon I). In addition, at 1 mm our observed confirmed binaries or triple-system sources are systematically fainter than the rest of the sources even though their 1 mm fluxes are broadly distributed. We may have detected $\sim$30-60\% millimeter flux variability from V2494 Cyg and V2495 Cyg, from the observations separated by $\sim$1 year.


title: Thinning CsPb2Br5 Perovskite Down to Monolayers: Cs-dependent Stability

abstract: Using first-principles density functional theory calculations, we systematically investigate the structural, electronic and vibrational properties of bulk and potential single-layer structures of perovskite-like CsPb2Br5 crystal. It is found that while Cs atoms have no effect on the electronic structure, their presence is essential for the formation of stable CsPb2Br5 crystals. Calculated vibrational spectra of the crystal reveal that not only the bulk form but also the single-layer forms of CsPb2Br5 are dynamically stable. Predicted single-layer forms can exhibit either semiconducting or metallic character. Moreover, modification of the structural, electronic and magnetic properties of single-layer CsPb2Br5 upon formation of vacancy defects is investigated. It is found that the formation of Br vacancy (i) has the lowest formation energy, (ii) significantly changes the electronic structure, and (iii) leads to ferromagnetic ground state in the single-layer CsPb2Br5 . However, the formation of Pb and Cs vacancies leads to p-type doping of the single-layer structure. Results reported herein reveal that single-layer CsPb2Br5 crystal is a novel stable perovskite with enhanced functionality and a promising candidate for nanodevice applications.


title: The Evolutions of the Rich get Richer and the Fit get Richer Phenomena in Scholarly Networks: The Case of the Strategic Management Journal

abstract: Understanding how a scientist develops new scientific collaborations or how their papers receive new citations is a major challenge in scientometrics. The approach being proposed simultaneously examines the growth processes of the co-authorship and citation networks by analyzing the evolutions of the rich get richer and the fit get richer phenomena. In particular, the preferential attachment function and author fitnesses, which govern the two phenomena, are estimated non-parametrically in each network. The approach is applied to the co-authorship and citation networks of the flagship journal of the strategic management scientific community, namely the Strategic Management Journal. The results suggest that the abovementioned phenomena have been consistently governing both temporal networks. The average of the attachment exponents in the co-authorship network is 0.30 while it is 0.29 in the citation network. This suggests that the rich get richer phenomenon has been weak in both networks. The right tails of the distributions of author fitness in both networks are heavy, which imply that the intrinsic scientific quality of each author has been playing a crucial role in getting new citations and new co-authorships. Since the total competitiveness in each temporal network is founded to be rising with time, it is getting harder to receive a new citation or to develop a new collaboration. Analyzing the average competency, it was found that on average, while the veterans tend to be more competent at developing new collaborations, the newcomers are likely better at acquiring new citations. Furthermore, the author fitness in both networks has been consistent with the history of the strategic management scientific community. This suggests that coupling node fitnesses throughout different networks might be a promising new direction in analyzing simultaneously multiple networks.


title: Mass-radius relation of strongly magnetized white dwarfs

abstract: We study the strongly magnetized white dwarf configurations in a self-consistent manner as a progenitor of the over-luminous type-Ia supernovae. We compute static equilibria of white dwarf stars containing a strong magnetic field and present the modification of white dwarf mass-radius relation caused by the magnetic field. From a static equilibrium study, we find that a maximum white dwarf mass of about 1.9 M$_\odot$ may be supported if the interior poloidal field is as strong as approximately $10^{10}$ T. On the other hand if the field is purely toroidal the maximum mass can be more than 5 M$_\odot$. All these modifications are mainly from the presence of Lorenz force. The effects of i) modification of equation of state due to Landau quantization, ii) electrostatic interaction due to ions, iii) general relativistic calculation on the stellar structure and, iv) field geometry are also considered. These strongly magnetised configurations are sensitive to magnetic instabilities where the perturbations grow at the corresponding Alfven time scales.


title: Electrical spin driving by $g$-matrix modulation in spin-orbit qubits

abstract: In a semiconductor spin qubit with sizable spin-orbit coupling, coherent spin rotations can be driven by a resonant gate-voltage modulation. Recently, we have exploited this opportunity in the experimental demonstration of a hole spin qubit in a silicon device. Here we investigate the underlying physical mechanisms by measuring the full angular dependence of the Rabi frequency as well as the gate-voltage dependence and anisotropy of the hole $g$-factors. We show that a $g$-matrix formalism can simultaneously capture and discriminate the contributions of two mechanisms so far independently discussed in the literature: one associated with the modulation of the $g$ factors, and measurable by Zeeman energy spectroscopy, the other not. Our approach has a general validity and can be applied to the analysis of other types of spin-orbit qubits.


title: BENGAL: An Automatic Benchmark Generator for Entity Recognition and Linking

abstract: The manual creation of gold standards for named entity recognition and entity linking is time- and resource-intensive. Moreover, recent works show that such gold standards contain a large proportion of mistakes in addition to being difficult to maintain. We hence present BENGAL, a novel automatic generation of such gold standards as a complement to manually created benchmarks. The main advantage of our benchmarks is that they can be readily generated at any time. They are also cost-effective while being guaranteed to be free of annotation errors. We compare the performance of 11 tools on benchmarks in English generated by BENGAL and on 16benchmarks created manually. We show that our approach can be ported easily across languages by presenting results achieved by 4 tools on both Brazilian Portuguese and Spanish. Overall, our results suggest that our automatic benchmark generation approach can create varied benchmarks that have characteristics similar to those of existing benchmarks. Our approach is open-source. Our experimental results are available at http://faturl.com/bengalexpinlg and the code at https://github.com/dice-group/BENGAL.


title: Solitons of the coupled Schr\"odinger - Korteweg - de Vries system with arbitrary strengths of the nonlinearity and dispersion

abstract: New two-component soliton solutions of the coupled high-frequency (HF) - low-frequency (LF) system, based on Schr\"odinger - Korteweg - de Vries (KdV) system with the Zakharov's coupling, are obtained for arbitrary relative strengths of the nonlinearity and dispersion in the LF component. The complex HF field is governed by the linear Schr\"odinger equation with a potential generated by the real LF component, which, in turn, is governed by the KdV equation including the ponderomotive coupling term, representing the feedback of the HF field onto the LF component. First, we study the evolution of pulse-shaped pulses by means of direct simulations. In the case when the dispersion of the LF component is weak in comparison to its nonlinearity, the input gives rise to several solitons in which the HF component is much broader than its LF counterpart. In the opposite case, the system creates a single soliton with approximately equal widths of both components. Collisions between stable solitons are studied too, with a conclusion that the collisions are inelastic, with a greater soliton getting still stronger, and the smaller one suffering further attenuation. Robust intrinsic modes are excited in the colliding solitons. A new family of approximate analytical two-component soliton solutions with two free parameters is found for an arbitrary relative strength of the nonlinearity and dispersion of the LF component, assuming weak feedback of the HF field onto the LF component. Further, a one-parameter (non-generic) family of exact bright-soliton solutions, with mutually proportional HF and LF components, is produced too. Intrinsic dynamics of the two-component solitons, induced by a shift of their HF component against the LF one, is also studied, by means of numerical simulations, demonstrating excitation of a robust intrinsic mode


title: Bring your friend! Real or virtual?

abstract: A monopolist faces a partially uninformed population of consumers, interconnected through a directed social network. In the network, the monopolist offers rewards to informed consumers (influencers) conditional on informing uninformed consumers (influenced). Rewards are needed to bear a communication cost. We investigate the incentives for the monopolist to move to a denser network and the impact of this decision on social welfare. Social welfare increases in information diffusion which, for given communication incentives, is higher in denser networks. However, the monopolist internalizes transfers and thus may prefer an environment with less competition between informed consumers. The presence of highly connected influencers (hubs) is the main driver that aligns monopolist incentives and welfare.


title: A note on the dispersion of admissible lattices

abstract: In this note we show that the volume of axis-parallel boxes in $\mathbb{R}^d$ which do not intersect an admissible lattice $\mathbb{L}\subset\mathbb{R}^d$ is uniformly bounded. In particular, this implies that the dispersion of the dilated lattices $N^{-1/d}\mathbb{L}$ restricted to the unit cube is of the (optimal) order $N^{-1}$ as $N$ goes to infinity. This result was obtained independently by V.N. Temlyakov (arXiv:1709.08158).


title: When Cavendish meets Feynman: A quantum torsion balance for testing the quantumness of gravity

abstract: We propose a thought experiment, based on a mechanism that is reminiscent of Cavendish's torsion balance, to investigate the possible quantum nature of the gravitational field generated by the quantum superposition state of a massive system. Our proposal makes use of the dynamics of a ultra-stable optically levitated nanomechanical rotor endowed with a spin to generate a quantum angular superposition that is then tested through standard Ramsey-like scheme. Gravity manifests itself as an effective decoherence mechanism, whose strength is different-and, as we show, appreciable-in the classical and quantum case. By incorporating both the source for decoherence and the mechanism to probe it, the experiment that we propose allows for a much reduced degree of control and dynamical engineering.


title: The structure and analytic properties of the scattering amplitude at LHC energies

abstract: Elastic proton-proton scattering is reviewed starting from the results of the LHC experiments conducted by the TOTEM and ATLAS collaborations, and the HEGS model and a simple phenomenological parametrisation are compared with the new data on the differential elastic proton-proton scattering cross section, which detect a non-exponential behaviour of the differential cross sections in the first diffraction cone. We consider the influence of various assumptions on the extraction of the elastic scattering parameters, and on the deduction of the total cross section.


title: On Kiguradze theorem for linear boundary value problems

abstract: We investigate the limiting behavior of solutions of nonhomogeneous boundary value problems for the systems of linear ordinary differential equations. The generalization of Kiguradze theorem (1987) on passage to the limit is obtained.


title: Demonstration of a switchable damping system to allow low-noise operation of high-Q low-mass suspension systems

abstract: Low mass suspension systems with high-Q pendulum stages are used to enable quantum radiation pressure noise limited experiments. Utilising multiple pendulum stages with vertical blade springs and materials with high quality factors provides attenuation of seismic and thermal noise, however damping of these high-Q pendulum systems in multiple degrees of freedom is essential for practical implementation. Viscous damping such as eddy-current damping can be employed but introduces displacement noise from force noise due to thermal fluctuations in the damping system. In this paper we demonstrate a passive damping system with adjustable damping strength as a solution for this problem that can be used for low mass suspension systems without adding additional displacement noise in science mode. We show a reduction of the damping factor by a factor of 8 on a test suspension and provide a general optimisation for this system.


title: Gas and galaxies in filament between clusters of galaxies: The study of A399-A401

abstract: We have performed a multi-wavelength analysis of two galaxy cluster systems selected with the thermal Sunyaev-Zel'dovich (tSZ) effect and composed of cluster pairs and an inter-cluster filament. We have focused on one pair of particular interest: A399-A401 at redshift z~0.073 seperated by 3 Mpc. We have also performed the first analysis of one lower significance newly associated pair: A21-PSZ2 G114.09-34.34 at z~0.094, separated by 4.2 Mpc. We have characterised the intra-cluster gas using the tSZ signal from Planck and, when this was possible, the galaxy optical and infra-red (IR) properties based on two photometric redshift catalogs: 2MPZ and WISExSCOS. From the tSZ data, we measured the gas pressure in the clusters and in the inter-cluster filaments. In the case of A399-A401, the results are in perfect agreement with previous studies and, using the temperature measured from the X-rays, we further estimate the gas density in the filament and find n0=4.3+-0.7x10^-4 cm-3. The optical and IR colour-colour and colour-magnitude analyses of the galaxies selected in the cluster system, together with their Star Formation Rate, show no segregation between galaxy populations, in the clusters and in the filament of A399-A401. Galaxies are all passive, early type, and red and dead. The gas and galaxy properties of this system suggest that the whole system formed at the same time and corresponds to a pre-merger, with a cosmic filament gas heated by the collapse. For the other cluster system, the tSZ analysis was performed and the pressure in the clusters and in the inter-cluster filament was constrained. However, the limited or nonexistent optical and IR data prevent us from concluding on the presence of an actual cosmic filament or from proposing a scenario.


title: Nonthermal Pressure in the Outskirts of Abell 2142

abstract: Clumping and turbulence are expected to affect the matter accreted onto the outskirts of galaxy clusters. To determine their impact on the thermodynamic properties of Abell 2142 we perform an analysis of the X-ray temperature data from XMM-Newton via our SuperModel, a state-of-the-art tool for investigating the astrophysics of the intracluster medium already tested on many individual clusters (since Cavaliere et al. 2009). Using the gas density profile corrected for clumpiness derived by Tchernin et al. (2016), we find evidence for the presence of a nonthermal pressure component required to sustain gravity in the cluster outskirts of Abell 2142, that amounts to about 30% of the total pressure at the virial radius. The presence of the nonthermal component implies the gas fraction to be consistent with the universal value at the virial radius and the electron thermal pressure profile to be in good agreement with that inferred from the SZ data. Our results indicate that the presence of gas clumping and of a nonthermal pressure component are both necessary to recover the observed physical properties in the cluster outskirts. Moreover, we stress that an alternative method often exploited in the literature (included Abell 2142) to determine the temperature profile k_BT = P_e/n_e basing on a combination of the Sunyaev-Zel'dovich (SZ) pressure P_e and of the X-ray electron density n_e does not allow to highlight the presence of nonthermal pressure support in the cluster outskirts.


title: The Erd\H{o}s-Hajnal conjecture for caterpillars and their complements

abstract: The celebrated Erd\H{o}s-Hajnal conjecture states that for every proper hereditary graph class $\mathcal{G}$ there exists a constant $\varepsilon = \varepsilon(\mathcal{G}) > 0$ such that every graph $G \in \mathcal{G}$ contains a clique or an independent set of size $|V(G)|^\varepsilon$. Recently, there has been a growing interest in the symmetrized variant of this conjecture, where one additionally requires $\mathcal{G}$ to be closed under complementation. We show that any hereditary graph class that is closed under complementation and excludes a fixed caterpillar as an induced subgraph satisfies the Erd\H{o}s-Hajnal conjecture. Here, a caterpillar is a tree whose vertices of degree at least three lie on a single path (i.e., our caterpillars may have arbitrarily long legs). In fact, we prove a stronger property of such graph classes, called in the literature the strong Erd\H{o}s-Hajnal property: for every such graph class $\mathcal{G}$, there exists a constant $\delta = \delta(\mathcal{G}) > 0$ such that every graph $G \in \mathcal{G}$ contains two disjoint sets $A,B \subseteq V(G)$ of size at least $\delta|V(G)|$ each so that either all edges between $A$ and $B$ are present in $G$, or none of them. This result significantly extends the family of graph classes for which we know that the strong Erd\H{o}s-Hajnal property holds; for graph classes excluding a graph $H$ and its complement it was previously known only for paths [Bousquet, Lagoutte, Thomass\'{e}, JCTB 2015] and hooks (i.e., paths with an additional pendant vertex at third vertex of the path) [Choromanski, Falik, Liebenau, Patel, Pilipczuk, arXiv:1508.00634].


title: Solid-state production of complex organic molecules: H-atom addition versus UV irradiation

abstract: Complex organic molecules (COMs) have been observed in comets, hot cores and cold dense regions of the interstellar medium. It is generally accepted that these COMs form on icy dust grain through the recombination reaction of radicals triggered by either energetic UV- photon or non-energetic H-atom addition processing. In this work, we present for the first time laboratory studies that allow for quantitative comparison of hydrogenation and UV-induced reactions as well as their cumulative effect in astronomically relevant CO:CH3OH=4:1 ice analogues. The formation of glycolaldehyde (GA) and ethylene glycol (EG) is confirmed in pure hydrogenation experiments at 14 K, except methyl formate (MF), which is only clearly observed in photolysis. The fractions for MF:GA:EG are 0 : (0.2-0.4) : (0.8-0.6) for pure hydrogenation, and 0.2 : 0.3 : 0.5 for UV involving experiments and can offer a diagnostic tool to derive the chemical origin of these species. The GA/EG ratios in the laboratory (0.3-1.5) compare well with observations toward different objects.


title: On algebras generated by positive operators

abstract: We study algebras generated by positive matrices, i.e., matrices with nonnegative entries. Some of our results hold in more general setting of vector lattices. We reprove and extend some theorems that have been recently shown by Kandi\'{c} and \v{S}ivic. In particular, we give a more transparent proof of their result that the unital algebra generated by positive idempotent matrices $E$ and $F$ such that $E F \ge F E$ is equal to the linear span of the set $\{I, E, F, E F, F E, E F E, F E F, (E F)^2, (F E)^2\}$, and so its dimension is at most $9$. We give examples of two positive idempotent matrices that generate unital algebra of dimension $2n$ if $n$ is even, and of dimension $(2n - 1)$ if $n$ is odd. We also prove that the algebra generated by positive matrices $B_1$, $B_2$, $\ldots$, $B_k$ is triangularizable if $A B_i \ge B_i A$ ($i=1,2, \ldots, k$) for some positive matrix $A$ with distinct eigenvalues.


title: Near-Optimal Noisy Group Testing via Separate Decoding of Items

abstract: The group testing problem consists of determining a small set of defective items from a larger set of items based on a number of tests, and is relevant in applications such as medical testing, communication protocols, pattern matching, and more. In this paper, we revisit an efficient algorithm for noisy group testing in which each item is decoded separately (Malyutov and Mateev, 1980), and develop novel performance guarantees via an information-theoretic framework for general noise models. For the special cases of no noise and symmetric noise, we find that the asymptotic number of tests required for vanishing error probability is within a factor $\log 2 \approx 0.7$ of the information-theoretic optimum at low sparsity levels, and that with a small fraction of allowed incorrectly decoded items, this guarantee extends to all sublinear sparsity levels. In addition, we provide a converse bound showing that if one tries to move slightly beyond our low-sparsity achievability threshold using separate decoding of items and i.i.d. randomized testing, the average number of items decoded incorrectly approaches that of a trivial decoder.


abstract: There are not many known ways to break Tor anonymity, and they require an enormous amount of computational power. Controlling both entrance and exit nodes allows an attacker to compromise client IP with enough pattern analysis. If an .onion or public website does not use SSL, information will not be encrypted once it reaches the exit node. Tor has been successfully broken by Carnegie Mellon, however they will not answer questions nor confirm their method. This research paper investigates Tails & Tor and other tools for Safeguarding Online Activities.


title: Optically guided atom interferometer tuned to magic wavelength

abstract: We demonstrate an atom interferometer operating on the $^1S_0-{}^3P_0$ clock transition of $^{87}$Sr atoms in a "magic" optical guide, where the light shift perturbations of the guiding potential are canceled. As a proof-of-principle demonstration, a Mach-Zehnder interferometer is set horizontally to map the acceleration introduced by the focused optical guide. This magic guide interferometer on the clock transition is applicable to atomic elements where magic wavelengths can be found. Possible applications of the magic guide interferometer, including a hollow-core fiber interferometer and gradiometer, are discussed.


title: Lower Error Bounds for Strong Approximation of Scalar SDEs with non-Lipschitzian Coefficients

abstract: We study pathwise approximation of scalar stochastic differential equations at a single time point or globally in time by means of methods that are based on finitely many observations of the driving Brownian motion. We prove lower error bounds in terms of the average number of evaluations of the driving Brownian motion that hold for every such method under rather mild assumptions on the coefficients of the equation. The underlying simple idea of our analysis is as follows: the lower error bounds known for equations with coefficients that have sufficient regularity globally in space should still apply in the case of coefficients that have this regularity in space only locally, in a small neighborhood of the initial value. Our results apply to a huge variety of equations with coefficients that are not globally Lipschitz continuous in space including Cox-Ingersoll-Ross processes, equations with superlinearly growing coefficients, and equations with discontinuous coefficients. In many of these cases the resulting lower error bounds even turn out to be sharp.


title: Confidence intervals for normalised citation counts: Can they delimit underlying research capability?

abstract: Normalised citation counts are routinely used to assess the average impact of research groups or nations. There is controversy over whether confidence intervals for them are theoretically valid or practically useful. In response, this article introduces the concept of a group's underlying research capability to produce impactful research. It then investigates whether confidence intervals could delimit the underlying capability of a group in practice. From 123120 confidence interval comparisons for the average citation impact of the national outputs of ten countries within 36 individual large monodisciplinary journals, moderately fewer than 95% of subsequent indicator values fall within 95% confidence intervals from prior years, with the percentage declining over time. This is consistent with confidence intervals effectively delimiting the research capability of a group, although it does not prove that this is the cause of the results. The results are unaffected by whether internationally collaborative articles are included.


title: Evidence of vacuum birefringence from the polarisation of the optical emission from an Isolated Neutron Star

abstract: Isolated Neutron Stars are some of the most exciting stellar objects known to astronomers: they have the most extreme magnetic fields, with values up to $10^{15}$ G, and, with the exception of stellar-mass black holes, they are the most dense stars, with densities of $\approx 10^{14}$ g cm$^{-3}$. As such, they are perfect laboratories to test theories of electromagnetism and nuclear physics under conditions of magnetic field and density unattainable on Earth. In particular, the interaction of radiation with strong magnetic fields is the cause of the {\em vacuum birefringence}, an effect predicted by quantum electrodynamics in 1936 but that lacked an observational evidence until now. Here, we show how the study of the polarisation of the optical radiation from the surface of an isolated neutron star yielded such an observational evidence, opening exciting perspectives for similar studies at other wavelengths.


title: On-chip III-V monolithic integration of heralded single photon sources and beamsplitters

abstract: We demonstrate a monolithic III-V photonic circuit combining a heralded single photon source with a beamsplitter, at room temperature and telecom wavelength. Pulsed parametric down-conversion in an AlGaAs waveguide generates counterpropagating photons, one of which is used to herald the injection of its twin into the beamsplitter. We use this configuration to implement an integrated Hanbury-Brown and Twiss experiment, yielding a heralded second-order correlation $g^{(2)}_{\rm her}(0)=0.10 \pm 0.02$ that confirms single-photon operation. The demonstrated generation and manipulation of quantum states on a single III-V semiconductor chip opens promising avenues towards real-world applications in quantum information.


title: Stationarity of the crack-front for the Mumford-Shah problem in 3D

abstract: In this paper we exhibit a family of stationary solutions of the Mumford-Shah functional in $\mathbb{R}^3$, arbitrary close to a crack-front. Unlike other examples, known in the literature, those are topologically non-minimizing in the sense of Bonnet \cite{b}. We also give a local version in a finite cylinder and prove an energy estimate for minimizers. Numerical illustrations indicate the stationary solutions are unlikely minimizers and show how the dependence on axial variable impacts the geometry of the discontinuity set. A self-contained proof of the stationarity of the crack-tip function for the Mumford-Shah problem in 2D is presented.


title: Accelerated observers and the notion of singular spacetime

abstract: Geodesic completeness is typically regarded as a basic criterion to determine whether a given spacetime is regular or singular. However, the principle of general covariance does not privilege any family of observers over the others and, therefore, observers with arbitrary motions should be able to provide a complete physical description of the world. This suggests that in a regular spacetime, all physically acceptable observers should have complete paths. In this work we explore this idea by studying the motion of accelerated observers in spherically symmetric spacetimes and illustrate it by considering two geodesically complete black hole spacetimes recently described in the literature. We show that for bound and locally unbound accelerations, the paths of accelerated test particles are complete, providing further support to the regularity of such spacetimes.


title: Phase transitions and thermal entanglement of the distorted Ising-Heisenberg spin chain: topology of multiple-spin exchange interactions in spin ladders

abstract: We consider a symmetric spin-1/2 Ising-XXZ double sawtooth spin ladder obtained from distorting a spin chain, with the XXZ interaction between the interstitial Heisenberg dimers (which are connected to the spins based on the legs via an Ising-type interaction), the Ising coupling between nearest-neighbor spins of the legs and rungs spins, respectively, and additional cyclic four-spin exchange (ring exchange) in square plaquette of each block. The presented analysis supplemented by results of the exact solution of the model with infinite periodic boundary implies a rich ground state phase diagram. As well as the quantum phase transitions, the characteristics of some of the thermodynamic parameters such as heat capacity, magnetization and magnetic susceptibility are investigated. We here prove that among the considered thermodynamic and thermal parameters, solely the heat capacity is sensitive versus the changes of the cyclic four-spin exchange interaction. By using the heat capacity function, we obtain a singularity relation between the cyclic four-spin exchange interaction and the exchange coupling between pair spins on each rung of the spin ladder. All thermal and thermodynamic quantities under consideration should investigate by regarding those points which satisfy the singularity relation. The thermal entanglement within the Heisenberg spin dimers is investigated by using the concurrence, which is calculated from a relevant reduced density operator in the thermodynamic limit.


title: Formulas that represent Cauchy problem solution for momentum and position Schr\"{o}dinger equation

abstract: In the paper we derive two formulas representing solutions of Cauchy problem for two Schr\"{o}dinger equations: one-dimensional momentum space equation with polynomial potential, and multidimensional position space equation with locally square integrable potential. The first equation is a constant coefficients particular case of an evolution equation with derivatives of arbitrary high order and variable coefficients that do not change over time, this general equation is solved in the paper. We construct a family of translation operators in the space of square integrable functions and then use methods of functional analysis based on Chernoff product formula to prove that this family approximates the solution-giving semigroup. This leads us to some formulas that express the solution for Cauchy problem in terms of initial condition and coefficients of the equations studied.


title: Higher first Chern numbers in one dimensional Bose-Fermi mixtures

abstract: We propose to use a one-dimensional system consisting of identical fermions in a periodically driven lattice immersed in a Bose gas, to realise topological superfluid phases with Chern numbers larger than 1. The bosons mediate an attractive induced interaction between the fermions, and we derive a simple formula to analyse the topological properties of the resulting pairing. When the coherence length of the bosons is large compared to the lattice spacing and there is a significant next-nearest neighbour hopping for the fermions, the system can realise a superfluid with Chern number +/- 2. We show that this phase is stable in a large region of the phase diagram as a function of the filling fraction of the fermions and the coherence length of the bosons. Cold atomic gases offer the possibility to realise the proposed system using well-known experimental techniques.


title: Experimental demonstration of quantum effects in the operation of microscopic heat engines

abstract: The heat engine, a machine that extracts useful work from thermal sources, is one of the basic theoretical constructs and fundamental applications of classical thermodynamics. The classical description of a heat engine does not include coherence in its microscopic degrees of freedom. By contrast, a quantum heat engine might possess coherence between its internal states. Although the Carnot efficiency cannot be surpassed, and coherence can be performance degrading in certain conditions, it was recently predicted that even when using only thermal resources, internal coherence can enable a quantum heat engine to produce more power than any classical heat engine using the same resources. Such a power boost therefore constitutes a quantum thermodynamic signature. It has also been shown that the presence of coherence results in the thermodynamic equivalence of different quantum heat engine types, an effect with no classical counterpart. Microscopic heat machines have been recently implemented with trapped ions, and proposals for heat machines using superconducting circuits and optomechanics have been made. When operated with standard thermal baths, however, the machines implemented so far have not demonstrated any inherently quantum feature in their thermodynamic quantities. Here we implement two types of quantum heat engines by use of an ensemble of nitrogen-vacancy centres in diamond, and experimentally demonstrate both the coherence power boost and the equivalence of different heat-engine types. This constitutes the first observation of quantum thermodynamic signatures in heat machines.


title: Auto-Differentiating Linear Algebra

abstract: Development systems for deep learning (DL), such as Theano, Torch, TensorFlow, or MXNet, are easy-to-use tools for creating complex neural network models. Since gradient computations are automatically baked in, and execution is mapped to high performance hardware, these models can be trained end-to-end on large amounts of data. However, it is currently not easy to implement many basic machine learning primitives in these systems (such as Gaussian processes, least squares estimation, principal components analysis, Kalman smoothing), mainly because they lack efficient support of linear algebra primitives as differentiable operators. We detail how a number of matrix decompositions (Cholesky, LQ, symmetric eigen) can be implemented as differentiable operators. We have implemented these primitives in MXNet, running on CPU and GPU in single and double precision. We sketch use cases of these new operators, learning Gaussian process and Bayesian linear regression models, where we demonstrate very substantial reductions in implementation complexity and running time compared to previous codes. Our MXNet extension allows end-to-end learning of hybrid models, which combine deep neural networks (DNNs) with Bayesian concepts, with applications in advanced Gaussian process models, scalable Bayesian optimization, and Bayesian active learning.


title: How do T Tauri stars accrete

abstract: We conjecture that observed protoplanetary disc accretion rates may be explained with low viscosities which could be the result of hydrodynamic turbulence. We show that viscosities parameterized in the usual way with $\alpha \gtrsim 10^{-4}$, comparable to values suggested for hydrodynamic turbulence, can explain the observed accretion rates and lifetimes with plausible inner disc surface densities. Our models are also in better agreement with surface density estimates of the minimum mass solar nebula than models with rapid transport for a given mass accretion rate, such as recent models of accretion driven by magnetic winds. The required surface densities are a natural result of the protostellar infall phase, as long as non-gravitational transport is limited. We argue that, in addition to possible non-ideal magnetic transport due to disc winds possibly modified by the Hall effect, the effects of low-viscosity hydrodynamic accretion deserve more consideration.


title: General high-order rogue wave to NLS-Boussinesq equation with the dynamical analysis

abstract: General high-order rogue waves of the NLS-Boussinesq equation are obtained by the KP-hierarchy reduction theory. These rogue waves are expressed with the determinants, whose entries are all algebraic forms. It is found that the fundamental rogue waves can be classified three patterns: four-petals state, dark state, bright state by choosing different parameter $\alpha$ values. As the evolution of the parameter $\alpha$. An interesting phenomena is discovered: the rogue wave changes from four-petals state to dark state, whereafter to the bright state, which are consistent with the change of the corresponding critical points to the function of two variables. Furthermore, the dynamics of second-order and third-order rogue waves are presented in detail, which can be regarded as the nonlinear superposition of the fundamental rogue waves.


title: Schwinger boson mean field study of the $J_1$-$J_2$ Heisenberg quantum antiferromagnet on the triangular lattice

abstract: We use Schwinger boson mean field theory (SBMFT) to study the ground state of the spin-$S$ triangular-lattice Heisenberg model with nearest ($J_1$) and next-nearest ($J_2$) neighbor antiferromagnetic interactions. Previous work on the $S=1/2$ model leads us to consider two spin liquid Ans\"{a}tze, one symmetric and one nematic, which upon spinon condensation give magnetically ordered states with 120$^{\circ}$ order and collinear stripe order, respectively. The SBMFT contains the parameter $\kappa$, the expectation value of the number of bosons per site, which in the exact theory equals $2S$. For $\kappa=1$ there is a direct, first-order transition between the ordered states as $J_2/J_1$ increases. Motivated by arguments that in SBMFT, smaller $\kappa$ may be more appropriate for describing the $S=1/2$ case qualitatively, we find that in a $\kappa$ window around 0.6, a region with the (gapped $Z_2$) symmetric spin liquid opens up between the ordered states. As a consequence, the static structure factor has the same peak locations in the spin liquid as in the 120$^{\circ}$ ordered state, and the phase transitions into the 120$^{\circ}$ and collinear stripe ordered states are continuous and first-order, respectively.


title: Clickbait Identification using Neural Networks

abstract: This paper presents the results of our participation in the Clickbait Detection Challenge 2017. The system relies on a fusion of neural networks, incorporating different types of available informations. It does not require any linguistic preprocessing, and hence generalizes more easily to new domains and languages. The final combined model achieves a mean squared error of 0.0428, an accuracy of 0.826, and a F1 score of 0.564. According to the official evaluation metric the system ranked 6th of the 13 participating teams.


title: Stable $s$-minimal cones in $\mathbb{R}^3$ are flat for $s\sim 1$

abstract: We prove that half spaces are the only stable nonlocal $s$-minimal cones in $\mathbb{R}^3$, for $s\in(0,1)$ sufficiently close to $1$. This is the first classification result of stable $s$-minimal cones in dimension higher than two. Its proof can not rely on a compactness argument perturbing from $s=1$. In fact, our proof gives a quantifiable value for the required closeness of $s$ to $1$. We use the geometric formula for the second variation of the fractional $s$-perimeter, which involves a squared nonlocal second fundamental form, as well as the recent BV estimates for stable nonlocal minimal sets.


title: Saving the Higgs Portal for Singlet Scalar Dark Matter

abstract: The Higgs-portal model with a singlet scalar Dark Matter particle is one of the simplest extensions to the Standard Model that can reproduce the relic density. Unfortunately this model is strongly constrained by direct and indirect DM detection, as well as by collider physics. Most of the parameter space is already ruled-out and the rest will be explored in the next future. We show that a simple extension of the DM sector with a second scalar singlet enables a substantial opening of the allowed window in the parameter space.


title: Limit theorems for supercritical MBPRE with linear fractional offspring distributions

abstract: We investigate the limit behavior of supercritical multitype branching processes in random environments with linear fractional offspring distributions and show that there exists a phase transition in the behavior of local probabilites of the process affected by strongly and intermediately supercritical regimes. Some conditional limit theorems can also be obtained from the representation of generating functions.


title: Vortices in self-bound dipolar droplets

abstract: Quantized vortices have been observed in a variety of superfluid systems, from $^4$He to condensates of alkali-metal bosons and ultracold Fermi gases along the BEC-BCS crossover. In this article we study the stability of singly quantized vortex lines in dilute dipolar self-bound droplets. We first discuss the energetic stability region of dipolar vortex excitations within a variational ansatz in the generalized nonlocal Gross-Pitaevskii functional that includes quantum fluctuation corrections. We find a wide region where stationary solutions corresponding to axially-symmetric vortex states exist. However, these singly-charged vortex states are shown to be unstable, either by splitting the droplet in two fragments or by vortex-line instabilities developed from Kelvin-wave excitations. These observations are the results of large-scale fully three-dimensional simulations in real time. We conclude with some experimental considerations for the observation of such states and suggest possible extensions of this work.


title: Properties of the circumgalactic medium in simulations compared to observations

abstract: Galaxies are surrounded by extended gaseous halos which store significant fractions of chemical elements. These are syntethized by the stellar populations and later ejected into the circumgalactic medium (CGM) by different mechanism, of which supernova feedback is considered one of the most relevant. We explore the properties of this metal reservoir surrounding star-forming galaxies in a cosmological context aiming to investigate the chemical loop between galaxies and their CGM, and the ability of the subgrid models to reproduce observational results. Using cosmological hydrodynamical simulations, we analyse the gas-phase chemical contents of galaxies with stellar masses in the range $10^{9} - 10^{11}\,{\rm M}_{\odot}$. We estimate the fractions of metals stored in the different CGM phases, and the predicted OVI and SiIII column densities within the virial radius. We find roughly $10^{7}\,{\rm M}_{\odot}$ of oxygen in the CGM of simulated galaxies having $M_{\star}{\sim}10^{10}\,{\rm M}_{\odot}$, in fair agreement with the lower limits imposed by observations. The $M_{\rm oxy}$ is found to correlate with $M_{\star}$, at odds with current observational trends but in agreement with other numerical results. The estimated profiles of OVI column density reveal a substantial shortage of that ion, whereas SiIII, which probes the cool phase, is overpredicted. The analysis of the relative contributions of both ions from the hot, warm and cool phases suggests that the warm gas ($ 10^5~{\rm K} < T < 10^6~{\rm K}$) should be more abundant in order to bridge the mismatch with the observations, or alternatively, that more metals should be stored in this gas-phase. Adittionally, we find that the X-ray coronae around the simulated galaxies have luminosities and temperatures in decent agreement with the available observational estimates. [abridged]


title: Competition between the inter-valley scattering and the intra-valley scattering on magnetoconductivity induced by screened Coulomb disorder in Weyl semimetals

abstract: Recent experiments on Weyl semimetals reveal that charged impurities may play an important role. We use a screened Coulomb disorder to model the charged impurities, and study the magneto-transport in a two-node Weyl semimetal. It is found that when the external magnetic field is applied parallel to the electric field, the calculated longitudinal magnetoconductivity shows positive in the magnetic field, which is just the negative longitudinal magnetoresistivity (LMR) observed in experiments. When the two fields are perpendicular to each other, the transverse magnetoconductivities are measured. It is found that the longitudinal (transverse) magnetoconductivity is suppressed (enhanced) sensitively with increasing the screening length. This feature makes it hardly to observe the negative LMR in Weyl semimetals experimentally owing to a small screening length. Our findings gain insight into further understanding on recently actively debated magneto-transport behaviors in Weyl semimetals. Furthermore we studied the relative weight of the inter-valley scattering and the intra-valley scattering. It shows that the former is as important as the latter and even dominates in the case of strong magnetic fields and small screening length. We emphasize that the discussions on inter-valley scattering is out of the realm of one-node model which has been studied.


title: Greater data science at baccalaureate institutions

abstract: Donoho's JCGS (in press) paper is a spirited call to action for statisticians, who he points out are losing ground in the field of data science by refusing to accept that data science is its own domain. (Or, at least, a domain that is becoming distinctly defined.) He calls on writings by John Tukey, Bill Cleveland, and Leo Breiman, among others, to remind us that statisticians have been dealing with data science for years, and encourages acceptance of the direction of the field while also ensuring that statistics is tightly integrated. As faculty at baccalaureate institutions (where the growth of undergraduate statistics programs has been dramatic), we are keen to ensure statistics has a place in data science and data science education. In his paper, Donoho is primarily focused on graduate education. At our undergraduate institutions, we are considering many of the same questions.


title: A Correction Method of a Binary Classifier Applied to Multi-label Pairwise Models

abstract: In this work, we addressed the issue of applying a stochastic classifier and a local, fuzzy confusion matrix under the framework of multi-label classification. We proposed a novel solution to the problem of correcting label pairwise ensembles. The main step of the correction procedure is to compute classifier- specific competence and cross-competence measures, which estimates error pattern of the underlying classifier. We considered two improvements of the method of obtaining confusion matrices. The first one is aimed to deal with imbalanced labels. The other utilizes double labelled instances which are usually removed during the pairwise transformation. The proposed methods were evaluated using 29 benchmark datasets. In order to assess the efficiency of the introduced models, they were compared against 1 state-of-the-art approach and the correction scheme based on the original method of confusion matrix estimation. The comparison was performed using four different multi-label evaluation measures: macro and micro-averaged F1 loss, zero-one loss and Hamming loss. Additionally, we investigated relations between classification quality, which is expressed in terms of different quality criteria, and characteristics of multi-label datasets such as average imbalance ratio or label density. The experimental study reveals that the correction approaches significantly outperforms the reference method only in terms of zero-one loss.


title: Localizing Finite-Depth Kripke Models

abstract: We can look at a first-order (or propositional) intuitionistic Kripke model as an ordered set of classical models. In this paper, we show that for a finite-depth Kripke model in an arbitrary first-order language or propositional language, local (classical) truth of a formula is equivalent to non-classical truth (truth in the Kripke semantics) of a Friedman's translation of that formula, i.e. $ \alpha\Vdash A^\rho \Leftrightarrow \mathfrak{M}_\alpha\models A$. We introduce some applications of this fact. We extend the result of [Ardeshir and Hessam 2002] and show that semi-narrow Kripke models of Heyting Arithmetic $ {\sf HA} $ are locally $ {\sf PA} $.


title: HPC Cloud for Scientific and Business Applications: Taxonomy, Vision, and Research Challenges

abstract: High Performance Computing (HPC) clouds are becoming an alternative to on-premise clusters for executing scientific applications and business analytics services. Most research efforts in HPC cloud aim to understand the cost-benefit of moving resource-intensive applications from on-premise environments to public cloud platforms. Industry trends show hybrid environments are the natural path to get the best of the on-premise and cloud resources---steady (and sensitive) workloads can run on on-premise resources and peak demand can leverage remote resources in a pay-as-you-go manner. Nevertheless, there are plenty of questions to be answered in HPC cloud, which range from how to extract the best performance of an unknown underlying platform to what services are essential to make its usage easier. Moreover, the discussion on the right pricing and contractual models to fit small and large users is relevant for the sustainability of HPC clouds. This paper brings a survey and taxonomy of efforts in HPC cloud and a vision on what we believe is ahead of us, including a set of research challenges that, once tackled, can help advance businesses and scientific discoveries. This becomes particularly relevant due to the fast increasing wave of new HPC applications coming from big data and artificial intelligence.


title: Asymptotic Analysis of embedded Willmore spheres in 3-dimensional manifolds

abstract: In this paper, we show that, under arbitrary bounded Willmore energy assumption, embedded Willmore spheres (or more generally, embedded Willmore spheres under area constraint) with small diameter in a given $3$-dimensional Riemannian manifold $(M, h)$ necessarily concentrate at a critical point of the scalar curvature of $(M, h)$. This generalizes the result obtained by Laurain and Mondino for embedded Willmore spheres of small energy.


title: Lithographic performance of ZEP520A and mr-PosEBR resists exposed by electron beam and extreme ultraviolet lithography

abstract: Pattern transfer by deep anisotropic etch is a well-established technique for fabrication of nanoscale devices and structures. For this technique to be effective, the resist material plays a key role and must have high resolution, reasonable sensitivity and high etch selectivity against the conventional silicon substrate or underlayer film. In this work, the lithographic performance of two high etch resistance materials was evaluated: ZEP520A (Nippon Zeon Co.) and mr-PosEBR (micro resist technology GmbH). Both materials are positive tone, polymer-based and non-chemically amplified resists. Two exposure techniques were used: electron beam lithography (EBL) and extreme ultraviolet (EUV) lithography. These resists were originally designed for EBL patterning, where high quality patterning at sub-100 nm resolution was previously demonstrated. In the scope of this work, we also aim to validate their extendibility to EUV for high resolution and large area patterning. To this purpose, the same EBL process conditions were employed at EUV. The figures of merit, i.e. dose to clear, dose to size, and resolution, were extracted and these results are discussed systematically. It was found that both materials are very fast at EUV (dose to clear lower than 12 mJ/cm2) and are capable of resolving dense lines/space arrays with a resolution of 25 nm half-pitch. The quality of patterns was also very good and the sidewall roughness was below 6 nm. Interestingly, the general-purpose process used for EBL can be extended straightforwardly to EUV lithography with comparable high quality and yield. Our findings open new possibilities for lithographers who wish to devise novel fabrication schemes exploiting EUV for fabrication of nanostructures by deep etch pattern transfer.


title: A Study of a long duration B9 flare-CME event and associated piston-driven shock

abstract: We present and discuss here the observations of a small long duration GOES B- class flare associated with a quiescent filament eruption, a global EUV wave and a CME on 2011 May 11. The event was well observed by the Solar Dynamics Observatory (SDO), GONG H{\alpha}, STEREO and HiRAS spectrograph. As the fil- ament erupted, ahead of the filament we observed the propagation of EIT wave fronts, as well as two flare ribbons on both sides of the polarity inversion line (PIL) on the solar surface. The observations show the co-existence of two types of EUV waves, i.e., a fast and a slow one. A type II radio burst with up to the third harmonic component was also associated with this event. The evolution of pho- tospheric magnetic field showed flux emergence and cancellation at the filament site before its eruption.


title: Multiresolution Coupled Vertical Equilibrium Model for Fast Flexible Simulation of CO$_2$ Storage

abstract: CO2 capture and storage is an important technology for mitigating climate change. Design of efficient strategies for safe, long-term storage requires the capability to efficiently simulate processes taking place on very different temporal and spatial scales. The physical laws describing CO2 storage are the same as for hydrocarbon recovery, but the characteristic spatial and temporal scales are quite different. Petroleum reservoirs seldom extend more than tens of kilometers and have operational horizons spanning decades. Injected CO2 needs to be safely contained for hundreds or thousands of years, during which it can migrate hundreds or thousands of kilometers. Because of the vast scales involved, conventional 3D reservoir simulation quickly becomes computationally unfeasible. Large density difference between injected CO2 and resident brine means that vertical segregation will take place relatively quickly, and depth-integrated models assuming vertical equilibrium (VE) often represents a better strategy to simulate long-term migration of CO2 in large-scale aquifer systems. VE models have primarily been formulated for relatively simple rock formations and have not been coupled to 3D simulation in a uniform way. In particular, known VE simulations have not been applied to models of realistic geology in which many flow compartments may exist in-between impermeable layers. In this paper, we generalize the concept of VE models, formulated in terms of well-proven reservoir simulation technology, to complex aquifer systems with multiple layers and regions. We also introduce novel formulations for multi-layered VE models by use of both direct spill and diffuse leakage between individual layers. This new layered 3D model is then coupled to a state-of-the-art, 3D black-oil type model.


title: What is the Connection Between Issues, Bugs, and Enhancements? (Lessons Learned from 800+ Software Projects)

abstract: Agile teams juggle multiple tasks so professionals are often assigned to multiple projects, especially in service organizations that monitor and maintain a large suite of software for a large user base. If we could predict changes in project conditions changes, then managers could better adjust the staff allocated to those projects.This paper builds such a predictor using data from 832 open source and proprietary applications. Using a time series analysis of the last 4 months of issues, we can forecast how many bug reports and enhancement requests will be generated next month. The forecasts made in this way only require a frequency count of this issue reports (and do not require an historical record of bugs found in the project). That is, this kind of predictive model is very easy to deploy within a project. We hence strongly recommend this method for forecasting future issues, enhancements, and bugs in a project.


title: Nonlinear Predictive Control on a Heterogeneous Computing Platform

abstract: We propose an implementation of an interior-point-based nonlinear predictive controller on a heterogeneous processor. The workload can be split between a general-purpose CPU and a field-programmable gate array to trade off the contradicting design objectives of control performance and computational resource usage. A new way of exploiting the structure of the KKT matrix yields significant memory savings. We report an 18x memory saving, compared to existing approaches, and a 36x speedup over a software implementation with an ARM Cortex-A9 processor. We also introduce a new release of Protoip, which abstracts low-level details of heterogeneous programming and allows processor-in-the-loop verification.


title: Production of the charmoniumlike state $Y(4220)$ through the $p\bar{p} \to Y(4220) \pi^0$ reaction

abstract: The $Y(4220)$ production in the process of $p\bar{p} \to Y(4220)\pi^0$ is studied within the effective Lagrangian approach. We first study the $e^+e^-\to Y(4220) \to p\bar{p}\pi^0$ reaction at center-of-mass energy $4.258$ GeV with the assumption that the $Y(4220)$ is a $\psi(4S)$ state. We show that the inclusion of nucleon and nucleon resonance leads to a quite good description of the experimental data of $\pi^0 p$ and $\pi^0 \bar{p}$ invariant mass distributions. Then, the total and angular distributions of the $p\bar{p} \to Y(4220)\pi^0$ reaction are investigated. It is shown that the nucleon pole is dominant but the contributions from excited nucleon resonances are non-negligible. The $p\bar{p} \to Y(4220)\pi^0$ reaction is useful for studying the property of $Y(4220)$ and our calculated results may be tested at the forthcoming $\overline{\mbox{P}}$ANDA experiments.


title: Darboux transformations for supersymmetric two-boson equation

abstract: In this paper we construct Darboux transformations for the supersymmetric Two-boson equation. Two Darboux transformations and associated B\"acklund transformations are presented. For one of them, we also obtain the corresponding the nonlinear superposition formula.


title: A two particle hidden sector and the oscillations with photons

abstract: We present a detailed study of the oscillations and optical properties for vacuum, in a model for the dark sector that contains axion-like particles and hidden photons. In this model, both can couple to photons. We provide bounds for the couplings versus the mass, using current results from ALPS-I and PVLAS. We also discuss the challenges for the detection of models with more than one hidden particle in light shining trough wall-like experiments.


title: Stochastic sandpile model on small-world networks: scaling and crossover

abstract: A dissipative stochastic sandpile model is constructed on one and two dimensional small-world networks with different shortcut densities $\phi$ where $\phi=0$ and $1$ represent a regular lattice and a random network respectively. In the small-world regime ($2^{-12} \le \phi \le 0.1$), the critical behaviour of the model is explored studying different geometrical properties of the avalanches as a function of avalanche size $s$. For both the dimensions, three regions of $s$, separated by two crossover sizes $s_1$ and $s_2$ ($s_1<s_2$), are identified analyzing the scaling behaviour of average height and area of the toppling surface associated with an avalanche. It is found that avalanches of size $s<s_1$ are compact and follow Manna scaling on the regular lattice whereas the avalanches with size $s>s_1$ are sparse as they are on network and follow mean-field scaling. Coexistence of different scaling forms in the small-world regime leads to violation of usual finite-size scaling, in contrary to the fact that the model follows the same on the regular lattice as well as on the random network independently. Simultaneous appearance of multiple scaling forms are characterized by developing a coexistence scaling theory. As SWN evolves from regular lattice to random network, a crossover from diffusive to super-diffusive nature of sand transport is observed and scaling forms of such crossover is developed and verified.


title: Asymptotic correlation functions and FFLO signature for the one-dimensional attractive Hubbard model

abstract: We study the long-distance asymptotic behavior of various correlation functions for the one-dimensional (1D) attractive Hubbard model in a partially polarized phase through the Bethe ansatz and conformal field theory approaches. We particularly find the oscillating behavior of these correlation functions with spatial power-law decay, of which the pair (spin) correlation function oscillates with a frequency $\Delta k_F$ ($2\Delta k_F$). Here $\Delta k_F=\pi(n_\uparrow-n_\downarrow)$ is the mismatch in the Fermi surfaces of spin-up and spin-down particles. Consequently, the pair correlation function in momentum space has peaks at the mismatch $k=\Delta k_F$, which has been observed in recent numerical work on this model. These singular peaks in momentum space together with the spatial oscillation suggest an analog of the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state in the 1D Hubbard model. The parameter $\beta$ representing the lattice effect becomes prominent in critical exponents which determine the power-law decay of all correlation functions. We point out that the backscattering of unpaired fermions and bound pairs within their own Fermi points gives a microscopic origin of the FFLO pairing in 1D.


title: Quantum Mechanics on Periodic and Non-Periodic Lattices and Almost Unitary Schwinger Operators

abstract: In this work we uncover the mathematical structure of the Schwinger algebra and introduce an almost unitary Schwinger operators which are derived by considering translation operators on a finite lattice. We calculate mathematical relations between these algebras and show that the almost unitary Schwinger operators are equivalent to the Schwinger algebra. We introduce new representations for MN(C) in terms of these algebras.


title: Online Training of LSTM Networks in Distributed Systems for Variable Length Data Sequences

abstract: In this brief paper, we investigate online training of Long Short Term Memory (LSTM) architectures in a distributed network of nodes, where each node employs an LSTM based structure for online regression. In particular, each node sequentially receives a variable length data sequence with its label and can only exchange information with its neighbors to train the LSTM architecture. We first provide a generic LSTM based regression structure for each node. In order to train this structure, we put the LSTM equations in a nonlinear state space form for each node and then introduce a highly effective and efficient Distributed Particle Filtering (DPF) based training algorithm. We also introduce a Distributed Extended Kalman Filtering (DEKF) based training algorithm for comparison. Here, our DPF based training algorithm guarantees convergence to the performance of the optimal LSTM coefficients in the mean square error (MSE) sense under certain conditions. We achieve this performance with communication and computational complexity in the order of the first order gradient based methods. Through both simulated and real life examples, we illustrate significant performance improvements with respect to the state of the art methods.


title: Worldlines and worldsheets for non-abelian lattice field theories: Abelian color fluxes and Abelian color cycles

abstract: We discuss recent developments for exact reformulations of lattice field theories in terms of worldlines and worldsheets. In particular we focus on a strategy which is applicable also to non-abelian theories: traces and matrix/vector products are written as explicit sums over color indices and a dual variable is introduced for each individual term. These dual variables correspond to fluxes in both, space-time and color for matter fields (Abelian color fluxes), or to fluxes in color space around space-time plaquettes for gauge fields (Abelian color cycles). Subsequently all original degrees of freedom, i.e., matter fields and gauge links, can be integrated out. Integrating over complex phases of matter fields gives rise to constraints that enforce conservation of matter flux on all sites. Integrating out phases of gauge fields enforces vanishing combined flux of matter- and gauge degrees of freedom. The constraints give rise to a system of worldlines and worldsheets. Integrating over the factors that are not phases (e.g., radial degrees of freedom or contributions from the Haar measure) generates additional weight factors that together with the constraints implement the full symmetry of the conventional formulation, now in the language of worldlines and worldsheets. We discuss the Abelian color flux and Abelian color cycle strategies for three examples: the SU(2) principal chiral model with chemical potential coupled to two of the Noether charges, SU(2) lattice gauge theory coupled to staggered fermions, as well as full lattice QCD with staggered fermions. For the principal chiral model we present some simulation results that illustrate properties of the worldline dynamics at finite chemical potentials.


title: The Konus-Wind catalog of gamma-ray bursts with known redshifts. I. Bursts detected in the triggered mode

abstract: In this catalog, we present the results of a systematic study of gamma-ray bursts (GRBs) with reliable redshift estimates detected in the triggered mode of the Konus-Wind (KW) experiment during the period from 1997 February to 2016 June. The sample consists of 150 GRBs (including twelve short/hard bursts) and represents the largest set of cosmological GRBs studied to date over a broad energy band. From the temporal and spectral analyses of the sample, we provide the burst durations, the spectral lags, the results of spectral fits with two model functions, the total energy fluences, and the peak energy fluxes. Based on the GRB redshifts, which span the range 0.1 <= z <= 5, we estimate the rest-frame, isotropic-equivalent energy and peak luminosity. For 32 GRBs with reasonably-constrained jet breaks we provide the collimation-corrected values of the energetics. We consider the behavior of the rest-frame GRB parameters in the hardness-duration and hardness-intensity planes, and confirm the "Amati" and "Yonetoku" relations for Type II GRBs. The correction for the jet collimation does not improve these correlations for the KW sample. We discuss the influence of instrumental selection effects on the GRB parameter distributions and estimate the KW GRB detection horizon, which extends to z ~ 16.6, stressing the importance of GRBs as probes of the early Universe. Accounting for the instrumental bias, we estimate the KW GRB luminosity evolution, luminosity and isotropic-energy functions, and the evolution of the GRB formation rate, which are in general agreement with those obtained in previous studies.


title: A hierarchical Bayesian perspective on majorization-minimization for non-convex sparse regression: application to M/EEG source imaging

abstract: Majorization-minimization (MM) is a standard iterative optimization technique which consists in minimizing a sequence of convex surrogate functionals. MM approaches have been particularly successful to tackle inverse problems and statistical machine learning problems where the regularization term is a sparsity-promoting concave function. However, due to non-convexity, the solution found by MM depends on its initialization. Uniform initialization is the most natural and often employed strategy as it boils down to penalizing all coefficients equally in the first MM iteration. Yet, this arbitrary choice can lead to unsatisfactory results in severely under-determined inverse problems such as source imaging with magneto- and electro-encephalography (M/EEG). The framework of hierarchical Bayesian modeling (HBM) is an alternative approach to encode sparsity. This work shows that for certain hierarchical models, a simple alternating scheme to compute fully Bayesian maximum a posteriori (MAP) estimates leads to the exact same sequence of updates as a standard MM strategy (cf. the Adaptive Lasso). With this parallel outlined, we show how to improve upon these MM techniques by probing the multimodal posterior density using Markov Chain Monte-Carlo (MCMC) techniques. Firstly, we show that these samples can provide well-informed initializations that help MM schemes to reach better local minima. Secondly, we demonstrate how it can reveal the different modes of the posterior distribution in order to explore and quantify the inherent uncertainty and ambiguity of such ill-posed inference procedure. In the context of M/EEG, each mode corresponds to a plausible configuration of neural sources, which is crucial for data interpretation, especially in clinical contexts. Results on both simulations and real datasets show how the number or the type of sensors affect the uncertainties on the estimates.


title: Bottom-up automata on data trees and vertical XPath

abstract: A data tree is a finite tree whose every node carries a label from a finite alphabet and a datum from some infinite domain. We introduce a new model of automata over unranked data trees with a decidable emptiness problem. It is essentially a bottom-up alternating automaton with one register that can store one data value and can be used to perform equality tests with the data values occurring within the subtree of the current node. We show that it captures the expressive power of the vertical fragment of XPath - containing the child, descendant, parent and ancestor axes - obtaining thus a decision procedure for its satisfiability problem.


title: Posterior Predictive Treatment Assignment for Estimating Causal Effects with Limited Overlap

abstract: Estimating causal effects with propensity scores relies upon the availability of treated and untreated units observed at each value of the estimated propensity score. In settings with strong confounding, limited so-called "overlap" in propensity score distributions can undermine the empirical basis for estimating causal effects and yield erratic finite-sample performance of existing estimators. We propose a Bayesian procedure designed to estimate causal effects in settings where there is limited overlap in propensity score distributions. Our method relies on the posterior predictive treatment assignment (PPTA), a quantity that is derived from the propensity score but serves different role in estimation of causal effects. We use the PPTA to estimate causal effects by marginalizing over the uncertainty in whether each observation is a member of an unknown subset for which treatment assignment can be assumed unconfounded. The resulting posterior distribution depends on the empirical basis for estimating a causal effect for each observation and has commonalities with recently-proposed "overlap weights" of Li et al. (2016). We show that the PPTA approach can be construed as a stochastic version of existing ad-hoc approaches such as pruning based on the propensity score or truncation of inverse probability of treatment weights, and highlight several practical advantages including uncertainty quantification and improved finite-sample performance. We illustrate the method in an evaluation of the effectiveness of technologies for reducing harmful pollution emissions from power plants in the United States.


title: On higher index differential-algebraic equations in infinite dimensions

abstract: We consider initial value problems for differential-algebraic equations in a possibly infinite-dimensional Hilbert space. Assuming a growth condition for the associated operator pencil, we prove existence and uniqueness of solutions for arbitrary initial values in a distributional sense. Moreover, we construct a nested sequence of subspaces for initial values in order to obtain classical solutions.


title: Supervisor Localization of Discrete-Event Systems with Infinite Behavior

abstract: Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) with finite behavior. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this report, we extend supervisor localization to study the distributed control of DES with infinite behavior. Specifically, we first employ Thistle and Wonham's supervisory control theory for DES with infinite behavior to compute a safety supervisor (for safety specifications) and a liveness supervisor (for liveness specifications), and then design a suitable localization procedure to decompose the safety supervisor into a set of safety local controllers, one for each controllable event, and decompose the liveness supervisor into a set of liveness local controllers, two for each controllable event. The localization procedure for decomposing the liveness supervisor is novel; in particular, a local controller is responsible for disabling the corresponding controllable event on only part of the states of the liveness supervisor, and consequently, the derived local controller in general has states number no more than that computed by considering the disablement on all the states. Moreover, we prove that the derived local controllers achieve the same controlled behavior with the safety and liveness supervisors. We finally illustrate the result by a Small Factory example.


title: Giant asymmetric self-phase modulation in superconductor thin films

abstract: Self-phase modulation (SPM) of light pulses is found to occur strongly, at low incident intensities, in the coupling of light with superconductors. We develop a theory from a synthesis of the time-dependent Ginzburg-Landau (TDGL) equation and basic electrodynamics which shows the strongly non-linear phase accumulated in the interaction. Unusually, the SPM of the pulse in this system is found to be highly asymmetric, producing a strongly redshifted spectrum when interacting with a superconducting thin film, and it develops in just a few nanometers of propagation. In this paper we present theoretical results and simulations in the THz regime, for both hyperbolic secant and supergaussian-shaped pulses.


title: Anisotropic cosmological solutions in $R + R^2$ gravity

abstract: In this paper we investigate the past evolution of an anisotropic Bianchi I universe in $R+R^2$ gravity. Using the dynamical system approach we show that there exists a new two-parameters set of solutions that includes both an isotropic "false radiation" solution and an anisotropic generalized Kasner solution, which is stable. We derive the analytic behaviour of the shear from a specific property of $f(R)$ gravity and the analytic asymptotic form of the Ricci scalar when approaching the initial singularity. Finally we numerically checked our results.


title: Modular representations in type A with a two-row nilpotent central character

abstract: We study the category of representations of $\mathfrak{sl}_{m+2n}$ in positive characteristic, whose p-character is a nilpotent whose Jordan type is the two-row partition (m+n,n). In a previous paper with Anno, we used Bezrukavnikov-Mirkovic-Rumynin's theory of positive characteristic localization and exotic t-structures to give a geometric parametrization of the simples using annular crossingless matchings. Building on this, here we give combinatorial dimension formulae for the simple objects, and compute the Jordan-Holder multiplicities of the simples inside the baby Vermas (in special case where n=1, i.e. that a subregular nilpotent, these were known from work of Jantzen). We use Cautis-Kamnitzer's geometric categorification of the tangle calculus to study the images of the simple objects under the [BMR] equivalence. The dimension formulae may be viewed as a positive characteristic analogue of the combinatorial character formulae for simple objects in parabolic category O for $\mathfrak{sl}_{m+2n}$, due to Lascoux and Schutzenberger.


title: Formally continuous functions on Baire space

abstract: A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a function uniformly continuous near every compact image. We show that formal continuity is equivalent to the former while it is strictly stronger than the latter.


title: EagleMine: Vision-Guided Mining in Large Graphs

abstract: Given a graph with millions of nodes, what patterns exist in the distributions of node characteristics, and how can we detect them and separate anomalous nodes in a way similar to human vision? In this paper, we propose a vision-guided algorithm, EagleMine, to summarize micro-cluster patterns in two-dimensional histogram plots constructed from node features in a large graph. EagleMine utilizes a water-level tree to capture cluster structures according to vision-based intuition at multi-resolutions. EagleMine traverses the water-level tree from the root and adopts statistical hypothesis tests to determine the optimal clusters that should be fitted along the path, and summarizes each cluster with a truncated Gaussian distribution. Experiments on real data show that our method can find truncated and overlapped elliptical clusters, even when some baseline methods split one visual cluster into pieces with Gaussian spheres. To identify potentially anomalous microclusters, EagleMine also a designates score to measure the suspiciousness of outlier groups (i.e. node clusters) and outlier nodes, detecting bots and anomalous users with high accuracy in the real Microblog data.


title: On the normal centrosymmetric Nonnegative inverse eigenvalue problem

abstract: We give sufficient conditions of the nonnegative inverse eigenvalue problem (NIEP) for normal centrosymmetric matrices. These sufficient conditions are analogous to the sufficient conditions of the NIEP for normal matrices given by Xu [16] and Julio, Manzaneda and Soto [2].


title: Two dichotomies for model-checking in multi-layer structures

abstract: Multi-layer graphs can capture qualitatively different types of connection between entities, and networks of this kind are prevalent in biological and social systems: for example, a social contact network typically involves both virtual and face-to-face interactions between individuals. Since each layer is likely to exhibit stronger and/or more easily identifiable structurally properties than the overall system, it is natural to ask whether we can exploit the structural properties of individual layers to solve NP-hard problems efficiently on the overall network. In this paper we provide a complete characterisation of the structural properties required in each layer to guarantee the existence of an FPT algorithm to solve problems definable in either first-order or monadic second-order logic on the overall system, subject to the assumption that the structural properties are preserved under deletion of vertices and/or edges.


title: On the matrix $pth$ root functions and generalized Fibonacci sequences

abstract: This study is devoted to the polynomial representation of the matrix $p$th root functions. The Fibonacci-H\"orner decomposition of the matrix powers and some techniques arisen from properties of generalized Fibonacci sequences, notably the Binet formula, serves as a triggering factor to provide explicit formulas for the matrix $p$th roots. Special cases and illustrative numerical examples are given.


title: Global description of action-angle duality for a Poisson-Lie deformation of the trigonometric $\mathrm{BC}_n$ Sutherland system

abstract: Integrable many-body systems of Ruijsenaars--Schneider--van Diejen type displaying action-angle duality are derived by Hamiltonian reduction of the Heisenberg double of the Poisson-Lie group $\mathrm{SU}(2n)$. New global models of the reduced phase space are described, revealing non-trivial features of the two systems in duality with one another. For example, after establishing that the symplectic vector space $\mathbb{C}^n\simeq\mathbb{R}^{2n}$ underlies both global models, it is seen that for both systems the action variables generate the standard torus action on $\mathbb{C}^n$, and the fixed point of this action corresponds to the unique equilibrium positions of the pertinent systems. The systems in duality are found to be non-degenerate in the sense that the functional dimension of the Poisson algebra of their conserved quantities is equal to half the dimension of the phase space. The dual of the deformed Sutherland system is shown to be a limiting case of a van Diejen system.


title: Magma oceans and enhanced volcanism on TRAPPIST-1 planets due to induction heating

abstract: Low-mass M stars are plentiful in the Universe and often host small, rocky planets detectable with the current instrumentation. Recently, seven small planets have been discovered orbiting the ultracool dwarf TRAPPIST-1\cite{Gillon16,Gillon17}. We examine the role of electromagnetic induction heating of these planets, caused by the star's rotation and the planet's orbital motion. If the stellar rotation and magnetic dipole axes are inclined with respect to each other, induction heating can melt the upper mantle and enormously increase volcanic activity, sometimes producing a magma ocean below the planetary surface. We show that induction heating leads the three innermost planets, one of which is in the habitable zone, to either evolve towards a molten mantle planet, or to experience increased outgassing and volcanic activity, while the four outermost planets remain mostly unaffected.


title: Control of eigenfunctions on hyperbolic surfaces: an application of fractal uncertainty principle

abstract: This expository article, written for the proceedings of the Journ\'ees EDP (Roscoff, June 2017), presents recent work joint with Jean Bourgain [arXiv:1612.09040] and Long Jin [arXiv:1705.05019]. We in particular show that eigenfunctions of the Laplacian on hyperbolic surfaces are bounded from below in $L^2$ norm on each nonempty open set, by a constant depending on the set but not on the eigenvalue.


title: On the 1-3-5 conjecture and related topics

abstract: The 1-3-5 conjecture of Z.-W. Sun states that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as $x^2+y^2+z^2+w^2$ with $w,x,y,z\in\mathbb N$ such that $x+3y+5z$ is a square. In this paper, via the theory of ternary quadratic forms and related modular forms, we study the integer version of the 1-3-5 conjecture and related weighted sums of four squares with certain linear restrictions. Here are two typical results in this paper: (i) There is a finite set $A$ of positive integers such that any sufficiently large integer not in the set $\{16^ka:\ a\in A,\ k\in\mathbb N\}$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb Z$ and $x+3y+5z\in\{4^k:\ k\in\mathbb N\}$. (ii) Any positive integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+y+2z+2w=1$. Also, any sufficiently large integer can be written as $x^2+y^2+z^2+2w^2$ with $x,y,z,w\in\mathbb Z$ and $x+2y+3z=1$.


title: O Teorema de Poincare-Hopf

abstract: The Poincare-Hopf Theorem is one of the most used in other areas of science. There are applications of the Poincare-Hopf Theorem in physics, chemistry, biology and even in economics, psychology, etc ... The Poincare-Hopf Theorem connects an invariant of combinatorial, the character of Euler-Poincare to an invariant of differential geometry, index of vector fields. The results that connect two very different areas of mathematics can be considered as the most beautiful, useful and fruitful.


title: Gravitational wave scattering theory without large-distance asymptotics

abstract: In conventional gravitational wave scattering theory, a large-distance asymptotic approximation is employed. In this approximation, the gravitational wave is approximated by its large-distance asymptotics. In this paper, we establish a gravitational wave scattering theory without the large-distance asymptotic approximation.


title: Bases and selectors for tall families

abstract: We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_\sigma$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbf\Pi^1_2$ tall ideal without a tall closed subset.


title: Bifurcation of limit cycles by perturbing piecewise smooth integrable differential systems with four zones

abstract: This paper deals with the problem of limit cycle bifurcations for piecewise smooth integrable differential systems with four zones. When the unperturbed system has a family of periodic orbits, the first order Melnikov function is derived which can be used to study the number of limit cycles bifurcated from the periodic orbits. As an application, using the first order Melnikov function and Picard-Fuchs equation, we obtain an upper bound of the number of bifurcated limit cycles of a concrete piecewise smooth differential system.


title: A hunter-gatherer-farmer population model: Lie symmetries, exact solutions and their interpretation

abstract: The Lie symmetry classification of the known three-component reaction-diffusion system modelling the spread of an initially localized population of farmers into a region occupied by hunter-gatherers is derived. The Lie symmetries obtained for reducing the system in question to systems of ODEs and constructing exact solutions are applied. Several exact solutions of traveling front type are found, their properties are identified and biological interpretation is discussed.