title: A Multi-level procedure for enhancing accuracy of machine learning algorithms

abstract: We propose a multi-level method to increase the accuracy of machine learning algorithms for approximating observables in scientific computing, particularly those that arise in systems modeled by differential equations. The algorithm relies on judiciously combining a large number of computationally cheap training data on coarse resolutions with a few expensive training samples on fine grid resolutions. Theoretical arguments for lowering the generalization error, based on reducing the variance of the underlying maps, are provided and numerical evidence, indicating significant gains over underlying single-level machine learning algorithms, are presented. Moreover, we also apply the multi-level algorithm in the context of forward uncertainty quantification and observe a considerable speed-up over competing algorithms.

categories: math.NA cs.LG cs.NA physics.comp-ph stat.ML


title: An analogue of the squeezing function for projective maps

abstract: In the spirit of Kobayashi's applications of methods of invariant metrics to questions of projective geometry, we introduce a projective analogue of the complex squeezing function. Using Frankel's work, we prove that for convex domains it stays uniformly bounded from below. In the case of strongly convex domains, we show that it tends to 1 at the boundary. This is applied to get a new proof of a projective analogue of the Wong-Rosay theorem.


title: Amplified noise nonstationarity in a mode-locked laser based on nonlinear polarization rotation

abstract: Beat note measurements between a mode-locked and a continuous-wave laser as well as between two mode-locked sources were used to demonstrate that the sub-threshold, cavity filtered, amplified spontaneous emission is not stationary even when a fast mode-locking mechanism, such as nonlinear polarization rotation, is used to generate short pulses. A relatively small gain modulation of a few percents created by high intensity pulses can produce a significant modulation of the amplified noise once synchronously accumulated over several cavity round-trips, even if the repetition rate is faster than the gain dynamics.


title: Bayesian data assimilation to support informed decision-making in individualised chemotherapy

abstract: An essential component of therapeutic drug/biomarker monitoring (TDM) is to combine patient data with prior knowledge for model-based predictions of therapy outcomes. Current Bayesian forecasting tools typically rely only on the most probable model parameters (maximum a-posteriori (MAP) estimate). This MAP-based approach, however, does neither necessarily predict the most probable outcome nor does it quantify the risks of treatment inefficacy or toxicity. Bayesian data assimilation (DA) methods overcome these limitations by providing a comprehensive uncertainty quantification. We compare DA methods with MAP-based approaches and show how probabilistic statements about key markers related to chemotherapy-induced neutropenia can be leveraged for more informative decision support in individualised chemotherapy. Sequential Bayesian DA proved to be most computational efficient for handling interoccasion variability and integrating TDM data. For new digital monitoring devices enabling more frequent data collection, these features will be of critical importance to improve patient care decisions in various therapeutic areas.


title: Reconstruction Procedure for Nonlocal Gauss-Bonnet Models

abstract: We investigate the cosmological dynamics of nonlocally corrected gravity involving a function of the inverse d'Alembertian acting on the Gauss-Bonnet term. Casting the dynamical equations in local form, we derive the reconstruction procedure. We find conditions on the model parameters that are sufficient for the existence of de Sitter solutions and obtain these solutions explicitly.


title: Application of Clustering Analysis for Investigation of Food Accessibility

abstract: Access to food assistance programs such as food pantries and food banks needs focus in order to mitigate food insecurity. Accessibility to the food assistance programs is impacted by demographics of the population and geography of the location. It hence becomes imperative to define and identify food assistance deserts (Under-served areas) within a given region to find out the ways to improve the accessibility of food. Food banks, the supplier of food to the food agencies serving the people, can manage its resources more efficiently by targeting the food assistance deserts and increase the food supply in those regions. This paper will examine the characteristics and structure of the food assistance network in the region of Ohio by presenting the possible reasons of food insecurity in this region and identify areas wherein food agencies are needed or may not be needed. Gaussian Mixture Model (GMM) clustering technique is employed to identify the possible reasons and address this problem of food accessibility.


title: Memory Management in Resource-Bounded Agents

abstract: In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the human sciences. Logic is often used to model such kind of systems as it is easier to verify the explainability and validation, so for this reason we have tried to manage agents' memory extending a previous work by inserting the concept of time.


title: Laser-generated plasmas in length scales relevant for thin film growth and processing: simulation and experiment

abstract: In pulsed laser deposition, thin film growth is mediated by a laser-generated plasma, whose properties are critical for controlling the film microstructure. The advent of 2D materials has renewed the interest in how this ablation plasma can be used to manipulate the growth and processing of atomically thin systems. For such purpose, a quantitative understanding of the density, charge state, and kinetic energy of plasma constituents is needed at the location where they contribute to materials processes. Here we study laser-induced plasmas over expansion distances of several centimeters from the ablation target, which is the relevant length scale for materials growth and modification. The study is enabled by a fast implementation of a laser ablation/plasma expansion model using an adaptive Cartesian mesh solver. Simulation outcomes for KrF excimer laser ablation of Cu are compared with Langmuir probe and optical emission spectroscopy measurements. Simulation predictions for the plasma-shielding threshold, the ionization state of species in the plasma, and the kinetic energy of ions, are in good correspondence with experimental data. For laser fluences of 1-4 J/cm$^2$, the plume is dominated by Cu$^0$, with small concentrations of Cu$^{+}$ and electrons at the expansion front. Higher laser fluences (e.g., 7 J/cm$^2$) lead to a Cu$^{+}$-rich plasma, with a fully ionized leading edge where Cu$^{2+}$ is the dominant species. In both regimes, simulations indicate the presence of a low-density, high-temperature plasma expansion front with a high degree of ionization that may play a significant role in doping, annealing, and kinetically-driven phase transformations in 2D materials.


title: Deep Imaging of Diffuse Light Around Galaxies and Clusters: Progress and Challenges

abstract: Over the past several decades, advances in telescope/detector technologies and deep imaging techniques have pushed surface brightness limits to ever fainter levels. We can now both detect and measure the diffuse, extended star light that surrounds galaxies and permeates galaxy clusters, enabling the study of galaxy halos, tidal streams, diffuse galaxy populations, and the assembly history of galaxies and galaxy clusters. With successes come new challenges, however, and pushing even deeper will require careful attention to systematic sources of error. In this review I highlight recent advances in the study of diffuse starlight in galaxies, and discuss challenges faced by the next generation of deep imaging campaigns.


title: Simultaneous Progressing Switching Protocols for Timing Predictable Real-Time Network-on-Chips

abstract: Many-core systems require inter-core communication, and network-on-chips (NoCs) have been demonstrated to provide good scalability. However, not only the distributed structure but also the link switching on the NoCs have imposed a great challenge in the design and analysis for real-time systems. With scalability and flexibility in mind, the existing link switching protocols usually consider each single link to be scheduled independently, e.g., the worm-hole switching protocol. The flexibility of such link-based arbitrations allows each packet to be distributed over multiple routers but also increases the number of possible link states (the number of flits in a buffer) that have to be considered in the worst-case timing analysis. For achieving timing predictability, we propose less flexible switching protocols, called \emph{\Simultaneous Progressing Switching Protocols} (SP$^2$), in which the links used by a flow \emph{either} all simultaneously transmit one flit (if it exists) of this flow \emph{or} none of them transmits any flit of this flow. Such an \emph{all-or-nothing} property of the SP$^2$ relates the scheduling behavior on the network to the uniprocessor self-suspension scheduling problem. We provide rigorous proofs which confirm the equivalence of these two problems. Moreover, our approaches are not limited to any specific underlying routing protocols, which are usually constructed for deadlock avoidance instead of timing predictability. We demonstrate the analytical dominance of the fixed-priority $SP^2$ over some of the existing sufficient schedulability analysis for fixed-priority wormhole switched network-on-chips.


title: Hamiltonian regularisation of shallow water equations with uneven bottom

abstract: The regularisation of nonlinear hyperbolic conservation laws has been a problem of great importance for achieving uniqueness of weak solutions and also for accurate numerical simulations. In a recent work, the first two authors proposed a so-called Hamiltonian regularisation for nonlinear shallow water and isentropic Euler equations. The characteristic property of this method is that the regularisation of solutions is achieved without adding any artificial dissipation or ispersion. The regularised system possesses a Hamiltonian structure and, thus, formally preserves the corresponding energy functional. In the present article we generalise this approach to shallow water waves over general, possibly time-dependent, bottoms. The proposed system is solved numerically with continuous Galerkin method and its solutions are compared with the analogous solutions of the classical shallow water and dispersive Serre-Green-Naghdi equations. The numerical results confirm the absence of dispersive and dissipative effects in presence of bathymetry variations.

categories: physics.flu-dyn cs.NA math.NA nlin.SI physics.ao-ph


title: Physics-informed semantic inpainting: Application to geostatistical modeling

abstract: A fundamental problem in geostatistical modeling is to infer the heterogeneous geological field based on limited measurements and some prior spatial statistics. Semantic inpainting, a technique for image processing using deep generative models, has been recently applied for this purpose, demonstrating its effectiveness in dealing with complex spatial patterns. However, the original semantic inpainting framework incorporates only information from direct measurements, while in geostatistics indirect measurements are often plentiful. To overcome this limitation, here we propose a physics-informed semantic inpainting framework, employing the Wasserstein Generative Adversarial Network with Gradient Penalty (WGAN-GP) and jointly incorporating the direct and indirect measurements by exploiting the underlying physical laws. Our simulation results for a high-dimensional problem with 512 dimensions show that in the new method, the physical conservation laws are satisfied and contribute in enhancing the inpainting performance compared to using only the direct measurements.


title: Observation of flux qubit states with the help of a superconducting differential double contour interferometer

abstract: The quantum states of flux qubit is suggested to observe with the help of a new device, the superconducting differential double contour interferometer (DDCI). The flux qubit and the superconducting quantum interference device (DC-SQUID) are connected in the DDCI through the phase of the wave function rather than through magnetic flux. The critical current of DC-SQUID should change to the maximum value at the change of the flux qubit state thanks to this phase coupling. A large jump in the critical current and voltage enables to observe continuously the change in time the state of the flux qubit. This observation can have fundamental importance for the investigation of the superposition of macroscopic quantum states.


title: MCTS-based Automated Negotiation Agent

abstract: This paper introduces a new negotiating agent model for automated negotiation. We focus on applications without time pressure with multidi-mensional negotiation on both continuous and discrete domains. The agent bidding strategy relies on Monte Carlo Tree Search, which is a trendy method since it has been used with success on games with high branching factor such as Go. It also exploits opponent modeling techniques thanks to Gaussian process regression and Bayesian learning. Evaluation is done by confronting the existing agents that are able to negotiate in such context: Random Walker, Tit-for-tat and Nice Tit-for-Tat. None of those agents succeeds in beating our agent. Also, the modular and adaptive nature of our approach is a huge advantage when it comes to optimize it in specific applicative contexts.


title: Resonant Laplace-Lagrange theory for extrasolar systems in mean-motion resonance

abstract: Extrasolar systems with planets on eccentric orbits close to or in mean-motion resonances are common. The classical low-order resonant Hamiltonian expansion is unfit to describe the long-term evolution of these systems. We extend the Laplace-Lagrange secular approximation for coplanar systems with two planets by including (near-)resonant harmonics, and realize an expansion at high order in the eccentricities of the resonant Hamiltonian both at orders one and two in the masses. We show that the expansion at first order in the masses gives a qualitative good approximation of the dynamics of resonant extrasolar systems with moderate eccentricities, while the second order is needed to reproduce more accurately their orbital evolutions. The resonant approach is also required to correct the secular frequencies of the motion given by the Laplace-Lagrange secular theory in the vicinity of a mean-motion resonance. The dynamical evolutions of four (near-)resonant extrasolar systems are discussed, namely GJ 876 (2:1 resonance), HD 60532 (3:1), HD 108874 and GJ 3293 (close to 4:1).

categories: astro-ph.EP math.DS physics.class-ph physics.space-ph


title: Cache Optimization for Sharing Intensive Workloads on Multi-socket Multi-core servers

abstract: Major chip manufacturers have all introduced multicore microprocessors. Multi-socket systems built from these processors are used for running various server applications. Depending on the application, remote cache-to-cache transfers can severely impact the performance of such workloads. This paper presents a cache optimization that can cut down remote cache-to-cache transfers. By keeping track of remote cache lines loaded from remote caches into last-level-cache and by biasing the cache replacement policy towards such remote cache lines we can reduce the number of cache misses. This in turn results in improvement of overall performance. I present the design details in this paper. I do a qualitative comparison of various solutions to the problem of performance impact of remote cache-to-cache transfers. This work can be extended by doing a quantitative evaluation.


title: BGK and Fokker Planck Models for thermally perfect gases

abstract: We propose two models of the Boltzmann equation (BGK and Fokker-Planck models) for rarefied flows of thermally perfect gases. These models take into account various models of energy, which are required for high temperature flows, like for atmospheric re-entry problems. We prove that these models satisfy conservation and entropy properties (H-theorem), and we derive their corresponding compressible Navier-Stokes asymptotics.


title: The stability of the 18-fold symmetry soft-matter quasicrystals

abstract: Following our previous work this article reports a study on the stability of the 18-fold symmetry soft-matter quasicrystals, in which the extended free energy is a basis for the analysis that is similar to the study of the 12-fold symmetry quasicrystals. Due to the differences in structure between these two kinds of quasicrystals, their stabilities present some different characters to each other. Because there were no any results of the stability of 18-fold symmetry soft-matter quasicrystals reported yet, perhaps the present work is the first probe on the topic.


title: The POEMMA (Probe of Extreme Multi-Messenger Astrophysics) mission

abstract: The Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) is designed to observe cosmic neutrinos (CNs) above 20 PeV and ultra-high energy cosmic rays (UHECRs) above 20 EeV over the full sky. The POEMMA mission calls for two identical satellites flying in loose formation, each comprised of a 4-meter wide field-of-view (45 degrees) Schmidt photometer. The hybrid focal surface includes a fast (1 ${\mu}$s) ultraviolet camera for fluorescence observations and an ultrafast (10 ns) optical camera for Cherenkov observations. POEMMA will provide new multi-messenger windows onto the most energetic events in the universe, enabling the study of new astrophysics and particle physics at these otherwise inaccessible energies.


title: Alternative Analysis Methods for Time to Event Endpoints under Non-proportional Hazards: A Comparative Analysis

abstract: The log-rank test is most powerful under proportional hazards (PH). In practice, non-PH patterns are often observed in clinical trials, such as in immuno-oncology; therefore, alternative methods are needed to restore the efficiency of statistical testing. Three categories of testing methods were evaluated, including weighted log-rank tests, Kaplan-Meier curve-based tests (including weighted Kaplan-Meier and Restricted Mean Survival Time, RMST), and combination tests (including Breslow test, Lee's combo test, and MaxCombo test). Nine scenarios representing the PH and various non-PH patterns were simulated. The power, type I error, and effect estimates of each method were compared. In general, all tests control type I error well. There is not a single most powerful test across all scenarios. In the absence of prior knowledge regarding the PH or non-PH patterns, the MaxCombo test is relatively robust across patterns. Since the treatment effect changes overtime under non-PH, the overall profile of the treatment effect may not be represented comprehensively based on a single measure. Thus, multiple measures of the treatment effect should be pre-specified as sensitivity analyses to evaluate the totality of the data.


title: Cosmic Neutrinos and the Cosmic-Ray Accelerator TXS 0506+056

abstract: IceCube discovered a flux of cosmic neutrinos originating in extragalactic sources with an energy density close to that in gamma rays and cosmic rays. A multimessenger campaign triggered by the coincident observation of a gamma-ray flare and a 290-TeV IceCube neutrino pinpointed the cosmic-ray accelerator TXS 0506+056. Subsequently, the IceCube archival data revealed a 3-month burst of 13 cosmic neutrinos in 2014-15 that dominates the neutrino flux of the source over the 9.5 years of observations. The original identification of the source as a blazar was puzzling because it requires a major accretion event onto the rotating supermassive black hole to accommodate the neutrino burst. Subsequent high-resolution radio images of the source with the VLBA brought to light a merger of two galaxies, revealed by the interaction of two jets entangled in the source. Recently, the blazar PKS 1502+106 was found in the direction of a 300-TeV neutrino alert, IC-190730. OVRA radio observations at 15 GHz indicate that the neutrino also coincides with the highest flux density of a flare that started five years ago. This matches the similar long-term outburst seen from TXS 0506+056 and may indicate merger activity. Also, the dominant hotspot in the 10-year IceCube neutrino sky map, NGC 1068 (Messier 77), is a Seyfert galaxy undergoing a major accretion event onto the black hole. A few-percent fraction of such special sources, now labeled as gamma-ray blazars, is sufficient to accommodate the diffuse cosmic neutrino flux observed by IceCube. While rapid progress seems likely, the observations also convincingly make the case for the construction of more and larger neutrino telescopes with better angular resolution.


title: Sustainable Research Software Hand-Over

abstract: Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease completely. To retain the invested effort for the sciences, this software needs to be preserved or handed over to a succeeding developer or team, such as the next generation of (PhD) students. Comparable guides provide top-down recommendations for project leads. This paper intends to be a bottom-up approach for sustainable hand-over processes from a developer's perspective. An important characteristic in this regard is the project's size, by which this guideline is structured. Furthermore, checklists are provided, which can serve as a practical guide for implementing the proposed measures.


title: Document Rectification and Illumination Correction using a Patch-based CNN

abstract: We propose a novel learning method to rectify document images with various distortion types from a single input image. As opposed to previous learning-based methods, our approach seeks to first learn the distortion flow on input image patches rather than the entire image. We then present a robust technique to stitch the patch results into the rectified document by processing in the gradient domain. Furthermore, we propose a second network to correct the uneven illumination, further improving the readability and OCR accuracy. Due to the less complex distortion present on the smaller image patches, our patch-based approach followed by stitching and illumination correction can significantly improve the overall accuracy in both the synthetic and real datasets.


title: Representing split graphs by words

abstract: There is a long line of research in the literature dedicated to word-representable graphs, which generalize several important classes of graphs. However, not much is known about word-representability of split graphs, another important class of graphs. In this paper, we show that threshold graphs, a subclass of split graphs, are word-representable. Further, we prove a number of general theorems on word-representable split graphs, and use them to characterize computationally such graphs with cliques of size 5 in terms of 9 forbidden subgraphs, thus extending the known characterization for word-representable split graphs with cliques of size 4. Moreover, we use split graphs, and also provide an alternative solution, to show that gluing two word-representable graphs in any clique of size at least 2 may, or may not, result in a word-representable graph. The two surprisingly simple solutions provided by us answer a question that was open for about ten years.


title: Augmenting Encrypted Search: A Decentralized Service Realization with Enforced Execution

abstract: Searchable symmetric encryption (SSE) allows the data owner to outsource an encrypted database to a remote server in a private manner while maintaining the ability for selectively search. So far, most existing solutions focus on an honest-but-curious server, while security designs against a malicious server have not drawn enough attention. A few recent works have attempted to construct verifiable SSE that enables the data owner to verify the integrity of search results. Nevertheless, these verification mechanisms are highly dependent on specific SSE schemes, and fail to support complex queries. A general verification mechanism is desired that can be applied to all SSE schemes. In this work, instead of concentrating on a central server, we explore the potential of the smart contract, an emerging blockchain-based decentralized technology, and construct decentralized SSE schemes where the data owner can receive correct search results with assurance without worrying about potential wrongdoings of a malicious server. We study both public and private blockchain environments and propose two designs with a trade-off between security and efficiency. To better support practical applications, the multi-user setting of SSE is further investigated where the data owner allows authenticated users to search keywords in shared documents. We implement prototypes of our two designs and present experiments and evaluations to demonstrate the practicability of our decentralized SSE schemes.


title: Moments of Angular Distribution in Two Mesons Photoproduction

abstract: The formalism devoted to the production of two pseudoscalar mesons with a linearly polarized photon beam has been detailed and illustrated in Phys. Rev. D100 (2019) 054017. This document reports the necessary formulas, without proof, to perform an analysis of the angular distribution of two mesons photoproduction. The relations to extract moments of the angular distribution are provided, as well as the relations between moments and partial waves for a system involving $S$, $P$ and $D$ waves. The expressions of the integrated beam asymmetry and the beam asymmetry along the $y$ axis in term of moments are mentioned.


title: Magnetic skyrmions in cylindrical ferromagnetic nanostructures with chiral interactions

abstract: We study the geometrical conditions for stabilizing magnetic skyrmions in cylindrical nanostrips and nanotubes of ferromagnetic materials with chiral interactions. We obtain the low-temperature equilibrium state of the system implementing a simulation annealing technique for a classical spin Hamiltonian with competing isotropic exchange and chiral interactions, radial anisotropy and an external field. We address the impact of surface curvature on the formation, the shape and the size of magnetic skyrmions. We demonstrate that the evolution of the skyrmion phase with the curvature is controlled by the competition between two characteristic lengths, namely the curvature radius, $R$ (geometrical length) and the skyrmion radius, $R_{sk}$ (physical length). In narrow nanotubes ($R<R_{sk}$) the skyrmion phase evolves to a stripe phase, while in wide nanotubes ($R>R_{sk}$) a mixed skyrmion-stripe phase emerges. Most interestingly, the mixed phase is characterized by spatially separated skyrmions from stripes owing to the direction of the applied field relative to the surface normal. In the stability regime ($R \gtrsim R_{sk}$) skyrmions remain circular and preserve their size as a consequence of their topological protection. Zero-field skyrmions are shown to be stable on curved nanoelements with free boundaries within the same stability region ($R\gtrsim R_{sk}$). The experimental and technological perspectives from the stability of skyrmions on cylindrical surfaces are discussed.


title: Axion Quark Nuggets and how a Global Network can discover them

abstract: We advocate an idea that the presence of the daily and annual modulations of the axion flux on the Earth surface may dramatically change the strategy of the axion searches. Our computations are based on the so-called Axion Quark Nugget (AQN) dark matter model which was originally put forward to explain the similarity of the dark and visible cosmological matter densities $\Omega_{\rm dark}\sim \Omega_{\rm visible}$. In our framework, the population of galactic axions with mass $ 10^{-6} {\rm eV}\lesssim m_a\lesssim 10^{-3}{\rm eV}$ and velocity $< v_a>\sim 10^{-3} c$ will be always accompanied by the axions with typical velocities $<v_a>\sim 0.6 c$ emitted by AQNs. We formulate the broadband detection strategy to search for such relativistic axions by studying the daily and annual modulations. We describe several tests which could effectively discriminate a true signal from noise. These AQN-originated axions can be observed as correlated events which could be recorded by synchronized stations in the global network. The correlations can be effectively studied if the detectors are positioned at distances shorter than a few hundred kilometres.


title: An Ideal Testbed for Planet-disk Interaction: Two Giant Protoplanets in Resonance Shaping the PDS 70 Protoplanetary Disk

abstract: While numerical simulations have been playing a key role in the studies of planet-disk interaction, testing numerical results against observations has been limited so far. With the two directly imaged protoplanets embedded in its circumstellar disk, PDS 70 offers an ideal testbed for planet-disk interaction studies. Using two-dimensional hydrodynamic simulations we show that the observed features can be well explained with the two planets in formation, providing strong evidence that previously proposed theories of planet-disk interaction are in action, including resonant migration, particle trapping, size segregation, and filtration. Our simulations suggest that the two planets are likely in 2:1 mean motion resonance and can remain dynamically stable over million-year timescales. The growth of the planets at $10^{-8}-10^{-7}~M_{\rm Jup}~{\rm yr}^{-1}$, rates comparable to the estimates from H$\alpha$ observations, does not destabilize the resonant configuration. Large grains are filtered at the gap edge and only small, (sub-)$\mu$m grains can flow to the circumplanetary disks and the inner circumstellar disk. With the sub-millimeter continuum ring observed outward of the two directly imaged planets, PDS 70 provides the first observational evidence of particle filtration by gap-opening planets. The observed sub-millimeter continuum emission at the vicinity of the planets can be reproduced when (sub-)$\mu$m grains survive over multiple circumplanetary disk gas viscous timescales and accumulate therein. One such possibility is if (sub-)$\mu$m grains grow in size and remain trapped in pressure bumps, similar to what we find happening in circumstellar disks. We discuss potential implications to planet formation in the solar system and mature extrasolar planetary systems.


title: Precise calibration method for triaxial magnetometers not requiring Earth's field compensation

abstract: A calibration procedure for calibrations of triaxial magnetometers is presented. The procedure uses a triaxial Helmholtz coil system and an Overhauser scalar magnetometer and is performed in the Earth's field range. The triaxial coils are first calibrated with the Overhauser magnetometer, and subsequently, a triaxial magnetometer calibration is performed. As opposed to other calibration approaches, neither Earth's field nulling system nor movements of the magnetometer are needed. A real calibration test was carried out-the extended calibration uncertainty was better than 430 ppm in sensitivity and 0.06{\deg} in orthogonality.


title: Modelling Protein Target-Search in Human Chromosomes

abstract: Several processes in the cell, such as gene regulation, start when key proteins recognise and bind to short DNA sequences. However, as these sequences can be hundreds of million times shorter than the genome, they are hard to find by simple diffusion: diffusion-limited association rates may underestimate $in~vitro$ measurements up to several orders of magnitude. Moreover, the rates increase if the DNA is coiled rather than straight. Here we model how this works $in~vivo$ in mammalian cells. We use chromatin-chromatin contact data from state-of-the-art Hi-C experiments to map the protein target-search onto a network problem. The nodes represent a DNA segment and the weight of the links is proportional to measured contact probabilities. We then put forward a master equation for the density of searching protein that allows us to calculate the association rates across the genome analytically. For segments where the rates are high, we find that they are enriched with active genes and have high RNA expression levels. This paper suggests that the DNA's 3D conformation is important for protein search times $in~vivo$ and offers a method to interpret protein-binding profiles in eukaryotes that cannot be explained by the DNA sequence itself.


title: Thermodynamics of fluctuations in small systems interacting with the environment

abstract: A few decades after Hill's work on nano-thermodynamics, the development of a thermodynamic framework, to account consistently for the fluctuations of small systems due to their interactions with the surrounding environment, is still underway. Here we discuss how, in a small system, the interaction energy with the environment may be described through a conjugate pair of intensive and extensive variables, giving rise to a Gibbs thermodynamics with an additional thermodynamic degree of freedom. The relevant thermodynamic potentials help describe the equilibrium conditions and the material properties that measure the susceptibility of the system to the interaction with the environment. The resulting generalized ensembles, which describe the non-negligible, small system fluctuations, are shown to be equivalent. Away from the average thermodynamic state, the availability describes the distance between system and the environment, in terms of the maximum work extractable from the fluctuation, and a proper definition of entropy extends the thermodynamics to the generic fluctuating state. From the latter state, entropic forces arise to restore the average thermodynamic state. Our framework unifies and extends the ensemble thermodynamics by Hill and the recent advances in statistical mechanics under strong coupling and reduces to classical macroscopic thermodynamics when the system is large. The particular case of a small ideal gas system is discussed in detail and the example of a single particle immersed in a bath is revisited in the light of the new formalism.


title: Generating Philosophical Statements using Interpolated Markov Models and Dynamic Templates

abstract: Automatically imitating input text is a common task in natural language generation, often used to create humorous results. Classic algorithms for learning to imitate text, e.g. simple Markov chains, usually have a trade-off between originality and syntactic correctness. We present two ways of automatically parodying philosophical statements from examples overcoming this issue, and show how these can work in interactive systems as well. The first algorithm uses interpolated Markov models with extensions to improve the quality of the generated texts. For the second algorithm, we propose dynamically extracting templates and filling these with new content. To illustrate these algorithms, we implemented TorfsBot, a Twitterbot imitating the witty, semi-philosophical tweets of professor Rik Torfs, the previous KU Leuven rector. We found that users preferred generative models that focused on local coherent sentences, rather than those mimicking the global structure of a philosophical statement. The proposed algorithms are thus valuable new tools for automatic parody as well as template learning systems.


title: Adversarial Learning with Margin-based Triplet Embedding Regularization

abstract: The Deep neural networks (DNNs) have achieved great success on a variety of computer vision tasks, however, they are highly vulnerable to adversarial attacks. To address this problem, we propose to improve the local smoothness of the representation space, by integrating a margin-based triplet embedding regularization term into the classification objective, so that the obtained model learns to resist adversarial examples. The regularization term consists of two steps optimizations which find potential perturbations and punish them by a large margin in an iterative way. Experimental results on MNIST, CASIA-WebFace, VGGFace2 and MS-Celeb-1M reveal that our approach increases the robustness of the network against both feature and label adversarial attacks in simple object classification and deep face recognition.


title: Language models and Automated Essay Scoring

abstract: In this paper, we present a new comparative study on automatic essay scoring (AES). The current state-of-the-art natural language processing (NLP) neural network architectures are used in this work to achieve above human-level accuracy on the publicly available Kaggle AES dataset. We compare two powerful language models, BERT and XLNet, and describe all the layers and network architectures in these models. We elucidate the network architectures of BERT and XLNet using clear notation and diagrams and explain the advantages of transformer architectures over traditional recurrent neural network architectures. Linear algebra notation is used to clarify the functions of transformers and attention mechanisms. We compare the results with more traditional methods, such as bag of words (BOW) and long short term memory (LSTM) networks.


title: Multi-sense Definition Modeling using Word Sense Decompositions

abstract: Word embeddings capture syntactic and semantic information about words. Definition modeling aims to make the semantic content in each embedding explicit, by outputting a natural language definition based on the embedding. However, existing definition models are limited in their ability to generate accurate definitions for different senses of the same word. In this paper, we introduce a new method that enables definition modeling for multiple senses. We show how a Gumble-Softmax approach outperforms baselines at matching sense-specific embeddings to definitions during training. In experiments, our multi-sense definition model improves recall over a state-of-the-art single-sense definition model by a factor of three, without harming precision.


title: Generative Dialog Policy for Task-oriented Dialog Systems

abstract: There is an increasing demand for task-oriented dialogue systems which can assist users in various activities such as booking tickets and restaurant reservations. In order to complete dialogues effectively, dialogue policy plays a key role in task-oriented dialogue systems. As far as we know, the existing task-oriented dialogue systems obtain the dialogue policy through classification, which can assign either a dialogue act and its corresponding parameters or multiple dialogue acts without their corresponding parameters for a dialogue action. In fact, a good dialogue policy should construct multiple dialogue acts and their corresponding parameters at the same time. However, it's hard for existing classification-based methods to achieve this goal. Thus, to address the issue above, we propose a novel generative dialogue policy learning method. Specifically, the proposed method uses attention mechanism to find relevant segments of given dialogue context and input utterance and then constructs the dialogue policy by a seq2seq way for task-oriented dialogue systems. Extensive experiments on two benchmark datasets show that the proposed model significantly outperforms the state-of-the-art baselines. In addition, we have publicly released our codes.


title: BSDAR: Beam Search Decoding with Attention Reward in Neural Keyphrase Generation

abstract: This study mainly investigates two common decoding problems in neural keyphrase generation: sequence length bias and beam diversity. To tackle the problems, we introduce a beam search decoding strategy based on word-level and ngram-level reward function to constrain and refine Seq2Seq inference at test time. Results show that our simple proposal can overcome the algorithm bias to shorter and nearly identical sequences, resulting in a significant improvement of the decoding performance on generating keyphrases that are present and absent in source text.


title: Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization

abstract: A promising approach for designing critical embedded systems is based on virtualization technologies and multi-core platforms. These enable the deployment of both real-time and general-purpose systems with different criticalities in a single host. Integrating virtualization while also meeting the real-time and isolation requirements is non-trivial, and poses significant challenges especially in terms of certification. In recent years, researchers proposed hardware-assisted solutions to face issues coming from virtualization, and recently the use of Operating System (OS) virtualization as a more lightweight approach. Industries are hampered in leveraging this latter type of virtualization despite the clear benefits it introduces, such as reduced overhead, higher scalability, and effortless certification since there is still lack of approaches to address drawbacks. In this position paper, we propose the usage of Intel's CPU security extension, namely SGX, to enable the adoption of enclaves based on unikernel, a flavor of OS-level virtualization, in the context of real-time systems. We present the advantages of leveraging both the SGX isolation and the unikernel features in order to meet the requirements of safety-critical real-time systems and ease the certification process.


title: Computation of the solid-liquid interfacial free energy in hard spheres by means of thermodynamic integration

abstract: We used a thermodynamic integration scheme, which is specifically designed for disordered systems, to compute the interfacial free energy of the solid-liquid interface in the hard-sphere model. We separated the bulk contribution to the total free energy from the interface contribution, performed a finite-size scaling analysis and obtained for the (100)-interface $\gamma=0.591(11)k_{B}T\sigma^{-2}$.


title: Fundamental properties of Kepler and CoRoT targets -- IV. Masses and radii from frequencies of minimum $\Delta {\nu}$ and their implications

abstract: Recently, by analysing the oscillation frequencies of 90 stars, Yildiz, \c{C}elik Orhan & Kayhan have shown that the reference frequencies ($\nu_{\rm min0}$, $\nu_{\rm min1}$ and $\nu_{\rm min2}$) derived from glitches due to He {\scriptsize II} ionization zone have very strong diagnostic potential for the determination of their effective temperatures. In this study, we continue to analyse the same stars and compute their mass, radius and age from different scaling relations including relations based on $\nu_{\rm min0}$, $\nu_{\rm min1}$ and $\nu_{\rm min2}$. For most of the stars, the masses computed using $\nu_{\rm min0}$ and $\nu_{\rm min1}$ are very close to each other. For 38 stars, the difference between these masses is less than 0.024 ${\rm M}_\odot$. The radii of these stars from $\nu_{\rm min0}$ and $\nu_{\rm min1}$ are even closer, with differences of less than 0.007 ${\rm R}_\odot$. These stars may be the most well known solar-like oscillating stars and deserve to be studied in detail. The asteroseismic expressions we derive for mass and radius show slight dependence on metallicity. We therefore develop a new method for computing initial metallicity from this surface metallicity by taking into account the effect of microscopic diffusion. The time dependence of initial metallicity shows some very interesting features that may be important for our understanding of chemical enrichment of Galactic Disc. According to our findings, every epoch of the disc has its own lowest and highest values for metallicity. It seems that rotational velocity is inversely proportional to 1/2 power of age as given by the Skumanich relation.


title: Modelling Lagrangian velocity and acceleration in turbulent flows as infinitely differentiable stochastic processes

abstract: We develop a stochastic model for Lagrangian velocity as it is observed in experimental and numerical fully developed turbulent flows. We define it as the unique statistically stationary solution of a causal dynamics, given by a stochastic differential equation. In comparison to previously proposed stochastic models, the obtained process is infinitely differentiable at a given finite Reynolds number, and its second-order statistical properties converge to those of an Ornstein-Uhlenbeck process in the infinite Reynolds number limit. In this limit, it exhibits furthermore intermittent scaling properties, as they can be quantified using higher-order statistics. To achieve this, we begin with generalizing the two-layered embedded stochastic process of Sawford (1991) by considering an infinite number of layers. We then study, both theoretically and numerically, the convergence towards a smooth (i.e. infinitely differentiable) Gaussian process. To include intermittent corrections, we follow similar considerations as for the multifractal random walk of Bacry et al. (2001). We derive in an exact manner the statistical properties of this process, and compare them to those estimated from Lagrangian trajectories extracted from numerically simulated turbulent flows. Key predictions of the multifractal formalism regarding acceleration correlation function and high-order structure functions are also derived. Through these predictions, we understand phenomenologically peculiar behaviours of the fluctuations in the dissipative range, that are not reproduced by our stochastic process. The proposed theoretical method regarding the modelling of infinitely differentiability opens the route to the full stochastic modelling of velocity, including the peculiar action of viscosity on the very fine scales.


title: Deep Contextualized Pairwise Semantic Similarity for Arabic Language Questions

abstract: Question semantic similarity is a challenging and active research problem that is very useful in many NLP applications, such as detecting duplicate questions in community question answering platforms such as Quora. Arabic is considered to be an under-resourced language, has many dialects, and rich in morphology. Combined together, these challenges make identifying semantically similar questions in Arabic even more difficult. In this paper, we introduce a novel approach to tackle this problem, and test it on two benchmarks; one for Modern Standard Arabic (MSA), and another for the 24 major Arabic dialects. We are able to show that our new system outperforms state-of-the-art approaches by achieving 93% F1-score on the MSA benchmark and 82% on the dialectical one. This is achieved by utilizing contextualized word representations (ELMo embeddings) trained on a text corpus containing MSA and dialectic sentences. This in combination with a pairwise fine-grained similarity layer, helps our question-to-question similarity model to generalize predictions on different dialects while being trained only on question-to-question MSA data.


title: A simple discriminative training method for machine translation with large-scale features

abstract: Margin infused relaxed algorithms (MIRAs) dominate model tuning in statistical machine translation in the case of large scale features, but also they are famous for the complexity in implementation. We introduce a new method, which regards an N-best list as a permutation and minimizes the Plackett-Luce loss of ground-truth permutations. Experiments with large-scale features demonstrate that, the new method is more robust than MERT; though it is only matchable with MIRAs, it has a comparatively advantage, easier to implement.


title: Controllable Length Control Neural Encoder-Decoder via Reinforcement Learning

abstract: Controlling output length in neural language generation is valuable in many scenarios, especially for the tasks that have length constraints. A model with stronger length control capacity can produce sentences with more specific length, however, it usually sacrifices semantic accuracy of the generated sentences. Here, we denote a concept of Controllable Length Control (CLC) for the trade-off between length control capacity and semantic accuracy of the language generation model. More specifically, CLC is to alter length control capacity of the model so as to generate sentence with corresponding quality. This is meaningful in real applications when length control capacity and outputs quality are requested with different priorities, or to overcome unstability of length control during model training. In this paper, we propose two reinforcement learning (RL) methods to adjust the trade-off between length control capacity and semantic accuracy of length control models. Results show that our RL methods improve scores across a wide range of target lengths and achieve the goal of CLC. Additionally, two models LenMC and LenLInit modified on previous length-control models are proposed to obtain better performance in summarization task while still maintain the ability to control length.


title: On Recovering Latent Factors From Sampling And Firing Graph

abstract: Consider a set of latent factors whose observable effect of activation is caught on a measure space that appears as a grid of bits tacking value in $\{0, 1 \}$. This paper intend to deliver a theoretical and practical answer to the question: Given that we have access to a perfect indicator of the activation of latent factors that label a finite dataset of grid's activity, can we imagine a procedure to build a generic identificator of factor's activations ?


title: Resolving the Crab pulsar wind nebula at teraelectronvolt energies

abstract: The Crab nebula is one of the most studied cosmic particle accelerators, shining brightly across the entire electromagnetic spectrum up to very high-energy gamma rays. It is known from radio to gamma-ray observations that the nebula is powered by a pulsar, which converts most of its rotational energy losses into a highly relativistic outflow. This outflow powers a pulsar wind nebula (PWN), a region of up to 10~light-years across, filled with relativistic electrons and positrons. These particles emit synchrotron photons in the ambient magnetic field and produce very high-energy gamma rays by Compton up-scattering of ambient low-energy photons. While the synchrotron morphology of the nebula is well established, it was up to now not known in which region the very high-energy gamma rays are emitted. Here we report that the Crab nebula has an angular extension at gamma-ray energies of 52 arcseconds (assuming a Gaussian source width), significantly larger than at X-ray energies. This result closes a gap in the multi-wavelength coverage of the nebula, revealing the emission region of the highest energy gamma rays. These gamma rays are a new probe of a previously inaccessible electron and positron energy range. We find that simulations of the electromagnetic emission reproduce our new measurement, providing a non-trivial test of our understanding of particle acceleration in the Crab nebula.


title: CME Iceberg Order Detection and Prediction

abstract: We propose a method for detection and prediction of native and synthetic iceberg orders on Chicago Mercantile Exchange. Native (managed by the exchange) icebergs are detected using discrepancies between the resting volume of an order and the actual trade size as indicated by trade summary messages, as well as by tracking order modifications that follow trade events. Synthetic (managed by market participants) icebergs are detected by observing limit orders arriving within a short time frame after a trade. The obtained icebergs are then used to train a model based on the Kaplan--Meier estimator, accounting for orders that were cancelled after a partial execution. The model is utilized to predict the total size of newly detected icebergs. Out of sample validation is performed on the full order depth data, performance metrics and quantitative estimates of hidden volume are presented.


title: Generalized Dehn twists in low-dimensional topology

abstract: The generalized Dehn twist along a closed curve in an oriented surface is an algebraic construction which involves intersections of loops in the surface. It is defined as an automorphism of the Malcev completion of the fundamental group of the surface. As the name suggests, for the case where the curve has no self-intersection, it is induced from the usual Dehn twist along the curve. In this expository article, after explaining their definition, we review several results about generalized Dehn twists such as their realizability as diffeomorphisms of the surface, their diagrammatic description in terms of decorated trees and the Hopf-algebraic framework underlying their construction. Going to the dimension three, we also overview the relation between generalized Dehn twists and $3$-dimensional homology cobordisms, and we survey the variants of generalized Dehn twists for skein algebras of the surface.


title: On Fourth and Higher Moments of Short Exponential Sums Related to Cusp Forms

abstract: We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators.


title: Nuclear chart in covariant density functional theory with dynamical correlations: From Oxygen to Tin

abstract: Nuclear masses of even-even nuclei with the proton number $8\leq Z\leq 50$ (O to Sn isotopes) from proton drip line to neutron drip line are investigated using the triaxial relativistic Hartree-Bogoliubov (RHB) theory with the relativistic density functional PC-PK1, and the dynamical correlation energies (DCEs) associated with the rotational motion and the quadrupole shape vibrational motion are taken into account by the five-dimensional collective Hamiltonian (5DCH) method. The root-mean-square deviation with respect to the experimental masses reduces from 2.50 MeV to 1.59 MeV after the consideration of DCEs. The inclusion of DCEs has little influence on the position of drip lines, and the predicted numbers of bound even-even nuclei between proton and neutron drip lines from O to Sn isotopes are respectively 569 and 564 for the cases with and without DCEs.


title: Ge virtual substrates for high efficiency III-V solar cells: applications, potential and challenges

abstract: Virtual substrates based on thin Ge layers on Si by direct deposition have achieved high quality recently. Their application to high efficiency III-V solar cells is analyzed in this work. Replacing traditional Ge substrates with Ge/Si virtual substrates in standard lattice-matched and upright metamorphic GaInP/Ga(In)As/Ge solar cells is feasible according to our calculations using realistic parameters of state-of-the-art Ge solar cells but with thin bases (< 5um). The first experimental steps are tackled by implementing Ge single-junction and full GaInP/Ga(In)As/Ge triple-junction solar cells on medium quality Ge/Si virtual substrates with 5um thick Ge layers. The results show that the photocurrent in the Ge bottom cell is barely enough to achieve current matching with the upper subcells, but the overall performance is poor due to low voltages in the junctions. Moreover, observed cracks in the triple-junction structure point to the need to reduce the thickness of the Ge + III-V structure or using other advanced approaches to mitigate the thermal expansion coefficient mismatch effects, such as using embedded porous silicon. Next experimental work will pursue this objective and use more advanced Ge/Si virtual substrates available with lower threading dislocation densities and different Ge thicknesses.


title: On $n$th roots of normal operators

abstract: For $n$-normal operators $A$ [2, 4, 5], equivalently $n$-th roots $A$ of normal Hilbert space operators, both $A$ and $A^*$ satisfy the Bishop--Eschmeier--Putinar property $(\beta)_{\epsilon}$, $A$ is decomposable and the quasi-nilpotent part $H_0(A-\lambda)$ of $A$ satisfies $H_0(A-\lambda)^{-1}(0)=(A-\lambda)^{-1}(0)$ for every non-zero complex $\lambda$. $A$ satisfies every Weyl and Browder type theorem, and a sufficient condition for $A$ to be normal is that either $A$ is dominant or $A$ is a class ${\mathcal A}(1,1)$ operator.


title: Trivializations for Gradient-Based Optimization on Manifolds

abstract: We introduce a framework to study the transformation of problems with manifold constraints into unconstrained problems through parametrizations in terms of a Euclidean space. We call these parametrizations "trivializations". We prove conditions under which a trivialization is sound in the context of gradient-based optimization and we show how two large families of trivializations have overall favorable properties, but also suffer from a performance issue. We then introduce "dynamic trivializations", which solve this problem, and we show how these form a family of optimization methods that lie between trivializations and Riemannian gradient descent, and combine the benefits of both of them. We then show how to implement these two families of trivializations in practice for different matrix manifolds. To this end, we prove a formula for the gradient of the exponential of matrices, which can be of practical interest on its own. Finally, we show how dynamic trivializations improve the performance of existing methods on standard tasks designed to test long-term memory within neural networks.


title: An Empirical Exploration of Deep Recurrent Connections and Memory Cells Using Neuro-Evolution

abstract: Neuro-evolution and neural architecture search algorithms have gained increasing interest due to the challenges involved in designing optimal artificial neural networks (ANNs). While these algorithms have been shown to possess the potential to outperform the best human crafted architectures, a less common use of them is as a tool for analysis of ANN structural components and connectivity structures. In this work, we focus on this particular use-case to develop a rigorous examination and comparison framework for analyzing recurrent neural networks (RNNs) applied to time series prediction using the novel neuro-evolutionary process known as Evolutionary eXploration of Augmenting Memory Models (EXAMM). Specifically, we use our EXAMM-based analysis to investigate the capabilities of recurrent memory cells and the generalization ability afforded by various complex recurrent connectivity patterns that span one or more steps in time, i.e., deep recurrent connections. EXAMM, in this study, was used to train over 10.56 million RNNs in 5,280 repeated experiments with varying components. While many modern, often hand-crafted RNNs rely on complex memory cells (which have internal recurrent connections that only span a single time step) operating under the assumption that these sufficiently latch information and handle long term dependencies, our results show that networks evolved with deep recurrent connections perform significantly better than those without. More importantly, in some cases, the best performing RNNs consisted of only simple neurons and deep time skip connections, without any memory cells. These results strongly suggest that utilizing deep time skip connections in RNNs for time series data prediction not only deserves further, dedicated study, but also demonstrate the potential of neuro-evolution as a means to better study, understand, and train effective RNNs.


title: Microwave magnetic field modulation of spin torque oscillator based on perpendicular magnetic tunnel junctions

abstract: Modulation of a spin-torque oscillator (STO) signal based on a magnetic tunnel junction (MTJ) with perpendicularly magnetized free layer is investigated. Magnetic field inductive loop was created during MTJ fabrication process, which enables microwave field application during STO operation. The frequency modulation by the microwave magnetic field of up to 3 GHz is explored, showing a potential for application in high-data-rate communication technologies. Moreover, an inductive loop is used for self-synchronization of the STO signal, which after field-locking exhibits significant improvement of the linewidth and oscillation power.


title: Solar Neutrino Limits on Decoherence

abstract: The solar neutrino flux arrives at Earth as an incoherent admixture of mass eigenstates, and then solar neutrino detection constitute a blind probe to the oscillation pattern of the neutrino flavour conversion. Consequently, it is also impossible to probe, in a model independent approach, any new physics that leads to an enhancement of decoherence during the neutrino evolution, an effect that is present for instance in Open Quantum System formalism. However, such mechanism can also induce changes between mass eigenstates if an energy interchange between the neutrino subsystem and the reservoir is not explicitly forbidden. In this work the conversion probabilities between mass eigenstates in an Open Quantum System are calculated, and limits are stablished for these kind of transitions. We present our results in a pedagogical way, pointing out how far the analysis can go without any assumption on the neutrino conversion physics inside the Sun, before performing the full calculations. We obtain as limits for the decoherence parameters the values of $ \Gamma_3< 6.5\times 10^{-19}$ eV and $\Gamma_8< 7.1\times 10^{-19}$ eV at 3$\sigma$.


title: Redirection Controller Using Reinforcement Learning

abstract: There is a growing demand for redirected walking (RDW) techniques and their application. To apply appropriate RDW methods and manipulation, the RDW controllers are predominantly used. There are three types of RDW controllers: direct scripted controller, generalized controller, and predictive controller. The scripted controller type pre-scripts the mapping between the real and virtual environments. The generalized controller type employs the RDW method and manipulation quantities according to a certain procedure depending on the user's position in relation to the real space. This approach has the potential to be reused in any environment; however, it is not fully optimized. The predictive controller type predicts the user's future path using the user's behavior and manages RDW techniques. This approach is highly anticipated to be very effective and versatile; however, it has not been sufficiently developed. This paper proposes a novel RDW controller using reinforcement learning (RL) with advanced plannability/versatility. Our simulation experiments indicate that the proposed method can reduce the number of reset manipulations, which is one of the indicators of the effectiveness of the RDW controller, compared to the generalized controller under real environments with many obstacles. Meanwhile, the experimental results also showed that the gain output by the proposed method oscillates. The results of a user study conducted showed that the proposed RDW controller can reduce the number of resets compared to the conventional generalized controller. Furthermore, no adverse effects such as cybersickness associated with the oscillation of the output gain were evinced. The simulation and user studies demonstrate that the proposed RDW controller with RL outperforms the existing generalized controllers and can be applied to users.


title: Cryogenic Cooling and Power Generation Using Quantum Hall Systems

abstract: The possibility of using quantum Hall systems for thermoelectric energy conversion is investigated. It is shown that the massive degeneracy and the metallicity of a partially-filled Landau level enable thermoelectric cooling and power generation with unprecedented efficiency at low temperature. The figure of merit is explicitly derived for a transverse thermoelectric device using the $\nu=0$ quantum Hall state of Dirac materials at charge neutrality, where due to electron-hole symmetry electrical Hall effect vanishes but thermoelectric Hall effect peaks.


title: Phenomenology of anomalous transport in disordered one-dimensional systems

abstract: We study anomalous transport arising in disordered one-dimensional spin chains, specifically focusing on the subdiffusive transport typically found in a phase preceding the many-body localization transition. Different types of transport can be distinguished by the scaling of the average resistance with the system's length. We address the following question: what is the distribution of resistance over different disorder realizations, and how does it differ between transport types? In particular, an often evoked so-called Griffiths picture, that aims to explain slow transport as being due to rare regions of high disorder, would predict that the diverging resistivity is due to fat power-law tails in the resistance distribution. Studying many-particle systems with and without interactions we do not find any clear signs of fat tails. The data is compatible with distributions that decay faster than any power law required by the fat tails scenario. Among the distributions compatible with the data, a simple additivity argument suggests a Gaussian distribution for a fractional power of the resistance.


title: Measurement Anomaly of Step Width in Calibration Grating using Atomic Force Microscopy

abstract: We imaged the topography of a silicon grating with atomic force microscopy (AFM) using different scan parameters to probe the effect of pixel pitch on resolution. We found variations in the measured step height and profile of the grating depending on scan parameters, with measured step width decreasing from 1300 to 108 nm and step height increasing from 172 to 184 nm when a pixel pitch in the scan axis decreased from 625 nm to 3.91 nm. In order to resolve the measurement anomaly of step width, we compared these values with step width and height of the same grating measured using scanning electron microscopy (SEM). The values obtained from SEM imaging were 187.3 nm +/- 6.2 nm and 116 nm +/- 10.4 nm, which were in good agreement with AFM data using a 3.91 nm of pixel pitch. We think that we need at least four pixels over the step width to avoid the measurement anomaly induced by the stick-slip or dragging of the tip. Our findings that RMS roughness varied less than 1 nm and converged at the value of 77.6 nm for any pixel pitch suggest that the RMS roughness is relatively insensitive to the pixel pitch.


title: Teleportation improvement by non-deterministic noiseless linear amplification

abstract: We address de-Gaussification of continuous variables Gaussian states by optimal non-deterministic noiseless linear amplifier (NLA) and analyze in details the properties of the amplified states. In particular, we investigate the entanglement content and the non-Gaussian character for the class of non-Gaussian entangled state obtained by using NL-amplification of two-mode squeezed vacua (twin-beam, TWB). We show that entanglement always increases, whereas improved EPR correlations are observed only when the input TWB has low energy. We then examine a Braunstein-Kimble-like protocol for the teleportation of coherent states, and compare the performances of TWB-based teleprotation with those obtained using NL-amplified resources. We show that teleportation fidelity and security may be improved for a large range of NLA parameters (gain and threshold).


title: Configurational stability of a crack propagating in a material with mode-dependent fracture energy -- Part II: Drift of fracture facets in mixed-mode I+II+III

abstract: In earlier papers (Leblond et.al., 2011, 2019), we presented linear stability analyses of the coplanar propagation of a crack loaded in mixed-mode I+III, based on a "double'' propagation criterion combining Griffith (1920)'s energetic condition and Goldstein and Salganik (1974)'s principle of local symmetry. The difference between the two papers was that in the more recent one, the local value of the critical energy-release-rate was no longer considered as a constant, but heuristically allowed to depend upon the ratio of the local mode III to mode I stress intensity factors. This led to a much improved, qualitatively acceptable agreement of theory and experiments, for the "threshold'' value of the ratio of the unperturbed mode III to mode I stress intensity factors, above which coplanar propagation becomes unstable. In this paper, the analysis is extended to the case where a small additional mode II loading component is present in the initially planar configuration of the crack, generating a small, general kink of this crack from the moment it is applied. The main new effect resulting from presence of such a loading component is that the instability modes present above the threshold must drift along the crack front during its propagation. This prediction may be useful for future theoretical interpretations of a number of experiments where such a drifting motion was indeed observed.


title: Optimal Dividend Strategy for an Insurance Group with Contagious Default Risk

abstract: This paper studies the optimal dividend for a multi-line insurance group, in which each subsidiary runs a product line and is exposed to some external credit risk. The default contagion is considered such that one default event may increase the default probabilities of all surviving subsidiaries. The total dividend problem for the insurance group is investigated and we find that the optimal dividend strategy is still of the barrier type. Furthermore, we show that the optimal barrier of each subsidiary is modulated by the default state. That is, how many and which subsidiaries have defaulted will determine the dividend threshold of each surviving subsidiary. These conclusions are based on the analysis of the associated recursive system of Hamilton-Jacobi-Bellman variational inequalities (HJBVIs). The existence of the classical solution is established and the verification theorem is proved. In the case of two subsidiaries, the value function and optimal barriers are given in analytical forms, allowing us to conclude that the optimal barrier of one subsidiary decreases if the other subsidiary defaults.


title: Moduli Spaces of Metrics of Positive Scalar Curvature on Topological Spherical Space Forms

abstract: Let $M$ be a topological spherical space form, i.e. a smooth manifold whose universal cover is a homotopy sphere. We determine the number of path components of the space and moduli space of Riemannian metrics with positive scalar curvature on $M$ if the dimension of $M$ is at least 5 and $M$ is not simply-connected.


title: Quantitative Estimates in Reiterated Homogenization

abstract: This paper investigates quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients that oscillate on multiple separated scales. We establish large-scale interior and boundary Lipschitz estimates down to the finest microscopic scale via iteration and rescaling arguments. We also obtain a convergence rate in the $L^2$ space by the reiterated homogenization method.


title: On the Schur, positive Schur and weak Dunford-Pettis properties in Fr\'echet lattices

abstract: We prove some general results on sequential convergence in Fr\'echet lattices that yield, as particular instances, the following results regarding a closed ideal I of a Banach lattice E: (i) If two of the lattices E, I and E/I have the positive Schur property (the Schur property, respectively) then the third lattice has the positive Schur property (the Schur property, respectively) as well; (ii) If I and E/I have the dual positive Schur property, then E also has this property; (iii) If I has the weak Dunford-Pettis property and E/I has the positive Schur property, then E has the weak Dunford-Pettis property. Examples and applications are provided.


title: Searching for a Light Higgs Boson via the Yukawa Process at Lepton Colliders

abstract: We explore the prospect of Yukawa production of a light boson which can exist in an extended Higgs sector. A particularly interesting case is the light pseudoscalar in Type-X two Higgs doublet model which can explain the anomalous magnetic moment of muon at large $\tan\beta$. Considering ILC $Higgs$ $factory$ with $\sqrt{s}=250$ GeV, we show that the available parameter space can be fully examined by the (tau) Yukawa process at $5\sigma$. We also demonstrate the mass reconstruction of such a light particle which helps to sizably minimize the background events.


title: Advances on the modelling of the time evolution of dynamic aperture of hadron circular accelerators

abstract: Determining a model for the time scaling of the dynamic aperture of a circular accelerator is a topic of strong interest and intense research efforts in accelerator physics. The motivation arises in the possibility of finding a method to reliably extrapolate the results of numerical simulations well beyond what is currently possible in terms of CPU time. In earlier work, a proposal for a model based on Nekhoroshev theorem and Kolmogorov--Arnold--Moser theory was made. This model has been studied in detail and proved successful in describing the evolution of the dynamic aperture in numerical simulations, however, a number of shortcomings had been identified and new models are proposed in this paper, which solve the observed issues. The new models have been benchmarked against numerical simulations for a simple system, the 4D H\'enon map, as well as a realistic, non-linear representation of the beam dynamics in the LHC at 6.5 TeV providing in both cases excellent results.


title: Multi-level Bayes and MAP monotonicity testing

abstract: In this paper, we develop Bayes and maximum a posteriori probability (MAP) approaches to monotonicity testing. In order to simplify this problem, we consider a simple white Gaussian noise model and with the help of the Haar transform we reduce it to the equivalent problem of testing positivity of the Haar coefficients. This approach permits, in particular, to understand links between monotonicity testing and sparse vectors detection, to construct new tests, and to prove their optimality without supplementary assumptions. The main idea in our construction of multi-level tests is based on some invariance properties of specific probability distributions. Along with Bayes and MAP tests, we construct also adaptive multi-level tests that are free from the prior information about the sizes of non-monotonicity segments of the function.


title: Tensors with maximal symmetries

abstract: We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. In other words, we classify minimal dimensional orbits in the space of (m,m,m) tensors assuming 1-genericity. Our study uncovers new tensors with striking geometry. This paper was motivated by Strassen's laser method for bounding the exponent of matrix multiplication. The best known tensor for the laser method is the large Coppersmith-Winograd tensor, and our study began with the observation that it has a large symmetry group, of dimension m^2/2 +m/2. We show that in odd dimensions, this is the largest possible for a 1-generic tensor, but in even dimensions we exhibit a tensor with a larger dimensional symmetry group. In the course of the proof, we classify nondegenerate bilinear forms with large dimensional stabilizers, which may be of interest in its own right.


title: Sudden Singularities in Brans-Dicke Cosmology and its Generalisations

abstract: We show that cosmological sudden singularities that respect the energy conditions can occur at finite times in Brans-Dicke and more general scalar-tensor theories of gravity. We construct these explicitly in the Friedmann universes. Higher-order versions of these singularities are also possible, including those that arise with when scalar fields have a self-interaction potential of power-law form.7 pages, no figures


title: Keys and Demazure crystals for Kac-Moody algebras

abstract: The Key map is an important tool in the determination of the Demazure crystals associated to Kac-Moody algebras. In finite type A, it can be computed in the tableau realization of crystals by a simple combinatorial procedure due to Lascoux and Sch{\"u}tzenberger. We show that this procedure is a part of a more general construction holding in the Kac-Moody case that we illustrate in finite types and affine type A. In affine type A, we introduce higher level generalizations of core partitions which notably give interesting analogues of the Young lattice and are expected to parametrize distinguished elements of certain remarkable blocks for Ariki-Koike algebras.


title: The limits for complete photonic bandgaps in low-contrast media

abstract: The minimal refractive index contrast to obtain a complete photonic bandgap (CPBG) in structured media was not identified so far. We address this problem by considering distributed quasicrystals in with arbitrary number and positions of Bragg peaks in reciprocal space. For these structures an analytical estimation is derived which predicts that there is an optimal number of Bragg peaks for any refractive index contrast and finite CPBGs for an arbitrarily small refractive index contrast in 2D and 3D. Results of numerical simulations of dipole emission in 2D structures support our estimation. In 3D an emission suppression of almost 10 dB was demonstrated with a refractive index contrast of 1.6. The reason for residual leakage in 3D structures has to be further investigated.


title: Hunting for low-surface brightness features in nearby galaxy groups

abstract: On the scale of dwarf galaxies, several tensions between observations and the theory of structure formation have been identified in the Local Group of galaxies. One of them, the plane-of-satellite problem describes the distribution and motion of dwarf galaxies around their hosts being planar and co-moving. To extend these studies, we have surveyed the nearby Centaurus group and found again evidence for co-rotation within a planar structure of dwarf galaxies, posing a challenge to the current LambdaCDM paradigm. To further study the distribution of satellite systems around other galaxy groups, we have tested MTO - a program to detect astronomical sources - and found that it works well in combination with surface brightness fluctuation distance measurements to get a complete sample of dwarf galaxies. Such an approach will improve the census of dwarf galaxies in nearby galaxy groups, bringing the study of the small-scale problems to a solid statistical foundation.


title: Extraordinary high room-temperature carrier mobility in graphene-WSe$_2$ heterostructures

abstract: High carrier mobilities play a fundamental role for high-frequency electronics, integrated optoelectronics as well as for sensor and spintronic applications, where device performance is directly linked to the magnitude of the carrier mobility. Van der Waals heterostructures formed by graphene and hexagonal boron nitride (hBN) already outperform all known materials in terms of room temperature mobility. Here, we show that the mobility of today's best graphene/hBN devices can be surpassed by more than a factor of three by heterostructures formed by tungsten diselenide (WSe$_2$), graphene and hBN, which can have mobilities as high as 350,000 cm$^2$/(Vs) at room temperature, and resistivities as low as 15 Ohm. The resistivity of these devices shows a much weaker temperature dependence than the one of graphene on any other known substrate. The origin of this behaviour points to modified acoustic phonon bands in graphene and questions our understanding of electron-phonon scattering in van der Waals heterostructures.


title: Pivot-based Transfer Learning for Neural Machine Translation between Non-English Languages

abstract: We present effective pre-training strategies for neural machine translation (NMT) using parallel corpora involving a pivot language, i.e., source-pivot and pivot-target, leading to a significant improvement in source-target translation. We propose three methods to increase the relation among source, pivot, and target languages in the pre-training: 1) step-wise training of a single model for different language pairs, 2) additional adapter component to smoothly connect pre-trained encoder and decoder, and 3) cross-lingual encoder training via autoencoding of the pivot language. Our methods greatly outperform multilingual models up to +2.6% BLEU in WMT 2019 French-German and German-Czech tasks. We show that our improvements are valid also in zero-shot/zero-resource scenarios.


title: Homogeneous enhancement of electric near-field in all-dielectric metasurfaces composed of cluster-based unit cells

abstract: In order to construct a dielectric analog of spaser, we study theoretically and experimentally several configurations of cluster-based unit cells for an all-dielectric metasurface characterized by resonant conditions of the trapped mode excitation. Excitation of the trapped mode is realized by either specific displacement of particles in the cluster, or perturbation of the equidistantly spaced particles by off-centered round holes or coaxial-sector notches. It turns out that the latter approach is more advantageous for enhancement of electric near-field with homogeneous distribution in-plane of the structure and its strong localization outside the high-refractive-index dielectric particles. This feature opens prospects for realization of highly desirable subwavelength flat lasing structures based on strong near-field interaction with substances exhibiting pronounced nonlinear characteristics and properties of gain media.


title: Hypermap Mapping Framework and its Application to Autonomous Semantic Exploration

abstract: Modern intelligent and autonomous robotic applications often require robots to have more information about their environment than that provided by traditional occupancy grid maps. For example, a robot tasked to perform autonomous semantic exploration has to label objects in the environment it is traversing while autonomously navigating. To solve this task the robot needs to at least maintain an occupancy map of the environment for navigation, an exploration map keeping track of which areas have already been visited, and a semantic map where locations and labels of objects in the environment are recorded. As the number of maps required grows, an application has to know and handle different map representations, which can be a burden. We present the Hypermap framework, which can manage multiple maps of different types. In this work, we explore the capabilities of the framework to handle occupancy grid layers and semantic polygonal layers, but the framework can be extended with new layer types in the future. Additionally, we present an algorithm to automatically generate semantic layers from RGB-D images. We demonstrate the utility of the framework using the example of autonomous exploration for semantic mapping.


title: SUSY-QCD corrected and Sommerfeld enhanced stau annihilation into heavy quarks with scheme and scale uncertainties

abstract: We investigate stau-antistau annihilation into heavy quarks in the phenomenological Minimal Supersymmetric Standard Model within the DM@NLO project. We present the calculation of the corresponding cross section including corrections up to $\mathcal{O}(\alpha_s)$ and QED Sommerfeld enhancement. The numerical impact of these corrections is discussed for the cross section and the dark matter relic density, where we focus on top-quark final states and consider either neutralino or gravitino dark matter. Similarly to previous work, we find that the presented corrections should be included when calculating the relic density or extracting parameters from cosmological observations. Considering scheme and scale variations, we estimate the theoretical uncertainty that affects the prediction of the annihilation cross section and thus the prediction of the relic density.


title: Nonparametric learning for impulse control problems

abstract: One of the fundamental assumptions in stochastic control of continuous time processes is that the dynamics of the underlying (diffusion) process is known. This is, however, usually obviously not fulfilled in practice. On the other hand, over the last decades, a rich theory for nonparametric estimation of the drift (and volatility) for continuous time processes has been developed. The aim of this paper is bringing together techniques from stochastic control with methods from statistics for stochastic processes to find a way to both learn the dynamics of the underlying process and control in a reasonable way at the same time. More precisely, we study a long-term average impulse control problem, a stochastic version of the classical Faustmann timber harvesting problem. One of the problems that immediately arises is an exploration-exploitation dilemma as is well known for problems in machine learning. We propose a way to deal with this issue by combining exploration and exploitation periods in a suitable way. Our main finding is that this construction can be based on the rates of convergence of estimators for the invariant density. Using this, we obtain that the average cumulated regret is of uniform order $O({T^{-1/3}})$.


title: Multi-user Augmented Reality Application for Video Communication in Virtual Space

abstract: Communication is the most useful tool to impart knowledge, understand ideas, clarify thoughts and expressions, organize plan and manage every single day-to-day activity. Although there are different modes of communication, physical barrier always affects the clarity of the message due to the absence of body language and facial expressions. These barriers are overcome by video calling, which is technically the most advance mode of communication at present. The proposed work concentrates around the concept of video calling in a more natural and seamless way using Augmented Reality (AR). AR can be helpful in giving the users an experience of physical presence in each other's environment. Our work provides an entirely new platform for video calling, wherein the users can enjoy the privilege of their own virtual space to interact with the individual's environment. Moreover, there is no limitation of sharing the same screen space. Any number of participants can be accommodated over a single conference without having to compromise the screen size.


title: Double parton distributions in the pion in the Nambu and Jona-Lasinio model

abstract: Two-parton correlations in the pion, a non perturbative information encoded in double parton distribution functions, are investigated in the Nambu and Jona-Lasinio model. It is found that double parton distribution functions expose novel dynamical information on the structure of the pion, not accessible through one-body parton distributions, as it happens in several estimates for the proton target and in a previous evaluation for the pion, in a light-cone framework. Expressions and predictions are given for double parton distributions corresponding to leading-twist Dirac operators in the quark vertices, and to different regularization methods for the Nambu and Jona-Lasinio model. These results are particularly relevant in view of forthcoming lattice data.


title: Designing dialogue systems: A mean, grumpy, sarcastic chatbot in the browser

abstract: In this work we explore a deep learning-based dialogue system that generates sarcastic and humorous responses from a conversation design perspective. We trained a seq2seq model on a carefully curated dataset of 3000 question-answering pairs, the core of our mean, grumpy, sarcastic chatbot. We show that end-to-end systems learn patterns very quickly from small datasets and thus, are able to transfer simple linguistic structures representing abstract concepts to unseen settings. We also deploy our LSTM-based encoder-decoder model in the browser, where users can directly interact with the chatbot. Human raters evaluated linguistic quality, creativity and human-like traits, revealing the system's strengths, limitations and potential for future research.


title: Fermion Mass and Mixing in a Low-Scale Seesaw Model based on the S4 Flavor Symmetry

abstract: We construct a low-scale seesaw model to generate the masses of active neutrinos based on $S_4$ flavor symmetry supplemented by the $Z_2 \times Z_3 \times Z_4 \times Z_{14}\times U(1)_L$ group, capable of reproducing the low energy Standard model (SM) fermion flavor data. The masses of the SM fermions and the fermionic mixings parameters are generated from a Froggatt-Nielsen mechanism after the spontaneous breaking of the $S_4\times Z_2 \times Z_3 \times Z_4 \times Z_{14}\times U(1)_L$ group. The obtained values for the physical observables of the quark and lepton sectors are in good agreement with the most recent experimental data. The leptonic Dirac CP violating phase $\de _{CP}$ is predicted to be $259.579^\circ$ and the predictions for the absolute neutrino masses in the model can also saturate the recent constraints.


title: Biased Encouragements and Heterogeneous Effects in an Instrumental Variable Study of Emergency General Surgical Outcomes

abstract: We investigate the efficacy of surgical versus non-surgical management for two gastrointestinal conditions, colitis and diverticulitis, using observational data. We deploy an instrumental variable design with surgeons' tendencies to operate as an instrument. Assuming instrument validity, we find that non-surgical alternatives can reduce both hospital length of stay and the risk of complications, with estimated effects larger for septic patients than for non-septic patients. The validity of our instrument is plausible but not ironclad, necessitating a sensitivity analysis. Existing sensitivity analyses for IV designs assume effect homogeneity, unlikely to hold here because of patient-specific physiology. We develop a new sensitivity analysis that accommodates arbitrary effect heterogeneity and exploits components explainable by observed features. We find that the results for non-septic patients prove more robust to hidden bias despite having smaller estimated effects. For non-septic patients, two individuals with identical observed characteristics would have to differ in their odds of assignment to a high tendency to operate surgeon by a factor of 2.34 to overturn our finding of a benefit for non-surgical management in reducing length of stay. For septic patients, this value is only 1.64. Simulations illustrate that this phenomenon may be explained by differences in within-group heterogeneity.


title: Creative GANs for generating poems, lyrics, and metaphors

abstract: Generative models for text have substantially contributed to tasks like machine translation and language modeling, using maximum likelihood optimization (MLE). However, for creative text generation, where multiple outputs are possible and originality and uniqueness are encouraged, MLE falls short. Methods optimized for MLE lead to outputs that can be generic, repetitive and incoherent. In this work, we use a Generative Adversarial Network framework to alleviate this problem. We evaluate our framework on poetry, lyrics and metaphor datasets, each with widely different characteristics, and report better performance of our objective function over other generative models.


title: Universal Quantum Computation by a Single Photon

abstract: We use one photon to simulate an n-qubit quantum system for the first time. We propose a new scheme to realize universal quantum computation in polynomial time O(n^5). A generating set of gates can be realized with high accuracy in the lab. We conclude that photonic quantum computation is one of the promising approaches to universal quantum computation.


title: Object grasping planning for the situation when soft and rigid objects are mixed together

abstract: In this paper, we propose a object detection method expressed as rotated bounding box to solve grasping challenge in the scenes where rigid objects and soft objects are mixed together. Compared with traditional detection methods, this method can output the angle information of rotated objects and thus can guarantee that within each rotated bounding box, there is a single instance. This technology is especially useful in the case of pile of objects with different orientations. In our method, when uncategorized objects with specific geometry shapes (rectangle or cylinder) are detected, the program will conclude that some rigid objects are covered by the towels. If no covered objects are detected, the grasp planning is based on 3D point cloud obtained from the mapping between 2D object detection result and its corresponding 3D point cloud. Based on the information provided by the 3D bounding box covering the object, grasping strategy for multiple cluttered rigid objects, collision avoidance strategy are proposed. The proposed method is verified by the experiment in which rigid objects and towels are mixed together.


title: A Note on Hilbert's "Geometric" Tenth Problem

abstract: This paper explores undecidability in theories of positive characteristic function fields in the "geometric" language of rings $\mathcal{L}_F = \{0, 1, +, \cdot, F\}$, with a unary predicate $F$ for nonconstant elements. In particular we are motivated by a question of Fehm on the decidability of $\mbox{Th}_{\exists}(\mathbb{F}_p(t); \mathcal{L}_F)$; equivalently, that of $\mbox{Th}_{\exists}(\mathbb{F}_p(t); \mathcal{L}_r)$ without parameters. We indicate how to generalise existing machinery to prove the undecidability of $\mbox{Th}_{\forall^1\exists}(K; \mathcal{L}_F)$ without parameters, where $K$ is the function field of a curve over an algebraic extension of $\mathbb{F}_p$, not algebraically closed. We discuss the problem (and its geometric implications) further in this context too.


title: Small MMI with simplified coherent coupling branches used to develop a lower footprint power splitter on SOI platform

abstract: In this paper, we introduce a new approach to fabricate under the Silicon on Insulator (SOI) platform a 1x2 power splitter and scale it to 1xN system device from the proposed model. The current strategy of design is based on the well-known simplified coherent coupling (SCC) which allows the construction of very sharp bends. To split the incoming light, we add at the entrance of the splitter a small Multi Mode Interferometer (MMI). The sensibility of the design parameters is analyzed and discussed in the paper. In addition, we fabricated and evaluated the new splitter architecture on 1x2 and 1x4 versions and then compared our devices with those splitters based on standard multimode interferometer (MMI) also performed in the same SOI photonic chip. The new splitter scheme shows a similar performance to standard MMI, however, a slight spectral flat response was observed in new devices. By the novel approach, highly compact devices can be designed so this strategy can also open new avenues to improve and enhance the performance of integrated devices developed under the SOI scheme.


title: Doubling tolerances and coalition lattices

abstract: If every block of a (compatible) tolerance (relation) $T$ on a modular lattice $L$ of finite length consists of at most two elements, then we call $T$ a \emph{doubling tolerance} on $L$. We prove that, in this case, $L$ and $T$ determines a modular lattice of size $2|L|$. This construction preserves distributivity and modularity. In order to give an application of the new construct, let $P$ be a partially ordered set (poset). Following a 1995 paper by G.\ Poll\'ak and the present author, the subsets of $P$ are called the \emph{coalitions} of $P$. For coalitions $X$ and $Y$ of $P$, let $X\leq Y$ mean that there exists an injective map $f$ from $X$ to $Y$ such that $x\leq f(x)$ for every $x\in X$. If $P$ is a finite chain, then its coalitions form a distributive lattice by the 1995 paper; we give a new proof of its distributivity by means of doubling tolerances.


title: Reconnaissance and Planning algorithm for constrained MDP

abstract: Practical reinforcement learning problems are often formulated as constrained Markov decision process (CMDP) problems, in which the agent has to maximize the expected return while satisfying a set of prescribed safety constraints. In this study, we propose a novel simulator-based method to approximately solve a CMDP problem without making any compromise on the safety constraints. We achieve this by decomposing the CMDP into a pair of MDPs; reconnaissance MDP and planning MDP. The purpose of reconnaissance MDP is to evaluate the set of actions that are safe, and the purpose of planning MDP is to maximize the return while using the actions authorized by reconnaissance MDP. RMDP can define a set of safe policies for any given set of safety constraint, and this set of safe policies can be used to solve another CMDP problem with different reward. Our method is not only computationally less demanding than the previous simulator-based approaches to CMDP, but also capable of finding a competitive reward-seeking policy in a high dimensional environment, including those involving multiple moving obstacles.