title: $\mathcal{PT}$-Symmetric Topological Edge-Gain Effect

abstract: We demonstrate a non-Hermitian topological effect that is characterized by having complex eigenvalues only in the edge states of a topological material, despite the fact that the material is completely uniform. Such an effect can be constructed in any topological structure formed by two gapped sub-systems, e.g., a quantum spin-Hall system, with a suitable non-Hermitian coupling between the spins. The resulting complex-eigenvalued edge state is robust against defects due to the topological protection. In photonics, such an effect can be used for the implementation of topological lasers, in which a uniform pumping provides gain only in the edge lasing state. Furthermore, such a topological lasing model is reciprocal and is thus compatible with standard photonic platforms.


title: The SFR-radius connection: data and implications for wind strength and halo concentration

abstract: This paper is one in a series that explores the importance of radius as a second parameter in galaxy evolution. The topic investigated here is the relationship between star formation rate (SFR) and galaxy radius ($R_{\rm e}$) for main-sequence star-forming galaxies. The key observational result is that, over a wide range of stellar mass and redshift in both CANDELS and SDSS, there is little trend between SFR and $R_{\rm e}$ at fixed stellar mass. The Kennicutt-Schmidt law, or any similar density-related star formation law, then implies that smaller galaxies must have lower gas fractions than larger galaxies (at fixed $M_{\ast}$), and this is supported by observations of local star-forming galaxies. We investigate the implication by adopting the equilibrium "bathtub" model: the ISM gas mass is assumed to be constant over time and the net star formation rate is the difference between the accretion rate of gas onto the galaxy from the halo and the outflow rate due to winds. To match the observed null correlation between SFR and radius, the bathtub model requires that smaller galaxies at fixed mass have weaker galactic winds. Our hypothesis is that galaxies are a 2-dimensional family whose properties are set mainly by halo mass and concentration. Galaxy radius and accretion rate plausibly both depend on halo concentration, which predicts how wind strength should vary with $R_{\rm e}$ and SFR.


title: Zero Field Cooled Exchange Bias Effect in Nano-Crystalline Mg-Ferrite Thin Film

abstract: I report, Zero Field Cooled (ZFC) Exchange Bias (EB) effect in a single phase nanocrystalline Mg-ferrite thin film, deposited on an amorphous quartz substrate using pulsed laser ablation technique. The film showed a high ZFC EB shift (HE~ 190 Oe) at 5 K. The ZFC EB shift decreased with increasing temperature and disappeared at higher temperatures (T > 70 K). This Mg-ferrite thin film also showed Conventional Exchange Bias (CEB) effect, but unlike many CEB systems, the film showed decrease in the coercivity (HC) under the Field Cooled (FC) measurements. The film also showed training effect in ZFC measurements which followed the frozen spin relaxation behaviour. The observed exchange bias could be attributed to the pinning effect of the surface spins of frozen glassy states at the interface of large ferrimagnetic grains.


title: ROBO: Robust, Fully Neural Object Detection for Robot Soccer

abstract: Deep Learning has become exceptionally popular in the last few years due to its success in computer vision and other fields of AI. However, deep neural networks are computationally expensive, which limits their application in low power embedded systems, such as mobile robots. In this paper, an efficient neural network architecture is proposed for the problem of detecting relevant objects in robot soccer environments. The ROBO model's increase in efficiency is achieved by exploiting the peculiarities of the environment. Compared to the state-of-the-art Tiny YOLO model, the proposed network provides approximately 35 times decrease in run time, while achieving superior average precision, although at the cost of slightly worse localization accuracy.


title: Pun-GAN: Generative Adversarial Network for Pun Generation

abstract: In this paper, we focus on the task of generating a pun sentence given a pair of word senses. A major challenge for pun generation is the lack of large-scale pun corpus to guide the supervised learning. To remedy this, we propose an adversarial generative network for pun generation (Pun-GAN), which does not require any pun corpus. It consists of a generator to produce pun sentences, and a discriminator to distinguish between the generated pun sentences and the real sentences with specific word senses. The output of the discriminator is then used as a reward to train the generator via reinforcement learning, encouraging it to produce pun sentences that can support two word senses simultaneously. Experiments show that the proposed Pun-GAN can generate sentences that are more ambiguous and diverse in both automatic and human evaluation.


title: A Three-Stage Stochastic Peer-to-Peer Market Clearing Model with Real-Time Reserve Activation

abstract: With an increasing share of volatile renewables, more flexibility is needed to balance the electricity system. In order to enable local flexibility, we suggest a three-stage stochastic market clearing model using community-based peer-to-peer (P2P) trading with participation in the short term reserve markets. With this approach, internal intraday (IID) and real-time (IRT) markets are cleared where peers can trade to balance their day-ahead market position under uncertainty in load and activation of reserves. Results show increased participation of 19 and 44 % in reserve markets when P2P IID and IRT is introduced. We illustrate the application of the model and give advice for the future reserve market design highlighting necessary changes in order to unlock end-user flexibility to the reserve market.


title: Gr\"{u}neisen Parameter and Thermal Expansion near Magnetic Quantum Critical Points in Itinerant Electron Systems

abstract: Complete expressions of the thermal-expansion coefficient $\alpha$ and the Gr\"{u}neisen parameter $\Gamma$ are derived on the basis of the self-consistent renormalization (SCR) theory. By considering zero-point as well as thermal spin fluctuation under the stationary condition, the specific heat for each class of the magnetic quantum critical point (QCP) specified by the dynamical exponent $z=3$ (FM) and $z=2$ (AFM) and the spatial dimension ($d=3$ and $2$) is shown to be expressed as $C_{V}=C_a-C_b$, where $C_a$ is dominant at low temperatures, reproducing the past SCR criticality endorsed by the renormalization group theory. Starting from the explicit form of the entropy and using the Maxwell relation, $\alpha=\alpha_a+\alpha_b$ (with $\alpha_a$ and $\alpha_b$ being related to $C_a$ and $C_b$, respectively) is derived, which is proven to be equivalent to $\alpha$ derived from the free energy. The temperature-dependent coefficient found to exist in $\alpha_b$, which is dominant at low temperatures, contributes to the crossover from the quantum-critical regime to the Curie-Weiss regime and even affects the quantum criticality at 2d AFM QCP. Based on these correctly calculated $C_{V}$ and $\alpha$, Gr\"{u}neisen parameter $\Gamma=\Gamma_a+\Gamma_b$ is derived, where $\Gamma_a$ and $\Gamma_b$ contain $\alpha_a$ and $\alpha_b$, respectively. The inverse susceptibility coupled to the volume $V$ in $\Gamma_b$ gives rise to divergence of $\Gamma$ at the QCP for each class even though characteristic energy scale of spin fluctuation $T_0$ is finite at the QCP, which gives a finite contribution in $\Gamma_a=-\frac{V}{T_0}\left(\frac{\partial T_0}{\partial V}\right)_{T=0}$. General properties of $\alpha$ and $\Gamma$ including their signs as well as the relation to $T_0$ and the Kondo temperature in temperature-pressure phase diagrams of Ce- and Yb-based heavy electron systems are discussed.


title: Deep topic modeling by multilayer bootstrap network and lasso

abstract: Topic modeling is widely studied for the dimension reduction and analysis of documents. However, it is formulated as a difficult optimization problem. Current approximate solutions also suffer from inaccurate model- or data-assumptions. To deal with the above problems, we propose a polynomial-time deep topic model with no model and data assumptions. Specifically, we first apply multilayer bootstrap network (MBN), which is an unsupervised deep model, to reduce the dimension of documents, and then use the low-dimensional data representations or their clustering results as the target of supervised Lasso for topic word discovery. To our knowledge, this is the first time that MBN and Lasso are applied to unsupervised topic modeling. Experimental comparison results with five representative topic models on the 20-newsgroups and TDT2 corpora illustrate the effectiveness of the proposed algorithm.


title: Worst-case Quantum Hypothesis Testing with Separable Measurements

abstract: For any pair of quantum states (the hypotheses), the task of binary quantum hypotheses testing is to derive the tradeoff relation between the probability $p_{01}$ of rejecting the null hypothesis and $p_{10}$ of accepting the alternative hypothesis. The case when both hypotheses are explicitly given was solved in the pioneering work by Helstrom. Here, instead, for any given null hypothesis as a pure state, we consider the worst-case alternative hypothesis that maximizes $p_{10}$ under a constraint on the distinguishability of such hypotheses. Additionally, we restrict the optimization to separable measurements, in order to describe tests that are performed locally. The case $p_{01}=0$ has been recently studied under the name of "quantum state verification". We show that the problem can be cast as a semi-definite program (SDP). Then we study in detail the two-qubit case. A comprehensive study in parameter space is done by solving the SDP numerically. We also obtain analytical solutions in the case of commuting hypotheses, and in the case where the two hypotheses can be orthogonal (in the latter case, we prove that the restriction to separable measurements generically prevents perfect distinguishability). In regards to quantum state verification, our work shows the existence of more efficient strategies for noisy measurement scenarios.


title: Semigroups for quadratic evolution equations acting on Shubin-Sobolev and Gelfand-Shilov spaces

abstract: We consider the initial value Cauchy problem for a class of evolution equations whose Hamiltonian is the Weyl quantization of a homogeneous quadratic form with non-negative definite real part. The solution semigroup is shown to be strongly continuous on several spaces: the Shubin--Sobolev spaces, the Schwartz space, the tempered distributions, the equal index Beurling type Gelfand--Shilov spaces and their dual ultradistribution spaces.


title: Multi-valued weighted composition operators on Fock space

abstract: Multivalued linear operators, also known as linear relations, are studied on a specific class of weighted, composition transforms on Fock space. Basic properties of this class of linear relations, such as closed graph, boundedness, complex symmetry, real symmetry, or isometry are characterized in simple algebraic terms, involving their symbols.


title: The theoretical direct-band-gap optical gain of Germanium nanowires

abstract: We calculate the electronic structures of Germanium nanowires by taking the effective-mass theory. The electron and hole states at the G-valley are studied via the eight-band k.p theory. For the [111] L-valley, we expand the envelope wave function using Bessel functions to calculate the energies of the electron states for the first time. The results show that the energy dispersion curves of electron states at the L-valley are almost parabolic irrespective of the radius of Germanium nanowires. Based on the electronic structures, the density of states of Germanium nanowires are also obtained, and we find that the conduction band density of states mostly come from the electron states at the L-valley because of the eight equivalent degenerate L points in Germanium. Furthermore, the optical gain spectra of Germanium nanowires are investigated. The calculations show that there are no optical gain along z direction even though the injected carrier density is 4x1019 cm-3 when the doping concentration is zero, and a remarkable optical gain can be obtained when the injected carrier density is close to 1x1020 cm-3, since a large amount of electrons will prefer to occupy the low-energy L-valley. In this case, the negative optical gain will be encountered considering free-carrier absorption loss as the increase of the diameter. We also investigate the optical gain along z direction as functions of the doping concentration and injected carrier density for the doped Germanium nanowires. When taking into account free-carrier absorption loss, the calculated results show that a positive net peak gain is most likely to occur in the heavily doped nanowires with smaller diameters. Our theoretical studies are valuable in providing a guidance for the applications of Germanium nanowires in the field of microelectronics and optoelectronics.


title: Malware Classification using Deep Learning based Feature Extraction and Wrapper based Feature Selection Technique

abstract: In the case of malware analysis, categorization of malicious files is an essential part after malware detection. Numerous static and dynamic techniques have been reported so far for categorizing malware. This research presents a deep learning-based malware detection (DLMD) technique based on static methods for classifying different malware families. The proposed DLMD technique uses both the byte and ASM files for feature engineering, thus classifying malware families. First, features are extracted from byte files using two different Deep Convolutional Neural Networks (CNN). After that, essential and discriminative opcode features are selected using a wrapper-based mechanism, where Support Vector Machine (SVM) is used as a classifier. The idea is to construct a hybrid feature space by combining the different feature spaces to overcome the shortcoming of particular feature space and thus, reduce the chances of missing a malware. Finally, the hybrid feature space is used to train a Multilayer Perceptron, which classifies all nine different malware families. Experimental results show that proposed DLMD technique achieves log-loss of 0.09 for ten independent runs. Moreover, the proposed DLMD technique's performance is compared against different classifiers and shows its effectiveness in categorizing malware. The relevant code and database can be found at https://github.com/cyberhunters/Malware-Detection-Using-Machine-Learning.


title: Toward Co-existing Database Schemas based on Bidirectional Transformation

abstract: According to strong demands for rapid and reliable software delivery, co-existing database schema versions with multiple application versions are reality to contribute them. Current database management systems do not support co-existing schema versions in one database. Although a design of co-existing schema based on updatable view tables was previously proposed, its flexibility is limited due to pre-defined several restrictions to achieve data synchronization among schemas and handling independent unsynchronized data in each schema. In this preliminary report, we present a new approach for co-existing schemas based on bidirectional transformation. We explain the required properties to realize co-existing schemas, bidirectionality and totality. We show that the co-existing schemas can be implemented systematically by applying putback-based bidirectional transformation to satisfy both the bidirectionality and the totality. While the bidirectionality can be satisfied by applying bidirectional transformation, to satisfy the totality, extra functions need to be introduced. How to derive these extra functions is presented.


title: Opinion Dynamics on Correlated Subjects in Social Networks

abstract: Understanding the evolution of collective beliefs is of critical importance to get insights on the political trends as well as on social tastes and opinions. In particular, it is pivotal to develop analytical models that can predict the beliefs dynamics and capture the interdependence of opinions on different subjects. In this paper we tackle this issue also accounting for the individual endogenous process of opinion evolution, as well as repulsive interactions between individuals' opinions that may arise in the presence of an adversarial attitude of the individuals. Using a mean field approach, we characterize the time evolution of opinions of a large population of individuals through a multidimensional Fokker-Planck equation, and we identify the conditions under which stability holds. Finally, we derive the steady-state opinion distribution as a function of the individuals' personality and of the existing social interactions. Our numerical results show interesting dynamics in the collective beliefs of different social communities, and they highlight the effect of correlated subjects as well as of individuals with an adversarial attitude.


title: On potential theory of Markov processes with jump kernels decaying at the boundary

abstract: Motivated by some recent potential theoretic results on subordinate killed L\'evy processes in open subsets of the Euclidean space, we study processes in an open set $D\subset {\mathbb R}^d$ defined via Dirichlet forms with jump kernels of the form $J^D(x,y)=j(|x-y|)\mathcal{B}(x,y)$ and critical killing functions. Here $j(|x-y|)$ is the L\'evy density of an isotropic stable process (or more generally, a pure jump isotropic unimodal L\'evy process) in $\mathbb{R}^d$. The main novelty is that the term $\mathcal{B}(x,y)$ tends to 0 when $x$ or $y$ approach the boundary of $D$. Under some general assumptions on $\mathcal{B}(x,y)$, we construct the corresponding process and prove that non-negative harmonic functions of the process satisfy the Harnack inequality and Carleson's estimate. We give several examples of boundary terms satisfying those assumptions. The examples depend on four parameters, $\beta_1, \beta_2, \beta_3$, $\beta_4$, roughly governing the decay of the boundary term near the boundary of $D$. In the second part of this paper, we specialise to the case of the half-space $D=\mathbb{R}_+^d=\{x=(\widetilde{x},x_d):\, x_d>0\}$, the $\alpha$-stable kernel $j(|x-y|)=|x-y|^{-d-\alpha}$ and the killing function$\kappa(x)=c x_d^{-\alpha}$, $\alpha\in (0,2)$, where $c$ is a positive constant. Our main result in this part is a boundary Harnack principle which says that, for any $p>(\alpha-1)_+$, there are values of the parameters $\beta_1, \beta_2, \beta_3$, $\beta_4$, and the constant $c$ such that non-negative harmonic functions of the process must decay at the rate $x_d^p$ if they vanish near a portion of the boundary. We further show that there are values of the parameters $\beta_1, \beta_2, \beta_3$, $\beta_4$, for which the boundary Harnack principle fails despite the fact that Carleson's estimate is valid.


title: Beating direct transmission bounds for quantum key distribution with a multiple quantum memory station

abstract: Overcoming repeaterless bounds for the secret key rate capacity of quantum key distribution protocols is still a challenge with current technology. D. Luong et al. [Applied Physics B 122, 96 (2016)] proposed a protocol to beat a repeaterless bound using one pair of quantum memories. However, the required experimental parameters for the memories are quite demanding. We extend the protocol with multiple pairs of memories, operated in a parallel manner to relax these conditions. We quantify the amount of relaxation in terms of the most crucial memory parameters, given the number of applied memory pairs. In the case of high-loss channels we found that adding only a few pair of memories can make the crossover possible.


title: The detection of acute kidney injury with hyperpolarized 13C Urea and multi-exponential fitting

abstract: Purpose: To assess the utility of Laplacian fitting to describe the differences in hyperpolarized 13C urea T2 relaxation in ischemic and healthy rodent kidneys. Theory and Methods: Six rats with unilateral renal ischemia were investigated. 13C urea T2 mapping was undertaken with a radial fast spin echo method, with subsequent post-processing performed with regularised Laplacian fitting. Results: Simulations showed that Laplacian fitting was stable down to a signal to noise ratio of 20. In vivo results showed a significant increase in the mono- and decrease in bi-exponential pools in IRI kidneys, in comparison to healthy (14+-10% vs 4+-2%, 85+-10% vs 95+-3%, p<0.05). Conclusion: We demonstrate, for the first time, the differences in multi-exponential behaviour of 13C,15N2-urea between the healthy and ischemic rodent kidney. The distribution of relaxation pools were found to be both visually and numerically significantly different. The ability to improve the information level in hyperpolarized MR, by utilizing the relaxation contrast mechanisms is an appealing option, that can easily be adopted in large animals and even in clinical studies in the near future.


title: Large D membrane for Higher Derivative Gravity and Black Hole Second Law

abstract: We derive the effective equations of the membranes dual to black holes in a particular theory of higher derivative gravity namely Einstein-Gauss-Bonnet (EGB) gravity at sub-leading order in $1/D$ upto linear order in the Gauss-Bonnet (GB) parameter $\beta$. We find an expression for an entropy current which satisfies a local version of second law onshell in this regime. We also derive the membrane equations upto leading order in $1/D$ but non-perturbatively in $\beta$ for EGB gravity. In this regime we write down an expression for a world-volume stress tensor of the membrane and also work out the effective membrane equation for stationary black holes.


title: The $B\to \pi \ell\nu_\ell$ semileptonic decay within the LCSR approach under heavy quark effective field theory

abstract: The heavy quark effective field theory (HQEFT) provides an effective way to deal with the heavy meson decays. In the paper, we adopt two different correlators to derive the light-cone sum rules of the $B \to \pi$ transition form factors (TFFs) within the framework of HQEFT. We label those two LCSR results as LCSR-${\cal U}$ and LCSR-${\cal R}$, which are for conventional correlator and right-handed correlator, respectively. We observe that the correlation parameter $|\rho_{\rm RU}|$ for the branching ratio ${\cal B}(B \to \pi l \nu_{l})$ is $\sim 0.85$, implying the consistency of the LCSRs under different correlators. Moreover, we obtain $|V_{\rm ub}|_{{\rm LCSR}-{\cal U}}=(3.45^{+0.28}_{-0.20}\pm{0.13}_{\rm{exp}})\times10^{-3}$ and $|V_{\rm ub}|_{{\rm LCSR}-{\cal R}} =(3.38^{+0.22}_{-0.16} \pm{0.12}_{\rm{exp}})\times10^{-3}$. We then obtain $\mathcal{R}_{\pi}|_{{\rm LCSR}-{\cal U}}=0.68^{+0.10}_{-0.09}$ and $\mathcal{R}_{\pi}|_{{\rm LCSR}-{\cal R}}=0.65^{+0.13}_{-0.11}$, both of them agree with the Lattice QCD predictions. Thus the HQEFT provides a useful framework for studying the $B$ meson decays. Moreover, by using right-handed correlator, the twist-2 terms shall dominant the TFF $f^+(q^2)$, which approaches over $\sim97\%$ contribution in the whole $q^2$-region; and the large twist-3 uncertainty for the conventional correlator is greatly suppressed. One can thus adopt the LCSR-${\cal R}$ prediction to test the properties of the various models for the pion twist-2 distribution amplitudes.


title: Towards the assimilation of satellite reflectance into semi-distributed ensemble snowpack simulations

abstract: Uncertainties of snowpack models and of their meteorological forcings limit their use by avalanche hazard forecasters, or for glaciological and hydrological studies. The spatialized simulations currently available for avalanche hazard forecasting are only assimilating sparse meteorological observations. As suggested by recent studies, their forecasting skills could be significantly improved by assimilating satellite data such as snow reflectances from satellites in the visible and the near-infrared spectra. Indeed, these data can help constrain the microstructural properties of surface snow and light absorbing impurities content, which in turn affect the surface energy and mass budgets. This paper investigates the prerequisites of satellite data assimilation into a detailed snowpack model. An ensemble version of Meteo-France operational snowpack forecasting system (named S2M) was built for this study. This operational system runs on topographic classes instead of grid points, so-called semi-distributed approach. Each class corresponds to one of the 23 mountain massifs of the French Alps (about 1000km^{2} each), an altitudinal range (by step of 300m) and aspect (by step of 45{\deg}). We assess the feasability of satellite data assimilation in such a semi-distributed geometry. Ensemble simulations are compared with satellite observations from MODIS and Sentinel-2, and with in-situ reflectance observations. The study focuses on the 2013-2014 and 2016-2017 winters in the Grandes-Rousses massif. Substantial Pearson R^{2} correlations (0.75-0.90) of MODIS observations with simulations are found over the domain. This suggests that assimilating it could have an impact on the spatialized snowpack forecasting system. However, observations contain significant biases (0.1-0.2 in reflectance) which prevent their direct assimilation. MODIS spectral band ratios seem to be much less biased.


title: Joint User Selection and Precoding in Multiuser MIMO Systems via Group LASSO

abstract: Joint user selection and precoding in multiuser MIMO settings can be interpreted as group sparse recovery in linear models. In this problem, a signal with group sparsity is to be reconstructed from an underdetermined system of equations. This paper utilizes this equivalent interpretation and develops a computationally tractable algorithm based on the method of group LASSO. Compared to the state of the art, the proposed scheme shows performance enhancements in two different respects: higher achievable sum-rate and lower interference at the non-selected user terminals.


title: A Stochastic Automata Network Description for Spatial DNA-Methylation Models

abstract: DNA methylation is an important biological mechanism to regulate gene expression and control cell development. Mechanistic modeling has become a popular approach to enhance our understanding of the dynamics of methylation pattern formation in living cells. Recent findings suggest that the methylation state of a cytosine base can be influenced by its DNA neighborhood. Therefore, it is necessary to generalize existing mathematical models that consider only one cytosine and its partner on the opposite DNA-strand (CpG), in order to include such neighborhood dependencies. One approach is to describe the system as a stochastic automata network (SAN) with functional transitions. We show that single-CpG models can successfully be generalized to multiple CpGs using the SAN description and verify the results by comparing them to results from extensive Monte-Carlo simulations.


title: Learning deep representations by multilayer bootstrap networks for speaker diarization

abstract: The performance of speaker diarization is strongly affected by its clustering algorithm at the test stage. However, it is known that clustering algorithms are sensitive to random noises and small variations, particularly when the clustering algorithms themselves suffer some weaknesses, such as bad local minima and prior assumptions. To deal with the problem, a compact representation of speech segments with small within-class variances and large between-class distances is usually needed. In this paper, we apply an unsupervised deep model, named multilayer bootstrap network (MBN), to further process the embedding vectors of speech segments for the above problem. MBN is an unsupervised deep model for nonlinear dimensionality reduction. Unlike traditional neural network based deep model, it is a stack of $k$-centroids clustering ensembles, each of which is trained simply by random resampling of data and one-nearest-neighbor optimization. We construct speaker diarization systems by combining MBN with either the i-vector frontend or x-vector frontend, and evaluated their effectiveness on a simulated NIST diarization dataset, the AMI meeting corpus, and NIST SRE 2000 CALLHOME database. Experimental results show that the proposed systems are better than or at least comparable to the systems that do not use MBN.


title: Theoretical analysis and kinetic modeling on hydrogen addition and abstraction by H radical of 1,3-cyclopentadiene and the associated chain-branching reactions

abstract: Cyclopentadiene (CPD) is an important intermediate in the combustion of fuel and the formation of aromatics. In the present study, the kinetics and thermodynamic properties for hydrogen abstraction and addition with CPD, and the related reactions including the isomerization and decomposition on the C5H7 potential energy surface were systematically investigated by theoretical calculations. High-level ab initio calculations were adopted to obtain the stationary points on the potential energy surfaces of CPD + H. Phenomenological rate coefficients for temperature- and pressure-dependent reactions in the full potential energy surface were calculated by solving the time-dependent multiple-well RRKM/master equation, and the hydrogen abstraction reactions were based on the conventional transition state theory. In terms of the hydrogen abstraction reactions, the hydrogen abstraction from the saturated carbon atom in CPD is found to be the dominant channel. For the hydrogen addition and the associated reactions on the C5H7 PES, the allylic and vinylic cyclopentenyl radicals and C2H2 + C3H5 were found to be the most important channels and reactivity-promoting products, respectively. The previously neglected role of open-chain intermediates in the evaluation of the reaction kinetics has been suggested and the corresponding rate constants have been recommended for inclusion in the modeling of the H+ c-C5H6 reaction. Results indicate that the transformation from to straight-chain C5H7 is kinetically unfavorable due to the high strain energy of the 3-membered ring structure of the isomerization transition state. Moreover, the thermodynamic data and the calculated rate coefficients for both H atom abstraction and addition were incorporated into the kinetics model to examine the impact of the computed pressure-dependent kinetics of C5H6 + H reactions on model predictions.


title: Polaritonic Contribution to the Casimir Energy between two Graphene Layers

abstract: We study the role of surface polaritons in the zero-temperature Casimir effect between two graphene layers that are described by the Dirac model. A parametric approach allows us to accurately calculate the dispersion relations of the relevant modes and to evaluate their contribution to the total Casimir energy. The resulting force features a change of sign from attractive to repulsive as the distance between the layers increases. Contrary to similar calculations that have been performed for metallic plates, our asymptotic analysis demonstrates that at small separations the polaritonic contribution becomes negligible relative to the total energy.


title: On Dyakonov-Voigt surface waves guided by the planar interface of dissipative materials

abstract: Dyakonov-Voigt (DV) surface waves guided by the planar interface of (i) material $A$ which is a uniaxial dielectric material specified by a relative permittivity dyadic with eigenvalues $\epsilon^s_A$ and $\epsilon^t_A$, and (ii) material $B$ which is an isotropic dielectric material with relative permittivity $\epsilon_B$, were numerically investigated by solving the corresponding canonical boundary-value problem. The two partnering materials are generally dissipative, with the optic axis of material $A$ being inclined at the angle $\chi \in [ 0^\circ, 90^\circ ]$ relative to the interface plane. No solutions of the dispersion equation for DV surface waves exist when $\chi=90^\circ$. Also, no solutions exist for $\chi \in ( 0^\circ, 90^\circ )$, when both partnering materials are nondissipative. For $\chi \in [ 0 ^\circ, 90^\circ )$, the degree of dissipation of material $A$ has a profound effect on the phase speeds, propagation lengths, and penetration depths of the DV surface waves. For mid-range values of $\chi$, DV surface waves with negative phase velocities were found. For fixed values of $\epsilon^s_A$ and $\epsilon^t_A$ in the upper-half-complex plane, DV surface-wave propagation is only possible for large values of $\chi$ when $| \epsilon_B|$ is very small.


title: Compound Guided Waves That Mix Characteristics of Surface-Plasmon-Polariton, Tamm, Dyakonov-Tamm, and Uller-Zenneck Waves

abstract: Solutions of the boundary-value problem for electromagnetic waves guided by a layer of a homogeneous and isotropic (metal or dielectric) material sandwiched between a structurally chiral material (SCM) and a periodically multi-layered isotropic dielectric (PMLID) material were numerically obtained and analyzed. If the sandwiched layer is sufficiently thick, the two bimaterial interfaces decouple from each other, and each interface may guide one or more electromagnetic surface waves (ESWs) by itself. Depending on the constitution of the two materials that partner to form an interface, the ESWs can be classified as surface-plasmon-polarition (SPP) waves, Tamm waves, Dyakonov-Tamm waves, or Uller-Zenneck waves. When the sandwiched layer is sufficiently thin, the ESWs for single bimaterial interfaces coalesce to form compound guided waves (CGWs). The phase speeds, propagation distances, and spatial profiles of the electromagnetic fields of CGWs are different from those of the ESWs. The energy of a CGW is distributed in both the SCM and the PMLID material, if the sandwiched layer is sufficiently thin. Some CGWs require the sandwiched layer to have a minimum thickness. Indeed, the coupling between the two faces of the sandwiched layer is affected by the ratio of the thickness of the sandwiched layer to the skin depth in that material and the rates at which the fields of the ESWs guided individually by the two interfaces decay away from their respective guiding interfaces.


title: Candidate Brown-dwarf Microlensing Events with Very Short Timescales and Small Angular Einstein Radii

abstract: Short-timescale microlensing events are likely to be produced by substellar brown dwarfs (BDs), but it is difficult to securely identify BD lenses based on only event timescales $t_{\rm E}$ because short-timescale events can also be produced by stellar lenses with high relative lens-source proper motions. In this paper, we report three strong candidate BD-lens events found from the search for lensing events not only with short timescales ($t_{\rm E} \lesssim 6~{\rm days}$) but also with very small angular Einstein radii ($\theta_{\rm E}\lesssim 0.05~{\rm mas}$) among the events that have been found in the 2016--2019 observing seasons. These events include MOA-2017-BLG-147, MOA-2017-BLG-241, and MOA-2019-BLG-256, in which the first two events are produced by single lenses and the last event is produced by a binary lens. From the Bayesian analysis conducted with the combined $t_{\rm E}$ and $\theta_{\rm E}$ constraint, it is estimated that the lens masses of the individual events are $0.051^{+0.100}_{-0.027}~M_\odot$, $0.044^{+0.090}_{-0.023}~M_\odot$, and $0.046^{+0.067}_{-0.023}~M_\odot/0.038^{+0.056}_{-0.019}~M_\odot$ and the probability of the lens mass smaller than the lower limit of stars is $\sim 80\%$ for all events. We point out that routine lens mass measurements of short time-scale lensing events require survey-mode space-based observations.


title: More connected, more active: galaxy clusters and groups at z~1 and the connection between their quiescent galaxy fractions and large-scale environments

abstract: High-redshift galaxy clusters, unlike local counterparts, show diverse star formation activities. However, it is still unclear what keeps some of the high-redshift clusters active in star formation. To address this issue, we performed a multi-object spectroscopic (MOS) observation of 226 high-redshift (0.8 < z < 1.3) galaxies in galaxy cluster candidates and the areas surrounding them. Our spectroscopic observation reveals six to eight clusters/groups at z ~ 0.9 and z ~ 1.3. The redshift measurements demonstrate the reliability of our photometric redshift measurements, which in turn gives credibility for using photometric redshift members for the analysis of large-scale structures (LSSs). Our investigation of the large-scale environment (~10 Mpc) surrounding each galaxy cluster reveals LSSs --- structures up to ~10 Mpc scale --- around many of, but not all, the confirmed overdensities and the cluster candidates. We investigate the correlation between quiescent galaxy fraction of galaxy overdensities and their surrounding LSSs, with a larger sample of ~ 20 overdensities including photometrically selected overdensities at 0.6 < z < 0.9. Interestingly, galaxy overdensities embedded within these extended LSSs show a lower fraction of quiescent galaxies (~ 20 %) than isolated ones at similar redshifts (with a quiescent galaxy fraction of ~ 50 %). Furthermore, we find a possible indication that clusters/groups with a high quiescent galaxy fraction are more centrally concentrated. Based on these results, we suggest that LSSs are the main reservoirs of gas and star-forming galaxies to keep galaxy clusters fresh and extended in size at z ~ 1.


title: On the Fundamental Recovery Limit of Orthogonal Least Squares

abstract: Orthogonal least squares (OLS) is a classic algorithm for sparse recovery, function approximation, and subset selection. In this paper, we analyze the performance guarantee of the OLS algorithm. Specifically, we show that OLS guarantees the exact reconstruction of any $K$-sparse vector in $K$ iterations, provided that a sensing matrix has unit $\ell_{2}$-norm columns and satisfies the restricted isometry property (RIP) of order $K+1$ with \begin{align*} \delta_{K+1} &<C_{K} = \begin{cases} \frac{1}{\sqrt{K}}, & K=1, \\ \frac{1}{\sqrt{K+\frac{1}{4}}}, & K=2, \\ \frac{1}{\sqrt{K+\frac{1}{16}}}, & K=3, \\ \frac{1}{\sqrt{K}}, & K \ge 4. \end{cases} \end{align*} Furthermore, we show that the proposed guarantee is optimal in the sense that if $\delta_{K+1} \ge C_{K}$, then there exists a counterexample for which OLS fails the recovery.


title: Topological damping Rashba spin orbit torque in ballistic magnetic domain walls

abstract: Rashba spin orbit torque derived from the broken inversion symmetry at ferromagnet/heavy metal interfaces has potential application in spintronic devices. In conventional description of the precessional and damping components of the Rashba spin orbit torque in magnetization textures, the decomposition coefficients are assumed to be independent of the topology of the underlying structure. Contrary to this common wisdom, for Schr\"{o}dinger electrons trespassing ballistically across a magnetic domain wall, we found that the decomposition coefficient of the damping component is determined by the topology of the domain wall. The resultant damping Rashba spin orbit torque is protected by the topology of the underlying magnetic domain wall and robust against small deviations from the ideal domain wall profile. Our identification of a topological damping Rashba spin orbit torque component in magnetic domain walls will help to understand experiments on current driven domain wall motion in ferromagnet/heavy metal systems with broken inversion symmetry and to facilitate its utilization in innovative device designs.


title: Formulas for Partial Entanglement Entropy

abstract: The partial entanglement entropy (PEE) $s_{\mathcal{A}}(\mathcal{A}_i)$ characterizes how much the subset $\mathcal{A}_i$ of $\mathcal{A}$ contribute to the entanglement entropy $S_{\mathcal{A}}$. We find one additional physical requirement for $s_{\mathcal{A}}(\mathcal{A}_i)$, which is the invariance under a permutation. The partial entanglement entropy proposal satisfies all the physical requirements. We show that for Poincar\'e invariant theories the physical requirements are enough to uniquely determine the PEE (or the entanglement contour) to satisfy a general formula. This is the first time we find the PEE can be uniquely determined. Since the solution of the requirements is unique and the \textit{PEE proposal} is a solution, the \textit{PEE proposal} is justified for Poincar\'e invariant theories.

categories: hep-th cond-mat.stat-mech gr-qc quant-ph


title: Quantum transport and the phase space structure of the Wightman functions

abstract: We study the phase space structure of exact quantum Wightman functions in spatially homogeneous, temporally varying systems. In addition to the usual mass shells, the Wightman functions display additional coherence shells around zero frequency $k_0=0$, which carry the information of the local quantum coherence of particle-antiparticle pairs. We find also other structures, which encode non-local correlations in time, and discuss their role and decoherence. We give a simple derivation of the cQPA formalism, a set of quantum transport equations, that can be used to study interacting systems including the local quantum coherence. We compute quantum currents created by a temporal change in a particle's mass, comparing the exact Wightman function approach, the cQPA and the semiclassical methods. We find that the semiclassical approximation, which is fully encompassed by the cQPA, works surprisingly well even for very sharp temporal features. This is encouraging for the application of semiclassical methods in electroweak baryogenesis with strong phase transitions.


title: Experimental demonstration of arbitrary Raman gain-profile designs using machine learning

abstract: A machine learning framework for Raman amplifier design is experimentally tested. Performance in terms of maximum error over the gain profile is investigated for various fiber types and lengths, demonstrating highly-accurate designs.


title: Recurrence coefficients for discrete orthogonal polynomials with hypergeometric weight and discrete Painlev\'e equations

abstract: Over the last decade it has become clear that discrete Painlev\'e equations appear in a wide range of important mathematical and physical problems. Thus, the question of recognizing a given non-autonomous recurrence as a discrete Painlev\'e equation and determining its type according to Sakai's classification scheme, understanding whether it is equivalent to some known (model) example, and especially finding an explicit change of coordinates transforming it to such an example, becomes one of the central ones. Fortunately, Sakai's geometric theory provides an almost algorithmic procedure for answering this question. In this paper we illustrate this procedure by studying an example coming from the theory of discrete orthogonal polynomials. There are many connections between orthogonal polynomials and Painlev\'e equations, both differential and discrete. In particular, often the coefficients of three-term recurrence relations for discrete orthogonal polynomials can be expressed in terms of solutions of discrete Painlev\'e equations. In this work we study discrete orthogonal polynomials with general hypergeometric weight and show that their recurrence coefficients satisfy, after some change of variables, the standard discrete Painlev\'e-V equation. We also provide an explicit change of variables transforming this equation to the standard form.


title: CO in the C1 globule of the Helix nebula with ALMA

abstract: We present and analyse 12CO, 13CO and C18O(2-1) ALMA observations of the C1 globule inside the Helix nebula in order to determine its physical properties. Our findings confirm the molecular nature of the globule with a multi-peak structure. The 12CO line has a high optical depth of about 10. The derived 12C/13C ratio of 10 and 16O/18O ratio of 115 are not in agreement with the expected isotopic ratios of carbon-rich AGB stars. Assuming that the 12CO optical depth has been underestimated, we can find a consistent fit for an initial mass of 2 Msol. We obtain a molecular mass of 2x10-4 Msol for the C1 globule, which is much higher than its mass in the literature. Clumping could play a role in the high molecular mass of the knot. The origin of the tail is discussed. Our findings show that the most probable model appears to be shadowing. The kinematics and molecular morphology of the knot are not consistent with a wind-swept model and the photoevaporation model alone is not enough to explain the nature of the globule. We propose an integrated model where the effects of the photoevaporation, the stream and shadowing models are all considered in the tail shaping process.


title: Weak Lensing Analysis of CODEX Clusters using Dark Energy Camera Legacy Survey : Mass-Richness Relation

abstract: We present the weak lensing analysis of 279 CODEX clusters using imaging data from 4200 $\text{deg}^{2}$ of the DECam Legacy Survey (DECaLS) Data Release 3. The cluster sample results from a joint selection in X-ray, optical richness in the range $20 \leq \lambda < 110$, and redshift in the range $0.1 \leq z \leq 0.2$. We model the cluster mass ($M_{\rm 200c}$) and the richness relation with the expression $\left\langle M_{\rm 200c} | \lambda \right\rangle \propto M_{0} \, (\lambda / 40)^{F_{\lambda}}$. By measuring the CODEX cluster sample as an individual cluster, we obtain the best-fit values, $M_{0} = 3.24^{+0.29}_{-0.27} \times 10^{14} \text{M}_{\odot}$, and $F_{\lambda} = 1.00 ^{+0.22}_{-0.22}$ for the richness scaling index, consistent with a power law relation. Moreover, we separate the cluster sample into three richness groups; $\lambda = 20 - 30, 30 - 50$ and $50 - 110$, and measure the stacked excess surface mass density profile in each group. The results show that both methods are consistent. In addition, we find an excellent agreement between our weak lensing based scaling relation and the relation obtained with dynamical masses estimated from cluster member velocity dispersions measured by the SDSS-IV/SPIDERS team. This suggests that the cluster dynamical equilibrium assumption involved in the dynamical mass estimates is statistically robust for a large sample of clusters.


title: Note on the Davenport's constant for finite abelian groups with rank three

abstract: Let $G$ be a finite abelian group and $D(G)$ denote the Davenport constant of $G$. We derive new upper bound for the Davenport constant for all groups of rank three. Our main result is that: $$D(C_{n_1}\oplus C_{n_2}\oplus C_{n_3})\le (n_1-1)+(n_2-1)+(n_3-1)+1+ (a_3-3)(n_1-1),$$ where $1<n_1|n_2|n_3\in\mathbb{N}$ and $a_3\le 20369$ is a constant. Therefore $D(C_{n_1}\oplus C_{n_2}\oplus C_{n_3})$ grows linearly with the variables $n_1,n_2,n_3.$ The new result is the given upper bound for $a_3$. Finally, we give an application of the Davenport constant to smooth numbers.


title: Learning Hierarchical Control for Robust In-Hand Manipulation

abstract: Robotic in-hand manipulation has been a long-standing challenge due to the complexity of modelling hand and object in contact and of coordinating finger motion for complex manipulation sequences. To address these challenges, the majority of prior work has either focused on model-based, low-level controllers or on model-free deep reinforcement learning that each have their own limitations. We propose a hierarchical method that relies on traditional, model-based controllers on the low-level and learned policies on the mid-level. The low-level controllers can robustly execute different manipulation primitives (reposing, sliding, flipping). The mid-level policy orchestrates these primitives. We extensively evaluate our approach in simulation with a 3-fingered hand that controls three degrees of freedom of elongated objects. We show that our approach can move objects between almost all the possible poses in the workspace while keeping them firmly grasped. We also show that our approach is robust to inaccuracies in the object models and to observation noise. Finally, we show how our approach generalizes to objects of other shapes.


title: Adversarial Feature Alignment: Avoid Catastrophic Forgetting in Incremental Task Lifelong Learning

abstract: Human beings are able to master a variety of knowledge and skills with ongoing learning. By contrast, dramatic performance degradation is observed when new tasks are added to an existing neural network model. This phenomenon, termed as \emph{Catastrophic Forgetting}, is one of the major roadblocks that prevent deep neural networks from achieving human-level artificial intelligence. Several research efforts, e.g. \emph{Lifelong} or \emph{Continual} learning algorithms, have been proposed to tackle this problem. However, they either suffer from an accumulating drop in performance as the task sequence grows longer, or require to store an excessive amount of model parameters for historical memory, or cannot obtain competitive performance on the new tasks. In this paper, we focus on the incremental multi-task image classification scenario. Inspired by the learning process of human students, where they usually decompose complex tasks into easier goals, we propose an adversarial feature alignment method to avoid catastrophic forgetting. In our design, both the low-level visual features and high-level semantic features serve as soft targets and guide the training process in multiple stages, which provide sufficient supervised information of the old tasks and help to reduce forgetting. Due to the knowledge distillation and regularization phenomenons, the proposed method gains even better performance than finetuning on the new tasks, which makes it stand out from other methods. Extensive experiments in several typical lifelong learning scenarios demonstrate that our method outperforms the state-of-the-art methods in both accuracies on new tasks and performance preservation on old tasks.


title: Reversible Causal Nets and Reversible Event Structures

abstract: One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms of nets have been long established. Good examples are the close relationship between inhibitor event structures and inhibitor occurrence nets, or between asymmetric event structures and asymmetric occurrence nets. Several forms of event structures suited for the modelling of reversible computation have recently been developed; also a method for reversing occurrence nets has been proposed. This paper bridges the gap between reversible event structures and reversible nets. We introduce the notion of reversible causal net, which is a generalisation of the notion of reversible unfolding. We show that reversible causal nets correspond precisely to a subclass of reversible prime event structures, the causal reversible prime event structures.


title: A Polymorphic RPC Calculus

abstract: The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequently, the typed RPC calculus is designed to capture the location information of functions by types and to drive location type-directed slicing compilations. However, the use of locations is currently limited to monomorphic ones, which is one of the gaps to overcome to put into practice the theory of RPC calculi for client-server model. This paper proposes a polymorphic RPC calculus to allow programmers to write succinct multi-tier programs using polymorphic location constructs. Then the polymorphic multi-tier programs can be automatically translated into programs only containing location constants amenable to the existing slicing compilation methods. We formulate a type system for the polymorphic RPC calculus, and prove its type soundness. Also, we design a monomorphization translation together with proofs on its type and semantic correctness for the translation.


title: Transient Stability evaluation of a Solar PV Integrated Industrial Microgrid

abstract: Whenever stability of a system is concerned, transient stability is given the highest priority. For analysis purpose transient stability is checked with the help of Critical Clearing Time (CCT). With the continuous growth of Distributed Generation (DG) concept, the need of a stable industrial microgrid is a necessity. This paper studies the effect of Solar PV as DG unit on CCT during islanded operation of an industrial microgrid system. In primary analysis a single centralized Solar PV unit along with the Synchronous Generator (SG) is used. Then multiple PV units distributed at random locations are used. In both cases the share by Solar PV is gradually increased and the effect on the length of CCT is observed. In the first case the CCT is found to increase with the inclusion of Solar PV and in the latter one CCT drops as multiple units are used.


title: Derivations and identities for Chebyshev polynomials of the first and second kinds

abstract: In this paper we follow the general approach, proposed earlier by the first author, which is derived from the invariant theory field and provides a way of obtaining of the polynomial identities for any arbitrary polynomial family. We introduce the notion of Chebyshev derivations of the first and second kinds, which is based on the polynomial algebra, and corresponding specific differential operators. We derive the elements of their kernels and prove that any element of the kernel of the derivations defines a polynomial identity satisfied by the Chebyshev polynomials of the first and second kinds. Combining elementary methods and combinatorial techniques, we obtain several new polynomial identities involving the Chebyshev polynomials of the both kinds and a special case of the Jacobi polynomials. Using the properties of the generalised hypergeometric function, we specify the Chebyshev polynomials of the first and second kinds via the generalised hypergeometric function and, as a consequence, derive the corresponding identities involving the generalised hypergeometric function and the Chebyshev polynomials of the first and second kinds.


title: Divisible design Cayley digraphs

abstract: Divisible design digraphs which can be obtained as Cayley digraphs are studied. A characterization of divisible design Cayley digraphs in terms of the generating sets is given. Further, we give several constructions of divisible design Cayley digraphs and classify divisible design Cayley digraphs on $v \le 27$ vertices.


title: DFT study of itinerant ferromagnetism in $p$-doped monolayers of MoS$_2$

abstract: We use density functional theory to explore the possibility of making the semiconducting transition-metal dichalcogenide MoS$_2$ ferromagnetic by introducing holes into the narrow Mo $d$ band that forms the top of the valence band. In the single impurity limit, the repulsive Coulomb potential of an acceptor atom and intervalley scattering lead to a twofold orbitally degenerate effective-mass like $e'$ state being formed from Mo $d_{x^2-y^2}$ and $d_{xy}$ states, bound to the K and K$'$ valence band maxima. It also leads to a singly degenerate $a'_1$ state with Mo $d_{3z^2-r^2}$ character bound to the slightly lower lying valence band maximum at $\Gamma$. Within the accuracy of our calculations, these $e'$ and $a'_1$ states are degenerate for MoS$_2$ and accommodate the hole that polarizes fully in the local spin density approximation in the impurity limit. With spin-orbit coupling included, we find a single ion magnetic anisotropy of $\sim 5\,$meV favouring out-of-plane orientation of the magnetic moment. Pairs of such hole states introduced by V, Nb or Ta doping are found to couple ferromagnetically unless the dopant atoms are too close in which case the magnetic moments are quenched by the formation of spin singlets. Combining these exchange interactions with Monte Carlo calculations allows us to estimate ordering temperatures as a function of the dopant concentration $x$. For $x \sim 9\%$, Curie temperatures as high as 100K for Nb and Ta and in excess of 160K for V doping are predicted. Factors limiting the ordering temperature are identified and suggestions made to circumvent these limitations.


title: Reconstruction of Past Human land-use from Pollen Data and Anthropogenic land-cover Changes Scenarios

abstract: Accurate maps of past land cover and human land-use are necessary when studying the impact of anthropogenic land-cover changes on climate. Ideally the maps of past land cover would be separated into naturally occurring vegetation and human induced changes, allowing us to quantify the effect of human land-use on past climate. Here we investigate the possibility of combining regional, fossil pollen based, land-cover reconstructions with, population based, estimates of past human land-use. By merging these two datasets and interpolating the pollen based land-cover reconstructions we aim at obtaining maps that provide both past natural land-cover and the anthropogenic land-cover changes. We develop a Bayesian hierarchical model to handle the complex data, using a latent Gaussian Markov random fields (GMRF) for the interpolation. Estimation of the model is based on a block updated Markov chain Monte Carlo (MCMC) algorithm. The sparse precision matrix of the GMRF together with an adaptive Metropolis adjusted Langevin step allows for fast inference. Uncertainties in the land-use predictions are computed from the MCMC posterior samples. The model uses the pollen based observations to reconstruct three composition of land cover; Coniferous forest, Broadleaved forest and Unforested/Open land. The unforested land is then further decomposed into natural and human induced openness by inclusion of the estimates of past human land-use. The model is applied to five time periods - centred around 1900 CE, 1725 CE, 1425 CE, 1000 and, 4000 BCE over Europe. The results suggest pollen based observations can be used to recover past human land-use by adjusting the population based anthropogenic land-cover changes estimates.


title: ATZSL: Defensive Zero-Shot Recognition in the Presence of Adversaries

abstract: Zero-shot learning (ZSL) has received extensive attention recently especially in areas of fine-grained object recognition, retrieval, and image captioning. Due to the complete lack of training samples and high requirement of defense transferability, the ZSL model learned is particularly vulnerable against adversarial attacks. Recent work also showed adversarially robust generalization requires more data. This may significantly affect the robustness of ZSL. However, very few efforts have been devoted towards this direction. In this paper, we take an initial attempt, and propose a generic formulation to provide a systematical solution (named ATZSL) for learning a robust ZSL model. It is capable of achieving better generalization on various adversarial objects recognition while only losing a negligible performance on clean images for unseen classes, by casting ZSL into a min-max optimization problem. To address it, we design a defensive relation prediction network, which can bridge the seen and unseen class domains via attributes to generalize prediction and defense strategy. Additionally, our framework can be extended to deal with the poisoned scenario of unseen class attributes. An extensive group of experiments are then presented, demonstrating that ATZSL obtains remarkably more favorable trade-off between model transferability and robustness, over currently available alternatives under various settings.


title: Solution to the Gliding Tone Problem

abstract: The solution is given to the classical problem of an oscillator driven by a sinusoid of steadily-varying frequency. A closed analytical expression is obtained in the case where the Q-factor of the oscillator is high, equivalent to the rotating wave approximation of atomic physics. In this case all independent variables of the system combine into a single parameter. The results are compared with previous work: series and other approximations, numerical calculations, graphical solutions and analogue simulations. Attention is paid to the distortion of the resonance -- specifically frequency shift and amplitude attenuation -- consequent upon the finite sweep rate. The frequency shift is interpreted as a delay in the appearance of the resonance peak; to leading order this time delay is twice the oscillator's ring-down time. Measurements on a high-Q oscillator are consistent with the mathematical solution.


title: Neutrino-electron elastic scattering for flux determination at the DUNE oscillation experiment

abstract: We study the feasibility of using neutrino-electron elastic scattering to measure the neutrino flux in the DUNE neutrino oscillation experiment. The neutrino-electron scattering cross section is precisely known, and the kinematics of the reaction allow determination of the incoming neutrino energy by precise measurement of the energy and angle of the recoiling electron. For several possible near detectors, we perform an analysis of their ability to measure neutrino flux in the presence of backgrounds and uncertainties. With realistic assumptions about detector masses, we find that a liquid argon detector, even with limitations due to angular resolution, is able to perform better than less dense detectors with more precise event-by-event neutrino energy measurements. We find that the absolute flux normalization uncertainty can be reduced from ~8% to ~2%, and the uncertainty on the flux shape can be reduced by ~20-30%.


title: Vision-Infused Deep Audio Inpainting

abstract: Multi-modality perception is essential to develop interactive intelligence. In this work, we consider a new task of visual information-infused audio inpainting, \ie synthesizing missing audio segments that correspond to their accompanying videos. We identify two key aspects for a successful inpainter: (1) It is desirable to operate on spectrograms instead of raw audios. Recent advances in deep semantic image inpainting could be leveraged to go beyond the limitations of traditional audio inpainting. (2) To synthesize visually indicated audio, a visual-audio joint feature space needs to be learned with synchronization of audio and video. To facilitate a large-scale study, we collect a new multi-modality instrument-playing dataset called MUSIC-Extra-Solo (MUSICES) by enriching MUSIC dataset. Extensive experiments demonstrate that our framework is capable of inpainting realistic and varying audio segments with or without visual contexts. More importantly, our synthesized audio segments are coherent with their video counterparts, showing the effectiveness of our proposed Vision-Infused Audio Inpainter (VIAI). Code, models, dataset and video results are available at https://hangz-nju-cuhk.github.io/projects/AudioInpainting


title: Bandwidth-limited and noisy pulse sequences for single qubit operations in semiconductor spin qubits

abstract: Spin qubits are very valuable and scalable candidates in the area of quantum computation and simulation applications. In the last decades, they have been deeply investigated from a theoretical point of view and realized on the scale of few devices in the laboratories. In semiconductors, spin qubits can be built confining the spin of electrons in electrostatically defined quantum dots. Through this approach it is possible to create different implementations: single electron spin qubit, singlet-triplet spin qubit, or a three electrons architecture, e. g. the hybrid qubit. For each qubit type, we study the single qubit rotations along the principal axis of Bloch sphere including the mandatory non-idealities of the control signals that realize the gate operations. The realistic transient of the control signal pulses are obtained by adopting an appropriate low-pass filter function. In addition the effect of disturbances on the input signals is taken into account by using a Gaussian noise model.


title: Parametric instability of steady fluid flow in a corrugated pipe

abstract: In this paper, we show that the quasi-one-dimensional flow of an ideal inviscid fluid in a corrugated pipe is parametrically unstable in certain frequency bands. First-order perturbation theory is used to analyze the stability of the flow, and shows that parametric instability occurs even if the velocity of the base flow is zero. Stability diagrams of the system as a function of the amplitude and period of the corrugation, for different velocities of the base flow, are obtained using parallel numerical computation. The analysis shows that the higher-order bands of instability are strongly dependent on the base flow velocity.


title: Fluctuations of work in realistic equilibrium states of quantum systems with conserved quantities

abstract: The out-of-equilibrium dynamics of quantum systems is one of the most fascinating problems in physics, with outstanding open questions on issues such as relaxation to equilibrium. An area of particular interest concerns few-body systems, where quantum and thermal fluctuations are expected to be especially relevant. In this contribution, we present numerical results demonstrating the impact of conserved quantities (or 'charges') in the outcomes of out-of-equilibrium measurements starting from realistic equilibrium states on a few-body system implementing the Dicke model.


title: On the complexity of colouring antiprismatic graphs

abstract: A graph G is prismatic if for every triangle T of G, every vertex of G not in T has a unique neighbour in T. The complement of a prismatic graph is called \emph{antiprismatic}. The complexity of colouring antiprismatic graphs is still unknown. Equivalently, the complexity of the clique cover problem in prismatic graphs is not known. Chudnovsky and Seymour gave a full structural description of prismatic graphs. They showed that the class can be divided into two subclasses: the orientable prismatic graphs, and the non-orientable prismatic graphs. We give a polynomial time algorithm that solves the clique cover problem in every non-orientable prismatic graph. It relies on the the structural description and on later work of Javadi and Hajebi. We give a polynomial time algorithm which solves the vertex-disjoint triangles problem for every prismatic graph. It does not rely on the structural description.


title: Revisiting LTE LAA: Channel Access, QoS, and Coexistence with WiFi

abstract: Network operators are looking towards LTE License Assisted Access (LAA) as a means of extending capacity by offloading traffic to unlicensed bands. However, operation in these bands requires abiding to certain coexistence rules in terms of channel access. The description of these rules in existing literature is not always in line with the latest standards. Therefore, in this paper, we clarify the operation of LAA, focusing on channel access and methods of providing Quality of Service (QoS) support. In terms of coexistence, we evaluate the impact of LAA under its various QoS settings on Wi-Fi performance in an experimental testbed. Finally, we describe the upcoming research challenges for LTE-based technologies in unlicensed bands considering the latest developments.


title: Computing Tools for the SMEFT

abstract: The increasing interest in the phenomenology of the Standard Model Effective Field Theory (SMEFT), has led to the development of a wide spectrum of public codes which implement automatically different aspects of the SMEFT for phenomenological applications. In order to discuss the present and future of such efforts, the "SMEFT-Tools 2019" Workshop was held at the IPPP Durham on the 12th-14th June 2019. Here we collect and summarize the contents of this workshop.


title: Lozenge tilings of hexagons with removed core and satellites

abstract: We consider regions obtained from 120 degree rotationally invariant hexagons by removing a core and three equal satellites (all equilateral triangles) so that the resulting region is both vertically symmetric and 120 degree rotationally invariant, and give simple product formulas for the number of their lozenge tilings. We describe a new method of approach for proving these formulas, and give the full details for an illustrative special case. As a byproduct, we are also able to generalize this special case in a different direction, by finding a natural counterpart of a twenty year old formula due to Ciucu, Eisenk\"olbl, Krattenthaler and Zare, which went unnoticed until now. The general case of the original problem will be treated in a subsequent paper. We then work out consequences for the correlation of holes, which were the original motivation for this study.


title: Wasserstein distances for evaluating cross-lingual embeddings

abstract: Word embeddings are high dimensional vector representations of words that capture their semantic similarity in the vector space. There exist several algorithms for learning such embeddings both for a single language as well as for several languages jointly. In this work we propose to evaluate collections of embeddings by adapting downstream natural language tasks to the optimal transport framework. We show how the family of Wasserstein distances can be used to solve cross-lingual document retrieval and the cross-lingual document classification problems. We argue on the advantages of this approach compared to more traditional evaluation methods of embeddings like bilingual lexical induction. Our experimental results suggest that using Wasserstein distances on these problems out-performs several strong baselines and performs on par with state-of-the-art models.


title: Word-level Deep Sign Language Recognition from Video: A New Large-scale Dataset and Methods Comparison

abstract: Vision-based sign language recognition aims at helping deaf people to communicate with others. However, most existing sign language datasets are limited to a small number of words. Due to the limited vocabulary size, models learned from those datasets cannot be applied in practice. In this paper, we introduce a new large-scale Word-Level American Sign Language (WLASL) video dataset, containing more than 2000 words performed by over 100 signers. This dataset will be made publicly available to the research community. To our knowledge, it is by far the largest public ASL dataset to facilitate word-level sign recognition research. Based on this new large-scale dataset, we are able to experiment with several deep learning methods for word-level sign recognition and evaluate their performances in large scale scenarios. Specifically we implement and compare two different models,i.e., (i) holistic visual appearance-based approach, and (ii) 2D human pose based approach. Both models are valuable baselines that will benefit the community for method benchmarking. Moreover, we also propose a novel pose-based temporal graph convolution networks (Pose-TGCN) that models spatial and temporal dependencies in human pose trajectories simultaneously, which has further boosted the performance of the pose-based method. Our results show that pose-based and appearance-based models achieve comparable performances up to 66% at top-10 accuracy on 2,000 words/glosses, demonstrating the validity and challenges of our dataset. Our dataset and baseline deep models are available at \url{https://dxli94.github.io/WLASL/}.


title: Practical experiences and value of applying software analytics to manage quality

abstract: Background: Despite the growth in the use of software analytics platforms in industry, little empirical evidence is available about the challenges that practitioners face and the value that these platforms provide. Aim: The goal of this research is to explore the benefits of using a software analytics platform for practitioners managing quality. Method: In a technology transfer project, a software analytics platform was incrementally developed between academic and industrial partners to address their software quality problems. This paper focuses on exploring the value provided by this software analytics platform in two pilot projects. Results: Practitioners emphasized major benefits including the improvement of product quality and process performance and an increased awareness of product readiness. They especially perceived the semi-automated functionality of generating quality requirements by the software analytics platform as the benefit with the highest impact and most novel value for them. Conclusions: Practitioners can benefit from modern software analytics platforms, especially if they have time to adopt such a platform carefully and integrate it into their quality assurance activities.


title: Photosensitive free-standing ultra-thin carbyne-gold films

abstract: In the article we introduce the experiment of the photostimulation effect in the tunneling conductivity of free-standing thin C-Au films. We observe a sharp increase of the conductivity of hybrid film due to the electromagnetic exciting at the frequencies which are close to the plasmon resonance of gold nanoparticles. The use of carbyne threads as a stabilizing matrix makes it possible to obtain free-standing thin films that demonstrate a good structural stability. The tunnel current-voltage measurements demonstrate a strong dependence of the current value on the intensity of green laser radiation used to photostimulate thin C-Au in area of the measuring experiment.


title: A Graph-Based Framework to Bridge Movies and Synopses

abstract: Inspired by the remarkable advances in video analytics, research teams are stepping towards a greater ambition -- movie understanding. However, compared to those activity videos in conventional datasets, movies are significantly different. Generally, movies are much longer and consist of much richer temporal structures. More importantly, the interactions among characters play a central role in expressing the underlying story. To facilitate the efforts along this direction, we construct a dataset called Movie Synopses Associations (MSA) over 327 movies, which provides a synopsis for each movie, together with annotated associations between synopsis paragraphs and movie segments. On top of this dataset, we develop a framework to perform matching between movie segments and synopsis paragraphs. This framework integrates different aspects of a movie, including event dynamics and character interactions, and allows them to be matched with parsed paragraphs, based on a graph-based formulation. Our study shows that the proposed framework remarkably improves the matching accuracy over conventional feature-based methods. It also reveals the importance of narrative structures and character interactions in movie understanding.


title: ProLFA: Representative Prototype Selection for Local Feature Aggregation

abstract: Given a set of hand-crafted local features, acquiring a global representation via aggregation is a promising technique to boost computational efficiency and improve task performance. Existing feature aggregation (FA) approaches, including Bag of Words and Fisher Vectors, usually fail to capture the desired information due to their pipeline mode. In this paper, we propose a generic formulation to provide a systematical solution (named ProLFA) to aggregate local descriptors. It is capable of producing compact yet interpretable representations by selecting representative prototypes from numerous descriptors, under relaxed exclusivity constraint. Meanwhile, to strengthen the discriminability of the aggregated representation, we rationally enforce the domain-invariant projection of bundled descriptors along a task-specific direction. Furthermore, ProLFA is also provided with a powerful generalization ability to deal flexibly with the semi-supervised and fully supervised scenarios in local feature aggregation. Experimental results on various descriptors and tasks demonstrate that the proposed ProLFA is considerably superior over currently available alternatives about feature aggregation.


title: Tensor network representations of parton wave functions

abstract: Tensor network states and parton wave functions are two pivotal methods for studying quantum many-body systems. This work connects these two subjects as we demonstrate that a variety of parton wave functions, such as projected Fermi sea and projected fermionic or bosonic paired states, can be represented exactly as tensor networks. The results can be compressed into matrix product states with moderate bond dimensions so various physical quantities can be computed efficiently. For the projected Fermi sea, we develop an excellent compression scheme with high fidelity using maximally localized Wannier orbitals. Numerical calculations on two parton wave functions demonstrate that our method exceeds commonly adopted Monte Carlo methods in some aspects. It produces energy and correlation function with very high accuracy that is difficult to achieve using Monte Carlo method. The entanglement measures that were almost impossible to compute before can also be obtained easily using our method.


title: Multi-label Co-regularization for Semi-supervised Facial Action Unit Recognition

abstract: Facial action units (AUs) recognition is essential for emotion analysis and has been widely applied in mental state analysis. Existing work on AU recognition usually requires big face dataset with AU labels; however, manual AU annotation requires expertise and can be time-consuming. In this work, we propose a semi-supervised approach for AU recognition utilizing a large number of web face images without AU labels and a relatively small face dataset with AU annotations inspired by the co-training methods. Unlike traditional co-training methods that require provided multi-view features and model re-training, we propose a novel co-training method, namely multi-label co-regularization, for semi-supervised facial AU recognition. Two deep neural networks are utilized to generate multi-view features for both labeled and unlabeled face images, and a multi-view loss is designed to enforce the two feature generators to get conditional independent representations. In order to constrain the prediction consistency of the two views, we further propose a multi-label co-regularization loss by minimizing the distance of the predicted AU probability distributions of two views. In addition, prior knowledge of the relationship between individual AUs is embedded through a graph convolutional network (GCN) for exploiting useful information from the big unlabeled dataset. Experiments on several benchmarks show that the proposed approach can effectively leverage large datasets of face images without AU labels to improve the AU recognition accuracy and outperform the state-of-the-art semi-supervised AU recognition methods.


title: Hybrid Organic-Metal Oxide Multilayer Channel Transistors with Record Operational Stability

abstract: Metal oxide thin-film transistors are fast becoming a ubiquitous technology for application in driving backplanes of organic light-emitting diode displays. Currently all commercial products rely on metal oxides processed via physical vapor deposition methods. Transition to simpler, higher throughput manufacturing methods such as solution-based processes, are currently been explored as cost-effective alternatives. However, developing printable oxide transistors with high carrier mobility and bias-stable operation has proved challenging. Here we show that hybrid multilayer channels composed of alternating ultra-thin layers ($\leq$4 nm) of indium oxide, zinc oxide nanoparticles, ozone-treated polystyrene and a compact zinc oxide layer, all solution-processed in ambient atmosphere, can be used to create TFTs with remarkably high electron mobility (50 cm$^{2}$/Vs) and record operational stability. Insertion of the ozone-treated polystyrene interlayer is shown to reduce the concentration of electron traps at the metal oxide surfaces and heterointerfaces. The resulting transistors exhibit dramatically enhanced bias stability over 24 h continuous operation and while subjected to large electric field flux density (2.1$\times$10$^{-6}$ C/cm$^{2}$) with no adverse effects on the electron mobility. Density functional theory calculations identify the origin of this enhanced stability as the passivation of the oxygen vacancy-related gap states due to interaction between ozonolyzed styrene moieties and the oxides. Our results sets new design guidelines for bias-stress resilient metal oxide transistors.


title: Persistent gapless surface states in MnBi2Te4/Bi2Te3 superlattice antiferromagnetic topological insulator

abstract: Magnetic topological quantum materials (TQMs) provide a fertile ground for the emergence of fascinating topological magneto-electric effects. Recently, the discovery of intrinsic antiferromagnetic (AFM) topological insulator MnBi2Te4 that could realize quantized anomalous Hall effect and axion insulator phase ignited intensive study on this family of TQM compounds. Here, we investigated the AFM compound MnBi4Te7 where Bi2Te3 and MnBi2Te4 layers alternate to form a superlattice. Using spatial- and angle-resolved photoemission spectroscopy, we identified ubiquitous (albeit termination dependent) topological electronic structures from both Bi2Te3 and MnBi2Te4 terminations. Unexpectedly, while the bulk bands show strong temperature dependence correlated with the AFM transition, the topological surface states show little temperature dependence and remain gapless across the AFM transition. The detailed electronic structure of MnBi4Te7 and its temperature evolution, together with the results of its sister compound MnBi2Te4, will not only help understand the exotic properties of this family of magnetic TQMs, but also guide the design for possible applications.


title: Taxonomy of Real Faults in Deep Learning Systems

abstract: The growing application of deep neural networks in safety-critical domains makes the analysis of faults that occur in such systems of enormous importance. In this paper we introduce a large taxonomy of faults in deep learning (DL) systems. We have manually analysed 1059 artefacts gathered from GitHub commits and issues of projects that use the most popular DL frameworks (TensorFlow, Keras and PyTorch) and from related Stack Overflow posts. Structured interviews with 20 researchers and practitioners describing the problems they have encountered in their experience have enriched our taxonomy with a variety of additional faults that did not emerge from the other two sources. Our final taxonomy was validated with a survey involving an additional set of 21 developers, confirming that almost all fault categories (13/15) were experienced by at least 50% of the survey participants.


title: Convex Optimisation for Inverse Kinematics

abstract: We consider the problem of inverse kinematics (IK), where one wants to find the parameters of a given kinematic skeleton that best explain a set of observed 3D joint locations. The kinematic skeleton has a tree structure, where each node is a joint that has an associated geometric transformation that is propagated to all its child nodes. The IK problem has various applications in vision and graphics, for example for tracking or reconstructing articulated objects, such as human hands or bodies. Most commonly, the IK problem is tackled using local optimisation methods. A major downside of these approaches is that, due to the non-convex nature of the problem, such methods are prone to converge to unwanted local optima and therefore require a good initialisation. In this paper we propose a convex optimisation approach for the IK problem based on semidefinite programming, which admits a polynomial-time algorithm that globally solves (a relaxation of) the IK problem. Experimentally, we demonstrate that the proposed method significantly outperforms local optimisation methods using different real-world skeletons.


title: Hairy black holes in DHOST theories: Exploring disformal transformation as a solution-generating method

abstract: Solutions-generating methods based on field redefinitions, such as conformal mapping, play an important role in investigating exact solutions in modified gravity. In this work, we explore the possibility to use disformal field redefinitions to investigate new regions of the solution space of DHOST theories. The crucial ingredient is to find suitable seed solutions to generate new exact ones for DHOST theories. We first consider a seed solution of the Einstein-Scalar system describing a naked singularity. Under suitable assumptions, we derive a no-go result showing that no black hole solution can be constructed from such a seed GR solution. Then, taking into account the stability of each degeneracy classes of quadratic DHOST theories under a general disformal mapping, we consider two kinds of known black hole solutions as seed configurations: the Schwarzschild stealth solution and the non-stealth Reissner-Nordstrom like solution. Restricting our considerations to invertible disformal transformations, we show that building new hairy black hole solutions from the stealth solution associated to a constant kinetic term is also quite constrained. We obtain new solutions which either are stealth or describe asymptotically locally flat black holes with a deficit solid angle. However, starting from the non-stealth seed solution associated to a non constant kinetic term as well as a time-dependent scalar profile, we show that a disformal transformation can introduce rather general modifications of the exterior geometry. Finally, we consider the construction of minimally modified hairy black hole solutions using a small disformal transformation. Further applications of this solution generating method should allow to provide new hairy rotating black hole solutions beyond the stealth sector useful for phenomenological investigations of compact objects beyond GR.


title: Altering the reactivity of pristine, N- and P-doped graphene by strain engineering: a DFT view on energy related aspects

abstract: For carbon-based materials, in contrast to metal surfaces, the relationship between strain and reactivity is not yet established, even though there are literature reports on strained graphene. Knowledge of such relationships would be extremely beneficial for understanding the reactivity of graphene-based surfaces and finding optimisation strategies which would make these materials more suitable for targeted applications. Here we investigate the effects of compressive and tensile strain (up to +/-5%) on the structure, electronic properties and the reactivity of pure, N-doped and P-doped graphene, using DFT calculations. We demonstrate the possibility of tuning the topology of the graphene surface by strain, as well as by the choice of the dopant atom. The reactivity of (doped) strained graphene is probed using H and Na as simple adsorbates of great practical importance. Strain can both enhance and weaken H and Na adsorption on (doped) graphene. In case of Na adsorption, a linear relationship is observed between the Na adsorption energy on P-doped graphene and the phosphorus charge. A linear relationship between the Na adsorption energy on flat graphene surfaces and strain is found. Based on the adsorption energies and electrical conductivity, potentially good candidates for hydrogen storage and sodium-ion battery electrodes are discussed.


title: Pulse and continuously driven many-body quantum dynamics of bosonic impurities in a Bose-Einstein condensate

abstract: We unravel the periodically driven dynamics of two repulsively interacting bosonic impurities within a bosonic bath upon considering either the impact of a finite pulse or a continuous shaking of the impurities harmonic trap. Following a pulse driving of initially miscible components we reveal a variety of dynamical response regimes depending on the driving frequency. At resonant drivings the impurities decouple from their host while if exposed to a high frequency driving they remain trapped in the bosonic gas. For continuous shaking we showcase that in the resonantly driven regime the impurities oscillate back and forth within and outside the bosonic medium. In all cases, the bosonic bath is perturbed performing a collective dipole motion. Referring to an immiscible initial state we unveil that for moderate driving frequencies the impurities feature a dispersive behavior whilst for a high frequency driving they oscillate around the edges of the Thomas-Fermi background. Energy transfer processes from the impurities to their environment are encountered, especially for large driving frequencies. Additionally, coherence losses develop in the course of the evolution with the impurities predominantly moving as a pair.


title: Surface gravity waves propagating in a rotating frame: the Ekman-Stokes instability

abstract: We report on an instability arising when surface gravity waves propagate in a rotating frame. The Stokes drift associated to the uniform wave field, together with global rotation, drives a mean flow in the form of a horizontally invariant Ekman-Stokes spiral. We show that the latter can be subject to an instability that triggers the appearance of an additional horizontally-structured cellular flow. We determine the instability threshold numerically, in terms of the Rossby number Ro associated to the Stokes drift of the waves and the Ekman number E. We confirm the numerical results through asymptotic expansions at both large and low Ekman number. At large E the instability reduces to that of a standard Ekman spiral driven by the wave-induced surface stress instead of a wind stress, while at low E the Stokes-drift profile crucially determines the shape of the unstable mode. In both limits the instability threshold asymptotes to an Ekman-number-independent critical Rossby number, which in both cases also corresponds to a critical Reynolds number associated to the Lagrangian base-flow velocity profile. Parameter values typical of ocean swell fall into the low-E unstable regime: the corresponding "anti-Stokes" flows are unstable, with possible consequences for particle dispersion and mixing.


title: A class of solitons in Maxwell-scalar and Einstein-Maxwell-scalar models

abstract: Recently, no-go theorems for the existence of solitonic solutions in Einstein-Maxwell-scalar (EMS) models have been established in arXiv:1902.07721. Here we discuss how these theorems can be circumvented by a specific class of non-minimal coupling functions between a real, canonical scalar field and the electromagnetic field. When the non-minimal coupling function diverges in a specific way near the location of a point charge, it regularises all physical quantities yielding an everywhere regular, localised lump of energy. Such solutions are possible even in flat spacetime Maxwell-scalar models, wherein the model is fully integrable in the spherical sector, and exact solutions can be obtained, yielding an explicit mechanism to de-singularise the Coulomb field. Considering their gravitational backreaction, the corresponding (numerical) EMS solitons provide a simple example of self-gravitating, localised energy lumps.


title: Superposition principle for non-local Fokker-Planck operators

abstract: We prove the superposition principle for probability measure-valued solutions to non-local Fokker-Planck equations, which in turn yields the equivalence between martingale problems for SDEs with jumps and such non-local PDEs with rough coefficients. As an application, we obtain a probabilistic representation for weak solutions of fractional porous media equations.


title: Some results on retracts of polynomial rings

abstract: In this paper, we first consider the relationship between a polynomial ring $B$ over a Noetherian domain $R$ and the ring of invariants $A$ of a ${\mathbb G}_a$-action on $B$, when $A$ occurs as a retract of $B$. Next, we study retracts of a polynomial ring in general and address the questions of D. L. Costa raised in \cite{C}. Finally, we examine the behaviour of ideals and certain properties of rings under retractions.


title: Simple Strategies in Multi-Objective MDPs (Technical Report)

abstract: We consider the verification of multiple expected reward objectives at once on Markov decision processes (MDPs). This enables a trade-off analysis among multiple objectives by obtaining the Pareto front. We focus on strategies that are easy to employ and implement. That is, strategies that are pure (no randomization) and have bounded memory. We show that checking whether a point is achievable by a pure stationary strategy is NP-complete, even for two objectives, and we provide an MILP encoding to solve the corresponding problem. The bounded memory case can be reduced to the stationary one by a product construction. Experimental results using \Storm and Gurobi show the feasibility of our algorithms.


title: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

abstract: We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very precise information as to where such sets are located within the hierarchy of infinite Dedekind-finite sets.


title: Free energy of the self-interacting relativistic lattice Bose gas at finite density

abstract: The density of state approach has recently been proposed as a potential route to circumvent the sign problem in systems at finite density. In this study, using the Linear Logarithmic Relaxation (LLR) algorithm, we extract the generalised density of states, which is defined in terms of the imaginary part of the action, for the self-interacting relativistic lattice Bose gas at finite density. After discussing the implementation and testing the reliability of our approach, we focus on the determination of the free energy difference between the full system and its phase-quenched counterpart. Using a set of lattices ranging from $4^4$ to $16^4$ , we show that in the low density phase, this overlap free energy can be reliably extrapolated to the thermodynamic limit. The numerical precision we obtain with the LLR method allows us to determine with sufficient accuracy the expectation value of the phase factor, which is used in the calculation of the overlap free energy, down to values of ${\cal O}(10^{-480})$. When phase factor measurements are extended to the dense phase, a change of behaviour of the overlap free energy is clearly visible as the chemical potential crosses a critical value. Using fits inspired by the approximate validity of mean-field theory, which is confirmed by our simulations, we extract the critical chemical potential as the non-analyticity point in the overlap free energy, obtaining a value that is in agreement with other determinations. Implications of our findings and potential improvements of our methodology are also discussed.


title: Patients, Primary Care, and Policy: Simulation Modeling for Health Care Decision Support

abstract: Demand for health care is constantly increasing due to the ongoing demographic change, while at the same time health service providers face difficulties in finding skilled personnel. This creates pressure on health care systems around the world, such that the efficient, nationwide provision of primary health care has become one of society's greatest challenges. Due to the complexity of health care systems, unforeseen future events, and a frequent lack of data, analyzing and optimizing the performance of health care systems means tackling a wicked problem. To support this task for primary care, this paper introduces the hybrid agent-based simulation model SiM-Care. SiM-Care models the interactions of patients and primary care physicians on an individual level. By tracking agent interactions, it enables modelers to assess multiple key indicators such as patient waiting times and physician utilization. Based on these indicators, primary care systems can be assessed and compared. Moreover, changes in the infrastructure, patient behavior, and service design can be directly evaluated. To showcase the opportunities offered by SiM-Care and aid model validation, we present a case study for a primary care system in Germany. Specifically, we investigate the effects of an aging population, a decrease in the number of physicians, as well as the combined effects.


title: The Performance Envelope of Inverted Indexing on Modern Hardware

abstract: This paper explores the performance envelope of "traditional" inverted indexing on modern hardware using the implementation in the open-source Lucene search library. We benchmark indexing throughput on a single high-end multi-core commodity server in a number of configurations varying the media of the source collection and target index, examining a network-attached store, a direct-attached disk array, and an SSD. Experiments show that the largest determinants of performance are the physical characteristics of the source and target media, and that physically isolating the two yields the highest indexing throughput. Results suggest that current indexing techniques have reached physical device limits, and that further algorithmic improvements in performance are unlikely without rethinking the inverted indexing pipeline in light of observed bottlenecks.


title: Gravitational Waves and Loop Quantum Gravity

abstract: Loop Quantum Gravity is a formalism for describing the quantum mechanics of the gravitational field based on the canonical quantization of General Relativity. The most important result of LQG is that geometric quantities such as area and volume are not arbitrary but are quantized in terms of a minimum length. In this paper we investigate the effect of a minimum length in wave propagation. We find that the minimum length, combined with the constancy of the speed of light, induces a quantization of the energy of a gravitational wave.