title: Efficient representation and approximation of model predictive control laws via deep learning

abstract: We show that artificial neural networks with rectifier units as activation functions can exactly represent the piecewise affine function that results from the formulation of model predictive control of linear time-invariant systems. The choice of deep neural networks is particularly interesting as they can represent exponentially many more affine regions compared to networks with only one hidden layer. We provide theoretical bounds on the minimum number of hidden layers and neurons per layer that a neural network should have to exactly represent a given model predictive control law. The proposed approach has a strong potential as an approximation method of predictive control laws, leading to better approximation quality and significantly smaller memory requirements than previous approaches, as we illustrate via simulation examples. We also suggest different alternatives to correct or quantify the approximation error. Since the online evaluation of neural networks is extremely simple, the approximated controllers can be deployed on low-power embedded devices with small storage capacity, enabling the implementation of advanced decision-making strategies for complex cyber-physical systems with limited computing capabilities.


title: Assessing signals of TMD physics in SIDIS azimuthal asymmetries and in the extraction of the Sivers function

abstract: New data on the Sivers azimuthal asymmetry measured in semi-inclusive deep-inelastic scattering processes have recently been released by the COMPASS Collaboration at CERN. Their increased precision and their particular binning, in terms of $Q^2$ as well as $x$, motivates a new extraction of the Sivers function, within the framework of a simple and transparent parametrization. Signals of TMD effects visible in the Sivers asymmetries are critically assessed. A thorough study of the uncertainties affecting the extracted Sivers function is presented, including the low-$x$ and large-$x$ regions.


title: Universal Statistics of Topological Defects Formed in a Quantum Phase Transition

abstract: When a quantum phase transition is crossed in finite time, critical slowing down leads to the breakdown of adiabatic dynamics and the formation of topological defects. The average density of defects scales with the quench rate following a universal power-law predicted by the Kibble-Zurek mechanism. We analyze the full counting statistics of kinks and report the exact kink number distribution in the transverse-field quantum Ising model. Kink statistics is described by the Poisson binomial distribution with all cumulants exhibiting a universal power-law scaling with the quench rate. In the absence of finite-size effects, the distribution approaches a normal one, a feature that is expected to apply broadly in systems described by the Kibble-Zurek mechanism.


title: Exploring universal and non-universal regimes of trimers from three-body interactions in one-dimensional lattices

abstract: We investigate the formation of trimers in an infinite one-dimensional lattice model of hard-core particles with single-particle hopping $t$ and and nearest-neighbour two-body $U$ and three-body $V$ interactions of relevance to Rydberg atoms and polar molecules. For sufficiently attractive $U\leq-2t$ and positive $V>0$ a large trimer is stabilized, which persists as $V\rightarrow \infty$, while both attractive $U\leq0$ and $V\leq0$ bind a small trimer. The excited state above this small trimer is also bound and has a large extent; its behavior as $V\rightarrow -\infty$ resembles that of the large ground-state trimer. These large bound states appear to admit a continuum description. Furthermore, we find that in the limit $V>>t$, $U<-2t$ the bound-state behavior qualitatively evolves with larger $|U|$ from a state described by the scattering of three far separated particles to a state of a compact dimer scattering with a single particle.


title: Uncoupled isotonic regression via minimum Wasserstein deconvolution

abstract: Isotonic regression is a standard problem in shape-constrained estimation where the goal is to estimate an unknown nondecreasing regression function $f$ from independent pairs $(x_i, y_i)$ where $\mathbb{E}[y_i]=f(x_i), i=1, \ldots n$. While this problem is well understood both statistically and computationally, much less is known about its uncoupled counterpart where one is given only the unordered sets $\{x_1, \ldots, x_n\}$ and $\{y_1, \ldots, y_n\}$. In this work, we leverage tools from optimal transport theory to derive minimax rates under weak moments conditions on $y_i$ and to give an efficient algorithm achieving optimal rates. Both upper and lower bounds employ moment-matching arguments that are also pertinent to learning mixtures of distributions and deconvolution.


title: Testing Angular Momentum Transport and Wind Loss in Intermediate Mass Core Helium Burning Stars

abstract: Stars between two and three solar masses rotate rapidly on the main sequence, and their rotation rates in the core helium burning (secondary clump) phase can therefore be used to test models of angular momentum loss used for gyrochronology in a new regime. Because both their core and surface rotation rates can be measured, these stars can also be used to set strong constraints on angular momentum transport inside stars. We find that they are rotating slower than angular momentum conservation and rigid rotation would predict. Our results are insensitive to the degree of core-envelope coupling because of the small moment of inertia of the radiative core. We discuss two possible mechanisms for slowing down the surfaces of these stars: (1) substantial angular momentum loss, and (2) radial differential rotation in the surface convection zone. Modern angular momentum loss prescriptions used for solar-type stars predict secondary clump surface rotation rates in much better agreement with the data than prior variants used in the literature, and we argue that such enhanced loss is required to understand the combination of core and surface rotation rates. However, we find that the assumed radial differential rotation profile in convective regions has a strong impact on the predicted surface rotation rates, and that a combination of enhanced loss and radial differential rotation in the surface convection zone is also consistent with the data. We discuss future tests that can quantify the impact of both phenomena. Current data tentatively suggests that some combination of the two processes fits the data better than either one alone.


title: Atom Probe Tomography of Organic Molecular Materials: Sub-Dalton Nanometer-Scale Quantification

abstract: In this paper, we demonstrate that atom probe tomography (APT) can be applied to small-molecule organic materials. We show that APT can provide an unprecedented combination of mass resolution of $\lt 1~\mathrm{Da}$, spatial resolution of $\sim 0.3~\mathrm{nm}$ in z and $\sim 1~\mathrm{nm}$ in x-y, and analytic sensitivity of $\sim 50~\mathrm{ppm}$ with no evidence of molecular fragmentation. We discuss two systems that demonstrate the power of APT to uncover structure-property relationships in organic systems that have proven extremely difficult to probe using existing techniques: (1) a previously published model organic photovoltaic system in which we show a chemical reaction occurs at the heterointerface; and (2) a model organic light-emitting diode system in which we show molecular segregation occurs in the emissive layer bulk. These examples illustrate the power of APT to enable new insights into organic molecular materials.


title: On the close encounters between Plutinos and Neptune Trojans: I. Statistic analysis and theoretical estimations

abstract: Close encounters (CEs) between celestial objects may exert significant influence on their orbits. The influence will be even enhanced when two groups of celestial objects are confined in stable orbital configurations, e.g. in adjacent mean motion resonances (MMRs). Plutinos and Neptune Trojans, trapped in the 2:3 and 1:1 MMRs with Neptune respectively, are such examples. %Meanwhile, many objects among these two groups have peculiar orbits, seemingly as the vestige of CEs. As the first part of our investigation, this paper provides a detailed description of CEs between Plutinos and Trojans and their potential influences on the Trojans' orbits. Statistical analyses of CE data from numerical simulations reveal the randomness lying in the CEs between the two planetesimals. The closest positions of CEs distribute symmetrically inside the given CE region and no particular bias is found between the positive and negative effects on the orbital elements of Trojans. Based on the Gaussian approximation on the distribution of the velocity orientation of Plutino, and the integral derivatives of Gaussian perturbation equations, a theoretical method is built to estimate the CE effects. To further verify the randomness of CEs, a Monte Carlo approach is applied, and it generates distribution features consistent with the numerical results. In summary, CEs brought by realistic Plutinos exert impartial effects and tiny total influence on the orbital elements of Trojans. However, driven by the random walk mechanism, tiny effects may accumulate to a prominent variation given sufficient CEs, which will be discussed in the accompanying paper.


title: Product structures in Floer theory for Lagrangian cobordisms

abstract: We construct a product on the Floer complex associated to a pair of Lagrangian cobordisms. More precisely, given three exact transverse Lagrangian cobordisms in the symplectization of a contact manifold, we define a map $\mathfrak{m}_2$ by a count of rigid pseudo-holomorphic disks with boundary on the cobordisms and having punctures asymptotic to intersection points and Reeb chords of the negative Legendrian ends of the cobordisms. More generally, to a $(d+1)$-tuple of exact transverse Lagrangian cobordisms we associate a map $\mathfrak{m}_d$ such that the family $(\mathfrak{m}_d)_{d\geq1}$ are $A_\infty$-maps. Finally, we extend the Ekholm-Seidel isomorphism to an $A_\infty$-morphism, giving in particular that it is a ring isomorphism.


title: A three-dimensional map of the Milky Way using classical Cepheid variable stars

abstract: The Milky Way is a barred spiral galaxy, with physical properties inferred from various tracers informed by the extrapolation of structures seen in other galaxies. However, the distances of these tracers are measured indirectly and are model-dependent. We constructed a map of the Milky Way in three-dimensions based on the positions and distances of thousands of classical Cepheid variable stars. This map shows the structure of our Galaxy's young stellar population, and allows us to constrain the warped shape of the Milky Way's disk. A simple model of star formation in the spiral arms reproduces the observed distribution of Cepheids.


title: Generalized chart constraints for efficient PCFG and TAG parsing

abstract: Chart constraints, which specify at which string positions a constituent may begin or end, have been shown to speed up chart parsers for PCFGs. We generalize chart constraints to more expressive grammar formalisms and describe a neural tagger which predicts chart constraints at very high precision. Our constraints accelerate both PCFG and TAG parsing, and combine effectively with other pruning techniques (coarse-to-fine and supertagging) for an overall speedup of two orders of magnitude, while improving accuracy.


title: An Optimal Experimental Design Framework for Adaptive Inflation and Covariance Localization for Ensemble Filters

abstract: We develop an optimal experimental design framework for adapting the covariance inflation and localization in data assimilation problems. Covariance inflation and localization are ubiquitously employed to alleviate the effect of using ensembles of finite sizes in all practical data assimilation systems. The choice of both the inflation factor and the localization radius can have a significant impact on the performance of the assimilation scheme. These parameters are generally tuned by trial and error, rendering them expensive to optimize in practice. Spatially and temporally varying inflation parameter and localization radii have been recently proposed and have been empirically proven to enhance the performance of the employed assimilation filter. In this study, we present a variational framework for adaptive tuning of the inflation and localization parameters. Each of these parameters is optimized independently, with an objective to minimize the uncertainty in the posterior state. The proposed framework does not assume uncorrelated observations or prior errors and can in principle be applied without expert knowledge about the model and the observations. Thus, it is adequate for handling dense as well as sparse observational networks. We present the mathematical formulation, algorithmic description of the approach, and numerical experiments using the two-layer Lorenz-96 model.


title: Slow Normal Modes of Proteins are Accurately Reproduced across Different Platforms

abstract: The Protein Data Bank (PDB) contains the atomic structures of over 105 biomolecules with better than 2.8A resolution. The listing of the identities and coordinates of the atoms comprising each macromolecule permits an analysis of the slow-time vibrational response of these large systems to minor perturbations. 3D video animations of individual modes of oscillation demonstrate how regions interdigitate to create cohesive collective motions, providing a comprehensive framework for and familiarity with the overall 3D architecture. Furthermore, the isolation and representation of the softest, slowest deformation coordinates provide opportunities for the development of me- chanical models of enzyme function. The eigenvector decomposition, therefore, must be accurate, reliable as well as rapid to be generally reported upon. We obtain the eigenmodes of a 1.2A 34kDa PDB entry using either exclusively heavy atoms or partly or fully reduced atomic sets; Cartesian or internal coordinates; interatomic force fields derived either from a full Cartesian potential, a reduced atomic potential or a Gaussian distance-dependent potential; and independently devel- oped software. These varied technologies are similar in that each maintains proper stereochemistry either by use of dihedral degrees of freedom which freezes bond lengths and bond angles, or by use of a full atomic potential that includes realistic bond length and angle restraints. We find that the shapes of the slowest eigenvectors are nearly identical, not merely similar.


title: Typical long time behaviour of ground state-transformed jump processes

abstract: We consider a class of L\'evy-type processes derived via a Doob-transform from L\'evy processes conditioned by a control function called potential. These processes have position-dependent and generally unbounded components, with stationary distributions given by the ground states of the L\'evy generators perturbed by the potential. We derive precise lower and upper envelopes for the almost sure long time behaviour of these ground state-transformed L\'evy processes, characterized through escape rates and integral tests. We also highlight the role of the parameters by specific examples.


title: The PRIORI Emotion Dataset: Linking Mood to Emotion Detected In-the-Wild

abstract: Bipolar Disorder is a chronic psychiatric illness characterized by pathological mood swings associated with severe disruptions in emotion regulation. Clinical monitoring of mood is key to the care of these dynamic and incapacitating mood states. Frequent and detailed monitoring improves clinical sensitivity to detect mood state changes, but typically requires costly and limited resources. Speech characteristics change during both depressed and manic states, suggesting automatic methods applied to the speech signal can be effectively used to monitor mood state changes. However, speech is modulated by many factors, which renders mood state prediction challenging. We hypothesize that emotion can be used as an intermediary step to improve mood state prediction. This paper presents critical steps in developing this pipeline, including (1) a new in the wild emotion dataset, the PRIORI Emotion Dataset, collected from everyday smartphone conversational speech recordings, (2) activation/valence emotion recognition baselines on this dataset (PCC of 0.71 and 0.41, respectively), and (3) significant correlation between predicted emotion and mood state for individuals with bipolar disorder. This provides evidence and a working baseline for the use of emotion as a meta-feature for mood state monitoring.


title: Notes on a Lie algebraic relation

abstract: We exhibit explicit orthogonal decompositions of every multidimensional restricted root space of a real semi-simple Lie algebra. We then show a link between this result and a radiality property of smooth functions on G-homogeneous spaces when G is a real semi-simple Lie group.


title: The Stochastic Score Classification Problem

abstract: Consider the following Stochastic Score Classification Problem. A doctor is assessing a patient's risk of developing a certain disease, and can perform $n$ tests on the patient. Each test has a binary outcome, positive or negative. A positive test result is an indication of risk, and a patient's score is the total number of positive test results. The doctor needs to classify the patient into one of $B$ risk classes, depending on the score (e.g., LOW, MEDIUM, and HIGH risk). Each of these classes corresponds to a contiguous range of scores. Test $i$ has probability $p_i$ of being positive, and it costs $c_i$ to perform the test. To reduce costs, instead of performing all tests, the doctor will perform them sequentially and stop testing when it is possible to determine the risk category for the patient. The problem is to determine the order in which the doctor should perform the tests, so as to minimize the expected testing cost. We provide approximation algorithms for adaptive and non-adaptive versions of this problem, and pose a number of open questions.


title: Limit theorems for invariant distributions

abstract: A distributional symmetry is invariance of a distribution under a group of transformations. Exchangeability and stationarity are examples. We explain that a result of ergodic theory provides a law of large numbers: If the group satisfies suitable conditions, expectations can be estimated by averaging over subsets of transformations, and these estimators are strongly consistent. We show that, if a mixing condition holds, the averages also satisfy a central limit theorem, a Berry-Esseen bound, and concentration. These are extended further to apply to triangular arrays, to randomly subsampled averages, and to a generalization of U-statistics. As applications, we obtain new results on exchangeability, random fields, network models, and a class of marked point processes. We also establish asymptotic normality of the empirical entropy for a large class of processes. Some known results are recovered as special cases, and can hence be interpreted as an outcome of symmetry. The proofs adapt Stein's method.


title: I2C Management Based on IPbus

abstract: CBM (Compressed Baryonic Matter) is mainly used to study QCD phase diagram of strong interactions in high and moderate temperature region. Before the next generation GBTx based CBM DAQ system is built up, the DPB (Data Processing Board) layer is used in data readout and data pre-processing, where a general FPGA FMC carrier board named AFCK is used. This paper mainly describes the management of the Inter-integrated Circuit (I2C) devices on AFCK and the FMCs it carries via IPBus, an FPGA-based slow control bus used in CBM DAQ system. On AFCK, the connection of IPBus depends on the correct initialization of a set of I2C devices, including the I2C-bus multiplexer (choosing correct I2C bus), the clock crosspoint switch (providing the 125MHz needed by 1000BASE-X/SGMII), the serial EEPROM with a EUI-48 address (providing the AFCK MAC address). An independent initial module can execute an I2C command sequence stored in a ROM, through which the FPGA can write to/read from the I2C devices without IPBus, so that the related I2C devices are correctly initialized and the necessary preparation for the IPBus start-up is fulfilled. After the initialization, a Wishbone I2C master core is used as an IPbus slave and all other I2C devices can be configured directly via IPBus. All the design has been fully tested in the CBM DPB design.


title: The Design of Data Acquisition System for EAST Technical Diagnostic System

abstract: EAST (Experimental Advanced Superconducting Tokamak) Technical Diagnostic System (TDS) is used to monitor the outlet temperature of all superconducting coils, in case of temperature anomaly, it will trigger safety interlock system to meet EAST device safety. The data acquisition system of TDS is in charge of continuous data acquisition of the nitrogen and helium temperature signals, TDS security alarm and long-term data storage. It supports continuous data acquisition and pulse data acquisition. The data acquisition of the nitrogen temperature signals is based on the PXI technology while obtaining the helium temperature signals from Lake Shore model 224 temperature monitors with VISA standard. After data conversion, all the data will be stored in MySQL and MDSPlus for long-term storage. It should output TDS fault signal and status signal to trigger the safety interlock system to take actions after threshold evaluation of key temperature signals. It publishes part of real-time TDS data to the cryogenic system and provides an information inquiry service to the TDS administrator. The system has been used in 2018 EAST campaign.


title: Non-contact XUV metrology of Ru/B4C multilayer optics by means of Hartmann wavefront analysis

abstract: Short-wavelength imaging, spectroscopy, and lithography scale down the characteristic length-scale to nano meters. This poses tight constraints on the optics finishing tolerances, which is often difficult to characterize. Indeed, even a tiny surface defect degrades the reflectivity and spatial projection of such optics. In this study, we demonstrate experimentally that a Hartmann wavefront sensor for extreme ultraviolet (XUV) wavelengths is an effective non-contact analytical method for inspecting the surface of multilayer optics. The experiment was carried out in a tabletop laboratory using a high-order harmonic generation as an XUV source. The wavefront sensor was used to measure the wavefront errors after the reflection of the XUV beam on a spherical Ru/B4C multilayer mirror, scanning a large surface of approximately 40 mm in diameter. The results showed that the technique detects the aberrations in the nanometer range.


title: Electron acceleration by turbulent plasmoid reconnection

abstract: In space and astrophysical plasmas, like in planetary magnetospheres, as that of Mercury,energetic electrons are often found near current sheets (CSs), which hints at electron acceleration by magnetic reconnection. Unfortunately, electron acceleration by reconnection is not well understood, yet. In particular, acceleration by turbulent plasmoid reconnection. We have investigated electron acceleration by turbulent plasmoid reconnection, described by MHD simulations, via test particle calculations. In order to avoid resolving all relevant turbulence scales down to the dissipation scales, a mean-field turbulence model is used to describe the turbulence of sub-grid scales (SGS) and their effects via a turbulent electromotive force (EMF). The mean-field model describes the turbulent EMF as a function of the mean values of current density, vorticity, magnetic field as well as of the energy, cross-helicity and residual helicity of the turbulence. We found that, mainly around X-points of turbulent reconnection, strongly enhanced localized EMFs most efficiently accelerated electrons and caused the formation of power-law spectra. Magnetic-field-aligned EMFs, caused by the turbulence, dominate the electron acceleration process. Scaling the acceleration processes to parameters of the Hermean magnetotail, electron energies up to 60 keV can be reached by turbulent plasmoid reconnection through the thermal plasma.


title: Real time $g^{(2)}$ monitoring at 100 kHz

abstract: We introduce a technique to determine photon correlations of optical light fields in real time. The method is based on ultrafast phase-randomized homodyne detection and allows us to follow the temporal evolution of the second-order correlation function $g^{(2)}(0)$ of a light field. We demonstrate the capabilities of our approach by applying it to a laser diode operated in the threshold region. In particular, we are able to monitor the emission dynamics of the diode switching back and forth between lasing and spontaneous emission with a $g^{(2)}(0)$-sampling rate of 100 kHz.


title: FELIX: the New Detector Interface for the ATLAS Experiment

abstract: During the next major shutdown (2019-2020), the ATLAS experiment at the LHC will adopt the Front-End Link eXchange (FELIX) system as the interface between the data acquisition, detector control and TTC (Timing, Trigger and Control) systems and new or updated trigger and detector front-end electronics. FELIX will function as a router between custom serial links from front-end ASICs and FPGAs to data collection and processing components via a commodity switched network. Links may aggregate many slower links or be a single high bandwidth link. FELIX will also forward the LHC bunch-crossing clock, fixed latency trigger accepts and resets received from the TTC system to front-end electronics. The FELIX system uses commodity server technology in combination with FPGA-based PCIe I/O cards. The FELIX servers will run a software routing platform serving data to network clients. Commodity servers connected to FELIX systems via the same network will run the new Software Readout Driver (SW ROD) infrastructure for event fragment building and buffering, with support for detector or trigger specific data processing, and will serve the data upon request to the ATLAS High Level Trigger for Event Building and Selection. This paper will cover the design and status of FELIX, the SW ROD, results of early performance testing and integration tests with several ATLAS front-ends.


title: $\mu$TCA DAQ system and parallel reading in CANDLES experiment

abstract: A new $\mu$TCA DAQ system was introduced in CANDLES experiment with SpaceWire-to-GigabitEthernet (SpaceWire-GigabitEthernet) network for data readout and Flash Analog-to-Digital Converters (FADCs). With SpaceWire-GigabitEthernet, we can construct a flexible DAQ network with multi-path access to FADCs by using off-the-shelf computers. FADCs are equipped 8 event buffers, which act as de-randomizer to detect sequential decays from the background. SpaceWire-GigabitEthernet has high latency (about 100 $\mu$sec) due to long turnaround time, while GigabitEthernet has high throughput. To reduce dead-time, we developed the DAQ system with 4 "crate-parallel" (modules in crates are read in parallel) reading threads. As a result, the readout time is reduced by 4 times: 40 msec down to 10 msec. With improved performance, it is expected to achieve higher background suppression for CANDLES experiment. Moreover, for energy calibration, "event-parallel" reading process (events are read in parallel) is also introduced to reduce measurement time. With 2 "event-parallel" reading processes, the data rate is increased 2 times.


title: JUNO DAQ Readout and Event Building Research

abstract: The Jiangmen Underground Neutrino Observatory(JUNO) experiment will develop an internationally leading neutrino experimental station to measure the order of neutrino mass and carry out many other scientific frontier studies. The entire experimental system includes the detector system, the electronics system, and the data acquisition (DAQ) system. Data flow is the core of JUNO DAQ system. Readout system and Event Building (EB) system are two key aspects of data flow. Based on the requirements analysis of JUNO DAQ, this paper proposes a data flow schema of distributed network readout and second-level event building. Focusing on the performance requirements of JUNO DAQ, the performance of the readout and event building module, the number of readout processes deployed on each node, and integration performance of the two modules are studied. The results of the research provide a reference for further optimization of the JUNO DAQ data flow framework


title: A PXI-based Multi-channel Data Acquisition System for Fast Transient Pulses

abstract: In this paper, we design a PXI-based, multi-channel data-acquisition system (DAS) mainly applicable to recording one-shot fast transient pulses in nuclear physics experiments. The system consists of one NI PXIe-1085 chassis, containing a controller card and at most 16 data-acquisition (DAQ) cards. Every single DAQ card has a sampling rate of 1GS/s and a 12bit vertical resolution with the PXI interface and SFP+ transceiver for data transmission. When the system is put into operation near the pulsed radiation source, the SFP+ optical fiber channel enables a timely data transmission to a remote server. All of these cards in the chassis can be synchronized using PXI timing and triggering resources. Additionally, a simple DAS software is developed to display the pulsed signals captured and communicate with the host PC for remote control and data upload. After careful calibration, preliminary tests show that every DAQ channel achieves an analog bandwidth higher than 200MHz and an ENOB of more than 9 bits at a 1GS/s sampling rate. Owing to such high speed and resolution, the system may facilitate improvements in extracting maximum information from transient signals. Furthermore, with great scalability and high-speed data transmission, the system can be used for other nuclear physics experiments.


title: Trigger Merging Module for the J-PARC E16 Experiment

abstract: An experiment to measure an invariant mass of {\phi} mesons in nuclear medium is planned as the J-PARC E16 experiment. A trigger merging module (TRG-MRG) has been developed to detect leading-edges from 256 channels of discriminator-output signals and transmit those serialized hit data to trigger decision module with four optical links. The result of the test shows enough performance of the TRG-MRG as 1 ns TDC and data multiplexer with four 6.25 Gbps transceivers.


title: Two FPGA Case Studies Comparing High Level Synthesis and Manual HDL for HEP applications

abstract: Real time data acquisition systems in nuclear science often rely on high-speed logic designs to reach the fast data rate requirements. They are mostly coded in a hardware description language (HDL). However, in recent years, high level synthesis (HLS) compilers have appeared, with the notable advantage that they rely on the widespread C/C++ syntax. This paper's aim is to outline differences between HDL and C/C++ HLS based designs for two real-time data acquisition modules used in nuclear science. The first module is a real-time crystal identification module, and the second is a compact event timestamp sorting module. This evaluation was done by an experienced VHDL programmer with no prior HLS training. For the crystal identification module, both HDL and HLS versions have the same event processing interval, and the HLS implementation consumes twice as many lookup tables and flip flops as the HDL version. On the other hand, the HLS version took half the time to write and debug. For the sorter module, the HLS version requires about 3 to 4 times more logic resources, with a slightly longer processing interval. It was also completed in half the time compared to the original HDL code. While different compiler directives can still be explored to improve source code clarity, resource usage and timing closure in these designs, this trial shows that HLS is a compelling alternative to custom HDL implementations for real time systems in nuclear and plasma science.


title: Software-defined Radio Readout System for the ECHo Experiment

abstract: Metallic magnetic calorimeters (MMCs) are cryogenic detectors that offer an excellent energy resolution, a signal rise time of <100 ns, a high dynamic range and almost optimal linearity. MMCs are of high interest for many experiments. One of them, the ECHo experiment, requires the utilization of large MMC detector arrays. The readout of such MMC arrays is a challenging task, which can be tackled using software-defined radios (SDRs). Though SDR is a well-known approach in communications engineering, a dedicated implementation for frequency division multiplexed readout of MMCs is new and one of the technological key elements of the ECHo project. ECHo will be the first experiment to use microwave SQUID multiplexed MMC detectors and therefore pioneering the hardware, firmware and software development in this domain. This paper presents the detailed concepts and current status of the development.


title: Author-Based Analysis of Conference versus Journal Publication in Computer Science

abstract: Conference publications in computer science (CS) have attracted scholarly attention due to their unique status as a main research outlet unlike other science fields where journals are dominantly used for communicating research findings. One frequent research question has been how different conference and journal publications are, considering a paper as a unit of analysis. This study takes an author-based approach to analyze publishing patterns of 517,763 scholars who have ever published both in CS conferences and journals for the last 57 years, as recorded in DBLP. The analysis shows that the majority of CS scholars tend to make their scholarly debut, publish more papers, and collaborate with more coauthors in conferences than in journals. Importantly, conference papers seem to serve as a distinct channel of scholarly communication, not a mere preceding step to journal publications: coauthors and title words of authors across conferences and journals tend not to overlap much. This study corroborates findings of previous studies on this topic from a distinctive perspective and suggests that conference authorship in CS calls for more special attention from scholars and administrators outside CS who have focused on journal publications to mine authorship data and evaluate scholarly performance.


title: Readout Electronics for CEPC Semi-Digital Hadron Calorimeter Pre-prototype

abstract: CEPC (Circular Electron and Positron Collider) is a large experiment facility proposed by Chinese particle physics community. One of its running option is being the Higgs factory. Calorimeter is the main part of this experiment to measure the jet energy. Semi-digital hadron calorimeter (SDHCAL) is one of the options for the hadron measurement. GEM detector with its high position resolution and flexible configuration is one of the candidates for the active layer of the SDHCAL. The main purpose of this paper is to provide a feasible readout method for the GEM-based semi-digital hadron calorimeter. A small-scale prototype is designed and implemented, including front-end board (FEB) and data interface board (DIF). The prototype electronics has been tested. The equivalent RMS noise of all channels is below 0.35fC. The dynamic range is up to 500fC and the gain variation is less than 1%. The readout electronics is applied on a double-layer GEM detector with 1cm*1cm readout pad. Result indicates that the electronics works well with the detector. The detection efficiency of MIP is over 95% with 5fC threshold.


title: Configuration Redundancy for Enhanced Reliability in SRAM-based FPGAs

abstract: Digital off-detector electronics in trigger and data acquisition systems of High-Energy Physics experiments is often implemented by means of SRAM-based FPGAs, which make it possible to achieve reconfigurable, real-time processing and multi-gigabit serial data transfers. On-detector usage of such devices is mostly limited by their configuration sensitivity to radiation-induced upsets, which may alter the programmed routing paths and configurable elements. In this work, we show a new technique for enhancing the usage of SRAM-based FPGAs also for on-detector applications. We show a demonstrator of our solution on benchmark designs, including a triple modular redundant design and a serial link (without redundancy) running at 5 Gbps, implemented in a Xilinx Kintex-7 FPGA. We performed irradiation tests at Laboratori Nazionali del Sud (Catania, Italy) with a 62-MeV proton beam. The results show that our scrubbing technique made it possible to detect and correct all the radiation-induced upsets after a total fluence higher than $10^{12}cm^{-2}$. For both the redundant benchmark design and the serial link, the correct functionality was always restored after scrubbing the corrupted configuration bits and resetting the circuit.


title: Radiation-Tolerant, High-speed Serial Link Design with SRAM-based FPGAs

abstract: High-speed serial links implemented in SRAM-based FPGAs have been extensively used in the trigger and data acquisition systems of High Energy Physics experiments. Usually, their application has been restricted to off-detector, mostly due the sensitivity of SRAM-based FPGA to radiation faults (single event upsets). However, the device tolerance to radiation environments can be achieved by adopting dedicated mitigation techniques such as information redundancy, hardware redundancy and configuration scrubbing. In this work, we discuss the design of a bi-directional serial link running at 6.25 Gbps based on a Xilinx Kintex-7 FPGA. The link is protected against single event upsets by means of all the above-mentioned methods. A self-synchronizing scrambler is used for DC-balance and data randomization, while the subsequent Reed-Solomon encoder/decoder detects and corrects bursts of errors in the transmitted data. The error correction capability of the line code is further increased by adopting the interleaving technique. Besides, in order to completely take advantage of available bandwidth and to cope with different rates of radiation-induced faults, the link can modulate the protection level of the Reed-Solomon code. The reliability of the link is also improved by means of modular redundancy on the frame alignment block. Besides, on the same FPGA, a scrubber repairs corrupted configuration frames in real-time. We present the test results carried out using the fault injection method. We show the performance of the link in terms of mean time between failures (MTBF) and fault tolerance to upsets.


title: Multimodal Image Denoising based on Coupled Dictionary Learning

abstract: In this paper, we propose a new multimodal image denoising approach to attenuate white Gaussian additive noise in a given image modality under the aid of a guidance image modality. The proposed coupled image denoising approach consists of two stages: coupled sparse coding and reconstruction. The first stage performs joint sparse transform for multimodal images with respect to a group of learned coupled dictionaries, followed by a shrinkage operation on the sparse representations. Then, in the second stage, the shrunken representations, together with coupled dictionaries, contribute to the reconstruction of the denoised image via an inverse transform. The proposed denoising scheme demonstrates the capability to capture both the common and distinct features of different data modalities. This capability makes our approach more robust to inconsistencies between the guidance and the target images, thereby overcoming drawbacks such as the texture copying artifacts. Experiments on real multimodal images demonstrate that the proposed approach is able to better employ guidance information to bring notable benefits in the image denoising task with respect to the state-of-the-art.


title: Polar waves and chaotic flows in thin rotating spherical shells

abstract: Convection in rotating spherical geometries is an important physical process in planetary and stellar systems. Using continuation methods at low Prandtl number, we find both strong equatorially asymmetric and symmetric polar nonlinear rotating waves in a model of thermal convection in thin rotating spherical shells with stress-free boundary conditions. For the symmetric waves convection is confined to high latitude in both hemispheres but is only restricted to one hemisphere close to the pole in the case of asymmetric waves. This is in contrast to what is previously known from studies in the field. These periodic flows, in which the pattern is rotating steadily in the azimuthal direction, develop a strong axisymmetric component very close to onset. Using stability analysis of periodic orbits the regions of stability are determined and the topology of the stable/unstable oscillatory flows bifurcated from the branches of rotating waves is described. By means of direct numerical simulations of these oscillatory chaotic flows, we show that these three-dimensional convective polar flows exhibit characteristics, such as force balance or mean physical properties, which are similar to flows occuring in planetary atmospheres. We show that these results may open a route to understanding unexplained features of gas giant atmospheres, in particular for the case of Jupiter. These include the observed equatorial asymmetry with a pronounced decrease at the equator (the so-called dimple), and the coherent vortices surrounding the poles recently observed by the Juno mission.

categories: astro-ph.SR astro-ph.EP astro-ph.HE nlin.PS physics.flu-dyn


title: Experimental realization of on-chip topological nanoelectromechanical metamaterials

abstract: Topological mechanical metamaterials translate condensed matter phenomena, like non-reciprocity and robustness to defects, into classical platforms. At small scales, topological nanoelectromechanical metamaterials (NEMM) can enable the realization of on-chip acoustic components, like unidirectional waveguides and compact delay-lines for mobile devices. Here, we report the experimental realization of NEMM phononic topological insulators, consisting of two-dimensional arrays of free-standing silicon nitride (SiN) nanomembranes that operate at high frequencies (10-20 MHz). We experimentally demonstrate the presence of edge states, by characterizing their localization and Dirac cone-like frequency dispersion. Our topological waveguides also exhibit robustness to waveguide distortions and pseudospin-dependent transport. The suggested devices open wide opportunities to develop functional acoustic systems for high-frequency signal processing applications.


title: Dynamic texture analysis with diffusion in networks

abstract: Dynamic texture is a field of research that has gained considerable interest from computer vision community due to the explosive growth of multimedia databases. In addition, dynamic texture is present in a wide range of videos, which makes it very important in expert systems based on videos such as medical systems, traffic monitoring systems, forest fire detection system, among others. In this paper, a new method for dynamic texture characterization based on diffusion in directed networks is proposed. The dynamic texture is modeled as a directed network. The method consists in the analysis of the dynamic of this network after a series of graph cut transformations based on the edge weights. For each network transformation, the activity for each vertex is estimated. The activity is the relative frequency that one vertex is visited by random walks in balance. Then, texture descriptor is constructed by concatenating the activity histograms. The main contributions of this paper are the use of directed network modeling and diffusion in network to dynamic texture characterization. These tend to provide better performance in dynamic textures classification. Experiments with rotation and interference of the motion pattern were conducted in order to demonstrate the robustness of the method. The proposed approach is compared to other dynamic texture methods on two very well know dynamic texture database and on traffic condition classification, and outperform in most of the cases.


title: Molecular Realization of a Quantum NAND Tree

abstract: The negative-AND (NAND) gate is universal for classical computation making it an important target for development. A seminal quantum computing algorithm by Farhi, Goldstone and Gutmann has demonstrated its realization by means of quantum scattering yielding a quantum algorithm that evaluates the output faster than any classical algorithm. Here, we derive the NAND outputs analytically from scattering theory using a tight-binding (TB) model and show the restrictions on the TB parameters in order to still maintain the NAND gate function. We map the quantum NAND tree onto a conjugated molecular system, and compare the NAND output with non-equilibrium Green's function (NEGF) transport calculations using density functional theory (DFT) and TB Hamiltonians for the electronic structure. Further, we extend our molecular platform to show other classical gates that can be realized for quantum computing by scattering on graphs.


title: Stellar abundance of binary stars: their role in determining the formation location of super-Earths and ice giants

abstract: Binary stars form from the same parent molecular cloud and thus have the same chemical composition. Forming planets take building material (solids) away from the surrounding protoplanetary disc. Assuming that the disc's accretion onto the star is the main process that clears the disc, the atmosphere of the star will show abundance reductions caused by the material accreted by the forming planet(s). If planets are only forming around one star of a binary system, the planet formation process can result in abundance differences in wide binary stars, if their natal protoplanetary discs do not interact during planet formation. Abundance differences in the atmospheres of wide binaries hosting giant planets have already been observed and linked to the formation location of giant planets. Here, we model how much building material is taken away for super-Earth planets that form inside/outside of the water ice line as well as ice giants forming inside/outside of the CO ice line. Our model predicts a significant abundance difference $\Delta$[X/H] in the stellar atmospheres of the planet-hosting binary component. Our model predicts that super-Earths that form inside the water ice line ($r<r_{\rm H_2O}$) will result in an $\Delta$[Fe/H]/$\Delta$[O/H] abundance difference in the their host star that is a factor of 2 larger than for super-Earths formed outside the water ice line ($r>r_{\rm H_2O}$) in the water rich parts of the disc. Additionally, our model shows that the $\Delta$[Fe/H]/$\Delta$[C/H] abundance difference in the host star is at least a factor of 3 larger for ice giants formed at $r<r_{\rm CO}$ compared to ice giants formed far out in the protoplanetary disc ($r>r_{\rm CO}$). Future observations of wide binary star systems hosting super-Earths and ice giants could therefore help to constrain the migration pathway of these planets and thus constrain planet formation theories.


title: Price-Based Market Clearing with V2G Integration Using Generalized Benders Decomposition

abstract: Currently, most ISOs adopt offer cost minimization (OCM) auction mechanism which minimizes the total offer cost, and then, a settlement rule based on either locational marginal prices (LMPs) or market clearing price (MCP) is used to determine the payments to the committed units, which is not compatible with the auction mechanism because the minimized cost is different from the payment cost calculated by the settlement rule. This inconsistency can drastically increase the payment cost. On the other hand, payment cost minimization (PCM) auction mechanism eliminates this inconsistency; however, PCM problem is a nonlinear self-referring NP-hard problem which poses grand computational burden. In this paper, a mixed-integer nonlinear programing (MINLP) formulation of PCM problem are presented to address additional complexity of fast-growing penetration of Vehicle-to-Grid (V2G) in the price-based market clearing problem, and a solution method based on the generalized benders decomposition (GBD) is then proposed to solve the V2G-integrated PCM problem, and its favorable performance in terms of convergence and computational efficiency is demonstrated using case studies. The proposed GBD-based method can handle scaled-up models with the increased number of decision variables and constraints which facilitates the use of PCM mechanism in the market clearing of large-scale power systems. The impact of using V2G technologies on the OCM and PCM mechanisms in terms of MCPs and payments is also investigated, and by using numerical results, the performances of these two mechanisms are compared.


title: Linear Seesaw for Dirac Neutrinos with $A_4$ Flavour Symmetry

abstract: We propose a linear seesaw model to realise light Dirac neutrinos within the framework of $A_4$ discrete flavour symmetry. The additional fields and their transformations under the flavour symmetries are chosen in such a way that naturally predicts the hierarchies of different elements of the seesaw mass matrix and also keeps the unwanted terms away. For generic choices of flavon alignments, the model predicts normal hierarchical light neutrino masses with the atmospheric mixing angle in the lower octant. Apart from predicting interesting correlations between different neutrino parameters as well as between neutrino and model parameters, the model also predicts the leptonic Dirac CP phase to lie in a specific range $-\pi/2\lesssim \delta \lesssim -\pi/5$ and $\pi/5\lesssim \delta \lesssim \pi/2$ that includes the currently preferred maximal value. The predictions for the absolute neutrino masses in one specific version of the model can also saturate the cosmological upper bound on sum of absolute neutrino masses.


title: The existence of a giant cluster for percolation on large Crump-Mode-Jagers trees

abstract: In this paper, we consider random trees associated with the genealogy of Crump-Mode-Jagers processes and perform Bernoulli bond-percolation whose parameter depends on the size of the tree. Our purpose is to show the existence of a giant percolation cluster for appropriate regimes as the size grows. We stress that the family trees of Crump-Mode-Jagers processes include random recursive trees, preferential attachment trees, binary search trees for which this question has been answered by Bertoin, as well as (more general) m-ary search trees, fragmentation trees, median-of-(2l+1) binary search trees, to name a few, where up to our knowledge percolation has not been studied yet.


title: Debris disks with multiple absorption features in metallic lines: circumstellar or interstellar origin?

abstract: Debris disks are second generation dusty disks thought to be devoid of gas. However, this idea has been challenged in the last years by gas detections in some systems. We compiled a database of 301 debris disks and collected high--resolution optical spectra for $\sim77\%$ of them. From the analysis of these data we identified a group of 23 debris disks presenting several absorption features superimposed to the photospheric Ca II and Na I doublets. These absorptions could be due to circumstellar material or interstellar clouds. In order to discriminate between the two scenarios, we characterized each feature in terms of its radial velocity, equivalent width and column density. Additionally, we searched in the literature for local clouds in the line of sight of the stars, and looked for the presence of similar absorption features in nearby stars. Our study concludes that while all the objects present interstellar absorptions in their spectra, three objects show features more compatible with circumstellar origin: HD 110058 presents a stable circumstellar absorption, while HR 4796 and c Aql present variable absorption features likely due to exocometary activity. The minute-scale variability we detect towards c Aql is the shortest of this kind detected so far. The detection of circumstellar features in these objects is consistent with their near edge-on inclinations. We also provide evidence challenging previous claims of circumstellar gas detections for HR 6507. Given the properties of the sample, we speculate that transient gaseous events must be a common phenomenon among debris disks.


title: On the model of the circumgalactic mist: the implications of cloud sizes in galactic winds and halos

abstract: Ubiquitous detections of cold/warm gas around galaxies indicate that the circumgalactic medium (CGM) is multiphase and dynamic. Recent state-of-the-art cosmological galaxy simulations have generally underproduced the column density of cold halo gas. We argue that this may be due to a mismatch of spatial resolution in the circumgalactic space and the relevant physical scales at which the cold gas operates. Using semi-analytic calculations and a set of magnetohydrodynamic (MHD) simulations, we present a multiphase model of the gaseous halos around galaxies, the circumgalactic mist (CGm). The CGm model is based on the idea that the observed cold halo gas may be a composite of cold, dense and small cloudlets embedded in a hot diffuse halo, resembling terrestrial clouds and mist. We show that the resulting cold gas from thermal instabilities conforms to a characteristic column density of $N_{\rm H}\approx 10^{17}\rm{cm^{-2}}$ as predicted by the $c_s t_{\rm cool}$ ansatz. The model implies a large number of cold clumps in the inner galactic halo with a small volume filling factor but large covering fraction. The model also naturally gives rise to spatial extents and differential covering fractions of cold, warm and hot gas. To self-consistently model the co-evolution of the CGM and star formation within galaxies, future simulations must address the mismatch of the spatial resolution and characteristic scale of cold gas.


title: Measurements of the lower critical field of superconductors using NV centers in diamond optical magnetometry

abstract: The lower critical magnetic field, $H_{c1}$, of superconductors is measured by using ensembles of NV-centers-in-diamond optical magnetometry. The technique is minimally invasive, and has sub-gauss field sensitivity and sub-$\mu$m spatial resolution, which allow for accurate detection of the vector field at which the vortices start penetrating the sample from the corners. Aided by the revised calculations of the effective demagnetization factors of actual cuboid - shaped samples, $H_{c1}$ and the London penetration depth, $\lambda$, derived from $H_{c1}$ can be obtained. We apply this method to three well-studied superconductors: optimally doped Ba(Fe$_{1-x}$Co$_{x}$)$_2$As$_2$, stoichiometric CaKFe$_4$As$_4$, and high-$T_c$ cuprate YBa$_2$Cu$_3$O$_{7-\delta}$. Our results are well compared with the values of $\lambda$ obtained using other techniques, thus adding another non-destructive and sensitive method to measure these important parameters of superconductors.


title: Effect of Metal Doping on the Visible Light Absorption, Electronic Structure and Mechanical Properties of Toxic-Free CsGeCl3 Metal Halide

abstract: Toxic-free metal halide perovskites have become forefront for commercialization of the perovskite solar cells and optoelectronic devices. In the present study, for the first time we show that particular metal doping in CsGeCl3 halide can considerably enhance the absorbance both in the visible and ultraviolet light energy range. By using DFT based first principles method Mn and Ni is doped at the Ge-site of CsGeCl3 halide. We investigate the detailed structural, optical, electronic and mechanical properties of all the doped compositions theoretically. The study of optical properties exhibits that the absorption edge of both Ni and Mn-doped CsGeCl3 is shifted toward the low energy region (red shift) relative to the pristine one. An additional peak is observed for both doped profile in the visible light energy region. The study of mechanical properties ensures that both the doped samples are mechanically stable and ductile as the pristine CsGeCl3. The study of electronic properties shows that the excitation of photoelectrons is easier due to the formation of intermediate states in Mn-doped CsGeCl3. As a result Mn-doped CsGeCl3 exhibits higher absorptivity in the visible region than the Ni-doped counterpart. A combinational analysis suggests that CsGe1-xMnxCl3 is the best lead free candidate among the inorganic prsovskite materials for solar cell and optoelectronic applications.


title: Hyperspaces of continua with connected boundaries in $\pi$-Euclidean Peano continua

abstract: Let $X$ be a nondegenerate Peano unicoherent continuum. The family $CB(X)$ of proper subcontinua of $X$ with connected boundaries is a $G_\delta$-subset of the hyperspace $C(X)$ of all subcontinua of $X$. If every nonempty open subset of $X$ contains an open subset homeomorphic to $\mathbb R^n$ (such space is called $\pi$-$n$-Euclidean) and $2\le n<\infty$, then $C(X)\setminus CB(X)$ is recognized as an $F_\sigma$-absorber in $C(X)$; if additionally, no one-dimensional subset separates $X$, then the family of all members of $CB(X)$ which separate $X$ is a $D_2(F_\sigma)$-absorber in $C(X)$, where $D_2(F_\sigma)$ denotes the small Borel class of differences of two $\sigma$-compacta.


title: ActiveRemediation: The Search for Lead Pipes in Flint, Michigan

abstract: We detail our ongoing work in Flint, Michigan to detect pipes made of lead and other hazardous metals. After elevated levels of lead were detected in residents' drinking water, followed by an increase in blood lead levels in area children, the state and federal governments directed over $125 million to replace water service lines, the pipes connecting each home to the water system. In the absence of accurate records, and with the high cost of determining buried pipe materials, we put forth a number of predictive and procedural tools to aid in the search and removal of lead infrastructure. Alongside these statistical and machine learning approaches, we describe our interactions with government officials in recommending homes for both inspection and replacement, with a focus on the statistical model that adapts to incoming information. Finally, in light of discussions about increased spending on infrastructure development by the federal government, we explore how our approach generalizes beyond Flint to other municipalities nationwide.


title: Banach spaces where convex combinations of relatively weakly open subsets of the unit ball are relatively weakly open

abstract: We introduce and study Banach spaces which have property CWO, i.e., every finite convex combination of relatively weakly open subsets of their unit ball is open in the relative weak topology of the unit ball. Stability results of such spaces are established, and we introduce and discuss a geometric condition---property (co)---on a Banach space. Property (co) essentially says that the operation of taking convex combinations of elements of the unit ball is, in a sense, an open map. We show that if a finite dimensional Banach space $X$ has property (co), then for any scattered locally compact Hausdorff space $K$, the space $C_0(K,X)$ of continuous $X$-valued functions vanishing at infinity has property CWO. Several Banach spaces are proved to possess this geometric property; among others: 2-dimensional real spaces, finite dimensional strictly convex spaces, finite dimensional polyhedral spaces, and the complex space $\ell_1^n$. In contrast to this, we provide an example of a $3$-dimensional real Banach space $X$ for which $C_0(K,X)$ fails to have property CWO. We also show that $c_0$-sums of finite dimensional Banach spaces with property (co) have property CWO. In particular, this provides examples of such spaces outside the class of $C_0(K,X)$-spaces.


title: Imaging individual barium atoms in solid xenon for barium tagging in nEXO

abstract: The search for neutrinoless double beta decay probes the fundamental properties of neutrinos, including whether or not the neutrino and antineutrino are distinct. Double beta detectors are large and expensive, so background reduction is essential for extracting the highest sensitivity. The identification, or 'tagging', of the $^{136}$Ba daughter atom from double beta decay of $^{136}$Xe provides a technique for eliminating backgrounds in the nEXO neutrinoless double beta decay experiment. The tagging scheme studied in this work utilizes a cryogenic probe to trap the barium atom in solid xenon, where the barium atom is tagged via fluorescence imaging in the solid xenon matrix. Here we demonstrate imaging and counting of individual atoms of barium in solid xenon by scanning a focused laser across a solid xenon matrix deposited on a sapphire window. When the laser sits on an individual atom, the fluorescence persists for $\sim$30~s before dropping abruptly to the background level, a clear confirmation of one-atom imaging. No barium fluorescence persists following evaporation of a barium deposit to a limit of $\leq$0.16\%. This is the first time that single atoms have been imaged in solid noble element. It establishes the basic principle of a barium tagging technique for nEXO.


title: Interpolating splines on graphs for data science applications

abstract: We introduce intrinsic interpolatory bases for data structured on graphs and derive properties of those bases. Polyharmonic Lagrange functions are shown to satisfy exponential decay away from their centers. The decay depends on the density of the zeros of the Lagrange function, showing that they scale with the density of the data. These results indicate that Lagrange-type bases are ideal building blocks for analyzing data on graphs, and we illustrate their use in kernel-based machine learning applications.


title: A Hybrid Framework for Tumor Saliency Estimation

abstract: Automatic tumor segmentation of breast ultrasound (BUS) image is quite challenging due to the complicated anatomic structure of breast and poor image quality. Most tumor segmentation approaches achieve good performance on BUS images collected in controlled settings; however, the performance degrades greatly with BUS images from different sources. Tumor saliency estimation (TSE) has attracted increasing attention to solving the problem by modeling radiologists' attention mechanism. In this paper, we propose a novel hybrid framework for TSE, which integrates both high-level domain-knowledge and robust low-level saliency assumptions and can overcome drawbacks caused by direct mapping in traditional TSE approaches. The new framework integrated the Neutro-Connectedness (NC) map, the adaptive-center, the correlation and the layer structure-based weighted map. The experimental results demonstrate that the proposed approach outperforms state-of-the-art TSE methods.


title: A new Integer Linear Program for the Steiner Tree Problem with Revenues, Budget and Hop Constraints

abstract: The Steiner tree problem with revenues, budgets and hop constraints (STPRBH) is a variant of the classical Steiner tree problem. This problem asks for a subtree in a given graph with maximum revenues corresponding to its nodes, where its total edge costs respect the given budget, and the number of edges between each node and its root does not exceed the hop limit. We introduce a new binary linear program with polynomial size based on partial-ordering, which (up to our knowledge) for the first time solves all STPRBH instances from the DIMACS benchmark set to optimality. The set contains graphs with up to 500 nodes and 12500 edges.


title: A comparative study of artificial intelligence and human doctors for the purpose of triage and diagnosis

abstract: Online symptom checkers have significant potential to improve patient care, however their reliability and accuracy remain variable. We hypothesised that an artificial intelligence (AI) powered triage and diagnostic system would compare favourably with human doctors with respect to triage and diagnostic accuracy. We performed a prospective validation study of the accuracy and safety of an AI powered triage and diagnostic system. Identical cases were evaluated by both an AI system and human doctors. Differential diagnoses and triage outcomes were evaluated by an independent judge, who was blinded from knowing the source (AI system or human doctor) of the outcomes. Independently of these cases, vignettes from publicly available resources were also assessed to provide a benchmark to previous studies and the diagnostic component of the MRCGP exam. Overall we found that the Babylon AI powered Triage and Diagnostic System was able to identify the condition modelled by a clinical vignette with accuracy comparable to human doctors (in terms of precision and recall). In addition, we found that the triage advice recommended by the AI System was, on average, safer than that of human doctors, when compared to the ranges of acceptable triage provided by independent expert judges, with only a minimal reduction in appropriateness.


title: The pigeonhole principle is not violated by quantum mechanics

abstract: Bell's theorem has long been considered to establish local realism as the fundamental principle that contradicts quantum mechanics. It is therefore surprising that the quantum pigeonhole effect points to the pigeonhole principle as yet another source of contradiction [Aharonov et al., Proc. Natl. Acad. Sci. USA, 113, 532-535 (2016)]. Here we construct two new forms of Bell's inequality with the pigeonhole principle, then reconstruct Aharonov et al.'s weak measurement on a bipartite system. We show that in both cases it is counterfactual reasoning by the assumption of realism rather than the pigeonhole principle being violated by quantum mechanics. We further show that the quantum pigeonhole effect is in fact a new version of Bell's theorem without inequality. With the pigeonhole principle as the same conduit, a comparison between two versions of Bell's theorem becomes straightforward as it only relies on the orthonormality of the Bell states.


title: Quasi-symmetric functions and the Chow ring of the stack of expanded pairs

abstract: We show that the Hopf algebra of quasi-symmetric functions arises naturally as the integral Chow ring of the algebraic stack of expanded pairs originally described by J. Li, using a more combinatorial description in terms of configurations of line bundles. In particular, we exhibit a gluing map which gives rise to the comultiplication. We then apply the result to calculate the Chow rings of certain stacks of semistable curves.


title: Empirical Risk Minimization and Stochastic Gradient Descent for Relational Data

abstract: Empirical risk minimization is the main tool for prediction problems, but its extension to relational data remains unsolved. We solve this problem using recent ideas from graph sampling theory to (i) define an empirical risk for relational data and (ii) obtain stochastic gradients for this empirical risk that are automatically unbiased. This is achieved by considering the method by which data is sampled from a graph as an explicit component of model design. By integrating fast implementations of graph sampling schemes with standard automatic differentiation tools, we provide an efficient turnkey solver for the risk minimization problem. We establish basic theoretical properties of the procedure. Finally, we demonstrate relational ERM with application to two non-standard problems: one-stage training for semi-supervised node classification, and learning embedding vectors for vertex attributes. Experiments confirm that the turnkey inference procedure is effective in practice, and that the sampling scheme used for model specification has a strong effect on model performance. Code is available at https://github.com/wooden-spoon/relational-ERM.


title: Neutral-naturalness from a holographic SO(6)/SO(5) composite Higgs model

abstract: We study a holographic realisation of a composite Higgs model with an SO(6)/SO(5) symmetry breaking coset in which the top sector includes colour-neutral twin-partners that reduce the sensitivity of the Higgs mass to the cut-off. Key to this neutral-naturalness mechanism is a Z2 symmetry that leaves the Yukawa couplings to the Higgs boson invariant under an exchange of the top quark and twin top quark, but the symmetry structure of the model means that the Z2 symmetry is not present in the gauge boson couplings to the Higgs. Within the calculable framework of holography we construct and study the Higgs potential. We examine the relation between the Higgs mass, top-partner spectra, and the input parameters, finding that the presence of the twin-partners pushes the masses of the lightest coloured top-partners up to approximately 1500 GeV while the decay constant remains at approximately 700 GeV. Interestingly, no additional Z2 breaking terms are required to reproduce the observed masses of the electroweak gauge bosons, Higgs boson, and top quark.


title: Remarks on the Debye Length and the Topological Susceptibilty in Non-Abelian Gauge Theory

abstract: We study the Debye mass, $m_D$, and the topological susceptibility, $\chi$, at high temperatures in non-abelian gauge theory. Both exhibit, at some order in the perturbation expansion, infrared sensitivity. As a result, a perturbative analysis can at best provide an estimate of these quantities, subject to some uncertainty. The size of these uncertainties, particularly in the case of $\chi$, has been the subject of some debate. For the perturbative free energy, reframing an analysis of Braaten and Pisarski, the estimate and the associated error, can be understood in terms of a {\it Wilsonian} effective action for the low energy effective three dimensional theory. This action can be obtained completely from a perturbative calculation, which terminates at a finite order. This action provides the desired estimate. The size of the error follows from dimensional analysis in the low energy theory. The Debye length computation and its error can be obtained from a similar study of a non-relativistic effective theory for an adjoint scalar in three dimensions. $\chi$ requires a four dimensional analysis involving finite temperature instantons, but again the dominant sources of uncertainty are three dimensional, and we provide a procedure to estimate and an associated error. This uncertainty is of order $g^4 $ relative to the leading semiclassical result, and in situations of interest is small.


title: Commuting operators over Pontryagin spaces with applications to system theory

abstract: In this paper we extend vessel theory, or equivalently, the theory of overdetermined $2D$ systems to the Pontryagin space setting. We focus on realization theorems of the various characteristic functions associated to such vessels. In particular, we develop an indefinite version of de Branges-Rovnyak theory over real compact Riemann surfaces. To do so, we use the theory of contractions in Pontryagin spaces and the theory of analytic kernels with a finite number of negative squares. Finally, we utilize the indefinite de Branges-Rovnyak theory on compact Riemann surfaces in order to prove a Beurling type theorem on indefinite Hardy spaces on finite bordered Riemann surfaces.


title: Numerical Simulation of 2.5-Set of Iterated Stratonovich Stochastic Integrals of Multiplicities 1 to 5 From the Taylor-Stratonovich Expansion

abstract: The article is devoted to construction of effective procedures of the mean-square approximation for iterated Stratonovich stochastic integrals of multiplicities 1 to 5. We apply the method of generalized multiple Fourier series for approximation of iterated stochastic integrals. More precisely, we use multiple Fourier-Legendre series converging in the sense of norm in Hilbert space $L_2([t,T]^k),$ $k\in\mathbb{N}.$ Considered iterated Stratonovich stochastic integrals are part of the Taylor-Stratonovich expansion. That is why the results of the article can be applied to implementation of numerical methods with the orders 1.0, 1.5, 2.0 and 2.5 of strong convergence for Ito stochastic differential equations with multidimensional non-commutative noise.


title: Global jump filters and quasi-likelihood analysis for volatility

abstract: We propose a new estimation scheme for estimation of the volatility parameters of a semimartingale with jumps based on a jump-detection filter. Our filter uses all of data to analyze the relative size of increments and to discriminate jumps more precisely. We construct quasi-maximum likelihood estimators and quasi-Bayesian estimators, and show limit theorems for them including $L^p$-estimates of the error and asymptotic mixed normality based on the framework of the quasi-likelihood analysis. The global jump filters do not need a restrictive condition for the distribution of the small jumps. By numerical simulation we show that our "global" method obtains better estimates of the volatility parameter than the previous "local" methods.


title: Gradient Similarity: An Explainable Approach to Detect Adversarial Attacks against Deep Learning

abstract: Deep neural networks are susceptible to small-but-specific adversarial perturbations capable of deceiving the network. This vulnerability can lead to potentially harmful consequences in security-critical applications. To address this vulnerability, we propose a novel metric called \emph{Gradient Similarity} that allows us to capture the influence of training data on test inputs. We show that \emph{Gradient Similarity} behaves differently for normal and adversarial inputs, and enables us to detect a variety of adversarial attacks with a near perfect ROC-AUC of 95-100\%. Even white-box adversaries equipped with perfect knowledge of the system cannot bypass our detector easily. On the MNIST dataset, white-box attacks are either detected with a high ROC-AUC of 87-96\%, or require very high distortion to bypass our detector.


title: Einstein-AdS action, renormalized volume/area and holographic Renyi entropies

abstract: We exhibit the equivalence between the renormalized volume of asymptotically anti-de Sitter (AAdS) Einstein manifolds in four and six dimensions, and their renormalized Euclidean bulk gravity actions. The action is that of Einstein gravity, where the renormalization is achieved through the addition of a single topological term. We generalize this equivalence, proposing an explicit form for the renormalized volume of higher even-dimensional AAdS Einstein manifolds. We also show that evaluating the renormalized bulk gravity action on the conically singular manifold of the replica trick results in an action principle that corresponds to the renormalized volume of the regular part of the bulk, plus the renormalized area of a codimension-2 cosmic brane whose tension is related to the replica index. Renormalized Renyi entropy of odd-dimensional holographic CFTs can thus be obtained from the renormalized area of the brane with finite tension, including the effects of its backreaction on the bulk geometry. The area computation corresponds to an extremization problem for an enclosing surface that extends to the AdS boundary,where the newly defined renormalized volume is considered.


title: Numerical inverse scattering for the sine-Gordon equation

abstract: We implement the numerical inverse scattering transform (NIST) for the sine-Gordon equation in laboratory coordinates on the real line using the method developed by Trogdon, Olver and Deconinck. The NIST allows one to compute the solution at any x and t without having spatial discretization or time-stepping. The numerical implementation is fully spectrally accurate. With the help of the method of nonlinear steepest descent, the NIST is demonstrated to be uniformly accurate.


title: A novel approach to the quantum Buneman instability

abstract: Consider a non collisional quantum plasma, where electrons stream with a velocity u0 relative to the ions, which are assumed to be initially at rest due to their mass. A quantum dispersion relation is obtained having considered the Bohm interpretation of Quantum Mechanics by means of Quantum Magnetohydrodynamics. This quantum dispersion relation contains the classical non dimensional parameter Kappa and the quantum non dimensional parameter H. A quartic equation ( Aw 4+Bw 3+Cw 2+Dw+E =0, where w is the normalized frequency ) is obtained from the quantum dispersion relation. So the novel approach to the quantum Buneman instability consists in having solved for the first time this quartic equation in order to obtain the instability intervals. My next paper will show how the values of kappa and H can be replaced by the initial velocity u0 in the quantum instability intervals obtained in this paper.


title: Free group algebras in division rings with valuation I

abstract: Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a certain set of generators in the induced graded ring $grad(R)$ implies the existence of free group algebras in $R$. Our best results are obtained for division rings endowed with a valuation.


title: D-branes in $\lambda$-deformations

abstract: We show that the geometric interpretation of D-branes in WZW models as twisted conjugacy classes persists in the $\lambda$--deformed theory. We obtain such configurations by demanding that a monodromy matrix constructed from the Lax connection of the $\lambda$--deformed theory continues to produce conserved charges in the presence of boundaries. In this way the D-brane configurations obtained correspond to `integrable' boundary configurations. We illustrate this with examples based on $SU(2)$ and $SL(2,\mathbb{R})$, and comment on the relation of these D-branes to both non-Abelian T-duality and Poisson-Lie T-duality. We show that the D2 supported by D0 charge in the $\lambda$--deformed theory map, under analytic continuation together with Poisson-Lie T-duality, to D3 branes in the $\eta$-deformation of the principal chiral model.


title: $T\bar{T}$ type deformation in the presence of a boundary

abstract: We continue the study of a recently proposed solvable irrelevant deformation of an AdS$_3$/CFT$_2$ correspondence that leads in the UV to a theory with Hagedorn spectrum. This can be thought of as a single trace analog of the $T\bar{T}$-deformation of the dual CFT$_2$. Here we focus on the deformed worldsheet theory in presence of a conformal boundary. First, we compute the expectation value of a bulk primary operator on the disc geometry. We give a closed expression for such observable, from which we obtain the anomalous conformal dimension induced by the deformation. We compare the result with that coming from the computation of the 2-point correlation function on the sphere, finding exact agreement. We perform the computation using different techniques and making a comparative analysis of different regularization schemes to solve the logarithmically divergent integrals. This enables us to perform further consistency checks of our result by computing other observables of the deformed theory: We compute both the bulk-boundary 2-point and the boundary-boundary 2-point functions and are able to reproduce the anomalous dimensions of both boundary and bulk operators.


title: A Topological Regularizer for Classifiers via Persistent Homology

abstract: Regularization plays a crucial role in supervised learning. Most existing methods enforce a global regularization in a structure agnostic manner. In this paper, we initiate a new direction and propose to enforce the structural simplicity of the classification boundary by regularizing over its topological complexity. In particular, our measurement of topological complexity incorporates the importance of topological features (e.g., connected components, handles, and so on) in a meaningful manner, and provides a direct control over spurious topological structures. We incorporate the new measurement as a topological penalty in training classifiers. We also pro- pose an efficient algorithm to compute the gradient of such penalty. Our method pro- vides a novel way to topologically simplify the global structure of the model, without having to sacrifice too much of the flexibility of the model. We demonstrate the effectiveness of our new topological regularizer on a range of synthetic and real-world datasets.


title: Bifurcations of finite-time stable limit cycles from focus boundary equilibria in impacting systems, Filippov systems and sweeping processes

abstract: We establish a theorem on bifurcation of limit cycles from a focus boundary equilibrium of an impacting system, which is universally applicable to prove bifurcation of limit cycles from focus boundary equilibria in other types of piecewise-smooth systems, such as Filippov systems and sweeping processes. Specifically, we assume that one of the subsystems of the piecewise-smooth system under consideration admits a focus equilibrium that lie on the switching manifold at the bifurcation value of the parameter. In each of the three cases, we derive a linearized system which is capable to conclude about the occurrence of a finite-time stable limit cycle from the above-mentioned focus equilibrium when the parameter crosses the bifurcation value. Examples illustrate how conditions of our theorems lead to closed-form formulas for the coefficients of the linearized system.


title: Performance and Programming Effort Trade-offs of Android Persistence Frameworks

abstract: A fundamental building block of a mobile application is the ability to persist program data between different invocations. Referred to as \emph{persistence}, this functionality is commonly implemented by means of persistence frameworks. Without a clear understanding of the energy consumption, execution time, and programming effort of popular Android persistence frameworks, mobile developers lack guidelines for selecting frameworks for their applications. To bridge this knowledge gap, we report on the results of a systematic study of the performance and programming effort trade-offs of eight Android persistence frameworks, and provide practical recommendations for mobile application developers.


title: Topological Phase Transition in Quantum Heat Engine Cycles

abstract: We explore signatures of a topological phase transition (TPT) in the work and efficiency of a quantum heat engine, which uses a single layer topological insulator, stanene, in an external electric field as a working substance. The magnitude of the electric field controls the trivial and topological insulator phases of the stanene. We investigate the effects of TPT in two types of thermodynamic cycles, with and without adiabatic stages. For the adiabatic case, we examine a quantum Otto cycle. We find that at the critical point of TPT both work and efficiency plots with respect to the strength of the electric field exhibit a kink. For a non-adiabatic case, we consider an idealized Stirling type cycle with two isothermal and two isoelectric processes. We find no signatures of the TPT unless a voltage bias is introduced to restrict the involved energy bands to the electronic manifold above the Fermi level. In this case, either above or below the critical point, both work and efficiency become zero depending on the relative magnitudes of the electric fields in the isoelectric stages.


title: A Fourth-Order Adaptive Mesh Refinement Algorithm for the Multicomponent, Reacting Compressible Navier-Stokes Equations

abstract: In this paper we present a fourth-order in space and time block-structured adaptive mesh refinement algorithm for the compressible multicomponent reacting Navier-Stokes equations. The algorithm uses a finite volume approach that incorporates a fourth-order discretization of the convective terms. The time stepping algorithm is based on a multi-level spectral deferred corrections method that enables explicit treatment of advection and diffusion coupled with an implicit treatment of reactions. The temporal scheme is embedded in a block-structured adaptive mesh refinement algorithm that includes subcycling in time with spectral deferred correction sweeps applied on levels. Here we present the details of the multi-level scheme paying particular attention to the treatment of coarse-fine boundaries required to maintain fourth-order accuracy in time. We then demonstrate the convergence properties of the algorithm on several test cases including both nonreacting and reacting flows. Finally we present simulations of a vitiated dimethyl ether jet in 2D and a turbulent hydrogen jet in 3D, both with detailed kinetics and transport.


title: Dynamic traffic resources allocation under elastic demand of users with space-time prism constraints

abstract: We present a conceptual framework for the dynamic traffic resources allocation problem in a situation of elastic demand among customers. We introduce an activity-based model to express customers' successive actions and transfers in order to capture the essential aspect of transfers as a derived demand. We focus on the decision-making of customers, in that they only use a mobility service when their space-time prism constraints represent the worst case. Under the setting with such elastic demand, we characterize a class of dynamic traffic resources allocation mechanisms that strictly keep space-time prism constraints of users and capacity constraints of traffic resources. Within the class of mechanisms, we show the optimal mechanism that maximizes discounted social welfare and show an exact solution algorithm for both, myopic and non-myopic settings, using the zero-suppressed binary decision diagram. We also present approximation algorithms that are still included in the class of mechanisms. In numerical studies, we showed that our proposed algorithm works effectively in settings with high rejection rates, meaning that this algorithm can be used to focus on the behavior of latent customers who have not used mobility services so far. The proposed non-myopic algorithm is suitable to design services for limited small number of customers, for example a car-sharing services for prescribed members, while the proposed myopic algorithm is suitable for designing services for a large unspecified number of customers, for example, a ride-sharing service in a large city.


title: Geometric approach of degree of polarization in 3D polarimetry

abstract: The geometric approach presented in this paper concerns the degree of polarization (DoP) of a random 3D statistical electromagnetic field. We use that a 3*3 coherency matrix can always be decomposed into an incoherent superposition of three specific coherency matrices, to construct the first orthant of a spherical shell(0<x,y,z<1,sqrt(3)/3<r<1) . For a random 3D statistical electromagnetic field, the polarimetric result of the can be expressed in terms of a point located in the first orthant of this spherical shell physically. Furthermore, based on the intrinsic relationship between the defined parameters (DoP3D_P,DoP3D_PP) and DoP, a spatially quadric surface is obtained to quantify the values of DoP the for all physically reachable points contained in the first orthant of this spherical shell. Within this geometric approach, two examples are cited to demonstrate the applicability of 3D polarimetry to intuitively display the polarimetric result of a random 3D statistical electromagnetic field.


title: Congruences on graph inverse semigroups

abstract: Inverse graph semigroups were defined by Ash and Hall in 1975. They found necessary and sufficient conditions for the semigroups to be congruence free. In this paper we give a description of congruences on a graph inverse semigroup in terms of the underlying graph. As a consequence, we show that the inverse graph semigroup of a finite graph is congruence Noetherian.


title: DeepTag: inferring all-cause diagnoses from clinical notes in under-resourced medical domain

abstract: Large scale veterinary clinical records can become a powerful resource for patient care and research. However, clinicians lack the time and resource to annotate patient records with standard medical diagnostic codes and most veterinary visits are captured in free text notes. The lack of standard coding makes it challenging to use the clinical data to improve patient care. It is also a major impediment to cross-species translational research, which relies on the ability to accurately identify patient cohorts with specific diagnostic criteria in humans and animals. In order to reduce the coding burden for veterinary clinical practice and aid translational research, we have developed a deep learning algorithm, DeepTag, which automatically infers diagnostic codes from veterinary free text notes. DeepTag is trained on a newly curated dataset of 112,558 veterinary notes manually annotated by experts. DeepTag extends multi-task LSTM with an improved hierarchical objective that captures the semantic structures between diseases. To foster human-machine collaboration, DeepTag also learns to abstain in examples when it is uncertain and defers them to human experts, resulting in improved performance. DeepTag accurately infers disease codes from free text even in challenging cross-hospital settings where the text comes from different clinical settings than the ones used for training. It enables automated disease annotation across a broad range of clinical diagnoses with minimal pre-processing. The technical framework in this work can be applied in other medical domains that currently lack medical coding resources.


title: Tamagawa Numbers and Other Invariants of Pseudo-reductive Groups Over Global Function Fields

abstract: We study Tamagawa numbers and other invariants (especially Tate-Shafarevich sets) attached to commutative and pseudo-reductive groups over global function fields. In particular, we prove a simple formula for Tamagawa numbers of commutative groups and pseudo-reductive groups. We also show that the Tamagawa numbers and Tate-Shafarevich sets of such groups are invariant under inner twist, as well as proving a result on the cohomology of such groups which extends part of classical Tate duality from commutative groups to all pseudo-reductive groups. Finally, we apply this last result to show that for suitable quotient spaces by commutative or pseudo-reductive groups, the Brauer--Manin obstruction is the only obstruction to strong (and weak) approximation.


title: Uniform distribution of saddle connection lengths

abstract: For almost every flat surface the sequence of saddle connection lengths listed in increasing order is uniformly distributed mod one.


title: Quantum enhancement of signal-to-noise ratio with a heralded linear amplifier

abstract: Due to the pervasive nature of decoherence, protection of quantum information during transmission is of critical importance for any quantum network. A linear amplifier that can enhance quantum signals stronger than their associated noise while preserving quantum coherence is therefore of great use. This seemingly unphysical amplifier property is achievable for a class of probabilistic amplifiers that does not work deterministically. Here we present a linear amplification scheme that realises this property for coherent states by combining a heralded measurement-based noiseless linear amplifier and a deterministic linear amplifier. The concatenation of two amplifiers introduces the flexibility that allows one to tune between the regimes of high-gain or high noise-reduction, and control the trade-off of these performances against a finite heralding probability. We demonstrate an amplification signal transfer coefficient of $\mathcal{T}_s > 1$ with no statistical distortion of the output state. By partially relaxing the demand of output Gaussianity, we can obtain further improvement to achieve a $\mathcal{T}_s = 2.55 \pm 0.08$. Our amplification scheme only relies on linear optics and post-selection algorithm. We discuss the potential of using this amplifier as a building block in extending the distance of quantum communication.


title: Deep CNN Denoiser and Multi-layer Neighbor Component Embedding for Face Hallucination

abstract: Most of the current face hallucination methods, whether they are shallow learning-based or deep learning-based, all try to learn a relationship model between Low-Resolution (LR) and High-Resolution (HR) spaces with the help of a training set. They mainly focus on modeling image prior through either model-based optimization or discriminative inference learning. However, when the input LR face is tiny, the learned prior knowledge is no longer effective and their performance will drop sharply. To solve this problem, in this paper we propose a general face hallucination method that can integrate model-based optimization and discriminative inference. In particular, to exploit the model based prior, the Deep Convolutional Neural Networks (CNN) denoiser prior is plugged into the super-resolution optimization model with the aid of image-adaptive Laplacian regularization. Additionally, we further develop a high-frequency details compensation method by dividing the face image to facial components and performing face hallucination in a multi-layer neighbor embedding manner. Experiments demonstrate that the proposed method can achieve promising super-resolution results for tiny input LR faces.


title: Stochastic sampling of the isothermal-isobaric ensemble: phase diagram of crystalline solids from molecular dynamics simulation

abstract: A methodology to sample the isothermal-isobaric ensemble using Langevin dynamics is proposed, which combines novel features of geometric integrators for the equations of motion. By employing the Trotter expansion, the methodology generates a robust, symmetric and accurate numerical algorithm. In order to show that the proposed method correctly samples the phase-space, simulations in the isotropic NPT ensemble were carried out for two analytical examples. Also this method permits to study a solid-solid phase transition, by conducting a fully flexible-cell molecular dynamics simulation. Additionally, we present an efficient method to determine the Gibbs free energy in a wide interval of pressure along an isothermal path, which allows us to determine the transition pressure in a driven by pressure solid-solid phase transition. Our calculations show that the methodology is highly suitable for the study of phase diagram of crystalline solids.


title: Deep Echo State Networks with Uncertainty Quantification for Spatio-Temporal Forecasting

abstract: Long-lead forecasting for spatio-temporal systems can often entail complex nonlinear dynamics that are difficult to specify it a priori. Current statistical methodologies for modeling these processes are often highly parameterized and thus, challenging to implement from a computational perspective. One potential parsimonious solution to this problem is a method from the dynamical systems and engineering literature referred to as an echo state network (ESN). ESN models use so-called {\it reservoir computing} to efficiently compute recurrent neural network (RNN) forecasts. Moreover, so-called "deep" models have recently been shown to be successful at predicting high-dimensional complex nonlinear processes, particularly those with multiple spatial and temporal scales of variability (such as we often find in spatio-temporal environmental data). Here we introduce a deep ensemble ESN (D-EESN) model. We present two versions of this model for spatio-temporal processes that both produce forecasts and associated measures of uncertainty. The first approach utilizes a bootstrap ensemble framework and the second is developed within a hierarchical Bayesian framework (BD-EESN). This more general hierarchical Bayesian framework naturally accommodates non-Gaussian data types and multiple levels of uncertainties. The methodology is first applied to a data set simulated from a novel non-Gaussian multiscale Lorenz-96 dynamical system simulation model and then to a long-lead United States (U.S.) soil moisture forecasting application.


title: Illuminating Generalization in Deep Reinforcement Learning through Procedural Level Generation

abstract: Deep reinforcement learning (RL) has shown impressive results in a variety of domains, learning directly from high-dimensional sensory streams. However, when neural networks are trained in a fixed environment, such as a single level in a video game, they will usually overfit and fail to generalize to new levels. When RL models overfit, even slight modifications to the environment can result in poor agent performance. This paper explores how procedurally generated levels during training can increase generality. We show that for some games procedural level generation enables generalization to new levels within the same distribution. Additionally, it is possible to achieve better performance with less data by manipulating the difficulty of the levels in response to the performance of the agent. The generality of the learned behaviors is also evaluated on a set of human-designed levels. The results suggest that the ability to generalize to human-designed levels highly depends on the design of the level generators. We apply dimensionality reduction and clustering techniques to visualize the generators' distributions of levels and analyze to what degree they can produce levels similar to those designed by a human.


title: Prototype of a multi-host type DAQ front-end system for RI-beam experiments

abstract: The multi-host type DAQ front-end system is proposed and a prototype system is developed. In general, CAMAC/VME type ADC modules have a single trigger-input (or gate-input) port. In contrast, a prototype of a new system has multiple trigger-input ports. In addition, the Wilkinson-type and successive approximation ADCs have the dead time, whereas, this prototype system utilizes the combination of Flash-ADC and FPGA that enabling the dead-time free system. Corresponding to the trigger-input ports, data are sent to different back-end systems. So, a legacy ADC module is a 1-to-1 system, but, this proposing system is a 1-to-X system without loss. This system will be applied for nuclear physics experiments at RIKEN RIBF which produces intense RI-beams. This multi-host type DAQ front-end system enables us to perform different experiments simultaneously at the same beam line. In this contribution, the concept and the performance-test results of the front-end system is shown.