title: Computational Approaches for Stochastic Shortest Path on Succinct MDPs

abstract: We consider the stochastic shortest path (SSP) problem for succinct Markov decision processes (MDPs), where the MDP consists of a set of variables, and a set of nondeterministic rules that update the variables. First, we show that several examples from the AI literature can be modeled as succinct MDPs. Then we present computational approaches for upper and lower bounds for the SSP problem: (a)~for computing upper bounds, our method is polynomial-time in the implicit description of the MDP; (b)~for lower bounds, we present a polynomial-time (in the size of the implicit description) reduction to quadratic programming. Our approach is applicable even to infinite-state MDPs. Finally, we present experimental results to demonstrate the effectiveness of our approach on several classical examples from the AI literature.


title: On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research

abstract: Scientific research requires access, analysis, and sharing of data that is distributed across various heterogeneous data sources at the scale of the Internet. An eager ETL process constructs an integrated data repository as its first step, integrating and loading data in its entirety from the data sources. The bootstrapping of this process is not efficient for scientific research that requires access to data from very large and typically numerous distributed data sources. a lazy ETL process loads only the metadata, but still eagerly. Lazy ETL is faster in bootstrapping. However, queries on the integrated data repository of eager ETL perform faster, due to the availability of the entire data beforehand. In this paper, we propose a novel ETL approach for scientific data integration, as a hybrid of eager and lazy ETL approaches, and applied both to data as well as metadata. This way, Hybrid ETL supports incremental integration and loading of metadata and data from the data sources. We incorporate a human-in-the-loop approach, to enhance the hybrid ETL, with selective data integration driven by the user queries and sharing of integrated data between users. We implement our hybrid ETL approach in a prototype platform, Obidos, and evaluate it in the context of data sharing for medical research. Obidos outperforms both the eager ETL and lazy ETL approaches, for scientific research data integration and sharing, through its selective loading of data and metadata, while storing the integrated data in a scalable integrated data repository.


title: Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks

abstract: Closing feedback loops fast and over long distances is key to emerging applications; for example, robot motion control and swarm coordination require update intervals of tens of milliseconds. Low-power wireless technology is preferred for its low cost, small form factor, and flexibility, especially if the devices support multi-hop communication. So far, however, feedback control over wireless multi-hop networks has only been shown for update intervals on the order of seconds. This paper presents a wireless embedded system that tames imperfections impairing control performance (e.g., jitter and message loss), and a control design that exploits the essential properties of this system to provably guarantee closed-loop stability for physical processes with linear time-invariant dynamics. Using experiments on a cyber-physical testbed with 20 wireless nodes and multiple cart-pole systems, we are the first to demonstrate and evaluate feedback control and coordination over wireless multi-hop networks for update intervals of 20 to 50 milliseconds.


title: Future (of) Synchrotrons for Particle Therapy

abstract: The field of particle therapy is quickly growing and yet it's more widespread adoption is limited by size, cost and adaptation to the more conformal treatment techniques. In order to realize the benefits of this modality the equipment used to generate and deliver the beam is evolving. The accelerator is one of the key components and its future is dictated by the ability to accommodate the clinical requirements. This lecture is intended to provide an introduction to these requirements and identify how synchrotrons are designed to deliver the desired beams as well as what limitations exist and expectations for the future of synchrotrons.


title: A fast and accurate method of radiation hydrodynamics calculation in spherical symmetry

abstract: We develop a new numerical scheme for solving the radiative transfer equation in a spherically symmetric system. This scheme does not rely on any kind of diffusion approximation and it is accurate for optically thin, thick, and intermediate systems. In the limit of a homogeneously distributed extinction coefficient, our method is very accurate and exceptionally fast. We combine this fast method with a slower, but more generally applicable method to describe realistic problems. We perform various test calculations including a simplified protostellar collapse simulation. We also discuss possible future improvements.


title: A curious case of the accretion-powered X-ray pulsar GX 1+4

abstract: We present detailed spectral and timing studies using a NuSTAR observation of GX 1+4 in October 2015 during an intermediate intensity state. The measured spin period of 176.778 s is found to be one of the highest values since its discovery. In contrast to a broad sinusoidal-like pulse profile, a peculiar sharp peak is observed in profiles below ~25 keV. The profiles at higher energies are found to be significantly phase-shifted compared to the soft X-ray profiles. Broadband energy spectra of GX 1+4, obtained from NuSTAR and Swift observations, are described with various continuum models. Among these, a two component model consisting of a bremsstrahlung and a blackbody component is found to best-fit the phase-averaged and phase-resolved spectra. Physical models are also used to investigate the emission mechanism in the pulsar, which allows us to estimate the magnetic field strength to be in $\sim$(5-10)$\times$10$^{12}$ G range. Phase-resolved spectroscopy of NuSTAR observation shows a strong blackbody emission component in a narrow pulse phase range. This component is interpreted as the origin of the peculiar peak in the pulse profiles below $\le$25 keV. The size of emitting region is calculated to be $\sim$400 m. The bremsstrahlung component is found to dominate in hard X-rays and explains the nature of simple profiles at high energies.


title: Therapy Control and Patient Safety for Proton Therapy

abstract: This contribution describes general concepts for control and safety systems in proton therapy. These concepts are illustrated by concrete examples implemented in the Proscan facility at PSI.


title: Domination game and minimal edge cuts

abstract: In this paper a relationship is established between the domination game and minimal edge cuts. It is proved that the game domination number of a connected graph can be bounded above in terms of the size of minimal edge cuts. In particular, if $C$ a minimum edge cut of a connected graph $G$, then $\gamma_g(G) \le \gamma_g(G\setminus C) + 2\kappa'(G)$. Double-Staller graphs are introduced in order to show that this upper bound can be attained for graphs with a bridge. The obtained results are used to extend the family of known traceable graphs whose game domination numbers are at most one-half their order. Along the way two technical lemmas, which seem to be generally applicable for the study of the domination game, are proved.


title: Infrared and visible image fusion using Latent Low-Rank Representation

abstract: Infrared and visible image fusion is an important problem in the field of image fusion which has been applied widely in many fields. To better preserve the useful information from source images, in this paper, we propose a novel image fusion method based on latent low-rank representation(LatLRR) which is simple and effective. Firstly, the source images are decomposed into low-rank parts(global structure) and salient parts(local structure) by LatLRR. Then, the low-rank parts are fused by weighted-average strategy to preserve more contour information. Then, the salient parts are simply fused by sum strategy which is a efficient operation in this fusion framework. Finally, the fused image is obtained by combining the fused low-rank part and the fused salient part. Compared with other fusion methods experimentally, the proposed method has better fusion performance than state-of-the-art fusion methods in both subjective and objective evaluation. The Code of our fusion method is available at https://github.com/hli1221/imagefusion\_Infrared\_visible\_latlrr


title: Resource Allocation and Interference Management in OFDMA-based VLC Networks

abstract: Resource allocation and interference management are two main issues that need to be carefully addressed in visible light communication (VLC) systems. In this paper, we propose a resource allocation scheme that can also handle the inter-cell interference in a multi-user VLC system that employs orthogonal frequency division multiple access (OFDMA). Particularly, we suggest dividing the cell coverage into two non-overlapping zones and performing a two-step resource allocation process, in which each step corresponds to a different level of allocating resources, i.e., zone and user levels. We initially define both zones in terms of the physical area and the amount of allocated resources and we investigate the impact of illumination requirements on defining both zones. Through simulations, we evaluate the performance of the proposed scheme in terms of the area spectral efficiency and the fairness level between the two zones. We show that both performance measures can be potentially enhanced by carefully setting a certain design parameter that reflects the priority level of the users located in the region around the cell center, denoted as Zone 0, in terms of the achievable rate. We further eventuate the system performance in a realistic transmission scenario using a simulation tool.


title: Higgs bundles over non-compact Gauduchon manifolds

abstract: In this paper, we prove a generalized Donaldson-Uhlenbeck-Yau theorem on Higgs bundles over a class of non-compact Gauduchon manifolds.


title: Neutral-current neutrino-nucleus scattering off Xe isotopes

abstract: Large liquid xenon detectors aiming for dark matter direct detection will soon become viable tools also for investigating neutrino physics. Information on the effects of nuclear structure in neutrino-nucleus scattering can be important in distinguishing neutrino backgrounds in such detectors. We perform calculations for differential and total cross sections of neutral-current neutrino scattering off the most abundant xenon isotopes. The nuclear structure calculations are made in the nuclear shell model for elastic scattering, and also in the quasiparticle random-phase approximation (QRPA) and microscopic quasiparticle phonon model (MQPM) for both elastic and inelastic scattering. Using suitable neutrino energy distributions, we compute estimates of total averaged cross sections for 8B solar neutrinos and supernova neutrinos.


title: Genesis of Basic and Multi-Layer Echo State Network Recurrent Autoencoders for Efficient Data Representations

abstract: It is a widely accepted fact that data representations intervene noticeably in machine learning tools. The more they are well defined the better the performance results are. Feature extraction-based methods such as autoencoders are conceived for finding more accurate data representations from the original ones. They efficiently perform on a specific task in terms of 1) high accuracy, 2) large short term memory and 3) low execution time. Echo State Network (ESN) is a recent specific kind of Recurrent Neural Network which presents very rich dynamics thanks to its reservoir-based hidden layer. It is widely used in dealing with complex non-linear problems and it has outperformed classical approaches in a number of tasks including regression, classification, etc. In this paper, the noticeable dynamism and the large memory provided by ESN and the strength of Autoencoders in feature extraction are gathered within an ESN Recurrent Autoencoder (ESN-RAE). In order to bring up sturdier alternative to conventional reservoir-based networks, not only single layer basic ESN is used as an autoencoder, but also Multi-Layer ESN (ML-ESN-RAE). The new features, once extracted from ESN's hidden layer, are applied to classification tasks. The classification rates rise considerably compared to those obtained when applying the original data features. An accuracy-based comparison is performed between the proposed recurrent AEs and two variants of an ELM feed-forward AEs (Basic and ML) in both of noise free and noisy environments. The empirical study reveals the main contribution of recurrent connections in improving the classification performance results.


title: Self-oscillatory interactions of supersonic streams with cylinders, placed in open channels

abstract: Interactions of supersonic uniform streams with cylindrical bodies, placed in open channels, are studied. Channels of rotation with the interval of cross-sectional area decreasing are considered. Two-dimensional Euler equations are solved by an implicit third order Runge-Kutta scheme. Self-oscillatory regimes are found in CFD studies at stream Mach numbers of 3 to 4.5.


title: Direct Evidence for Time-Reversal Symmetry Breaking in Topological Superconductor Sr0.1Bi2Se3

abstract: The single helical Fermi surface on the surface state of three-dimensional topological insulator Bi2Se3 is constrained by the time-reversal invariant bulk topology to possess a spin-singlet superconducting pairing symmetry. In fact, the Cu-doped, and pressure-tuned superconducting Bi2Se3 show no evidence of the time reversal symmetry breaking. We report on the detection of the time reversal symmetry (TRS) breaking in the topological superconductor Sr0.1Bi2Se3 , probed by zero-field (ZF) {\mu}SR measurements. The TRS breaking provides strong evidence for the existence of spin-triplet pairing state. The temperature dependent super-fluid density deduced from transverse-field (TF) {\mu}SR measurement yields nodeless superconductivity with low superconducting carrier density and penetration depth {\lambda} = 1622(134) nm. From the microscopic theory of unconventional pairing, we find that such a fully gapped spin triplet pairing channel is promoted by the complex interplay between the structural hexagonal warping and higher order Dresselhaus spin-orbit coupling terms. Based on Ginzburg-Landau analysis, we delineate the mixing of singlet to triplet pairing symmetry as the chemical potential is tuned far above from the Dirac cone. Our observation of such spontaneous TRS breaking chiral superconductivity on a helical surface state, protected by the TRS invariant bulk topology, can open new avenues for interesting research and applications.


title: Analytical properties for degenerate equations

abstract: By a classical result, solutions of analytic elliptic PDEs, like the Laplace equation, are analytic. In many instances, the properties that come from being analytic are more important than analyticity itself. Many important equations are degenerate elliptic and solutions have much lower regularity. Still, one may hope that solutions share properties of analytic functions. These properties are closely connected to important open problems. In this survey, we will explain why solutions of an important degenerate elliptic equation have analytic properties even though the solutions are not even $C^3$.


title: Style Transfer Through Back-Translation

abstract: Style transfer is the task of rephrasing the text to contain specific stylistic properties without changing the intent or affect within the context. This paper introduces a new method for automatic style transfer. We first learn a latent representation of the input sentence which is grounded in a language translation model in order to better preserve the meaning of the sentence while reducing stylistic properties. Then adversarial generation techniques are used to make the output match the desired style. We evaluate this technique on three different style transformations: sentiment, gender and political slant. Compared to two state-of-the-art style transfer modeling techniques we show improvements both in automatic evaluation of style transfer and in manual evaluation of meaning preservation and fluency.


title: Response potential in the strong-interaction limit of DFT: Analysis and comparison with the coupling-constant average

abstract: Using the formalism of the conditional amplitude, we study the response part of the exchange-correlation potential in the strong-coupling limit of density functional theory, analysing its peculiar features and comparing it with the response potential averaged over the coupling constant for small atoms and for the hydrogen molecule. We also use a simple one-dimensional model of a stretched heteronuclear molecule to derive exact properties of the response potential in the strong-coupling limit. The simplicity of the model allows us to unveil relevant features also of the exact Kohn-Sham potential and its different components, namely the appearance of a second peak in the correlation kinetic potential on the side of the most electronegative atom.


title: A Backward Stable Algorithm for Computing the CS Decomposition via the Polar Decomposition

abstract: We introduce a backward stable algorithm for computing the CS decomposition of a partitioned $2n \times n$ matrix with orthonormal columns, or a rank-deficient partial isometry. The algorithm computes two $n \times n$ polar decompositions (which can be carried out in parallel) followed by an eigendecomposition of a judiciously crafted $n \times n$ Hermitian matrix. We prove that the algorithm is backward stable whenever the aforementioned decompositions are computed in a backward stable way. Since the polar decomposition and the symmetric eigendecomposition are highly amenable to parallelization, the algorithm inherits this feature. We illustrate this fact by invoking recently developed algorithms for the polar decomposition and symmetric eigendecomposition that leverage Zolotarev's best rational approximations of the sign function. Numerical examples demonstrate that the resulting algorithm for computing the CS decomposition enjoys excellent numerical stability.


title: An Anchor-Free Region Proposal Network for Faster R-CNN based Text Detection Approaches

abstract: The anchor mechanism of Faster R-CNN and SSD framework is considered not effective enough to scene text detection, which can be attributed to its IoU based matching criterion between anchors and ground-truth boxes. In order to better enclose scene text instances of various shapes, it requires to design anchors of various scales, aspect ratios and even orientations manually, which makes anchor-based methods sophisticated and inefficient. In this paper, we propose a novel anchor-free region proposal network (AF-RPN) to replace the original anchor-based RPN in the Faster R-CNN framework to address the above problem. Compared with a vanilla RPN and FPN-RPN, AF-RPN can get rid of complicated anchor design and achieve higher recall rate on large-scale COCO-Text dataset. Owing to the high-quality text proposals, our Faster R-CNN based two-stage text detection approach achieves state-of-the-art results on ICDAR-2017 MLT, ICDAR-2015 and ICDAR-2013 text detection benchmarks when using single-scale and single-model (ResNet50) testing only.


title: Cubes3D: Neural Network based Optical Flow in Omnidirectional Image Scenes

abstract: Optical flow estimation with convolutional neural networks (CNNs) has recently solved various tasks of computer vision successfully. In this paper we adapt a state-of-the-art approach for optical flow estimation to omnidirectional images. We investigate CNN architectures to determine high motion variations caused by the geometry of fish-eye images. Further we determine the qualitative influence of texture on the non-rigid object to the motion vectors. For evaluation of the results we create ground truth motion fields synthetically. The ground truth contains cubes with static background. We test variations of pre-trained FlowNet 2.0 architectures by indicating common error metrics. We generate competitive results for the motion of the foreground with inhomogeneous texture on the moving object.


title: Room Recognition Using Discriminative Ensemble Learning with Hidden Markov Models for Smartphones

abstract: An accurate room localization system is a powerful tool for providing location-based services. Considering that people spend most of their time indoors, indoor localization systems are becoming increasingly important in designing smart environments. In this work, we propose an efficient ensemble learning method to provide room level localization in smart buildings. Our proposed localization method achieves high room-level localization accuracy by combining Hidden Markov Models with simple discriminative learning methods. The localization algorithms are designed for a terminal-based system, which consists of commercial smartphones and Wi-Fi access points. We conduct experimental studies to evaluate our system in an office-like indoor environment. Experiment results show that our system can overcome traditional individual machine learning and ensemble learning approaches.


title: Parity Doubling as a Tool for Right-handed Current Searches

abstract: The V-A structure of the weak interactions leads to definite amplitude hierarchies in exclusive heavy-to-light decays mediated by $b \to (d,s)\gamma$ and $b \to (d,s) \ell \bar{\ell}$. However, the extraction of right-handed currents beyond the Standard Model is contaminated by V-A long-distance contributions leaking into right-handed amplitudes. We propose that these quantum-number changing long-distance contributions can be controlled by considering the almost parity-degenerate vector meson final states by exploiting the opposite relative sign of left- versus right-handed amplitudes. For example, measuring the time-dependent rates of a pair of vector $V(J^P=1^-)$ and axial $A(1^+)$ mesons in $B \to (V,A) \gamma$, up to an order of magnitude is gained on the theory uncertainty prediction, controlled by long-distance ratios to the right-handed amplitude. This renders these decays clean probes to null tests, from the theory side.


title: Solving Horn Clauses on Inductive Data Types Without Induction

abstract: We address the problem of verifying the satisfiability of Constrained Horn Clauses (CHCs) based on theories of inductively defined data structures, such as lists and trees. We propose a transformation technique whose objective is the removal of these data structures from CHCs, hence reducing their satisfiability to a satisfiability problem for CHCs on integers and booleans. We propose a transformation algorithm and identify a class of clauses where it always succeeds. We also consider an extension of that algorithm, which combines clause transformation with reasoning on integer constraints. Via an experimental evaluation we show that our technique greatly improves the effectiveness of applying the Z3 solver to CHCs. We also show that our verification technique based on CHC transformation followed by CHC solving, is competitive with respect to CHC solvers extended with induction. This paper is under consideration for acceptance in TPLP.


title: Topological full groups and t.d.l.c. completions of Thompson's $V$

abstract: We show how all topological full groups coming from a one-sided irreducible shift of finite type, as studied by Matui, can be re-interpreted as groups of colour-preserving tree almost automorphisms. As an application, we show that they admit t.d.l.c. completions of arbitrary finite local prime content. This applies in particular to Thompson's $V$.


title: Renormalizability of pure $\mathcal{N}=1$ Super Yang-Mills in the Wess-Zumino gauge in the presence of the local composite operators $A^{2}$ and $\bar{\lambda}\lambda$

abstract: The renormalization of $\mathcal{N}=1$ Super Yang-Mills theory with the presence of the local composite operators $AA$, $A_\mu \gamma_\mu \lambda$ and $\bar{\lambda}\lambda$ is analyzed in the Wess-Zumino gauge, employing the Landau condition. An all-orders proof of the renormalizability of the theory is given by means of the Algebraic Renormalization procedure. Only three renormalization constants are needed, which can be identified with the coupling constant, gauge field, and gluino renormalization. The non-renormalization theorem of the gluon--ghost--anti-ghost vertex in the Landau gauge is shown to remain valid in $\mathcal{N}=1$ Super Yang-Mills with the presence of the local composite operators. Moreover, due to the non-linear realization of the supersymmetry in the Wess-Zumino gauge, the renormalization factor of the gauge field turns out to be different from that of the gluino.


title: Towards a Neural Network Approach to Abstractive Multi-Document Summarization

abstract: Till now, neural abstractive summarization methods have achieved great success for single document summarization (SDS). However, due to the lack of large scale multi-document summaries, such methods can be hardly applied to multi-document summarization (MDS). In this paper, we investigate neural abstractive methods for MDS by adapting a state-of-the-art neural abstractive summarization model for SDS. We propose an approach to extend the neural abstractive model trained on large scale SDS data to the MDS task. Our approach only makes use of a small number of multi-document summaries for fine tuning. Experimental results on two benchmark DUC datasets demonstrate that our approach can outperform a variety of baseline neural models.


title: Casimir repulsive-attractive transition between liquid-separated dielectric metamaterial and metal

abstract: We study the repulsive-attractive transition, regarded as stable equilibrium, between gold and dielectric metamaterial based on Mie resonance immersed in various fluids due to the interplay of gravity, buoyancy and Casimir force among different geometries consisting of parallel plates and spheres levitated over substrates. A wider range of separation distance of stable equilibrium is obtained with Mie metamaterial than natural materials. We investigate the relationship between separation distance of stable equilibrium and constructive parameters of Mie metamaterial and geometric parameters of the system, and provide simple rules to tune the equilibrium position by modifying constructive parameters of Mie metamaterial. Particularly, the effect of permeability of Mie metamaterial on equilibrium separation is also considered. Our work is promising for potential applications in frictionless suspension in micro/nanofabrication technologies.


title: Is there a relationship between Stephen Hawking's worldview and his physical disability? On the importance of cognitive diversity

abstract: We tackle the question of whether there is a relationship between Stephen Hawking's disability and his ideas on the physics of black holes. The issue is relevant as it underscores the importance of diversity perspective in science.


title: Anomalous Geometric Spin Hall Effect of Light?

abstract: The geometric spin Hall effect of light (GSHEL), similar to the spin Hall effect of light, is also a spin-dependent shift of the centroid of light beam's intensity (energy flux), but it is a purely geometric effect that does not depend on a particular light-matter interaction. In this paper, we discuss the GSHEL with respect to momentum instead of energy flux, and find out that in the case of the symmetric energy-momentum tensor, the shift of the centroid of momentum flux is double that of energy flux. Interestingly, for the canonical energy-momentum tensor, the centroid shift of momentum flux agrees with that of energy flux. If we consider the effect of orbital angular momentum, however, the centroid displacement of momentum flux is twice that of energy flux for both energy-momentum tensors. To tell which energy-momentum tensor of light field would be more "correct", we propose a experimental scheme to test the GSHEL of momentum flux through the mechanical effect of light.


title: On robust stopping times for detecting changes in distribution

abstract: Let $X_1,X_2,\ldots $ be independent random variables observed sequentially and such that $X_1,\ldots,X_{\theta-1}$ have a common probability density $p_0$, while $X_\theta,X_{\theta+1},\ldots $ are all distributed according to $p_1\neq p_0$. It is assumed that $p_0$ and $p_1$ are known, but the time change $\theta\in \mathbb{Z}^+$ is unknown and the goal is to construct a stopping time $\tau$ that detects the change-point $\theta$ as soon as possible. The existing approaches to this problem rely essentially on some a priori information about $\theta$. For instance, in Bayes approaches, it is assumed that $\theta$ is a random variable with a known probability distribution. In methods related to hypothesis testing, this a priori information is hidden in the so-called average run length. The main goal in this paper is to construct stopping times which do not make use of a priori information about $\theta$, but have nearly Bayesian detection delays. More precisely, we propose stopping times solving approximately the following problem: \begin{equation*} \begin{split} &\quad \Delta(\theta;\tau^\alpha)\rightarrow\min_{\tau^\alpha}\quad \textbf{subject to}\quad \alpha(\theta;\tau^\alpha)\le \alpha \ \textbf{ for any}\ \theta\ge1, \end{split} \end{equation*} where $\alpha(\theta;\tau)=\mathbf{P}_\theta\bigl\{\tau<\theta \bigr\}$ is \textit{the false alarm probability} and $\Delta(\theta;\tau)=\mathbf{E}_\theta(\tau-\theta)_+$ is \textit{the average detection delay}, %In this paper, we construct $\widetilde{\tau}^\alpha$ such that %\[ % \max_{\theta\ge 1}\alpha(\theta;\widetilde{\tau}^\alpha)\le \alpha\ \text{and}\ %\Delta(\theta;\widetilde{\tau}^\alpha)\le (1+o(1))\log(\theta/\alpha), \ \text{as} \ \theta/\alpha%\rightarrow\infty, %\] and explain why such stopping times are robust w.r.t. a priori information about $\theta$.


title: Magnetic field effect on nuclear matter from skyrmion crystal model

abstract: We explore magnetic field effects on the nuclear matter based on the skrymion crystal approach for the first time. It is found that the magnetic effect plays the role of a catalyzer for the topological phase transition (topological deformation for the skyrmion crystal configuration from the skrymion phase to half-skyrmion phase). Furthermore, we observe that in the presence of the magnetic field, the inhomogeneous chiral condensate persists both in the skyrmion and half-skyrmion phases. Explicitly, as the strength of magnetic field gets larger, the inhomogeneous chiral condensate in the skyrmion phase tends to be drastically localized, while in the half-skyrmion phase the inhomogeneity configuration is hardly affected. It also turns out that a large magnetic effect in a low density region distorts the baryon shape to an elliptic form but the crystal structure is intact. However, in a high density region, the crystal structure is strongly effected by the strong magnetic field. A possible correlation between the chiral inhomogeneity and the deformation of the skrymion configuration is also addressed. The results obtained in this paper might be realized in the deep interior of compact stars.


title: Modular Arithmetic Erasure Channels and Their Multilevel Channel Polarization

abstract: This study proposes \emph{modular arithmetic erasure channels} (MAECs), a novel class of erasure-like channels with an input alphabet that need not be binary. This class contains the binary erasure channel (BEC) and some other known erasure-like channels as special cases. For MAECs, we provide recursive formulas of Ar{\i}kan-like polar transform to simulate channel polarization. In other words, we show that the synthetic channels of MAECs are equivalent to other MAECs. This is a generalization of well-known recursive formulas of the polar transform for BECs. Using our recursive formulas, we also show that a recursive application of the polar transform for MAECs results in \emph{multilevel channel polarization,} which is an asymptotic phenomenon that is characteristic of non-binary polar codes. Specifically, we establish a method to calculate the limiting proportions of the partially noiseless and noisy channels that are generated as a result of multilevel channel polarization for MAECs. In the particular case of MAECs, this calculation method solves an open problem posed by Nasser (2017) in the study of non-binary polar codes.


title: Revealing the interior of black holes out of equilibrium in the SYK model

abstract: The Sachdev-Ye-Kitaev (SYK) model can be used to describe black holes (BHs) in two-dimensional nearly-anti-de-Sitter gravity. We show that when such BHs are perturbed by a time-dependent negative-energy perturbation, their interior can be partially revealed. In the SYK model, a partial measurement of the state of the Majorana fermion pairs allows one to construct a matching time-dependent negative-energy perturbation of the BH geometry that shifts the state of the BH away from its equilibrium state. Kourkoulou and Maldacena showed that, if the perturbation is strong enough, the interior can be fully exposed and the BH disappears. Here, we show that when the perturbation is weaker than the threshold for full exposure, it effectively moves the horizon of the BH inwards, thus partially exposing the interior of the BH and leaving behind a smaller BH. The exposure is in proportion to the number of measured Majorana pairs and so also in proportion to the magnitude of the energy of the perturbation. From the boundary, the partial measurement is perceived as a burst of radiation whose strength and duration are proportional to the number of measured Majorana pairs.


title: Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines

abstract: Signal machines form an abstract and idealised model of collision computing. Based on dimensionless signals moving on the real line, they model particle/signal dynamics in Cellular Automata. Each particle, or signal, moves at constant speed in continuous time and space. When signals meet, they get replaced by other signals. A signal machine defines the types of available signals, their speeds and the rules for replacement in collision. A signal machine A simulates another one B if all the space-time diagrams of B can be generated from space-time diagrams of A by removing some signals and renaming other signals according to local information. Given any finite set of speeds S, we construct a signal machine that is able to simulate any signal machine whose speeds belong to S. Each signal is simulated by a macro-signal, a ray of parallel signals. Each macro-signal has a main signal located exactly where the simulated signal would be, as well as auxiliary signals which encode its id and the collision rules of the simulated machine. The simulation of a collision, a macro-collision, consists of two phases. In the first phase, macro-signals are shrunk, then the macro-signals involved in the collision are identified and it is ensured that no other macro-signal comes too close. If some do, the process is aborted and the macro-signals are shrunk, so that the correct macro-collision will eventually be restarted and successfully initiated. Otherwise, the second phase starts: the appropriate collision rule is found and new macro-signals are generated accordingly. Considering all finite set of speeds S and their corresponding simulators provides an intrinsically universal family of signal machines.


title: An Algorithm for Generating Strongly Chordal Graphs

abstract: Strongly chordal graphs are a subclass of chordal graphs. The interest in this subclass stems from the fact that many problems which are NP-complete for chordal graphs are solvable in polynomial time for this subclass. However, we are not aware of any algorithm that can generate instances of this class, often necessary for testing purposes. In this paper, we address this issue. Our algorithm first generates chordal graphs, using an available algorithm and then adds enough edges to make it strongly chordal, unless it is already so. The edge additions are based on a totally balanced matrix characterizations of strongly chordal graphs.


title: On Bogomolny equations in the Skyrme model

abstract: Using the concept of strong necessary conditions (CSNC), we derive a complete decomposition of the minimal Skyrme model into a sum of three coupled BPS submodels with the same topological bound. The bounds are saturated if corresponding Bogomolny equations, different for each submodel, are obeyed.


title: Label-aware Double Transfer Learning for Cross-Specialty Medical Named Entity Recognition

abstract: We study the problem of named entity recognition (NER) from electronic medical records, which is one of the most fundamental and critical problems for medical text mining. Medical records which are written by clinicians from different specialties usually contain quite different terminologies and writing styles. The difference of specialties and the cost of human annotation makes it particularly difficult to train a universal medical NER system. In this paper, we propose a label-aware double transfer learning framework (La-DTL) for cross-specialty NER, so that a medical NER system designed for one specialty could be conveniently applied to another one with minimal annotation efforts. The transferability is guaranteed by two components: (i) we propose label-aware MMD for feature representation transfer, and (ii) we perform parameter transfer with a theoretical upper bound which is also label aware. We conduct extensive experiments on 12 cross-specialty NER tasks. The experimental results demonstrate that La-DTL provides consistent accuracy improvement over strong baselines. Besides, the promising experimental results on non-medical NER scenarios indicate that La-DTL is potential to be seamlessly adapted to a wide range of NER tasks.


title: About long-range interaction of spheroidal solitons in scalar field nonlinear model

abstract: The nonlinear scalar field model of space-time film (Born -- Infeld type nonlinear scalar field model) is considered. Its spherically symmetrical solution is obtained. This solution gives the class of moving solitary solutions or solitons with the Lorentz transformation. We consider the distant interaction between such spheroidal solitons or spherons. This interaction is caused by the nonlinearity of the model. Starting from the static configuration with two spherons we show that the interaction under investigation is similar to electromagnetic one.


title: Automated Big Traffic Analytics for Cyber Security

abstract: Network traffic analytics technology is a cornerstone for cyber security systems. We demonstrate its use through three popular and contemporary cyber security applications in intrusion detection, malware analysis and botnet detection. However, automated traffic analytics faces the challenges raised by big traffic data. In terms of big data's three characteristics --- volume, variety and velocity, we review three state of the art techniques to mitigate the key challenges including real-time traffic classification, unknown traffic classification, and efficiency of classifiers. The new techniques using statistical features, unknown discovery and correlation analytics show promising potentials to deal with big traffic data. Readers are encouraged to devote to improving the performance and practicability of automatic traffic analytic in cyber security.


title: Quelques remarques sur les vari{\'e}t{\'e}s, fonctions de Green et formule de Stokes

abstract: We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces of Sobolev spaces, the distance function, the notion of degree and a duality theorem, the variational formulation and conformal map in dimension 2, the metric on the boundary of a Lipschitz domain and polar geodesic coordinates and the Gauss-Bonnet formula and the positive mass theorem in dimension 3 and in the locally conformally flat case. And the Ricci flow. And fields and their relation to the equations.And obstructions in astronomy. And on strings, superstrings and D-branes. And topological solutions in the negative case, critical, supercritical and superstrings.


title: Renormalizing Spacetime

abstract: We propose that the consistent field renormalization of gravity requires a specific Weyl transformation of the metric tensor. As a consequence, proper length and time, as well as energy and momentum, become functions of scale. We estimate the functional form of the field renormalization factor by imposing a minimum resolvable distance scale under an infinitesimal Weyl transformation. The derived transformation is applied to two key problems in quantum gravity, its non-conformal scaling, and non-renormalizability.


title: Additive higher rho invariant for structure group in differential point of view

abstract: In this paper, we adapt part of Weinberger, Xie and Yu's breakthrough work, to define additive higher rho invariant for topological structure group by differential geometric version of signature operators, or in other words, unbounded Hilbert-Poincar\'{e} complexes.


title: Active Brownian Motion in Two Dimensions

abstract: We study the dynamics of a single active Brownian particle (ABP) in two spatial dimensions. The ABP has an intrinsic time scale $D_R^{-1}$ set by the rotational diffusion constant $D_R$. We show that, at short-times $t \ll D_R^{-1}$, the presence of `activness' results in a strongly anisotropic and non-diffusive dynamics in the $(xy)$ plane. We compute exactly the marginal distributions of the $x$ and $y$ position coordinates along with the radial distribution, which are all shown to be non-Brownian. In addition, we show that, at early times, the ABP has anomalous first-passage properties, characterized by non-Brownian exponents.


title: Estimate and Replace: A Novel Approach to Integrating Deep Neural Networks with Existing Applications

abstract: Existing applications include a huge amount of knowledge that is out of reach for deep neural networks. This paper presents a novel approach for integrating calls to existing applications into deep learning architectures. Using this approach, we estimate each application's functionality with an estimator, which is implemented as a deep neural network (DNN). The estimator is then embedded into a base network that we direct into complying with the application's interface during an end-to-end optimization process. At inference time, we replace each estimator with its existing application counterpart and let the base network solve the task by interacting with the existing application. Using this 'Estimate and Replace' method, we were able to train a DNN end-to-end with less data and outperformed a matching DNN that did not interact with the external application.


title: The $Q_2$-free process in the hypercube

abstract: The generation of a random triangle-saturated graph via the triangle-free process has been studied extensively. In this short note our aim is to introduce an analogous process in the hypercube. Specifically, we consider the $Q_2$-free process in $Q_d$ and the random subgraph of $Q_d$ it generates. Our main result is that with high probability the graph resulting from this process has at least $cd^{2/3} 2^d$ edges. We also discuss a heuristic argument based on the differential equations method which suggests a stronger conjecture, and discuss the issues with making this rigorous. We conclude with some open questions related to this process.


title: Ensemble properties of charge carriers injected by an ultrashort laser pulse

abstract: The average effective mass of charge carriers produced by an intense ultrashort laser pulse in a transparent solid increases significantly as the excitation mechanism changes from multiphoton transitions to interband tunneling. We theoretically investigate this phenomenon for several dielectrics and semiconductors. For diamond as a representative dielectric, we present a detailed analysis of the laser-induced change of optical properties. When the concentration of free carriers is high, we find that the average effective mass controls not only the intraband charge-carrier transport but also the interband contributions to the optical response. We observe that the excitation-induced birefringence is particularly large for parameters where the plasma response compensates for the linear response of an unperturbed solid.


title: Every planar graph without 4-cycles adjacent to two triangles is DP-4-colorable

abstract: Wang and Lih in 2002 conjectured that every planar graph without adjacent triangles is 4-choosable. In this paper, we prove that every planar graph without any 4-cycle adjacent to two triangles is DP-4-colorable, which improves the results of Lam, Xu and Liu [Journal of Combin. Theory, Ser. B, 76 (1999) 117--126], of Cheng, Chen and Wang [Discrete Math., 339(2016) 3052--3057] and of Kim and Yu [arXiv:1709.09809v1].


title: Dynamical topological invariants and reduced rate functions for dynamical quantum phase transitions in two dimensions

abstract: We show that dynamical quantum phase transitions (DQPTs) in the quench dynamics of two-dimensional topological systems can be characterized by a dynamical topological invariant defined along an appropriately chosen closed contour in momentum space. Such a dynamical topological invariant reflects the vorticity of dynamical vortices responsible for the DQPTs, and thus serves as a dynamical topological order parameter in two dimensions. We demonstrate that when the contour crosses topologically protected fixed points in the quench dynamics, an intimate connection can be established between the dynamical topological order parameter in two dimensions and those in one dimension. We further define a reduced rate function of the Loschmidt echo on the contour, which features non-analyticities at critical times and is sufficient to characterize DQPTs in two dimensions. We illustrate our results using the Haldane honeycomb model and the quantum anomalous Hall model as concrete examples, both of which have been experimentally realized using cold atoms.


title: Quadratic homogeneous polynomial maps $H$ and Keller maps $x+H$ with $rk JH=3$

abstract: We classify all quadratic homogeneous polynomial maps $H$ and Keller maps of the form $x + H$, for which $rk J H = 3$, over a field $K$ of arbitrary characteristic. In particular, we show that such a Keller map (up to a square part if $char K=2$) is a tame automorphism.


title: A mixed multifractal formalism for finitely many non Gibbs Frostman-like measures

abstract: The multifractal formalism for measures hold whenever the existence of corresponding Gibbs-like measures supported on the singularities sets holds. In the present work we tried to relax such a hypothesis and introduce a more general framework of mixed (and thus single) multifractal analysis where the measures constructed on the singularities sets are not Gibbs but controlled by an extra-function allowing the multifractal formalism to hold. We fall on the classical case by a particular choice of such a function.


title: Stability of Extended Functional Persistence in Dimensions Zero and One

abstract: The stability result, as stated, is incorrect. In particular, the 1-dimensional extended persistence diagrams of a finely-triangulated simplicial complex X equipped with a continuous real-valued function f, and its one-skeleton graph G (also equipped with f), need not be close. To take an example, let X be a finely-triangulated disc of radius r and let f be the distance-to -the-boundary function, which increases radially from the boundary circle of X and is maximized at the center. The extended persistence diagram of (X,f) contains a point in 1-dimensional persistence of the form (0,r), whereas the 1-dimensional extended persistence diagram of its one-skeleton only has points near the diagonal.


title: $\alpha$-associated Metric On Rigged Null hypersurfaces

abstract: Let $x:M\to\Bm$ be the canonical injection of a Null Hypersurface $(M,g)$ in a semi-Riemannian manifold $(\overline{M},\bar g)$. A rigging for $M$ is a vector field $L$ defined on some open set of $\overline{M}$ containing $M$ such that $L_p\notin T_pM$ for each $p\in M$. Such a vector field induces a null rigging $N$. Let $\bar \eta$ be the 1-form which is $\bar g$-metrically equivalent to $N$ and $\eta=x^\star\bar\eta$ its pull back on $M$. We introduce and study for a given non vanishing function $\alpha$ on $M$ the so-called $\alpha$-associated (semi-)Riemannian metric $ g_{\alpha}=g+\alpha\eta\otimes \eta$. For a closed rigging $N$ we give a constructive method to find an $\alpha$-associated metric whose Levi-Civita connection coincides with the connection $\nabla$ induced on $M$ by the Levi-Civita connection $\overline{\nabla}$ of $\overline{M}$ and the null rigging $N$. We relate geometric objects of ${g}_{\alpha}$ to those of $g$ and $\overline{g}$. As application, we show that given a null Monge hypersurface $M$ in $\R_q^{n+1},$ there always exists a rigging and an $\alpha$-associated metric whose Levi-Civita connection coincides with the induced connection on $M$.


title: Resonance dipole-dipole interaction between two accelerated atoms in the presence of a reflecting plane boundary

abstract: We study the resonant dipole-dipole interaction energy between two uniformly accelerated identical atoms, one excited and the other in the ground state, prepared in a correlated {\em Bell-type} state, and interacting with the scalar field or the electromagnetic field nearby a perfectly reflecting plate. We suppose the two atoms moving with the same uniform acceleration, parallel to the plane boundary, and that their separation is constant during the motion. We separate the contributions of vacuum fluctuations and radiation reaction field to the resonance energy shift of the two-atom system, and show that Unruh thermal fluctuations do not affect the resonance interaction, which is exclusively related to the radiation reaction field. However, nonthermal effects of acceleration in the radiation-reaction contribution, beyond the Unruh acceleration-temperature equivalence, affect the resonance interaction energy. By considering specific geometric configurations of the two-atom system relative to the plate, we show that the presence of the mirror significantly modifies the resonance interaction energy between the two accelerated atoms. In particular, we find that new and different features appear with respect to the case of atoms in the free space, related to the presence of the boundary and to the peculiar structure of the quantum electromagnetic field vacuum in the locally inertial frame. Our results suggest the possibility to exploit the resonance interaction between accelerated atoms, as a probe for detecting the elusive effects of atomic acceleration on radiative processes.


title: The Obstacle Problem for Quasilinear Stochastic Integral-Partial Differential Equations

abstract: We prove an existence and uniqueness result for the obstacle problem for quasilinear stochastic integral-partial differential equations. Our method is based on the probabilistic interpretation of the solution using backward doubly SDEs with jumps.


title: Robust Decentralized Navigation of Multi-Agent Systems with Collision Avoidance and Connectivity Maintenance Using Model Predictive Controllers

abstract: This paper addresses the problem of navigation control of a general class of 2nd order uncertain nonlinear multi-agent systems in a bounded workspace, which is a subset of $R^3$ , with static obstacles. In particular, we propose a decentralized control protocol such that each agent reaches a predefined position at the workspace, while using local information based on a limited sensing radius. The proposed scheme guarantees that the initially connected agents remain always connected. In addition, by introducing certain distance constraints, we guarantee inter-agent collision avoidance as well as collision avoidance with the obstacles and the boundary of the workspace. The proposed controllers employ a class of Decentralized Nonlinear Model Predictive Controllers (DNMPC) under the presence of disturbances and uncertainties. Finally, simulation results verify the validity of the proposed framework.


title: Optimal User Scheduling in Energy Harvesting Wireless Networks

abstract: We consider a wireless network where multiple energy harvesting transmitters communicate with the common receiver in a time sharing manner. In each slot, a transmitter can either harvest energy or send its data to the receiver. Given a time deadline, the goal is to maximize the sum-rate of transmitters under random energy arrivals with both perfect and imperfect channel state information (CSI) at the receiver. The original sumrate maximization (SRM) problem is a non-convex mixed integer non-linear program (MINLP). To obtain the optimal scheduling policy, we first reduce the original optimization problem to a convex MINLP and solve it using the generalized Benders decomposition algorithm. We observe that the SRM problem results in an unfair rate allocation among transmitters, i.e., the transmitter closer to the receiver achieves a higher rate than that by the transmitter farther from the receiver. Hence, to induce fairness among transmitters, we consider the minimumrate maximization (MRM) problem. For the bounded channel estimation error, we obtain a robust scheduling policy by solving the worst-case SRM and MRM problems. Finally, we compare the proposed policies with myopic policies studied in the literature and show that the former outperform the latter in terms of achievable rates.


title: From dot to ring: the role of friction on the deposition pattern of a drying colloidal suspension droplet

abstract: The deposition of particles on a substrate by drying a colloidal suspension droplet is at the core of applications ranging from traditional printing on paper to printable electronics or photovoltaic devices. The self-pinning induced by the accumulation of particles at the contact line plays an important role in the formation of the deposition. In this paper, we investigate both numerically and theoretically, the effect of friction between the particles and the substrate on the deposition pattern. Without friction, the contact line shows a stick-slip behaviour and a dot-like deposit is left after the droplet is evaporated. By increasing the friction force, we observe a transition from a dot-like to a ring-like deposit. We propose a theoretical model to predict the effective radius of the particle deposition as a function of the friction force. Our theoretical model predicts a critical friction force when the self-pinning happens and the effective radius of deposit increases with increasing friction force, confirmed by our simulation results. Our results can find implications for developing active control strategies for the deposition of drying droplets.


title: Symplectic integration of boundary value problems

abstract: Symplectic integrators can be excellent for Hamiltonian initial value problems. Reasons for this include their preservation of invariant sets like tori, good energy behaviour, nonexistence of attractors, and good behaviour of statistical properties. These all refer to {\em long-time} behaviour. They are directly connected to the dynamical behaviour of symplectic maps $\varphi\colon M\to M$ on the phase space under iteration. Boundary value problems, in contrast, are posed for fixed (and often quite short) times. Symplecticity manifests as a symplectic map $\varphi\colon M\to M'$ which is not iterated. Is there any point, therefore, for a symplectic integrator to be used on a Hamiltonian boundary value problem? In this paper we announce results that symplectic integrators preserve bifurcations of Hamiltonian boundary value problems and that nonsymplectic integrators do not.


title: Compact finite difference method for pricing European and American options under jump-diffusion models

abstract: In this article, a compact finite difference method is proposed for pricing European and American options under jump-diffusion models. Partial integro-differential equation and linear complementary problem governing European and American options respectively are discretized using Crank-Nicolson Leap-Frog scheme. In proposed compact finite difference method, the second derivative is approximated by the value of unknowns and their first derivative approximations which allow us to obtain a tri-diagonal system of linear equations for the fully discrete problem. Further, consistency and stability for the fully discrete problem are also proved. Since jump-diffusion models do not have smooth initial conditions, the smoothing operators are employed to ensure fourth-order convergence rate. Numerical illustrations for pricing European and American options under Merton jump-diffusion model are presented to validate the theoretical results.


title: Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future Research

abstract: The software is often produced under significant time constraints. Our idea is to understand the effects of various software development practices on the performance of developers working in stressful environments, and identify the best operating conditions for software developed under stressful conditions collecting data through questionnaires, non-invasive software measurement tools that can collect measurable data about software engineers and the software they develop, without intervening their activities, and biophysical sensors and then try to recreated also in different processes or key development practices such conditions.


title: Analysis of Hannan Consistent Selection for Monte Carlo Tree Search in Simultaneous Move Games

abstract: Hannan consistency, or no external regret, is a~key concept for learning in games. An action selection algorithm is Hannan consistent (HC) if its performance is eventually as good as selecting the~best fixed action in hindsight. If both players in a~zero-sum normal form game use a~Hannan consistent algorithm, their average behavior converges to a~Nash equilibrium (NE) of the~game. A similar result is known about extensive form games, but the~played strategies need to be Hannan consistent with respect to the~counterfactual values, which are often difficult to obtain. We study zero-sum extensive form games with simultaneous moves, but otherwise perfect information. These games generalize normal form games and they are a special case of extensive form games. We study whether applying HC algorithms in each decision point of these games directly to the~observed payoffs leads to convergence to a~Nash equilibrium. This learning process corresponds to a~class of Monte Carlo Tree Search algorithms, which are popular for playing simultaneous-move games but do not have any known performance guarantees. We show that using HC algorithms directly on the~observed payoffs is not sufficient to guarantee the~convergence. With an~additional averaging over joint actions, the~convergence is guaranteed, but empirically slower. We further define an~additional property of HC algorithms, which is sufficient to guarantee the~convergence without the~averaging and we empirically show that commonly used HC algorithms have this property.


title: Developing a machine learning framework for estimating soil moisture with VNIR hyperspectral data

abstract: In this paper, we investigate the potential of estimating the soil-moisture content based on VNIR hyperspectral data combined with LWIR data. Measurements from a multi-sensor field campaign represent the benchmark dataset which contains measured hyperspectral, LWIR, and soil-moisture data conducted on grassland site. We introduce a regression framework with three steps consisting of feature selection, preprocessing, and well-chosen regression models. The latter are mainly supervised machine learning models. An exception are the self-organizing maps which combine unsupervised and supervised learning. We analyze the impact of the distinct preprocessing methods on the regression results. Of all regression models, the extremely randomized trees model without preprocessing provides the best estimation performance. Our results reveal the potential of the respective regression framework combined with the VNIR hyperspectral data to estimate soil moisture measured under real-world conditions. In conclusion, the results of this paper provide a basis for further improvements in different research directions.


title: Lowest-energy Moir\'e Band Formed by Dirac Zero Modes in Twisted Bilayer Graphene

abstract: An unconventional insulating phase and a superconducting phase were recently discovered in the twisted bilayer graphene [Y. Cao et al, Nature {\bf 556}, 80; {\bf 556}, 43 (2018)], but the relevant low-energy electronic states have not been clearly identified yet. In this work, I show that the interlayer hopping induces a spatially modulated Dirac mass term in the continuum Hamiltonian, and leads to a low-energy band formed by Dirac zero modes in the moir\'e superlattice. This moir\'e band becomes extremely flat and thus strongly correlated as the Dirac velocity vanishes at the magic angle, and enters a quantum disordered Mott insulating phase at $1/4$ and $3/4$ filling, i.e., $\pm 2$ excess electrons per moir\'e supercell, which may account for the insulating phase discovered in experiments.


title: Modelling Reservoir Computing with the Discrete Nonlinear Schr\"odinger Equation

abstract: We formulate, using the discrete nonlinear Schroedinger equation (DNLS), a general approach to encode and process information based on reservoir computing. Reservoir computing is a promising avenue for realizing neuromorphic computing devices. In such computing systems, training is performed only at the output level, by adjusting the output from the reservoir with respect to a target signal. In our formulation, the reservoir can be an arbitrary physical system, driven out of thermal equilibrium by an external driving. The DNLS is a general oscillator model with broad application in physics and we argue that our approach is completely general and does not depend on the physical realisation of the reservoir. The driving, which encodes the object to be recognised, acts as a thermodynamical force, one for each node in the reservoir. Currents associated to these thermodynamical forces in turn encode the output signal from the reservoir. As an example, we consider numerically the problem of supervised learning for pattern recognition, using as reservoir a network of nonlinear oscillators.


title: Identifying dominant recombination mechanisms in perovskite solar cells by measuring the transient ideality factor

abstract: The ideality factor determined by measuring the open circuit voltage (VOC) as function of light intensity is often used as a means to identify the dominant recombination mechanism in solar cells. However, applying this Suns-VOC technique to perovskite cells is problematic since the VOC evolves with time in a way which depends on the previously applied bias (Vpre), the light intensity, and the device architecture/processing. Here we show that the dominant recombination mechanism in two structurally similar CH3NH3PbI3 devices containing either mesoporous Al2O3 or TiO2 layers can be identified from the signature of the transient ideality factor following application of a forward bias, Vpre, to the device in the dark. The transient ideality factor, is measured by monitoring the temporal evolution of VOC at different light intensities. The initial values of the transient ideality were consistent with corresponding photoluminescence vs intensity as well as electroluminescence vs current density measurements. Time-dependent simulations of the measurement on modelled devices, which include the effects of mobile ionic charge, show that Shockley Read Hall (SRH) recombination through deep traps at the charge collection interfaces is dominant in both devices. Using transient photovoltage measurements superimposed on the evolving VOC of bifacial devices we further show that the charge collection interface extends throughout the mesoporous TiO2 layer, consistent with a transient ideality signature corresponding to SRH recombination in the bulk of the film. This information could not be inferred from an ideality factor determined from only steady-state VOC values. The method we have developed will be useful for identifying performance bottlenecks in new variants of perovskite devices by comparison with the transient ideality signatures we have predicted for a range of possible recombination schemes.


title: The Obstacle Problem for Quasilinear Stochastic PDEs with Degenerate Operator

abstract: We prove the existence and uniqueness of solution of quasilinear stochastic partial differential equations with obstacle (OSPDEs in short) in degenerate case. Using De Giorgi's iteration, we deduce the $L^p-$estimates for the time-space uniform norm of weak solutions.


title: The Obstacle Problem for Quasilinear Stochastic PDEs with Neumann boundary condition

abstract: We prove the existence and uniqueness of solution of the obstacle problem for quasilinear stochastic partial differential equations (OSPDEs for short) with Neumann boundary condition. Our method is based on the analytical technics coming from parabolic potential theory. The solution is expressed as a pair $(u,\nu)$ where $u$ is a predictable continuous process which takes values in a proper Sobolev space and $\nu$ is a random regular measure satisfying minimal Skohorod condition.


title: The STEREO Experiment

abstract: The STEREO experiment is a very short baseline reactor antineutrino experiment aiming at testing the hypothesis of light sterile neutrinos as an explanation of the deficit of the observed neutrino interaction rate with respect to the predicted rate, known as the Reactor Antineutrino Anomaly. The detector center is located 10 m away from the compact, highly $^{235}$U enriched core of the research nuclear reactor of the Institut Laue Langevin in Grenoble, France. This paper describes the STEREO site, the detector components and associated shielding designed to suppress the external sources of background which were characterized on site. It reports the performances in terms of detector response and energy reconstruction.


title: Real representation theory of finite categorical groups

abstract: We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real representation of a group $\mathsf{G}$, or more generally a finite categorical group, on a linear category, we associate a number, the modified secondary trace, to each graded commuting pair $(g, \omega) \in \mathsf{G} \times \hat{\mathsf{G}}$, where $\hat{\mathsf{G}}$ is the background Real structure on $\mathsf{G}$. This collection of numbers defines the Real $2$-character of the Real representation. We also define various forms of induction for Real representations of finite categorical groups and compute the result at the level of Real $2$-characters. We interpret results in Real categorical character theory in terms of geometric structures, namely gerbes, vector bundles and functions on iterated unoriented loop groupoids. This perspective naturally leads to connections with the representation theory of unoriented versions of the twisted Drinfeld double of $\mathsf{G}$ and with discrete torsion in $M$-theory with orientifold. We speculate on an interpretation of our results as a generalized Hopkins--Kuhn--Ravenel-type character theory in Real equivariant homotopy theory.


title: Environmental effects on the ionization of brown dwarf atmospheres

abstract: Brown dwarfs emit bursts of Halpha, white light flares, and show radio flares and quiescent radio emission. They are suggested to form Aurorae, similar to planets in the solar system but much more energetic. All these processes require a source gas with an appropriate degree of ionisation which, so far, is mostly postulated to be sufficient. We aim to demonstrate that the galactic environment influences atmospheric ionisation, and that it hence amplifies or enables the magnetic coupling of the atmospheres of ultra-cool objects, like brown dwarfs and free-floating planets. We consider the effect of photoionisation by Lyman continuum radiation in three different environments: the InterStellar Radiation Field (ISRF), O and B stars in star forming regions, and also for white dwarf companions in binary systems. We apply our Monte Carlo radiation transfer code to investigate the effect of Lyman continuum photoionisation for prescribed atmosphere structures for very low-mass objects. The external radiation environment plays an important role for the atmospheric ionisation of very low-mass, ultra-cool objects. Lyman continuum irradiation greatly increases the level of ionisation in the uppermost atmospheric regions. Our results suggest that a shell of an almost fully ionised atmospheric gas emerges for brown dwarfs in star forming regions and brown dwarfs in white dwarf binary systems. As a consequence, brown dwarf atmospheres can be magnetically coupled which is the presumption for chromospheric heating to occur and for Aurorae to emerge. First tests for assumed chromosphere-like temperature values suggest that the resulting free-free X-ray luminosities are comparable with those observed from non-accreting brown dwarfs in star forming regions.


title: Pseudocontact shifts and paramagnetic susceptibility in semiempirical and quantum chemistry theories

abstract: Pseudocontact shifts are traditionally described as a function of the anisotropy of the paramagnetic susceptibility tensor, according to the semiempirical theory mainly developed by Kurland and McGarvey (R.J. Kurland and B.R. McGarvey, J. Magn. Reson. 2, 286 (1970)). The paramagnetic susceptibility tensor is required to be symmetric. Applying point-dipole approximation to the quantum chemistry theory of hyperfine shift, pseudocontact shifts are found to scale with a non-symmetric tensor that differs by a factor g/ge from the paramagnetic susceptibility tensor derived within the semiempirical framework. We analyze the foundations of the Kurland-McGarvey pseudocontact shift expression and recall that it is inherently based on the Russell-Saunders (LS) coupling approximation for the spin-orbit coupling. We show that the difference between the semiempirical and quantum chemistry pseudocontact shift expressions arises directly from the different treatment of the orbital contribution to the hyperfine coupling.


title: Emerging Market Corporate Bonds as First-to-Default Baskets

abstract: Emerging market hard-currency bonds are an asset class of growing importance, and contain exposure to an EM sovereign and the underlying industry. The authors investigate how to model this as a modification of the well-known first-to-default (FtD) basket, using the structural model, and find the approach feasible.


title: Unsupervised Neural Machine Translation with Weight Sharing

abstract: Unsupervised neural machine translation (NMT) is a recently proposed approach for machine translation which aims to train the model without using any labeled data. The models proposed for unsupervised NMT often use only one shared encoder to map the pairs of sentences from different languages to a shared-latent space, which is weak in keeping the unique and internal characteristics of each language, such as the style, terminology, and sentence structure. To address this issue, we introduce an extension by utilizing two independent encoders but sharing some partial weights which are responsible for extracting high-level representations of the input sentences. Besides, two different generative adversarial networks (GANs), namely the local GAN and global GAN, are proposed to enhance the cross-language translation. With this new approach, we achieve significant improvements on English-German, English-French and Chinese-to-English translation tasks.


title: New and Known Moving Groups And Clusters Identified in a Gaia Co-Moving Catalog

abstract: We present a re-organization of the Oh et al. (2017b) (Oh17) wide, co-moving catalog of 4,555 groups of stars (10,606 individual objects) identified in the Tycho Gaia Astrometric Survey (TGAS) into new and known co evolving groups of stars in the Milky Way. We use the BANYAN {\Sigma} kinematic analysis tool to identify 1,015 individual stars in the Oh17 catalog that yielded a >80% probability in one of 27 known associations (e.g. the AB Doradus moving group, Columba, Upper Scorpius) in the vicinity of the Sun. Among the 27 groups uncovered by Oh17 that had > 10 connected components, we find that 6 are newly discovered. We use a combination of Tycho, Gaia, 2MASS, WISE, Galex, and ROSAT photometry as well as Gaia parallaxes to determine that these new groups are likely older than the Pleiades but younger than ~1 Gyr. Using isochrone fitting we find that the majority of these new groups have solar type stars and solar type metallicity. Among the 35 Oh17 groups with 5 - 9 members, we find that 19 also appear new and co-moving, with one group well within 100pc (range of 77 - 90 pc). For known star forming regions, open clusters, and moving groups identified by Oh17, we find that the majority were broken up into pieces over several Oh17 groups (e.g. Lower Centaurus Crux members are spread over 26 Oh17 groups) however we found no correlation with positions of the groups on color magnitude diagrams therefore no substructure of the association correlated with the Oh17 designated group. We find that across the 27 groups tested by BANYAN {\Sigma} there were 400 new members to 20 different associations uncovered by Oh17 that require further vetting.


title: The sdA problem - II. Photometric and Spectroscopic Follow-up

abstract: Subdwarf A star (sdA) is a spectral classification given to objects showing H-rich spectra and sub-main sequence surface gravities, but effective temperature lower than the zero-age horizontal branch. Their evolutionary origin is an enigma. In this work, we discuss the results of follow-up observations of selected sdAs. We obtained time resolved spectroscopy for 24 objects, and time-series photometry for another 19 objects. For two targets, we report both spectroscopy and photometry observations. We confirm seven objects to be new extremely-low mass white dwarfs (ELMs), one of which is a known eclipsing star. We also find the eighth member of the pulsating ELM class.


title: An Information-Theoretic View for Deep Learning

abstract: Deep learning has transformed computer vision, natural language processing, and speech recognition\cite{badrinarayanan2017segnet, dong2016image, ren2017faster, ji20133d}. However, two critical questions remain obscure: (1) why do deep neural networks generalize better than shallow networks; and (2) does it always hold that a deeper network leads to better performance? Specifically, letting $L$ be the number of convolutional and pooling layers in a deep neural network, and $n$ be the size of the training sample, we derive an upper bound on the expected generalization error for this network, i.e., \begin{eqnarray*} \mathbb{E}[R(W)-R_S(W)] \leq \exp{\left(-\frac{L}{2}\log{\frac{1}{\eta}}\right)}\sqrt{\frac{2\sigma^2}{n}I(S,W) } \end{eqnarray*} where $\sigma >0$ is a constant depending on the loss function, $0<\eta<1$ is a constant depending on the information loss for each convolutional or pooling layer, and $I(S, W)$ is the mutual information between the training sample $S$ and the output hypothesis $W$. This upper bound shows that as the number of convolutional and pooling layers $L$ increases in the network, the expected generalization error will decrease exponentially to zero. Layers with strict information loss, such as the convolutional layers, reduce the generalization error for the whole network; this answers the first question. However, algorithms with zero expected generalization error does not imply a small test error or $\mathbb{E}[R(W)]$. This is because $\mathbb{E}[R_S(W)]$ is large when the information for fitting the data is lost as the number of layers increases. This suggests that the claim `the deeper the better' is conditioned on a small training error or $\mathbb{E}[R_S(W)]$. Finally, we show that deep learning satisfies a weak notion of stability and the sample complexity of deep neural networks will decrease as $L$ increases.


title: Spin-Dependent Quantum Emission in Hexagonal Boron Nitride at Room Temperature

abstract: Optically addressable spins associated with defects in wide-bandgap semiconductors are versatile platforms for quantum information processing and nanoscale sensing, where spin-dependent inter-system crossing (ISC) transitions facilitate optical spin initialization and readout. Recently, the van der Waals material hexagonal boron nitride (h-BN) has emerged as a robust host for quantum emitters (QEs), but spin-related effects have yet to be observed. Here, we report room-temperature observations of strongly anisotropic photoluminescence (PL) patterns as a function of applied magnetic field for select QEs in h-BN. Field-dependent variations in the steady-state PL and photon emission statistics are consistent with an electronic model featuring a spin-dependent ISC between triplet and singlet manifolds, indicating that optically-addressable spin defects are present in h-BN $-$ a versatile two-dimensional material promising efficient photon extraction, atom-scale engineering, and the realization of spin-based quantum technologies using van der Waals heterostructures.


title: A reaction network scheme which implements the EM algorithm

abstract: A detailed algorithmic explanation is required for how a network of chemical reactions can generate the sophisticated behavior displayed by living cells. Though several previous works have shown that reaction networks are computationally universal and can in principle implement any algorithm, there is scope for constructions that map well onto biological reality, make efficient use of the computational potential of the native dynamics of reaction networks, and make contact with statistical mechanics. We describe a new reaction network scheme for solving a large class of statistical problems including the problem of how a cell would infer its environment from receptor-ligand bindings. Specifically we show how reaction networks can implement information projection, and consequently a generalized Expectation-Maximization algorithm, to solve maximum likelihood estimation problems in partially-observed exponential families on categorical data. Our scheme can be thought of as an algorithmic interpretation of E. T. Jaynes's vision of statistical mechanics as statistical inference.

categories: cs.ET cs.IT cs.SY math.IT q-bio.MN stat.AP


title: On the existence of superspecial nonhyperelliptic curves of genus $4$

abstract: A curve over a perfect field $K$ of characteristic $p > 0$ is said to be superspecial if its Jacobian is isomorphic to a product of supersingular elliptic curves over the algebraic closure $\overline{K}$. In recent years, isomorphism classes of superspecial nonhyperelliptic curves of genus $4$ over finite fields in small characteristic have been enumerated. In particular, the non-existence of superspecial curves of genus $4$ in characteristic $p = 7$ was proved. In this note, we give an elementary proof of the existence of superspecial nonhyperelliptic curves of genus $4$ for infinitely many primes $p$. Specifically, we prove that the variety $C_p : x^3+y^3+w^3= 2 y w + z^2 = 0$ in the projective $3$-space with $p > 2$ is a superspecial curve of genus $4$ if and only if $p \equiv 2 \pmod{3}$. Our computational results show that $C_p$ with $p \equiv 2 \pmod 3$ are maximal curves over $\mathbb{F}_{p^2}$ for all $3 \leq p \leq 269$.


title: An introductory study to white dwarfs

abstract: White dwarfs are compact objects that stand against gravitational collapse by their internal pressure of degenerate matter. In this work we aimed to perform an introductory study on these stars, using two equations of state (EOS): (I) an ideal Fermi gas and (II) the one by Baym Pethick and Sutherland (BPS). In addition, we analyzed these two equations of state in two scenarios, the Newtonian and the one from General Relativity, which allowed us to analyze the effects of curved space-time. We also studied a rotating white dwarf, finding a metric for this case. With these two cases, with rotation (J = cte) and static (J = 0) well determined, we introduced the concepts of instability by the turning point criterion and dynamic instability criterion. Finally, with the RNS program, we performed the numerical resolution with BPS equation of state in the rotating case in order to analyze the behavior of the turning point criterion in these two cases.


title: On $p$-robust saturation on quadrangulations

abstract: For the Poisson problem in two dimensions, posed on a domain partitioned into axis-aligned rectangles with up to one hanging node per edge, we envision an efficient error reduction step in an instance-optimal $hp$-adaptive finite element method. Central to this is the problem: Which increase in local polynomial degree ensures $p$-robust contraction of the error in energy norm? We reduce this problem to a small number of saturation problems on the reference square, and provide strong numerical evidence for their solution.


title: ECO: Efficient Convolutional Network for Online Video Understanding

abstract: The state of the art in video understanding suffers from two problems: (1) The major part of reasoning is performed locally in the video, therefore, it misses important relationships within actions that span several seconds. (2) While there are local methods with fast per-frame processing, the processing of the whole video is not efficient and hampers fast video retrieval or online classification of long-term activities. In this paper, we introduce a network architecture that takes long-term content into account and enables fast per-video processing at the same time. The architecture is based on merging long-term content already in the network rather than in a post-hoc fusion. Together with a sampling strategy, which exploits that neighboring frames are largely redundant, this yields high-quality action classification and video captioning at up to 230 videos per second, where each video can consist of a few hundred frames. The approach achieves competitive performance across all datasets while being 10x to 80x faster than state-of-the-art methods.


title: Categoricity in multiuniversal classes

abstract: The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a result of the second author.


title: Preprojective Analogue of the Cone Construction

abstract: We formulate a relative, representation theoretic, notion of the algebraic cone construction. This motivates a generalization of the cone corresponding to a preprojective algebra.


title: Dimension results for mappings of jet space Carnot groups

abstract: We propose analogues of horizontal and vertical projections for model filiform jet space Carnot groups. Every pair consisting of the jet of a smooth function on $\mathbb{R}$ and a vertical hyperplane with first coordinate fixed provides a splitting of a model filiform group, which induces mappings of the group. We prove Marstrand-type theorems for these mappings and determine the possible Hausdorff dimensions of images of sets under these mappings. Analogues of projections for general jet space Carnot groups could be defined similarly.


title: International Research Collaboration: Novelty, Conventionality, and Atypicality in Knowledge Recombination

abstract: Research articles produced through international collaboration are more highly cited than other work, but are they also more novel? Using measures developed by Uzzi et al. (2013), and replicated by Boyack and Klavans (2014), this article tests for novelty and conventionality in international research collaboration. Scholars have found that coauthored articles are more novel and have suggested that diverse groups have a greater chance of producing creative work. As such, we expected to find that international collaboration tends to produce more novel research. Using data from Web of Science and Scopus in 2005, we failed to show that international collaboration tends to produce more novel articles. In fact, international collaboration appears to produce less novel and more conventional knowledge combinations. Transaction costs and communication barriers to international collaboration may suppress novelty. Higher citations to international work may be explained by an audience effect, where more authors from more countries results in greater access to a larger citing community. The findings are consistent with explanations of growth in international collaboration that posit a social dynamic of preferential attachment based upon reputation.


title: HERschel Observations of Edge-on Spirals (HEROES). IV. Dust energy balance problem

abstract: We present results of the detailed dust energy balance study for the seven large edge-on galaxies in the HEROES sample using 3D radiative transfer (RT) modelling. Based on available optical and near-infrared observations of the HEROES galaxies, we derive the 3D distribution of stars and dust in these galaxies. For the sake of uniformity, we apply the same technique to retrieve galaxy properties for the entire sample: we use a stellar model consisting of a S\'ersic bulge and three double-exponential discs (a superthin disc for a young stellar population and thin and thick discs for old populations). For the dust component, we adopt a double-exponential disc with the new THEMIS dust-grain model. We fit oligochromatic radiative transfer (RT) models to the optical and near-infrared images with the fitting algorithm FitSKIRT and do panchromatic simulations with the SKIRT code at wavelengths ranging from ultraviolet to submillimeter. We confirm the previously stated dust energy balance problem in galaxies: for the HEROES galaxies, the dust emission derived from our RT calculations underestimates the real observations by a factor 1.5-4 for all galaxies except NGC 973 and NGC 5907 (apparently, the latter galaxy has a more complex geometry than we used). The comparison between our RT simulations and the observations at mid-infrared-submillimeter wavelengths shows that most of our galaxies exhibit complex dust morphologies (possible spiral arms, star-forming regions, more extended dust structure in the radial and vertical directions). We suggest that, in agreement with the results from Saftly et al. (2015), the large- and small-scale structure is the most probable explanation for the dust energy balance problem.


title: Structural evolution of amorphous polymeric nitrogen from \textit{ab initio} molecular dynamics simulations and evolutionary search

abstract: Polymeric nitrogen with single bonds can be created from the molecular form at high pressure and due to large energy difference between triple and single bonds it is interesting as energetic material. Its structure and properties are, however, still not well understood. We studied amorphous nitrogen by \textit{ab initio} simulations, employing molecular dynamics and evolutionary algorithms. Amorphous nitrogen was prepared at pressure of 120 GPa by quenching from hot liquid, by pressure-induced amorphization of molecular crystal and by evolutionary search. All three amorphous forms were found to be structurally similar. We studied in detail the structural evolution of the system upon decompression from 120 GPa to zero pressure at 100 K. At pressures above 100 GPa, system consists mainly of 3-coordinated atoms (80 \%) connected by single bonds while some short chains made of 2-coordinated atoms are also present. Upon decompression, the number of 3-coordinated atoms rapidly decreases below 60 GPa and longer chains are created. At 20 GPa the system starts to create also N$_2$ molecules and the ultimate structure at $p=0$ contains molecules inside a polymeric network consisting dominantly of longer chains made of 2-coordinated atoms. Besides structure, we also study vibrational and electronic properties of the system and estimate the amount of energy that could be stored in amorphous nitrogen at ambient pressure.


title: Propagation of content similarity through a collaborative network for live show recommendation

abstract: We present a network-based recommender system for live shows (concerts, theater, circus, etc) that finds a set of people probably interested in a given, new show. We combine collaborative and content-based filtering to take benefit of past activity of users and of the features of the new show. Indeed, as this show is new we cannot rely on collaborative filtering only. To solve this cold-start problem, we perform network alignment and insert the new show in a way consistent with collaborative filtering. We refine the obtained similarities using spreading in the network. We illustrate the performances of our system on a large scale real-world dataset.


title: A General Bidirectional Controlled/Uncontrolled Quantum Teleportation Protocol

abstract: In this paper, different from the other existing methods that only the special and limited numbers of qubits transmit between Alice and Bob, a general method is proposed to implement Bidirectional Quantum Controlled/uncontrolled Teleportation (BQCT/BQT) that Alice and Bob can transmit each type of arbitrary n and m-qubits to each other, simultaneously. This protocol is based on Controlled-NOT (CNOT) operation, appropriate single-qubit unitary operations and single-qubit measurement in the Z-basis and X-basis. Also, the quantum channel can be created by using Hadamard and CNOT operations. One of the advantages of this method is using the single-qubit measurements which are more efficient than two-qubit measurements.


title: Magnetic topology of the north solar pole

abstract: We study the polar magnetism near an activity maximum when these regions change their polarity, from which it is expected that its magnetism should be less affected by the global field. To fully characterise the magnetic field vector, we use deep full Stokes polarimetric observations of the 15648.5 {\AA} and 15652.8 {\AA} FeI lines. We observe the north pole as well as a quiet region at disc centre to compare their field distributions. In order to calibrate the projection effects, we observe an additional quiet region at the east limb. We find that the two limb datasets share similar magnetic field vector distributions. This means that close to a maximum, the poles look like typical limb, quiet-Sun regions. However, the magnetic field distributions at the limbs are different from the distribution inferred at disc centre. At the limbs, we infer a new population of magnetic fields with relatively strong intensities ($\sim$600-$\sim$800 G), inclined by 30 deg with respect to the line of sight, and with an azimuth aligned with the solar disc radial direction. We propose that this new population at the limbs is due to the observation of unresolved magnetic loops as seen close to the limb. These loops have typical granular sizes as measured in the disc centre. At the limbs, where the spatial resolution decreases, we observe them spatially unresolved, which explains the new population of magnetic fields that is inferred. This is the first (indirect) evidence of small-scale magnetic loops outside the disc centre and would imply that these small-scale structures are ubiquitous on the entire solar surface. This result has profound implications for the energetics not only of the photosphere, but also of the outer layers since these loops have been reported to reach the chromosphere and the low corona.


title: Smooth compactness for spaces of asymptotically conical self-expanders of mean curvature flow

abstract: We show compactness in the locally smooth topology for certain natural families of asymptotically conical self-expanding solutions of mean curvature flow. Specifically, we show such compactness for the set of all two-dimensional self-expanders of a fixed topological type and, in all dimensions, for the set of self-expanders of low entropy and for the set of mean convex self-expanders with strictly mean convex asymptotic cones. From this we deduce that the natural projection map from the space of parameterizations of asymptotically conical self-expanders to the space of parameterizations of the asymptotic cones is proper for these classes.


title: When is Containment Decidable for Probabilistic Automata?

abstract: The emptiness and containment problems for probabilistic automata are natural quantitative generalisations of the classical language emptiness and inclusion problems for Boolean automata. It is well known that both problems are undecidable. In this paper we provide a more refined view of these problems in terms of the degree of ambiguity of probabilistic automata. We show that a gap version of the emptiness problem (that is known be undecidable in general) becomes decidable for automata of polynomial ambiguity. We complement this positive result by showing that the emptiness problem remains undecidable even when restricted to automata of linear ambiguity. We then turn to finitely ambiguous automata. Here we show decidability of containment in case one of the automata is assumed to be unambiguous while the other one is allowed to be finitely ambiguous. Our proof of this last result relies on the decidability of the theory of real exponentiation, which has been shown, subject to Schanuel's Conjecture, by Macintyre and Wilkie.


title: Holographic Entanglement Negativity for Conformal Field Theories with a Conserved Charge

abstract: We study the application of our recent holographic entanglement negativity conjecture for mixed states of adjacent subsystems in conformal field theories with a conserved charge. In this context we obtain the holographic entanglement negativity for zero and finite temperature mixed state configurations in $d$-dimensional conformal field theories dual to bulk extremal and non extremal charged $AdS_{d+1}$ black holes. Our results conform to quantum information theory expectations and constitute significant consistency checks for our conjecture.


title: Calibrated, cosmological hydrodynamical simulations with variable IMFs I: Method and effect on global galaxy scaling relations

abstract: The recently inferred variations in the stellar initial mass function (IMF) among local high-mass early-type galaxies may require a reinterpretation of observations of galaxy populations and may have important consequences for the predictions of models of galaxy formation and evolution. We present a new pair of cosmological, hydrodynamical simulations based on the EAGLE model that self-consistently adopt an IMF that respectively becomes bottom- or top-heavy in high-pressure environments for individual star-forming gas particles. In such models, the excess stellar mass-to-light ($M/L$) ratio with respect to a reference IMF is increased due to an overabundance of low-mass dwarf stars or stellar remnants, respectively. Crucially, both pressure-dependent IMFs have been calibrated to reproduce the observed trends of increasing excess $M/L$ with central stellar velocity dispersion ($\sigma_e$) in early-type galaxies, while maintaining agreement with the observables used to calibrate the EAGLE model, namely the galaxy luminosity function, half-light radii of late-type galaxies, and black hole masses. We find that while the $M/L$ excess is a good measure of the IMF for low-mass slope variations, it depends strongly on the age of the stellar population for high-mass slope variations. The normalization of the [Mg/Fe]$-\sigma_e$ relation is decreased (increased) for bottom- (top-)heavy IMF variations, while the slope is not strongly affected. Bottom-heavy variations have little impact on galaxy metallicities, half-light radii of early-type galaxies, or star formation rates, while top-heavy variations significantly increase these quantities for high-mass galaxies, leading to tension with observations.


title: Singular compactness and definability for $\Sigma$-cotorsion and Gorenstein modules

abstract: We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed along the way, we give a new description of Gorenstein flat modules which implies that, regardless of the ring, the class of all Gorenstein flat modules forms the left-hand class of a perfect cotorsion pair. We also prove the dual result for Gorenstein injective modules.