title: Blind Inpainting of Large-scale Masks of Thin Structures with Adversarial and Reinforcement Learning

abstract: Several imaging applications (vessels, retina, plant roots, road networks from satellites) require the accurate segmentation of thin structures for subsequent analysis. Discontinuities (gaps) in the extracted foreground may hinder down-stream image-based analysis of biomarkers, organ structure and topology. In this paper, we propose a general post-processing technique to recover such gaps in large-scale segmentation masks. We cast this problem as a blind inpainting task, where the regions of missing lines in the segmentation masks are not known to the algorithm, which we solve with an adversarially trained neural network. One challenge of using large images is the memory capacity of current GPUs. The typical approach of dividing a large image into smaller patches to train the network does not guarantee global coherence of the reconstructed image that preserves structure and topology. We use adversarial training and reinforcement learning (Policy Gradient) to endow the model with both global context and local details. We evaluate our method in several datasets in medical imaging, plant science, and remote sensing. Our experiments demonstrate that our model produces the most realistic and complete inpainted results, outperforming other approaches. In a dedicated study on plant roots we find that our approach is also comparable to human performance. Implementation available at \url{https://github.com/Hhhhhhhhhhao/Thin-Structure-Inpainting}.


title: Formation and Stabilization of Ground and Excited State Singlet O$_2$ upon Recombination of $^3$P Oxygen on Amorphous Solid Water

abstract: The recombination dynamics of $^3$P oxygen atoms on cold amorphous solid water to form triplet and singlet molecular oxygen (O$_2$) is followed under conditions representative for cold clouds. It is found that both, formation of ground state ($X ^3 \Sigma_{g}^{-}$) O$_2$ and molecular oxygen in the two lowest singlet states ($a ^1\Delta_g$ and $b ^1\Sigma_g^+$) is possible and that the species can stabilize. The relative proportions of the species is approximately 1:1:1. These results also agree qualitatively with a kinetic model based on simplified wavepacket simulations. As the chemical reactivity of triplet and singlet O$_2$ is different it is likely that substantial amounts of $a ^1\Delta_g$ and $b ^1\Sigma_g^+$ oxygen influences the chemical evolution of cold clouds.


title: Superscattering from subwavelength corrugated cylinders

abstract: Wave scattering from a cylinder with a tensor impedance surface is investigated based on the Lorentz-Mie theory. A practical example of such a cylinder is a subwavelength metallic rod with helical dielectric-filled corrugations. The investigation is performed with the aim to maximize scattering cross-section by tailoring the surface impedance of cylindrical scatterers. For the normally incident TEz and TMz waves the required surface impedance of a subwavelength cylinder can be produced by longitudinal (axial) and transverse (circumferential) corrugations, respectively. It is shown that such corrugations induce superscattering at multiple frequencies, which can be widely tuned with either or both the size and permittivity of dielectric-filled corrugations. In the microwave band, this effect is demonstrated to be robust to material losses and is validated against the full-wave simulations and experiment. For the TEz waves the enhanced scattering from the cylinder is found to have a broad frequency bandwidth, provided that the relative permittivity of corrugations is low or equal unity. In the latter case, the corrugated cylinder acts as an all-metal superscatterer. For such cylinders the near-field measurements are implemented and provide the first experimental evidence of the superscattering phenomenon for all-metal objects. In addition to multifrequency superscattering, the dielectric-filled corrugations are shown to provide multifrequency cloaking of the cylinder under the incidence of the TMz waves. Simultaneous superscattering and cloaking at multiple frequencies distinguishes corrugated cylinders from other known practicable scatterers for potential applications in antenna designing, sensing, and energy harvesting.


title: Influence of anharmonic convex interparticle potential and Shapiro steps in the opposite direction of driving force

abstract: The response function and largest Lyapunov exponent analysis were applied to the driven overdamped Frenkel-Kontorova model with two types of anharmonic convex interparticle potentials. In both cases model reduces to a single particle model for integer values of winding number. It is shown that the mirror image of the amplitude dependence of critical depinning force and largest Lyapunov exponent observed recently in the standard Frenkel-Kontorova model [Commun. Nonlinear Sci. Numer. Simul. 47, 100 (2017)] is not retained generally. Behaviour of systems with relatively strong interparticle force was examined and evidence for the appearance of mode-locking phenomenon in both directions of particles' motion is presented.


title: Assembly ASM291031v2 (Genbank: GCA_002910315.2) identified as assembly of the Northern Dolly Varden (Salvelinus malma malma) genome, and not the Arctic char (S. alpinus) genome

abstract: To date, twelve complete genomes representing eleven species belonging to six genera have been sequenced in salmonids. For the genus Salvelinus, it was supposed to sequence the genome of Arctic char, one of the most variable species of vertebrate animals. Sequencing was carried out (Christensen et al., 2018) using the tissues of the female IW2-2015 obtained from the company engaged in industrial aquaculture of chars - Icy Waters Ltd. The company exploits two of its own broodstocks - NL and TR, originating from the chars from the Nauyuk Lake and the Tree River (Nunavut, Canada). Since the complete mitochondrial genome of the female IW2-2015 was absent in the published assembly ASM291031v2, we determined its type and complete sequence from the sequence read archives taken from Genbank. It was found that the female's mitogenome belongs to the BERING haplogroup, which is characteristic of Northern Dolly Varden S. malma malma. Analysis of other unlinked diagnostic loci encoded by nuclear DNA (ITS1, RAG1, SFO-12, SFO-18, SMM-21) also revealed distinctive characters of Northern Dolly Varden in female IW2-2015. It was concluded that the genomic assembly ASM291031v2 was obtained not from an individual of Arctic char S. alpinus, but from an individual of a related species - Northern Dolly Varden S. malma malma. The identical to the IW2-2015 female characteristics of diagnostic loci were found in other individuals from the broodstock TR. Apparently, the broodstock TR is entirely a strain derived from Northern Dolly Varden. Since assembly ASM291031v2 was obtained from a specimen originated from the marginal population of Northern Dolly Varden (Tree R.) isolated from the main range of the species and with some traces of introgressive hybridization, this assembly can hardly be considered as a description of a typical genome of S. malma malma.


title: QED background against atomic neutrino process with initial spatial phase

abstract: Atomic deexcitation emitting a neutrino pair and a photon is expected to provide a novel method of neutrino physics if it is enhanced by quantum coherence in a macroscopic target. However, the same enhancement mechanism may also lead to a serious problem of enhanced QED background process. We show that the QED background can be suppressed enough in the photonic crystal waveguide by using the spatial phase that is imprinted in the process of initial coherence generation in the target at excitation.


title: Voyager 2 enters interstellar space

abstract: After 41 years of travel, the Voyager 2 spacecraft joins its twin in interstellar space. A suite of papers report Voyager 2's experience of its transition through the heliosheath and heliopause to what lies beyond.


title: Love Me, Love Me, Say (and Write!) that You Love Me: Enriching the WASABI Song Corpus with Lyrics Annotations

abstract: We present the WASABI Song Corpus, a large corpus of songs enriched with metadata extracted from music databases on the Web, and resulting from the processing of song lyrics and from audio analysis. More specifically, given that lyrics encode an important part of the semantics of a song, we focus here on the description of the methods we proposed to extract relevant information from the lyrics, such as their structure segmentation, their topics, the explicitness of the lyrics content, the salient passages of a song and the emotions conveyed. The creation of the resource is still ongoing: so far, the corpus contains 1.73M songs with lyrics (1.41M unique lyrics) annotated at different levels with the output of the above mentioned methods. Such corpus labels and the provided methods can be exploited by music search engines and music professionals (e.g. journalists, radio presenters) to better handle large collections of lyrics, allowing an intelligent browsing, categorization and segmentation recommendation of songs.


title: Effective Data Augmentation Approaches to End-to-End Task-Oriented Dialogue

abstract: The training of task-oriented dialogue systems is often confronted with the lack of annotated data. In contrast to previous work which augments training data through expensive crowd-sourcing efforts, we propose four different automatic approaches to data augmentation at both the word and sentence level for end-to-end task-oriented dialogue and conduct an empirical study on their impact. Experimental results on the CamRest676 and KVRET datasets demonstrate that each of the four data augmentation approaches is able to obtain a significant improvement over a strong baseline in terms of Success F1 score and that the ensemble of the four approaches achieves the state-of-the-art results in the two datasets. In-depth analyses further confirm that our methods adequately increase the diversity of user utterances, which enables the end-to-end model to learn features robustly.


title: Control of the orbital character of indirect excitons in MoS2/WS2 heterobilayers

abstract: Valley selective hybridization and residual coupling of electronic states in commensurate van der Waals heterobilayers enable the control of the orbital character of interlayer excitons. We demonstrate electric field control of layer index, orbital character, lifetime and emission energy of indirect excitons in MoS2/WS2 heterobilayers embedded in an vdW field effect structure. Different excitonic dipoles normal to the layers are found to stem from bound electrons and holes located in different valleys of MoS2/WS2 with a valley selective degree of hybridization. For the energetically lowest emission lines, coupling of electronic states causes a field-dependent level anticrossing that goes along with a change of the IX lifetime from 400 ns to 100 ns. In the hybridized regime the exiton is delocalized between the two constituent layers, whereas for large positive or negative electric fields, the layer index of the bound hole is field-dependent. Our results demonstrate the design of novel van der Waals solids with the possibility to in-situ control their physical properties via external stimuli such as electric fields.


title: Leveraging Operational Technology and the Internet of Things to Attack Smart Buildings

abstract: In recent years, the buildings where we spend most part of our life are rapidly evolving. They are becoming fully automated environments where energy consumption, access control, heating and many other subsystems are all integrated within a single system commonly referred to as smart building (SB). To support the growing complexity of building operations, building automation systems (BAS) powering SBs are integrating consumer range Internet of Things (IoT) devices such as IP cameras alongside with operational technology (OT) controllers and actuators. However, these changes pose important cybersecurity concerns since the attack surface is larger, attack vectors are increasing and attacks can potentially harm building occupants. In this paper, we analyze the threat landscape of BASs by focusing on subsystems which are strongly affected by the advent of IoT devices such as video surveillance systems and smart lightning. We demonstrate how BAS operation can be disrupted by simple attacks to widely used network protocols. Furthermore, using both known and 0-day vulnerabilities reported in the paper and previously disclosed, we present the first (at our knowledge) BAS-specific malware which is able to persist within the BAS network by leveraging both OT and IoT devices connected to the BAS. Our research highlights how BAS networks can be considered as critical as industrial control systems and security concerns in BASs deserve more attention from both industrial and scientific communities. Even within a simulated environment, our proof-of-concept attacks were carried out with relative ease and a limited amount of budget and resources. Therefore, we believe that well-funded attack groups will increasingly shift their focus towards BASs with the potential of impacting the live of thousands of people.


title: Massive vs. Curated Word Embeddings for Low-Resourced Languages. The Case of Yor\`ub\'a and Twi

abstract: The success of several architectures to learn semantic representations from unannotated text and the availability of these kind of texts in online multilingual resources such as Wikipedia has facilitated the massive and automatic creation of resources for multiple languages. The evaluation of such resources is usually done for the high-resourced languages, where one has a smorgasbord of tasks and test sets to evaluate on. For low-resourced languages, the evaluation is more difficult and normally ignored, with the hope that the impressive capability of deep learning architectures to learn (multilingual) representations in the high-resourced setting holds in the low-resourced setting too. In this paper we focus on two African languages, Yor\`ub\'a and Twi, and compare the word embeddings obtained in this way, with word embeddings obtained from curated corpora and a language-dependent processing. We analyse the noise in the publicly available corpora, collect high quality and noisy data for the two languages and quantify the improvements that depend not only on the amount of data but on the quality too. We also use different architectures that learn word representations both from surface forms and characters to further exploit all the available information which showed to be important for these languages. For the evaluation, we manually translate the wordsim-353 word pairs dataset from English into Yor\`ub\'a and Twi. As output of the work, we provide corpora, embeddings and the test suits for both languages.


title: Do 2D material-based battery electrodes have inherently poor rate-performance?

abstract: Two dimensional materials show great potential for use in battery electrodes and are believed to be particularly promising for high-rate applications. However, there does not seem to be much hard evidence for the superior rate-performance of 2D materials compared to non-2D materials. To examine this point, we have analyzed published rate-performance data for a wide range of 2D materials as well as non-2D materials for comparison. For each capacity-rate curve we extract parameters which quantify performance which can then be analyzed using a simple mechanistic model. Contrary to expectations, by comparing a previously-proposed figure of merit, we find 2D-based electrodes to be on average ~40 times poorer in terms of rate performance than non-2D materials. This is not due to differences in solid-state diffusion times which were similarly distributed for 2D and non-2D materials. In fact, we found the main difference between 2D and non-2D materials to be that ion mobility within the electrolyte-filled pores of the electrodes to be significantly lower for 2D materials, a situation which we attribute to their high aspect ratios.


title: ROI-Wise Material Decomposition in Spectral Photon-Counting CT

abstract: Spectral photon-counting X-ray CT (sCT) opens up new possibilities for the quantitative measurement of materials in an object, compared to conventional energy-integrating CT or dual energy CT. However, achieving reliable and accurate material decomposition in sCT is extremely challenging, due to similarity between different basis materials, strong quantum noise and photon-counting detector limitations. We propose a novel material decomposition method that works in a region-wise manner. The method consists in optimizing basis materials based on spatio-energy segmentation of regions-of-interests (ROIs) in sCT images and performing a fine material decomposition involving optimized decomposition matrix and sparsity regularization. The effectiveness of the proposed method was validated on both digital and physical data. The results showed that the proposed ROI-wise material decomposition method presents clearly higher reliability and accuracy compared to common decomposition methods based on total variation (TV) or L1-norm (lasso) regularization.


title: EviDense: a Graph-based Method for Finding Unique High-impact Events with Succinct Keyword-based Descriptions

abstract: Despite the significant efforts made by the research community in recent years, automatically acquiring valuable information about high impact-events from social media remains challenging. We present EviDense, a graph-based approach for finding high-impact events (such as disaster events) in social media. One of the challenges we address in our work is to provide for each event a succinct keyword-based description, containing the most relevant information about it, such as what happened, the location, as well as its timeframe. We evaluate our approach on a large collection of tweets posted over a period of 19 months, using a crowdsourcing platform. Our evaluation shows that our method outperforms state-of-the-art approaches for the same problem, in terms of having higher precision, lower number of duplicates, and presenting a keyword-based description that is succinct and informative. We further improve the results of our algorithm by incorporating news from mainstream media. A preliminary version of this work was presented as a 4-pages short paper at ICWSM 2018.


title: Quantifying the effect of electrical conductivity on the rate-performance of nanocomposite battery electrodes

abstract: While it is well-known that electrode conductivity has a critical impact on rate-performance in battery electrodes, this relationship has been quantified only by computer simulations. Here we investigate the relationship between electrode conductivity and rate-performance in Lithium-Nickel-Manganese-Cobalt-Oxide (NMC) cathodes filled with various quantities of carbon black, single-walled carbon nanotubes and graphene. The electrode conductivity is always extremely anisotropic with the out-of-plane conductivity, which is most relevant to rate-performance, roughly 1000 smaller than the in-plane conductivity. For all fillers the conductivity increases with filler loading although the nanotube-filled electrodes show by far the most rapid increase. Fitting capacity versus rate curves yielded the characteristic time associated with charge/discharge. This parameter increased linearly with the inverse of the out-of-plane conductivity, with all data points falling on the same master curve. Using a simple mechanistic model for the characteristic time, we develop an equation which matches the experimental data almost perfectly with no adjustable parameters. This implies that increasing the electrode conductivity improves the rate-performance by decreasing the RC charging time of the electrode. This model shows the effect of electrode resistance on the rate-performance to become negligible in almost all cases once the out-of-plane conductivity of the electrode exceeds 1 S/m. Our results show that this can be achieved by including <1wt% single-walled carbon nanotubes in the electrode.


title: Risk sensitive optimal stopping

abstract: In this paper we consider discrete and continuous time risk sensitive optimal stopping problem. Using suitable properties of the underlying Feller-Markov process we prove continuity of the optimal stopping value function and provide formula for the optimal stopping policy. Next, we show how to link continuous time framework with its discrete time analogue. By considering suitable approximations, we obtain uniform convergence of the corresponding value functions.


title: Smartphone Multi-modal Biometric Authentication: Database and Evaluation

abstract: Biometric-based verification is widely employed on the smartphones for various applications, including financial transactions. In this work, we present a new multimodal biometric dataset (face, voice, and periocular) acquired using a smartphone. The new dataset is comprised of 150 subjects that are captured in six different sessions reflecting real-life scenarios of smartphone assisted authentication. One of the unique features of this dataset is that it is collected in four different geographic locations representing a diverse population and ethnicity. Additionally, we also present a multimodal Presentation Attack (PA) or spoofing dataset using a low-cost Presentation Attack Instrument (PAI) such as print and electronic display attacks. The novel acquisition protocols and the diversity of the data subjects collected from different geographic locations will allow developing a novel algorithm for either unimodal or multimodal biometrics. Further, we also report the performance evaluation of the baseline biometric verification and Presentation Attack Detection (PAD) on the newly collected dataset.


title: Long-run risk sensitive impulse control

abstract: In this paper we consider long-run risk sensitive average cost impulse control applied to a continuous-time Feller-Markov process. Using the probabilistic approach, we show how to get a solution to a suitable continuous-time Bellman equation and link it with the impulse control problem. The optimal strategy for the underlying problem is constructed as a limit of dyadic impulse strategies by exploiting regularity properties of the linked risk sensitive optimal stopping value functions. In particular, this shows that the discretized setting could be used to approximate near optimal strategies for the underlying continuous time control problem, which facilitates the usage of the standard approximation tools. For completeness, we present examples of processes that could be embedded into our framework.


title: On Resolving Singularities of Plane Curves via a Theorem attributed to Clebsch

abstract: This paper discusses a central theorem in birational geometry first proved by Eugenio Bertini in 1891. J.L. Coolidge described the main ideas behind Bertini's proof, but he attributed the theorem to Clebsch. He did so owing to a short note that Felix Klein appended to the republication of Bertini's article in 1894. The precise circumstances that led to Klein's intervention can be easily reconstructed from letters Klein exchanged with Max Noether, who was then completing work on the lengthy report he and Alexander Brill published on the history of algebraic functions [Brill/Noether 1894]. This correspondence sheds new light on Noether's deep concerns about the importance of this report in substantiating his own priority rights and larger intellectual legacy.


title: Discovery of Two Types of Twinkling Can Explain Contradictory Observations among Twinkling Artifact Investigators in Ultrasound Imaging

abstract: Twinkling Artifact is a valuable tool in detecting dense objects such as kidney stones, calculi etc., especially when there is no acoustic shadowing and presence of hyperechogenic tissues obstructs visualization. This phenomenon is not completely understood. Different scientific groups have contradictory findings concerning its properties: some of them observed a decrease in Twinkling intensity at elevated pulse repetition frequencies (PRF), while others found Twinkling to be independent from PRF, etc. In this paper we hypothesize that this kind of contradictions can be partially resolved on an assumption that there are two types of Twinkling. The 1st type presumably is produced by random-phased reflections from microcavitation and can be registered even at PRF high enough to suppress blood flow. The 2nd is originated from elastic vibrations as the object under investigation swings like a pendulum in the field of ultrasound. These vibrations can be associated with an external source such as a muscles contraction, etc. or the acoustic radiation force from signals emitted by the transducer. The 2nd type of Twinkling disappears at high PRF and can be regularly observed in silicone and polyurethane phantoms where the occurrence of cavitation microbubbles is highly unlikely. Key Words: Ultrasound Imaging, Twinkling Artifact, Stone Detection, Doppler Effect, Color Frame Mapping, Acoustic Radiation Force, Elastic Vibration, Ultrasound Phantom, Cavitation, Microbubbles.


title: E2-Capsule Neural Networks for Facial Expression Recognition Using AU-Aware Attention

abstract: Capsule neural network is a new and popular technique in deep learning. However, the traditional capsule neural network does not extract features sufficiently before the dynamic routing between the capsules. In this paper, the one Double Enhanced Capsule Neural Network (E2-Capsnet) that uses AU-aware attention for facial expression recognition (FER) is proposed. The E2-Capsnet takes advantage of dynamic routing between the capsules, and has two enhancement modules which are beneficial for FER. The first enhancement module is the convolutional neural network with AU-aware attention, which can help focus on the active areas of the expression. The second enhancement module is the capsule neural network with multiple convolutional layers, which enhances the ability of the feature representation. Finally, squashing function is used to classify the facial expression. We demonstrate the effectiveness of E2-Capsnet on the two public benchmark datasets, RAF-DB and EmotioNet. The experimental results show that our E2-Capsnet is superior to the state-of-the-art methods. Our implementation will be publicly available online.


title: Invariance Principle for the Random Wind-Tree Process

abstract: Consider a point particle moving through a Poisson distributed array of cubes all oriented along the axes - the random wind-tree model introduced in Ehrenfest-Ehrenfest (1912). We show that, in the joint Boltzmann-Grad and diffusive limit this process satisfies an invariance principle. That is, the process converges in distribution to a Brownian motion in a particular scaling limit. In a previous paper (2019) the authors used a novel coupling method to prove the same statement for the random Lorentz gas with spherical scatterers. In this paper we show that, despite the change in dynamics, the same strategy with some modification can be used to prove an invariance principle for the random wind-tree model.


title: Ordinal Bayesian Optimisation

abstract: Bayesian optimisation is a powerful tool to solve expensive black-box problems, but fails when the stationary assumption made on the objective function is strongly violated, which is the case in particular for ill-conditioned or discontinuous objectives. We tackle this problem by proposing a new Bayesian optimisation framework that only considers the ordering of variables, both in the input and output spaces, to fit a Gaussian process in a latent space. By doing so, our approach is agnostic to the original metrics on the original spaces. We propose two algorithms, respectively based on an optimistic strategy and on Thompson sampling. For the optimistic strategy we prove an optimal performance under the measure of regret in the latent space. We illustrate the capability of our framework on several challenging toy problems.


title: MetalGAN: Multi-Domain Label-Less Image Synthesis Using cGANs and Meta-Learning

abstract: Image synthesis is currently one of the most addressed image processing topic in computer vision and deep learning fields of study. Researchers have tackled this problem focusing their efforts on its several challenging problems, e.g. image quality and size, domain and pose changing, architecture of the networks, and so on. Above all, producing images belonging to different domains by using a single architecture is a very relevant goal for image generation. In fact, a single multi-domain network would allow greater flexibility and robustness in the image synthesis task than other approaches. This paper proposes a novel architecture and a training algorithm, which are able to produce multi-domain outputs using a single network. A small portion of a dataset is intentionally used, and there are no hard-coded labels (or classes). This is achieved by combining a conditional Generative Adversarial Network (cGAN) for image generation and a Meta-Learning algorithm for domain switch, and we called our approach MetalGAN. The approach has proved to be appropriate for solving the multi-domain problem and it is validated on facial attribute transfer, using CelebA dataset.


title: Micromagnetic Modeling of the Magnetization Behavior of NiMnGa FMSMAs

abstract: The model calculations of the magnetization curves for the internally twinned NiMnGa ferromagnetic shape memory alloy are performed at the different volume fractions of twin variants. The method is based on the direct minimization of our new micromagnetic free energy model of FMSMAs taking into account both the magnetic anisotropy energy and the magnetostatic energy contributions associated with the laminated twin microstructure. The effect of the magnetostatic energy is discussed in comparison with some early models, where the magnetostatic energy was completely ignored.


title: Emergence of small-scale magnetic flux in the quiet Sun

abstract: We study the evolution of a small-scale emerging flux region (EFR) in the quiet Sun, from its emergence to its decay. We track processes and phenomena across all atmospheric layers, explore their interrelations and compare our findings with recent numerical modelling studies. We used imaging, spectral and spectropolarimetric observations from space-borne and ground-based instruments. The EFR appears next to the chromospheric network and shows all characteristics predicted by numerical simulations. The total magnetic flux of the EFR exhibits distinct evolutionary phases, namely an initial subtle increase, a fast increase and expansion of the region area, a more gradual increase, and a slow decay. During the initial stages, bright points coalesce, forming clusters of positive- and negative-polarity in a largely bipolar configuration. During the fast expansion, flux tubes make their way to the chromosphere, producing pressure-driven absorption fronts, visible as blueshifted chromospheric features. The connectivity of the quiet-Sun network gradually changes and part of the existing network forms new connections with the EFR. A few minutes after the bipole has reached its maximum magnetic flux, it brightens in soft X-rays forming a coronal bright point, exhibiting episodic brightenings on top of a long smooth increase. These coronal brightenings are also associated with surge-like chromospheric features, which can be attributed to reconnection with adjacent small-scale magnetic fields and the ambient magnetic field. The emergence of magnetic flux even at the smallest scales can be the driver of a series of energetic phenomena visible at various atmospheric heights and temperature regimes. Multi-wavelength observations reveal a wealth of mechanisms which produce diverse observable effects during the different evolutionary stages of these small-scale structures.


title: Spectrally uncorrelated biphotons generated from `the family of BBO crystal'

abstract: Spectrally intrinsically uncorrelated biphoton states generated from nonlinear crystals are very important but rare resources for quantum photonics and quantum information applications. Previously, such biphoton states were generated from several kinds of crystals, however, their wavelength ranges and nonlinear efficiencies were still limited for various applications. In order to explore new crystal for wider wavelength range and higher nonlinear efficiency, here we theoretically study the generation of spectrally uncorrelated biphoton states from 14 crystals in the `BBO family', including BBO, CLBO, KABO, KBBF, RBBF, CBBF, BABF, BiBO, LBO, CBO, LRB4, LCB, YCOB, and GdCOB. They satisfy three kinds of group-velocity matching condition from near-infrared to telecom wavelengths. Furthermore, heralded single photons can be generated with a purity as high as 0.98, which is achieved without any narrow filtering. The indistinguishability of photons from independent sources is examined by the Hong-Ou-Mandel interference, which results in a visibility of 98% also without any further filtering, i.e., photons from different heralded single-photon sources are highly indistinguishable. Our study may provide single-photon sources with good performance for quantum information processing at near-infrared and telecom wavelengths.


title: Rotating tensor-multi-scalar solitons

abstract: In the context of a special class of tensor-multi-scalar theories of gravity for which the target-space metric admits an isometry under which the theory is invariant, we present rotating vacuum solutions, namely with no matter fields. These objects behave like nontopological solitons, whose primary stability is due to the conserved charge arising from the global symmetry. We consider theories with two and three scalar fields, different Gauss curvatures and quartic interaction coefficients. As it occurs for boson stars, their angular momentum is quantized.


title: Perfectly Parallel Fairness Certification of Neural Networks

abstract: Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the training data. The development of tools and techniques for certifying fairness of these models or describing their biased behavior is, therefore, critical. In this paper, we propose a perfectly parallel static analysis for certifying causal fairness of feed-forward neural networks used for classification of tabular data. When certification succeeds, our approach provides definite guarantees, otherwise, it describes and quantifies the biased behavior. We design the analysis to be sound, in practice also exact, and configurable in terms of scalability and precision, thereby enabling pay-as-you-go certification. We implement our approach in an open-source tool and demonstrate its effectiveness on models trained with popular datasets.


title: Steering magnonic dynamics and permeability at exceptional points in a parity-time symmetric waveguide

abstract: Tuning the low-energy magnetic dynamics is a key element in designing novel magnetic metamaterials, spintronic devices and magnonic logic circuits. This study uncovers a new, highly effective way of controlling the magnetic permeability via shaping the magnonic properties in coupled magnetic waveguides separated by current carrying spacer with strong spin-orbit coupling. The spin-orbit torques exerted on the waveguides leads to an externally tunable enhancement of magnetic damping in one waveguide and a decreased damping in the other, constituting so a magnetic parity-time (PT) symmetric system with emergent magnetic properties at the verge of the exceptional point where magnetic gains/losses are balanced. In addition to controlling the magnetic permeability, phenomena inherent to PT-symmetric systems are identified, including the control on magnon power oscillations, nonreciprocal magnon propagation, magnon trapping and enhancement as well as the increased sensitivity to magnetic perturbation and abrupt spin reversal. These predictions are demonstrated analytically and confirmed by full numerical simulations under experimentally feasible conditions. The position of the exceptional points and the strength of the spontaneous PT symmetry breaking can be tuned by external electric and/or magnetic fields. The roles of the intrinsic magnetic damping, and the possibility of an electric control via Dzyaloshinskii-Moriya interaction are exposed and utilized for mode dispersion shaping and magnon amplification and trapping. The results point to a new route to designing optomagnonic waveguides, traps, sensors, and circuits.


title: FC sets and twisters: the basics of orbifold deconstruction

abstract: We present a detailed account of the properties of twisters and their generalizations, FC sets, which are essential ingredients of the orbifold deconstruction procedure aimed at recognizing whether a given conformal model may be obtained as an orbifold of another one, and if so, to identify the twist group and the original model. The close analogy with the character theory of finite groups is discussed, and its origin explained.


title: Monte Carlo studies of the spin-chirality decoupling in the three-dimensional Heisenberg spin glass

abstract: An extensive equilibrium Monte Carlo simulation is performed on the 3D isotropic Heisenberg SG model with the random nearest-neighbor Gaussian coupling, with particular interest in its chiral-glass (CG) and spin-glass (SG) orderings. For this model, the possibility of the spin-chirality decoupling, {\it i.e.\}, the CG order setting in at a higher temperature than that of the SG order was suggested earlier, but still remains controversial. We simulate the model up to the maximum size (linear dimension) $L=48$ under both periodic and open boundary conditions (BC). In locating the CG and SG transition temperatures $T_{{\rm CG}}$ and $T_{{\rm SG}}$ by the $L\rightarrow \infty$ extrapolation, a variety of independent physical quantities under the both BC are computed and utilized to get larger number of degrees of freedom (NDF). Thanks to the large NDF up to NDF=43, we succeed in obtaining stable and accurate estimates of the CG and SG transition temperatures, $T_{{\rm CG}}=0.142\pm 0.001$ and $T_{{\rm SG}}=0.131^{+0.001}_{-0.006}$. No sign of the size crossover is observed. For larger $L$, the CG correlation length progressively outgrows the SG correlation length at low temperatures. These results provide strong numerical support for the spin-chirality decoupling. The critical exponents associated with the CG and SG transitions are evaluated by use of the finite-size scaling with the scaling correction. For the CG transition, we get the CG exponents, $\nu_{{\rm CG}}=1.36\pm 0.10$ and $\eta_{{\rm CG}}=0.49\pm 0.10$, consistently with the corresponding experimental exponents of canonical SG. Implications to the chirality scenario of experimental SG ordering is discussed.


title: Hindsight Credit Assignment

abstract: We consider the problem of efficient credit assignment in reinforcement learning. In order to efficiently and meaningfully utilize new data, we propose to explicitly assign credit to past decisions based on the likelihood of them having led to the observed outcome. This approach uses new information in hindsight, rather than employing foresight. Somewhat surprisingly, we show that value functions can be rewritten through this lens, yielding a new family of algorithms. We study the properties of these algorithms, and empirically show that they successfully address important credit assignment challenges, through a set of illustrative tasks.


title: A Document Skew Detection Method Using Fast Hough Transform

abstract: The majority of document image analysis systems use a document skew detection algorithm to simplify all its further processing stages. A huge amount of such algorithms based on Hough transform (HT) analysis has already been proposed. Despite this, we managed to find only one work where the Fast Hough Transform (FHT) usage was suggested to solve the indicated problem. Unfortunately, no study of that method was provided. In this work, we propose and study a skew detection algorithm for the document images which relies on FHT analysis. To measure this algorithm quality we use the dataset from the problem oriented DISEC'13 contest and its evaluation methodology. Obtained values for AED, TOP80, and CE criteria are equal to 0.086, 0.056, 68.80 respectively.


title: Continuous feedback on a quantum gas coupled to an optical cavity

abstract: We present an active feedback scheme acting continuously on the state of a quantum gas dispersively coupled to a high-finesse optical cavity. The quantum gas is subject to a transverse pump laser field inducing a self-organization phase transition, where the gas acquires a density modulation and photons are scattered into the resonator. Photons leaking from the cavity allow for a real-time and non-destructive readout of the system. We stabilize the mean intra-cavity photon number through a micro-processor controlled feedback architecture acting on the intensity of the transverse pump field. The feedback scheme can keep the mean intra-cavity photon number $n_\text{ph}$ constant, in a range between $n_\text{ph}=0.17\pm 0.04$ and $n_\text{ph}=27.6\pm 0.5$, and for up to 4 s. Thus we can engage the stabilization in a regime where the system is very close to criticality as well as deep in the self-organized phase. The presented scheme allows us to approach the self-organization phase transition in a highly controlled manner and is a first step on the path towards the realization of many-body phases driven by tailored feedback mechanisms.


title: Critical Exponent for the Lyapunov Exponent and Phase Transitions -- The Generalized Hamiltonian Mean-Field Model

abstract: We compute semi-analytic and numerical estimates for the largest Lyapunov exponent in a many-particle system with long-range interactions, extending previous results for the Hamiltonian Mean Field model with a cosine potential. Our results evidence a critical exponent associated to a power law decay of the largest Lyapunov exponent close to second-order phase-transitions, close to the same value as for the cosine Hamiltonian Mean Field model, suggesting the possible universality of this exponent. We also show that the exponent for first-order phase transitions has a different value from both theoretical and numerical estimates.


title: Magnetic-field effect in the heterostructure Ba$_{0.8}$Sr$_{0.2}$TiO$_3$/LaMnO$_3$

abstract: We have studied transport and magnetotransport properties of the heterostructure consisting of the ferroelectric Ba$_{0.8}$Sr$_{0.2}$TiO$_3$ film deposited on the single crystalline manganite LaMnO$_3$. Two-dimensional electron gas arising at the interface transforms the interface region of the antiferromagnetic manganite to the ferromagnetic state with the reoriented magnetic moments. We obtained that the contribution of these ferromagnetic regions to the resistance of the heterostructure appears to be dependent on the external magnetic field applied perpendicularly to the interface (and parallel to {\it c}-axis of the ferromagnetic state of LaMnO$_3$). We believe that the decrease of the resistance of the studied heterostructure under the influence of the external magnetic field is caused by an appearance of the ferromagnetic order in the interface area. This leads to a relatively small resistance. In turn, the cycling of the applied magnetic field leads to the increase of the regions of the ferromagnetic order and, as a result, to decreasing scattering of the current carriers at the ferromagnetic disordering.


title: Double parton scattering in pA collisions at the LHC revisited

abstract: We consider the production of $W$-boson plus dijet, $W$-boson plus b-jets and same sign $WW$ via double parton scattering (DPS) in $pA$ collisions at the LHC and evaluate the corresponding cross sections. The impact of a novel DPS contribution pertinent to $pA$ collisions is quantified. Exploiting the experimental capability of performing measurements differential in the impact parameter in $pA$ collisions, we discuss a method to single out this novel DPS contribution. The method allows the subtraction of the leading twist (LT) single parton scattering background and it gives access in a very clean way to double parton distribution functions in the proton. We calculate leading twist and DPS cross sections and study the dependence of the observables on the cuts in the jets phase space. In the $Wjj$ channel the observation of DPS is possible with data already accumulated in $pA$ runs and the situation will greatly improve for the next high luminosity runs. For the $Wb\bar{b}$ final state, the statistics within the current data is too low, but there is possibility to observe DPS in this channel in future runs, albeit with much reduced sensitivity than in $Wjj$ final state. Finally the DPS observation in the same sign $WW$ channel will require either significant increase of integrated luminosity beyond that foreseen in next $pA$ runs or improved methods for $W$ reconstruction, along with its charge, in hadronic decay channels.


title: A note on a noetherian fully bounded ring

abstract: We prove the following;Theorem:Let R be a prime noetherian ring with k.dimR = n, n a finite non-negative integer. We refer the reader to the definitions (1.1) of this paper.For a fixed non-negative integer m, m<n let Xm be the full set of m-prime ideals p of R and let cm = the set of elements c in R with k-dim(R/cR)< m and let vm = Intersection c(p), for all p in xm.Let c= family of Right ideals I of R such that I intersects cm nontrivially and let v=family of right ideals I of R such that I intersects vm nontrivially.Call g an m-gabriel filter if g=family of Right ideals J of R with k-dim.(R/J)< m.For any simple right module W over any extension ring S of R we denote by r(w) the right annihilator in S of W. Suppose any m critical right R module M with Ass. M = p is such that k.dim. M = R/p = m. Then the following conditions are equivalent:(a) xm has the right intersection condition. (b)(i) g=v.Then vm is a right ore set in R.Let Rv denote the quotient ring of R at the right ore set vm. (ii)Moreover then any simple Rv module say Wv with r(Wv)= qv is a torsion free Rv/qv module. (c)(i)g=c.Then cm is a right ore set in R. Let Rc denote the quotient ring of R at the right ore set cm. (ii) Moreover then any simple Rc module say Wc with r(Wc)=qc is a torsion free Rc/qc module. We may mention that this theorem is proved under a weaker hypothesis on a prime noetherian ring than for a prime noetherian ring that is either fully bounded or has the bijective Gabriel correspondence.In particular the theorem remains true always for these rings for all nonnegative integers m, m<n.Moreover the theorem is true if we replace k-dim. R =n, n finite by any ordinal number.


title: Doubly nonlinear equation involving $p(x)$-homogeneous operators: local existence, uniqueness and global behaviour

abstract: In this work, we investigate the qualitative properties as uniqueness, regularity and stabilization of the weak solution to the nonlinear parabolic problem involving general $p(x)$-homogeneous operators: \begin{equation*} \left\{ \begin{alignedat}{2} {} \frac{q}{2q-1}\partial_t(u^{2q-1}) -\nabla.\, a(x, \nabla u) & {}= f(x,u) + h(t,x) u^{q-1} && \quad\mbox{ in } \, (0,T) \times \Omega; u & {}> 0 && \quad\mbox{ in }\, (0,T) \times \Omega ; u & {}= 0 && \quad\mbox{ on }\, (0,T) \times \partial\Omega; u(0,.)&{}= u_0 && \quad\ \mbox{in}\, \ \Omega. \end{alignedat} \right. \end{equation*} Thanks to the Picone's identity obtained in [10], we prove new results about comparison principles which yield a priori estimates, positivity and uniqueness of weak solutions.


title: A singular Toeplitz determinant and the discrete tacnode kernel for skew-Aztec Rectangles

abstract: Random tilings of geometrical shapes with dominos or lozenges have been a rich source of universal statistical distributions. This paper deals with domino tilings of checker board rectangular shapes such that the top two and bottom two adjacent squares have the same orientation and the two most left and two most right ones as well. It forces these so-called "skew-Aztec rectangles" to have cuts on either side. For large sizes of the domain and upon an appropriate scaling of the location of the cuts, one finds split tacnodes between liquid regions with two distinct adjacent frozen phases descending into the tacnode. Zooming about such split tacnodes, filaments appear between the liquid patches evolving in a bricklike sea of dimers of another type. This work shows that the random fluctuations in a neighborhood of the split tacnode are governed asymptotically by the discrete tacnode kernel, providing strong evidence that this kernel is a universal discrete-continuous limiting kernel occurring naturally whenever we have double interlacing patterns. The analysis involves the inversion of a singular Toeplitz matrix which leads to considerable difficulties.


title: Post-Mortem Iris Recognition Resistant to Biological Eye Decay Processes

abstract: This paper proposes an end-to-end iris recognition method designed specifically for post-mortem samples, and thus serving as a perfect application for iris biometrics in forensics. To our knowledge, it is the first method specific for verification of iris samples acquired after demise. We have fine-tuned a convolutional neural network-based segmentation model with a large set of diversified iris data (including post-mortem and diseased eyes), and combined Gabor kernels with newly designed, iris-specific kernels learnt by Siamese networks. The resulting method significantly outperforms the existing off-the-shelf iris recognition methods (both academic and commercial) on the newly collected database of post-mortem iris images and for all available time horizons since death. We make all models and the method itself available along with this paper.


title: Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints

abstract: This paper presents a novel method of synthesizing a fragment of a timed discrete event system(TDES),introducing a novel linear temporal logic(LTL), called ticked LTL$_f$. The ticked LTL$_f$ is given as an extension to LTL$_f$, where the semantics is defined over a finite execution fragment. Differently from the standard LTL$_f$, the formula is defined as a variant of metric temporal logic formula, where the temporal properties are described by counting the number of tick in the fragment of the TDES. Moreover, we provide a scheme that encodes the problem into a suitable one that can be solved by an integer linear programming (ILP). The effectiveness of the proposed approach is illustrated through a numerical example of a path planning.


title: Cluster size effects in the magnetic properties of Fe$_p$-Al$_{q=1-p}$ alloys

abstract: A spin-1/2 Ising model, defined in the body centered cubic lattice, is used to describe some of the thermodynamic properties of Fe$_p$-Al$_q$ alloys, with $p+q=1$. The model assumes, besides the nearest-neighbor exchange coupling, the existence of further next-nearest-neighbor superexchange interactions, where the latter ones depend on the aluminum atoms cluster size. The Ising system so considered is studied by employing Monte Carlo simulations, using a hybrid algorithm consisting of one single-spin Metropolis move together with one single-cluster Wolff algorithm allied, in addition, with single histograms procedures and finite-size scaling techniques. Quite good fits to the experimental results of the ordering critical temperature, as a function of Al concentration in the range $0\le q<0.7$, are obtained and compared to more recent theoretical approaches done on the same alloys.


title: The Rado Simplicial Complex

abstract: A Rado simplicial complex X is a generalisation of the well-known Rado graph. X is a countable simplicial complex which contains any countable simplicial complex as its induced subcomplex. The Rado simplicial complex is highly symmetric, it is homogeneous: any isomorphism between finite induced subcomplexes can be extended to an isomorphism of the whole complex. We show that the Rado complex X is unique up to isomorphism and suggest several explicit constructions. We also show that a random simplicial complex on countably many vertices is a Rado complex with probability 1. The geometric realisation |X| of a Rado complex is contractible and is homeomorphic to an infinite dimensional simplex. We also prove several other interesting properties of the Rado complex X, for example we show that removing any finite set of simplexes of X gives a complex isomorphic to X.


title: Local convergence of tensor methods

abstract: In this paper, we study local convergence of high-order Tensor Methods for solving convex optimization problems with composite objective. We justify local superlinear convergence under the assumption of uniform convexity of the smooth component, having Lipschitz-continuous high-order derivative. The convergence both in function value and in the norm of minimal subgradient is established. Global complexity bounds for the Composite Tensor Method in convex and uniformly convex cases are also discussed. Lastly, we show how local convergence of the methods can be globalized using the inexact proximal iterations.


title: Inference for Two Lomax Populations Under Joint Type-II Censoring

abstract: Lomax distribution has been widely used in economics, business and actuarial sciences. Due to its importance, we consider the statistical inference of this model under joint type-II censoring scenario. In order to estimate the parameters, we derive the Newton-Raphson(NR) procedure and we observe that most of the times in the simulation NR algorithm does not converge. Consequently, we make use of the expectation-maximization (EM) algorithm. Moreover, Bayesian estimations are also provided based on squared error, linear-exponential and generalized entropy loss functions together with the importance sampling method due to the structure of posterior density function. In the sequel, we perform a Monte Carlo simulation experiment to compare the performances of the listed methods. Mean squared error values, averages of estimated values as well as coverage probabilities and average interval lengths are considered to compare the performances of different methods. The approximate confidence intervals, bootstrap-p and bootstrap-t confidence intervals are computed for EM estimations. Also, Bayesian coverage probabilities and credible intervals are obtained. Finally, we consider the Bladder Cancer data to illustrate the applicability of the methods covered in the paper.


title: First in-situ Measurements of Electron Density and Temperature from Quasi-Thermal Noise Spectroscopy with Parker Solar Probe/FIELDS

abstract: Heat transport in the solar corona and wind is still a major unsolved astrophysical problem. Because of the key role played by electrons, the electron density and temperature(s) are important prerequisites for understanding these plasmas. We present such in situ measurements along the two first solar encounters of Parker Solar Probe (PSP), between 0.5 and 0.17 AU from the Sun, revealing different states of the emerging solar wind near solar activity minimum. These preliminary results are obtained from a simplified analysis of the plasma quasi-thermal noise (QTN) spectrum measured by the Radio Frequency Spectrometer (RFS/FIELDS). The local electron density is deduced from the tracking of the plasma line, which enables accurate measurements, independent of calibrations and spacecraft perturbations, whereas the temperatures of the thermal and supra-thermal components of the velocity distribution, as well as the average kinetic temperature are deduced from the shape of the plasma line. The temperature of the weakly collisional thermal population, similar for both encounters, decreases with distance as $R^{-0.74}$, much slower than adiabatic. In contrast, the temperature of the nearly collisionless suprathermal population exhibits a virtually flat radial variation. The 7-second resolution of the density measurements enables us to deduce the low-frequency spectrum of compressive fluctuations around perihelion, varying as $f^{-1.4}$. This is the first time that QTN spectroscopy is implemented with an electric antenna length not exceeding the plasma Debye length. As PSP will approach the Sun, the decrease in Debye length is expected to considerably improve the accuracy of the temperature measurements.


title: Graphether: A Two-Dimensional Oxocarbon as a Direct Wide-Gap Semiconductor with High Mechanical and Electrical Performances

abstract: Although many graphene derivatives have sizable band gaps, their electrical or mechanical properties are significantly degraded due to the low degree of {\pi}-conjugation. Besides the {\pi}-{\pi} conjugation, there exists hyperconjugation interactions arising from the delocalization of {\sigma} electrons. Inspired by the structural characteristics of a hyperconjugated molecule, dimethyl ether, we design a two-dimensional oxocarbon (named graphether) by the assembly of dimethyl ether molecules. Our first-principle calculations reveal the following findings: (1) Monolayer graphether possesses excellent dynamical and thermal stabilities as demonstrated by its favourable cohesive energy, absence of the soft phonon modes, and high melting point. (2) It has a direct wide-band-gap of 2.39 eV, indicating its potential applications in ultraviolet optoelectronic devices. Interestingly, the direct band gap feature is rather robust against the external strains (-10% to 10%) and stacking configurations. (3) Due to the hyperconjugative effect, graphether has the high intrinsic electron mobility. More importantly, its in-plane stiffness (459.8 N m-1) is even larger than that of graphene. (4) The Pt(100) surface exhibits high catalytic activity for the dehydrogenation of dimethyl ether. The electrostatic repulsion serves as a driving force for the rotation and coalescence of two dehydrogenated precursors, which is favourable for the bottom-up growth of graphether. (5) Replacement of the C-C bond with an isoelectronic B-N bond can generate a stable Pmn21-BNO monolayer. Compared with monolayer hexagonal boron nitride, Pmn21-BNO has a moderate direct band gap (3.32 eV) and better mechanical property along the armchair direction.


title: Catch Me (On Time) If You Can: Understanding the Effectiveness of Twitter URL Blacklists

abstract: With more than 500 million daily tweets from over 330 million active users, Twitter constantly attracts malicious users aiming to carry out phishing and malware-related attacks against its user base. It therefore becomes of paramount importance to assess the effectiveness of Twitter's use of blacklists in protecting its users from such threats. We collected more than 182 million public tweets containing URLs from Twitter's Stream API over a 2-month period and compared these URLs against 3 popular phishing, social engineering, and malware blacklists, including Google Safe Browsing (GSB). We focus on the delay period between an attack URL first being tweeted to appearing on a blacklist, as this is the timeframe in which blacklists do not warn users, leaving them vulnerable. Experiments show that, whilst GSB is effective at blocking a number of social engineering and malicious URLs within 6 hours of being tweeted, a significant number of URLs go undetected for at least 20 days. For instance, during one month, we discovered 4,930 tweets containing URLs leading to social engineering websites that had been tweeted to over 131 million Twitter users. We also discovered 1,126 tweets containing 376 blacklisted Bitly URLs that had a combined total of 991,012 clicks, posing serious security and privacy threats. In addition, an equally large number of URLs contained within public tweets remain in GSB for at least 150 days, raising questions about potential false positives in the blacklist. We also provide evidence to suggest that Twitter may no longer be using GSB to protect its users.


title: Aharonov-Bohm and Aharonov-Casher effects for local and nonlocal Cooper pairs

abstract: We study combined interference effects due to the Aharonov-Bohm (AB) and Aharonov-Casher (AC) phases in a Josephson supercurrent of local and nonlocal (split) Cooper pairs. We analyze a junction between two superconductors interconnected through a normal-state nanostructure with either (i) a ring, where single-electron interference is possible, or (ii) two parallel nanowires, where the single-electron interference can be absent, but the cross Andreeev reflection can occur. In the low-transmission regime in both geometries the AB and AC effects can be related to only local or nonlocal Cooper pair transport, respectively.


title: VoxSRC 2019: The first VoxCeleb Speaker Recognition Challenge

abstract: The VoxCeleb Speaker Recognition Challenge 2019 aimed to assess how well current speaker recognition technology is able to identify speakers in unconstrained or `in the wild' data. It consisted of: (i) a publicly available speaker recognition dataset from YouTube videos together with ground truth annotation and standardised evaluation software; and (ii) a public challenge and workshop held at Interspeech 2019 in Graz, Austria. This paper outlines the challenge and provides its baselines, results and discussions.


title: Towards Explainable Deep Neural Networks (xDNN)

abstract: In this paper, we propose an elegant solution that is directly addressing the bottlenecks of the traditional deep learning approaches and offers a clearly explainable internal architecture that can outperform the existing methods, requires very little computational resources (no need for GPUs) and short training times (in the order of seconds). The proposed approach, xDNN is using prototypes. Prototypes are actual training data samples (images), which are local peaks of the empirical data distribution called typicality as well as of the data density. This generative model is identified in a closed form and equates to the pdf but is derived automatically and entirely from the training data with no user- or problem-specific thresholds, parameters or intervention. The proposed xDNN offers a new deep learning architecture that combines reasoning and learning in a synergy. It is non-iterative and non-parametric, which explains its efficiency in terms of time and computational resources. From the user perspective, the proposed approach is clearly understandable to human users. We tested it on some well-known benchmark data sets such as iRoads and Caltech-256. xDNN outperforms the other methods including deep learning in terms of accuracy, time to train and offers a clearly explainable classifier. In fact, the result on the very hard Caltech-256 problem (which has 257 classes) represents a world record.


title: $\mathbb{G}_a^3$-structures on del Pezzo fibrations

abstract: In this paper we prove that del Pezzo fibrations admit $\mathbb{G}_{a}^{3}$-structures if and only if they are $\mathbb{P}^2$-bundles over $\mathbb{P}^{1}$.


title: Analysis of hydrogen permeation tests considering two different modelling approaches for grain boundary trapping in iron

abstract: The electrochemical permeation test is one of the most used methods for characterising hydrogen diffusion in metals. The flux of hydrogen atoms registered in the oxidation cell might be fitted to obtain apparent diffusivities. The magnitude of this coefficient has a decisive influence on the kinetics of fracture or fatigue phenomena assisted by hydrogen and depends largely on hydrogen retention in microstructural traps. In order to improve the numerical fitting of diffusion coefficients, a permeation test has been reproduced using FEM simulations considering two approaches: a continuum 1D model in which the trap density, binding energy and the input lattice concentrations are critical variables and a polycrystalline model where trapping at grain boundaries is simulated explicitly including a segregation factor and a diffusion coefficient different from that of the interior of the grain. Results show that the continuum model captures trapping delay, but it should be modified to model the trapping influence on the steady state flux. Permeation behaviour might be classified according to different regimes depending on deviation from Fickian diffusion. Polycrystalline synthetic permeation shows a strong influence of segregation on output flux magnitude. This approach is able to simulate also the short-circuit diffusion phenomenon. The comparison between different grain sizes and grain boundary thicknesses by means of the fitted apparent diffusivity shows the relationships between the registered flux and the characteristic parameters of traps.


title: Simultaneous insolvability of exponential congruences

abstract: We determine a necessary and sufficient condition for the infinitude of primes $p$ such that none of the equations $a_i^x \equiv b_i \pmod{p}, 1 \le i \le n,$ are solvable. We control the insolvability of $a^x \equiv b \pmod{p}$ by power residues for multiplicatively independent $a$ and $b$, and by divisibilities and, most importantly, parities of orders in multiplicatively dependent cases. We also consider a more general problem concerning divisibilities of orders. The problems are motivated by Artin's primitive root conjecture and its variants.


title: Warped Input Gaussian Processes for Time Series Forecasting

abstract: We introduce a Gaussian process-based model for handling of non-stationarity. The warping is achieved non-parametrically, through imposing a prior on the relative change of distance between subsequent observation inputs. The model allows the use of general gradient optimization algorithms for training and incurs only a small computational overhead on training and prediction. The model finds its applications in forecasting in non-stationary time series with either gradually varying volatility, presence of change points, or a combination thereof. We evaluate the model on synthetic and real-world time series data comparing against both baseline and known state-of-the-art approaches and show that the model exhibits state-of-the-art forecasting performance at a lower implementation and computation cost.


title: Unbounded towers and products

abstract: We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(\Gamma,\Gamma)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each cover and obtain a point-cofinite cover of the space. We prove that, if there is an unbounded tower, then there is a nontrivial set of reals satisfying $\mathsf{S}_1(\Gamma,\Gamma)$ in all finite powers. In contrast to earlier results, our proof does not require any additional set-theoretic assumptions. A topological space satisfies $\Omega\choose\Gamma$ (also known as Gerlits--Nagy's property $\gamma$) if every open cover of the space such that each finite subset of the space is contained in a member of the cover, contains a point-cofinite cover of the space. We investigate products of sets satisfying $\Omega\choose\Gamma$ and their relations to other classic combinatorial covering properties. We show that finite products of sets with a certain combinatorial structure satisfy $\Omega\choose\Gamma$ and give necessary and sufficient conditions when these sets are productively $\Omega\choose\Gamma$.


title: Aharonov-Bohm and Aharonov-Casher effects in double quantum dot Josephson junction

abstract: We analyze a Josephson junction between two superconductors interconnected through a normal-state nanostructure made of two parallel nanowires with embedded quantum dots. We study the influence of interference effects due to the Aharonov-Bohm (AB) and Aharonov-Casher (AC) phases for local and nonlocal (split) Cooper pairs. In the AB effect the phase of electron is affected by magnetic flux, while in the AC effect the phase of the electron in solid state can be modified due to the Rashba spin-orbit coupling. In the low-transmission regime the AB and AC effects can be related to only local or nonlocal Cooper pair transport, respectively. We demonstrate that by the addition of the quantum dots the Cooper pair splitting can be made perfectly efficient, and that the AC phase is different for non-spin-flip and spin-flip transport processes.


title: Optomechanical cavity without a Stokes side-band

abstract: We investigate a theoretical demonstration of perfect frequency conversion in an optomechanical system in the weak coupling regime without a Stokes side-band. An optomechanical cavity illuminated by a weak probe field generates two side-modes, differentiating from the original signal by a phonon frequency. We report the presence of a special combination of parameters in the weak-coupling regime, where Stokes side-mode vanishes exactly. Only the anti-Stokes mode is observed with a few hundreds Hz spectral bandwidth of the probe field. Emergence of this special point is totally unrelated with the electromagnetically induced transparency (EIT) condition, where absorption (dip) cancellation is limited with the damping rate of the mechanical oscillator. Emergence is independent of the cavity type, i.e. single or double-sided, and takes place only for a single value of the effective coupling strength constant which is specific to the system parameters. At a specific effective coupling strength between the mirror and the cavity field, which can be tunable via the coupling field, only the anti-Stokes band is generated. At that specific coupling there appears no Stokes field. Hence, a filter, to eliminate the Stokes field, does not necessitate.


title: ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC

abstract: Industry 4.0 is changing fundamentally the way data is collected, stored and analyzed in industrial processes. While this change enables novel application such as flexible manufacturing of highly customized products, the real-time control of these processes, however, has not yet realized its full potential. We believe that modern virtualization techniques, specifically application containers, present a unique opportunity to decouple control functionality from associated hardware. Through it, we can fully realize the potential for highly distributed and transferable industrial processes even with real-time constraints arising from time-critical sub-processes. In this paper, we present a specifically developed orchestration tool to manage the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or (edge) cloud computing platforms. Using off-the-shelf technology, the proposed tool can manage the execution of containerized applications on shared resources without compromising hard real-time execution determinism. Through first experimental results, we confirm the viability and analyzed the behavior of resource shared systems with strict real-time requirements. We then describe experiments set out to deliver expected results and gather performance, application scope and limits of the presented approach.


title: Iterative Policy-Space Expansion in Reinforcement Learning

abstract: Humans and animals solve a difficult problem much more easily when they are presented with a sequence of problems that starts simple and slowly increases in difficulty. We explore this idea in the context of reinforcement learning. Rather than providing the agent with an externally provided curriculum of progressively more difficult tasks, the agent solves a single task utilizing a decreasingly constrained policy space. The algorithm we propose first learns to categorize features into positive and negative before gradually learning a more refined policy. Experimental results in Tetris demonstrate superior learning rate of our approach when compared to existing algorithms.


title: Photometry of an unusual small distant object 2016 ND21

abstract: We present the first-ever measurements of the surface colors and rotational properties of a recently discovered distant object in an unusual orbit 2016 ND21. In 2017, this object was close to its perihelion, which allowed us to observe it with a 2.0-m telescope at the Peak Terskol observatory. Broadband photometric observations of 2016 ND21 were carried out in October and December of 2017 in standard BVR filters of the Johnson-Cousins photometric system. During our observations, we did not detect any cometary activity. We found the rotational period of 17.53{\pm}0.02 hr, while another a little longer value of 17.65{\pm}0.02 hr is also possible. Assuming an equatorial aspect of observations, a peak-to-peak amplitude of A = 0.31{\pm}0.05 mag (or even higher since only one maximum and one minimum were well-measured) corresponds to an elongated body with an axis ratio a/b ~1.3. The lightcurve behavior indicates a complex, possibly non-convex, shape of this object. The visible absolute magnitude is HV =12.4{\pm}0.1 mag, which was estimated by using the linear phase slope 0.04 mag/deg as the most probable value from our observations. Assuming a surface albedo in the range of 0.04-0.10, the size of 2016 ND21 should be about 15-23 km. From our multi-color observations, we determined surface colors V-R = 0.69{\pm}0.04 mag, B-R = 1.79{\pm}0.08 mag, and B-V = 1.10{\pm}0.08 mag. The measured colors indicate an extremely red surface of this object. A very red surface is unusual for comets, which is in agreement with the fact, that no cometary activity was detected for 2016 ND21. The B-R color is higher than the typical B-R colors of the red D-type asteroids, but it is consistent with colors of the red Centaurs and TNOs classified as RR type in TNOs classification. This result gives a first evidence of a possible outer belt origin of this small body.


title: Relativistic calculation of the nuclear recoil effect on the $g$ factor of the $^2P_{3/2}$ state in highly charged B-like ions

abstract: The nuclear recoil effect on the $^2 P_{3/2}$-state $g$ factor of B-like ions is calculated to first order in the electron-to-nucleus mass ratio $m/M$ in the range $Z=18$--$92$. The calculations are performed by means of the $1/Z$ perturbation theory. Within the independent-electron approximation, the one- and two-electron recoil contributions are evaluated to all orders in the parameter $\alpha Z$ by employing a fully relativistic approach. The interelectronic-interaction correction of first order in $1/Z$ is treated within the Breit approximation. Higher orders in $1/Z$ are partially taken into account by incorporating the screening potential into the zeroth-order Hamiltonian. The most accurate to date theoretical predictions for the nuclear recoil contribution to the bound-electron $g$ factor are obtained.


title: Is perturbation an effective restart strategy?

abstract: Premature convergence can be detrimental to the performance of search methods, which is why many search algorithms include restart strategies to deal with it. While it is common to perturb the incumbent solution with diversification steps of various sizes with the hope that the search method will find a new basin of attraction leading to a better local optimum, it is usually not clear how big the perturbation step should be. We introduce a new property of fitness landscapes termed "Neighbours with Similar Fitness" and we demonstrate that the effectiveness of a restart strategy depends on this property.


title: The three-loop single mass polarized pure singlet operator matrix element

abstract: We calculate the massive polarized three-loop pure singlet operator matrix element $A_{Qq}^{(3), \rm PS}$ in the single mass case in the Larin scheme. This operator matrix element contributes to the massive polarized three-loop Wilson coefficient $H_{Qq}^{(3),\rm PS}$ in deep-inelastic scattering and constitutes a three-loop transition matrix element in the variable flavor number scheme. We provide analytic results in Mellin $N$ and in $x$ space and study the behaviour of this operator matrix element in the region of small and large values of the Bjorken variable $x$.


title: Spatiotemporal Analysis on Broadcast Performance of DSRC with External Interference in 5.9 GHz Band

abstract: Coexistence between the dedicated short-range communications (DSRC) and other wireless technologies needs thorough study since the United States legislative bodies still remain undecided on the shared use of the 5.9 GHz band (5.850-5.925 GHz). If the band is decided to be shared among multiple technologies, the DSRC is expected to experience a performance degradation even in safety-critical application. As such, it is a natural question how much the performance degradation will be. However, it is not trivial to precisely model the behaviors of a vehicular-to-everything (V2X) network since it requires to formulate both spatial and temporal aspects in concert while the network topology keeps dynamic due to the nodes' mobility. Moreover, DSRC relies on broadcast of basic safety messages (BSMs) for supporting safety-critical applications. Most prior work uses performance metrics such as packet delivery rate (PDR) and packet delay, which cannot accurately capture the performance of DSRC broadcasts. To this end, this paper (i) provides a comprehensive analysis framework formulating both spatial and temporal factors in concert and (ii) proposes a new performance metric that can more accurately characterize the broadcast performance of a DSRC network. Based on the new metric, the results present (i) the fundamental performance of a DSRC network under inter-RAT interference from Wi-Fi and C-V2X and (ii) provide suggestions on optimal selection of networking parameters.


title: On the spectroscopic detection of periodic plasma flows in loops undergoing thermal non-equilibrium

abstract: Context: Long-period intensity pulsations were recently detected in the EUV emission of coronal loops, and have been attributed to cycles of plasma evaporation and condensation driven by thermal non-equilibrium (TNE). Numerical simulations that reproduce this phenomenon also predict the formation of periodic flows of plasma at coronal temperatures along some of the pulsating loops. Aims: In this paper, we aim at detecting these predicted flows of coronal-temperature plasma in pulsating loops. Methods: To this end, we use time series of spatially resolved spectra from the EUV imaging spectrometer (EIS) onboard Hinode, and track the evolution of the Doppler velocity in loops in which intensity pulsations have previously been detected in images of SDO/AIA. Results: We measure signatures of flows that are compatible with the simulations, but only in a fraction of the observed events. We demonstrate that this low detection rate can be explained by line of sight ambiguities, combined with instrumental limitations such as low signal to noise ratio or insufficient cadence.


title: On the obstacle problem for the 1D wave equation

abstract: Our goal is to review the known theory on the one-dimensional obstacle problem for the wave equation, and to discuss some extensions. We introduce the setting established by Schatzman within which existence and uniqueness of solutions can be proved, and we prove that (in some suitable systems of coordinates) the Lipschitz norm is preserved after collision. As a consequence, we deduce that solutions to the obstacle problem (both simple and double) for the wave equation have bounded Lipschitz norm at all times. Finally, we discuss the validity of an explicit formula for the solution that was found by Bamberger and Schatzman.


title: The blow up of solutions to semilinear wave equations on asymptotically Euclidean manifolds

abstract: In this paper, we investigate the problem of blow up and sharp upper bound estimates of the lifespan for the solutions to the semilinear wave equations, posed on asymptotically Euclidean manifolds. Here the metric is assumed to be exponential perturbation of the spherical symmetric, long range asymptotically Euclidean metric. One of the main ingredients in our proof is the construction of (unbounded) positive entire solutions for $\Delta_{g}\phi_\lambda=\lambda^{2}\phi_\lambda$, with certain estimates which are uniform for small parameter $\lambda\in (0,\lambda_0)$. In addition, our argument works equally well for semilinear damped wave equations, when the coefficient of the dissipation term is integrable (without sign condition) and space-independent.


title: Dynnikov coordinates on punctured torus

abstract: We generalize Dynnikov coordinate system previosly defined on the standard punctured disk to an orientable surface of genus-1 with n punctures and one boundary component.


title: Understanding $X(3872)$ and its decays in the extended Friedrichs scheme

abstract: We present that the $X(3872)$ could be represented as a dynamically generated state in the extended Friedrichs scheme, in which the ratio of "elementariness" and "compositeness" of the different components in the $X(3872)$ is about $Z_{c\bar c}:X_{\bar D^0 D^{0*}}: X_{ D^+ D^{-*}}: X_{\bar D^* D^*}$ $= 1:(2.67\sim 8.85):(0.45\sim 0.46):0.04$. Furthermore, its decays to $\pi^0$ and a $P$-wave charmonium $\chi_{cJ}$ state with $J=0,1$, or $2$, $J/\psi\pi^+\pi^-$, and $J/\psi\pi^+\pi^-\pi^0$ could be calculated out with the help of Barnes-Swanson model. The isospin breaking effects is easily understood in this scheme. This calculation also shows that the decay rate of $X(3872)$ to $\chi_{c1}\pi^0$ is much smaller than its decay rate to $J/\psi\pi^+\pi^-$.


title: Boundary feedback stabilization for the intrinsic geometrically exact beam model

abstract: In this work we address the problem of boundary feedback stabilization for a geometrically exact shearable beam, allowing for large deflections and rotations and small strains. The corresponding mathematical model may be written in terms of displacements and rotations (GEB), or intrinsic variables (IGEB). A nonlinear transformation relates both models, allowing to take advantage of the fact that the latter model is a one-dimensional first-order semilinear hyperbolic system, and deduce stability properties for both models. By applying boundary feedback controls at one end of the beam, while the other end is clamped, we show that the zero steady state of IGEB is locally exponentially stable for the $H^1$ and $H^2$ norms. The proof rests on the construction of a Lyapunov function, where the theory of Coron \& Bastin '16 plays a crucial role. The major difficulty in applying this theory stems from the complicated nature of the nonlinearity and lower order term where no smallness arguments apply. Using the relationship between both models, we deduce the existence of a unique solution to the GEB model, and properties of this solution as time goes to $+\infty$.


title: Polarized Low-Density Parity-Check Codes on the BSC

abstract: The connections between variable nodes and check nodes have a great influence on the performance of low-density parity-check (LDPC) codes. Inspired by the unique structure of polar code's generator matrix, we proposed a new method of constructing LDPC codes that achieves a polarization effect. The new code, named as polarized LDPC codes, is shown to achieve lower or no error floor in the binary symmetric channel (BSC)


title: Fine-Grained Emotion Classification of Chinese Microblogs Based on Graph Convolution Networks

abstract: Microblogs are widely used to express people's opinions and feelings in daily life. Sentiment analysis (SA) can timely detect personal sentiment polarities through analyzing text. Deep learning approaches have been broadly used in SA but still have not fully exploited syntax information. In this paper, we propose a syntax-based graph convolution network (GCN) model to enhance the understanding of diverse grammatical structures of Chinese microblogs. In addition, a pooling method based on percentile is proposed to improve the accuracy of the model. In experiments, for Chinese microblogs emotion classification categories including happiness, sadness, like, anger, disgust, fear, and surprise, the F-measure of our model reaches 82.32% and exceeds the state-of-the-art algorithm by 5.90%. The experimental results show that our model can effectively utilize the information of dependency parsing to improve the performance of emotion detection. What is more, we annotate a new dataset for Chinese emotion classification, which is open to other researchers.


title: Interplay between local response and vertex divergences in many-fermion systems with on-site attraction

abstract: We investigate the divergences appearing in the two-particle irreducible vertex functions of many-fermion systems with attractive on-site interactions. By means of dynamical mean-field theory calculations, we determine the location of singularity lines in the phase diagram of the attractive Hubbard model at half-filling, where the local Bethe-Salpeter equations are non invertible. We find that divergences appear both in the magnetic and in the density scattering channels. The former affect a sector of suppressed fluctuations and comply with the mapping of the physical susceptibilities of the repulsive case. At the same time, the appearance of singularities in the density channel of the attractive model demonstrates that vertex divergences can also plague the dominant scattering sectors associated with enhanced local susceptibilities. This constitutes a counterexample to previously proposed interpretations. Eventually, by exploiting the underlying physical symmetries and a spectral representation of the susceptibilities, we clarify the relation between vertex divergences and the local response of the system in different channels.


title: Fiber Floer cohomology and conormal stops

abstract: Let $S$ be a closed orientable spin manifold. Let $K \subset S$ be a submanifold and denote its complement by $M_K$. In this paper we prove that there exists an isomorphism between partially wrapped Floer cochains of a cotangent fiber stopped by the unit conormal $\varLambda_K$ and chains of a Morse theoretic model of the based loop space of $M_K$, which intertwines the $A_\infty$-structure with the Pontryagin product. As an application, we restrict to codimension 2 spheres $K \subset S^n$ where $n = 5$ or $n\geq 7$. Then we show that there is a family of knots $K$ so that the partially wrapped Floer cohomology of a cotangent fiber is related to the Alexander invariant of $K$. A consequence of this relation is that the link $\varLambda_K \cup \varLambda_x$ is not Legendrian isotopic to $\varLambda_{\mathrm{unknot}} \cup \varLambda_x$ where $x\in M_K$.


title: Hodge theory for elliptic curves and the Hopf element $\nu$

abstract: We show that the vector bundle on the moduli stack $M_\mathrm{ell}$ of elliptic curves associated to the $2$-cell complex $C\nu$ is isomorphic to the de Rham cohomology sheaf $\mathrm{H}^1_\mathrm{dR}(\mathcal{E}/M_\mathrm{ell})$ of the universal elliptic curve $\mathcal{E}\to M_\mathrm{ell}$. We use this to calculate the homotopy groups of the $\mathbf{E}_{1}$-quotient $\mathrm{tmf} /\!\!/ \nu$ of $\mathrm{tmf}$ by $\nu$, called the spectrum of "topological quasimodular forms", by relating its Adams-Novikov spectral sequence to the cohomology of the moduli stack of cubic curves with a chosen splitting of the Hodge-de Rham filtration.


title: Deep Anomaly Detection in Packet Payload

abstract: With the widespread adoption of cloud services, especially the extensive deployment of plenty of Web applications, it is important and challenging to detect anomalies from the packet payload. For example, the anomalies in the packet payload can be expressed as a number of specific strings which may cause attacks. Although some approaches have achieved remarkable progress, they are with limited applications since they are dependent on in-depth expert knowledge, e.g., signatures describing anomalies or communication protocol at the application level. Moreover, they might fail to detect the payload anomalies that have long-term dependency relationships. To overcome these limitations and adaptively detect anomalies from the packet payload, we propose a deep learning based framework which consists of two steps. First, a novel feature engineering method is proposed to obtain the block-based features via block sequence extraction and block embedding. The block-based features could encapsulate both the high-dimension information and the underlying sequential information which facilitate the anomaly detection. Second, a neural network is designed to learn the representation of packet payload based on Long Short-Term Memory (LSTM) and Convolutional Neural Networks (CNN). Furthermore, we cast the anomaly detection as a classification problem and stack a Multi-Layer Perception (MLP) on the above representation learning network to detect anomalies. Extensive experimental results on three public datasets indicate that our model could achieve a higher detection rate, while keeping a lower false positive rate compared with five state-of-the-art methods.


title: Teichm\"uller spaces and Torelli theorems for hyperk\"ahler manifolds

abstract: Kreck and Yang Su recently gave counterexamples to a version of the Torelli theorem for hyperk\"ahlerian manifolds as stated by Verbitsky. The initial purpose of this document (which was prepared for a seminar talk) was to extract the correct statement and to give a short proof of it. We also revisit a few of its consequences, some of which are given new (shorter) proofs.


title: Online Password Guessability via Multi-Dimensional Rank Estimation

abstract: Human-chosen passwords are the a dominant form of authentication systems. Passwords strength estimators are used to help users avoid picking weak passwords by predicting how many attempts a password cracker would need until it finds a given password. In this paper we propose a novel password strength estimator, called PESrank, which accurately models the behavior of a powerful password cracker. PESrank calculates the rank of a given password in an optimal descending order of likelihood. PESrank estimates a given password's rank in fractions of a second---without actually enumerating the passwords---so it is practical for online use. It also has a training time that is drastically shorter than previous methods. Moreover, PESrank is efficiently tweakable to allow model personalization in fractions of a second, without the need to retrain the model; and it is explainable: it is able to provide information on why the password has its calculated rank, and gives the user insight on how to pick a better password. Our idea is to cast the question of password rank estimation in a probabilistic framework used in side-channel cryptanalysis. We view each password as a point in a $d$-dimensional search space, and learn the probability distribution of each dimension separately. The dimensions represent the base word, plus a dimension for each possible transformation such as adding a suffix or using a capitalization pattern. Using this model, password strength estimation is analogous to side-channel rank estimation. We implemented PERrank in Python and conducted an extensive evaluation study of it. We also integrated it into the registration page of a course at our university. Even with a model based on 905 million passwords, the response time was well under 1 second, with up to a 1-bit accuracy margin between the upper bound and the lower bound on the rank.


title: Reinforcement Learning with Non-Markovian Rewards

abstract: The standard RL world model is that of a Markov Decision Process (MDP). A basic premise of MDPs is that the rewards depend on the last state and action only. Yet, many real-world rewards are non-Markovian. For example, a reward for bringing coffee only if requested earlier and not yet served, is non-Markovian if the state only records current requests and deliveries. Past work considered the problem of modeling and solving MDPs with non-Markovian rewards (NMR), but we know of no principled approaches for RL with NMR. Here, we address the problem of policy learning from experience with such rewards. We describe and evaluate empirically four combinations of the classical RL algorithm Q-learning and R-max with automata learning algorithms to obtain new RL algorithms for domains with NMR. We also prove that some of these variants converge to an optimal policy in the limit.


title: Yang-Baxter deformations and generalized supergravity -- A short summary

abstract: Integrable deformations of type IIB superstring theory on $\mathrm{AdS}_5\times S^5$ have played an important role over the last years. The Yang-Baxter deformation is a systematic way of generating such integrable deformations. Since its introduction, this topic has seen important conceptual progress and has among others led to the intriguing discovery generalized supergravity, a new low-energy effective theory. This review endeavors to not only introduce the historical development of the Yang-Baxter deformation, but also its relation to generalized supergravity, non-geometric backgrounds, non-abelian T-duality and preserved Killing spinors. We supplement the general treatment with a wealth of explicit examples.


title: Equality of orders of a set of integers modulo a prime

abstract: For finitely generated subgroups $W_1, \ldots , W_t$ of $\mathbb{Q}^{\times}$, integers $k_1, \ldots , k_t$, a Galois extension $F$ of $\mathbb{Q}$ and a union of conjugacy classes $C \subset \text{Gal}(F/\mathbb{Q})$, we develop methods for determining if there exists infinitely many primes $p$ such that the index of the reduction of $W_i$ modulo $p$ divides $k_i$ and such that the Artin symbol of $p$ on $F$ is contained in $C$. The results are a multivariable generalization of H.W. Lenstra's work. As an application, we determine all integers $a_1, \ldots , a_n$ such that $\text{ord}_p(a_1) = \ldots = \text{ord}_p(a_n)$ for infinitely many primes $p$. We also discuss the set of those $p$ for which $\text{ord}_p(a_1) > \ldots > \text{ord}_p(a_n)$. The obtained results are conditional to a generalization of the Riemann hypothesis.


title: Dynamical ideals of non-commutative rings

abstract: A dynamical analog of the prime ideals for simple non-commutative rings is introduced. We prove a factorization theorem for the dynamical ideals. The result is used to classify the surface knots and links in the smooth 4-dimensional manifolds.


title: Dressed metric predictions revisited

abstract: It was recently shown that the volume operator of loop quantum cosmology (LQC) and all its positive powers are ill-defined on physical states. In this paper, we investigate how it effects predictions of cosmic microwave background (CMB) power spectra obtained within dressed metric approach for which expectations values of $\hat{a}$ are the key element. We find that almost every step in the procedure is ill-defined and relies heavily upon a (seemingly premature) numerical truncation. Thus, it suggests that more care is needed in making predictions regarding pre-inflationary physics. We propose a new scheme which contains only well-defined quantities. The surprising agreement of the hitherto models with observational data, especially at low angular momenta $l$ is explained.


title: Bilevel Optimization for On-Demand Multimodal Transit Systems

abstract: This study explores the design of an On-Demand Multimodal Transit System (ODMTS) that includes segmented mode switching models that decide whether potential riders adopt the new ODMTS or stay with their personal vehicles. It is motivated by the desire of transit agencies to design their network by taking into account both existing and latent demand, as quality of service improves. The paper presents a bilevel optimization where the leader problem designs the network and each rider has a follower problem to decide her best route through the ODMTS. The bilevel model is solved by a decomposition algorithm that combines traditional Benders cuts with combinatorial cuts to ensure the consistency of mode choices by the leader and follower problems. The approach is evaluated on a case study using historical data from Ann Arbor, Michigan, and a user choice model based on the income levels of the potential transit riders.


title: Ancestral lineages in spatial population models with local regulation

abstract: We give a short overview on our work on ancestral lineages in spatial population models with local regulation. We explain how an ancestral lineage can be interpreted as a random walk in a dynamic random environment. Defining regeneration times allows to prove central limit theorems for such walks. We also consider several ancestral lineages in the same population and show for one prototypical example that in one dimension the corresponding system of coalescing walks converges to the Brownian web.


title: Single-Layer CrI3 Grown by Molecular Beam Epitaxy

abstract: Single- and few-layer chromium triiodide (CrI3), which has been intensively investigated as a promising platform for two-dimensional magnetism, was usually prepared by mechanical exfoliation. Here, we report on the growth of single-layer CrI3 by molecular beam epitaxy under ultrahigh vacuum. The atomic structures and local density of states have been revealed by scanning tunneling microscopy (STM). Iodine trimers, each of which consists of three I atoms surrounding a three-fold Cr honeycomb center, have been identified as the basic units of the topmost I layer. Different superstructures of single-layer CrI3 with characteristic periodicity around 2-4 nm were obtained on Au(111), but only pristine structure was observed on graphite. At elevated temperatures (423 K), CrI3 was partially decomposed, resulting in the formation of single-layer chromium diiodide. Our bias-dependent STM images suggest that the unoccupied and occupied states are distributed spatial-separately, which is consistent with our density functional theory calculations. The effect of charge distribution on the superexchange interaction in single-layer CrI3 was discussed.