title: Comparative Sentiment Analysis of App Reviews

abstract: Google app market captures the school of thought of users via ratings and text reviews. The critique's viewpoint regarding an app is proportional to their satisfaction level. Consequently, this helps other users to gain insights before downloading or purchasing the apps. The potential information from the reviews can't be extracted manually, due to its exponential growth. Sentiment analysis, by machine learning algorithms employing NLP, is used to explicitly uncover and interpret the emotions. This study aims to perform the sentiment classification of the app reviews and identify the university students' behavior towards the app market. We applied machine learning algorithms using the TF-IDF text representation scheme and the performance was evaluated on the ensemble learning method. Our model was trained on Google reviews and tested on students' reviews. SVM recorded the maximum accuracy(93.37\%), F-score(0.88) on tri-gram + TF-IDF scheme. Bagging enhanced the performance of LR and NB with accuracy of 87.80\% and 85.5\% respectively.


title: Probabilistic orientation estimation with matrix Fisher distributions

abstract: This paper focuses on estimating probability distributions over the set of 3D rotations ($SO(3)$) using deep neural networks. Learning to regress models to the set of rotations is inherently difficult due to differences in topology between $\mathbb{R}^N$ and $SO(3)$. We overcome this issue by using a neural network to output the parameters for a matrix Fisher distribution since these parameters are homeomorphic to $\mathbb{R}^9$. By using a negative log likelihood loss for this distribution we get a loss which is convex with respect to the network outputs. By optimizing this loss we improve state-of-the-art on several challenging applicable datasets, namely Pascal3D+, ModelNet10-$SO(3)$ and UPNA head pose.


title: Effect of grain size distribution and size-dependent grain heating on molecular abundances in starless and pre-stellar cores

abstract: We present a new gas-grain chemical model to constrain the effect of grain size distribution on molecular abundances in starless and pre-stellar cores. We introduce grain-size dependence simultaneously for cosmic-ray (CR)-induced desorption efficiency and for grain equilibrium temperatures. We keep explicit track of ice abundances on a set of grain populations. We find that the size-dependent CR desorption efficiency affects ice abundances in a highly non-trivial way that depends on the molecule. Species that originate in the gas phase follow a simple pattern where the ice abundance is highest on the smallest grains (the most abundant in the distribution). Some molecules, such as HCN, are instead concentrated on large grains throughout the time evolution, while others (like $\rm N_2$) are initially concentrated on large grains, but at late times on small grains, due to grain-size-dependent competition between desorption and hydrogenation. Most of the water ice is on small grains at high medium density ($n({\rm H_2}) \gtrsim 10^6 \, \rm cm^{-3}$), where the water ice fraction, with respect to total water ice reservoir, can be as low as $\sim 10^{-3}$ on large (> 0.1 $\mu$m) grains. Allowing the grain equilibrium temperature to vary with grain size induces strong variations in relative ice abundances in low-density conditions where the interstellar radiation field and in particular its ultraviolet component are not attenuated. Our study implies consequences not only for the initial formation of ices preceding the starless core stage, but also for the relative ice abundances on the grain populations going into the protostellar stage. In particular, if the smallest grains can lose their mantles due to grain-grain collisions as the core is collapsing, the ice composition in the beginning of the protostellar stage could be very different to that in the pre-collapse phase.


title: The correlation of high-redshift galaxies with the thermal Sunyaev-Zel'dovich effect traces reionization

abstract: We explore a potential new probe of reionization: the cross-correlation of high-redshift galaxies with maps of the thermal Sunyaev-Zel'dovich (tSZ) effect. We consider two types of high redshift galaxies: Lyman break galaxies (LBGs) and Lyman-$\alpha$ emitters (LAEs). LBGs and LAEs will be detected in large numbers at high redshift ($z \approx$ 4 to 7) by ongoing and future surveys. We consider a LBG sample like that expected from the The Rubin Observatory Legacy Survey of Space and Time (LSST), and a selection of LAEs modelled after the Subaru SILVERRUSH program, but covering a much larger sky fraction. The tSZ effect is sensitive to a line-of-sight integral of the ionized gas pressure, and can be measured across large patches of the sky using multi-frequency CMB surveys. We consider forecast tSZ maps from CMB Stage 4 and more futuristic observations. Using a suite of hydrodynamical simulations, we show that the high-redshift galaxies are correlated with the tSZ signal from reionization, with cross-power amplitude of order $10^{-15}$ at $\ell \sim 1000$. The cross-spectra between LBGs/LAEs with tSZ maps contain information about the reionization history of the Universe, such as the distribution of bubble sizes, and could in principle be used to directly measure the timing of reionization. The amplitude of the signal is small, however, and its detectability is hindered by low-redshift contributions to tSZ maps and by instrumental noise. If the the low-redshift contribution to the observed tSZ signal is suppressed by masking of massive halos, a combination of overlapping futuristic CMB and galaxy surveys could potentially probe this signal.


title: Order conditions for sampling the invariant measure of ergodic stochastic differential equations on manifolds

abstract: We derive a new methodology for the construction of high order integrators for sampling the invariant measure of ergodic stochastic differential equations with dynamics constrained on a manifold. We obtain the order conditions for sampling the invariant measure for a class of Runge-Kutta methods applied to the constrained overdamped Langevin equation. The analysis is valid for arbitrarily high order and relies on an extension of the exotic aromatic Butcher-series formalism. To illustrate the methodology, a method of order two is introduced, and numerical experiments on the sphere, the torus and the special linear group confirm the theoretical findings.


title: Populating the Black Hole Mass Gaps In Stellar Clusters: General Relations and Upper Limits

abstract: Theory and observations suggest that single-star evolution is not able to produce black holes (BHs) with masses in the range $3-5M_{\odot}$ and above $\sim 45M_{\odot}$, referred to as the lower mass gap (LMG) and the upper mas gap (UMG), respectively. However, it is possible to form BHs in these gaps through merger of compact objects in dense clusters, e.g. the LMG and the UMG can be populated through binary neutron star- and BBH mergers, respectively. This implies that if binary mergers are observed in gravitational waves (GWs) with at least one mass gap object, then either clusters are effective in assembling binary mergers, or our single-star models have to be revised. Understanding how effective clusters are at populating both mass gaps have therefore major implications for both stellar- and GW astrophysics. In this paper we present a systematic study on how efficient stellar clusters are at populating both mass gaps through in-cluster GW mergers. For this, we derive a set of closed form relations for describing the evolution of compact object binaries undergoing dynamical interactions and GW merger inside their cluster. By considering both static and time evolving populations, we find in particular that globular clusters are clearly inefficient at populating the LMG in contrast to the UMG. We further describe how these results relate to the characteristic mass, time, and length scales associated with the problem.


title: SnapBoost: A Heterogeneous Boosting Machine

abstract: Modern gradient boosting software frameworks, such as XGBoost and LightGBM, implement Newton descent in a functional space. At each boosting iteration, their goal is to find the base hypothesis, selected from some base hypothesis class, that is closest to the Newton descent direction in a Euclidean sense. Typically, the base hypothesis class is fixed to be all binary decision trees up to a given depth. In this work, we study a Heterogeneous Newton Boosting Machine (HNBM) in which the base hypothesis class may vary across boosting iterations. Specifically, at each boosting iteration, the base hypothesis class is chosen, from a fixed set of subclasses, by sampling from a probability distribution. We derive a global linear convergence rate for the HNBM under certain assumptions, and show that it agrees with existing rates for Newton's method when the Newton direction can be perfectly fitted by the base hypothesis at each boosting iteration. We then describe a particular realization of a HNBM, SnapBoost, that, at each boosting iteration, randomly selects between either a decision tree of variable depth or a linear regressor with random Fourier features. We describe how SnapBoost is implemented, with a focus on the training complexity. Finally, we present experimental results, using OpenML and Kaggle datasets, that show that SnapBoost is able to achieve better generalization loss than competing boosting frameworks, without taking significantly longer to tune.


title: Restoring process of sunspot penumbra

abstract: We describe the disappearance of a sector of sunspot penumbra and its restoring process observed in the preceding sunspot of active region NOAA 12348. The evolution of the magnetic field and the plasma flows support the idea that the penumbra forms due to a change of inclination of the magnetic field of the canopy. Moving magnetic features have been observed during the disintegration phase of that sector of sunspot penumbra. During the restoring phase we have not observed any magnetic flux emergence around the sunspot. The restoring process of the penumbra sector completed in about 72 hours and it was accompanied by the transition from the counter-Evershed flow to the classical Evershed flow. The inversion of photospheric spectropolarimetric measurements taken by IBIS allowed us to reconstruct how the uncombed configuration of the magnetic field forms during the new settlement of the penumbra, i.e., the vertical component of the magnetic field seems to be progressively replaced by some horizontal field lines, corresponding to the intra-spines.


title: Research and development of MolAICal for drug design via deep learning and classical programming

abstract: Deep learning methods have permeated into the research area of computer-aided drug design. The deep learning generative model and classical algorithm can be simultaneously used for three-dimensional (3D) drug design in the 3D pocket of the receptor. Here, three aspects of MolAICal are illustrated for drug design: in the first part, the MolAICal uses the genetic algorithm, Vinardo score and deep learning generative model trained by generative adversarial net (GAN) for drug design. In the second part, the deep learning generative model is trained by drug-like molecules from the drug database such as ZINC database. The MolAICal invokes the deep learning generative model and molecular docking for drug virtual screening automatically. In the third part, the useful drug tools are added for calculating the relative properties such as Pan-assay interference compounds (PAINS), Lipinski's rule of five, synthetic accessibility (SA), and so on. Besides, the structural similarity search and quantitative structure-activity relationship (QSAR), etc are also embedded for the calculations of drug properties in the MolAICal. MolAICal will constantly optimize and develop the current and new modules for drug design. The MolAICal can help the scientists, pharmacists and biologists to design the rational 3D drugs in the receptor pocket through the deep learning model and classical programming. MolAICal is free of charge for any academic and educational purposes, and it can be downloaded from the website https://molaical.github.io.


title: Entanglement Transition in the Projective Transverse Field Ising Model

abstract: Discrete quantum trajectories of systems under random unitary gates and projective measurements have been shown to feature transitions in the entanglement scaling that are not encoded in the density matrix. In this paper, we study the projective transverse field Ising model, a stochastic model with two noncommuting projective measurements and no unitary dynamics. We numerically demonstrate that their competition drives an entanglement transition between two distinct steady states that both exhibit area law entanglement, and introduce a classical but nonlocal model that captures the entanglement dynamics completely. Exploiting a map to bond percolation, we argue that the critical system in one dimension is described by a conformal field theory, and derive the universal scaling of the entanglement entropy and the critical exponent for the scaling of the mutual information of two spins exactly. We conclude with an interpretation of the entanglement transition in the context of quantum error correction.


title: Turning point principle for relativistic stars

abstract: Upon specifying an equation of state, spherically symmetric steady states of the Einstein-Euler system are embedded in 1-parameter families of solutions, characterized by the value of their central redshift. In the 1960's Zel'dovich [50] and Wheeler [22] formulated a turning point principle which states that the spectral stability can be exchanged to instability and vice versa only at the extrema of mass along the mass-radius curve. Moreover the bending orientation at the extrema determines whether a growing mode is gained or lost. We prove the turning point principle and provide a detailed description of the linearized dynamics. One of the corollaries of our result is that the number of growing modes grows to infinity as the central redshift increases to infinity.


title: TESS unveils the optical phase curve of KELT-1b. Thermal emission and ellipsoidal variation from the brown dwarf companion, and activity from the star

abstract: We present the detection and analysis of the phase curve of KELT-1b at optical wavelengths, analyzing data taken by the Transiting Exoplanet Survey Satellite (TESS). With a mass of ~27 M_J, KELT-1b is a low-mass brown dwarf. Due to the high mass and close proximity of its companion, the host star has a TESS light curve which shows clear ellipsoidal variations. We model the data with a six-component model: secondary eclipse, phase curve accounting for reflected light and thermal emission, Doppler beaming, ellipsoidal variations, stellar activity and the primary transit. We determine the secondary eclipse depth in the TESS bandpass to be 304 +/- 75 parts-per-million (ppm), the most accurate eclipse depth determined so far for KELT-1b. We measure the amplitude of the phase curve to be 128 +/- 27 ppm, with a corresponding eastward offset between the region of maximum brightness and the substellar point of 19.2 +/- 9.6 degrees, in good agreement with Spitzer measurements. We determine day and night brightness temperatures of 3201 +/- 147 K and 1484 +/- 110 K, respectively, slightly higher than those from Spitzer 3.6 and 4.5 micrometer data. A one-dimensional self-consistent atmospheric model can explain the TESS and Spitzer day side brightness temperatures with thermal emission alone and no reflected light. The night side data can be explained by a model with an internal temperature of ~1100 K, which may be related to the inflated radius. The difference between the TESS and Spitzer brightness temperatures can be explained by stronger molecular opacity in the Spitzer bands. On the night side, this opacity is due primarily to CH4 and CO while on the day side it is due to H2-H2 and H2-He collision-induced absorption.


title: Proton Tracking Algorithm in a Pixel-Based Range Telescope for Proton Computed Tomography

abstract: Proton Computed Tomography (CT) is a prototype imaging modality for the reconstruction of the Relative Stopping Power of a patient, for more accurate calculations of the dose distributions in proton therapy dose planning. The measurements needed for the reconstruction of a proton CT image are: i) each initial proton vector incident on the imaged object, ii) each proton vector incident on the front face of the detector and iii) the stopping depth of each proton in the detector. In this study, a track reconstruction algorithm is adapted for a planned pixel-based particle-tracking range telescope for proton CT, called the Digital Tracking Calorimeter (DTC). The algorithm is based on the track-following scheme, in which a growing track searches for deeper-laying activated pixels, while minimizing the accumulated angular change. The algorithm is applied to Monte Carlo-simulated output of the DTC, showing that the DTC is able to reconstruct the tracks and find the depths of up to several hundred simultaneous proton tracks.


title: The behavior of $\pi$-submaximal subgroups under homomorphisms with $\pi$-separable kernels

abstract: We explore the extent to which constructing the inductive theory of $\mathfrak{X}$-submaximal subgroups is possible. To this end, we study the behavior of $\pi$-submaximal subgroups under homomorphisms with $\pi$-separable kernels and construct examples where such behavior is irregular.


title: Nonlinearity induced topological physics in momentum space and real space

abstract: Nonlinearity induced topological properties in nonlinear lattice systems are studied in both momentum space and real space. Experimentally realizable through the Kerr effect on photonic waveguide systems, our working model depicts on-site nonlinearity added to the Su-Schrieffer-Heeger (SSH) model plus a chiral-symmetry breaking term. Under the periodic-boundary condition, two of the nonlinear energy bands approach the energy bands of the chiral-symmetric SSH model as nonlinearity strength increases. Further, we account for a correction to the Zak phase and obtain a general expression for nonlinear Zak phases. For sufficiently strong nonlinearity, the sum of all nonlinear Zak phases (not the sum of all conventional Zak phases) is found to be quantized. In real space, it is discovered that there is a strong interplay between nonlinear solitons and the topologically protected edge states of the associated chiral-symmetric linear system. Nonlinearity can recover the degeneracy between two edge soliton states, albeit a chiral-symmetry breaking term. We also reveal the topological origin of in-gap solitons even when the associated linear system is in the topological trivial regime. These momentum-space and real-space results have clearly demonstrated new topological features induced by nonlinearity, indicating that topological physics in nonlinear lattice systems is far richer than previously thought.


title: How isotropic kernels perform on simple invariants

abstract: We investigate how the training curve of isotropic kernel methods depends on the symmetry of the task to be learned, in several settings. (i) We consider a regression task, where the target function is a Gaussian random field that depends only on $d_\parallel$ variables, fewer than the input dimension $d$. We compute the expected test error $\epsilon$ that follows $\epsilon\sim p^{-\beta}$ where $p$ is the size of the training set. We find that $\beta\sim 1/d$ independently of $d_\parallel$, supporting previous findings that the presence of invariants does not resolve the curse of dimensionality for kernel regression. (ii) Next we consider support-vector binary classification and introduce the stripe model where the data label depends on a single coordinate $y(\underline{x}) = y(x_1)$, corresponding to parallel decision boundaries separating labels of different signs, and consider that there is no margin at these interfaces. We argue and confirm numerically that for large bandwidth, $\beta = \frac{d-1+\xi}{3d-3+\xi}$, where $\xi\in (0,2)$ is the exponent characterizing the singularity of the kernel at the origin. This estimation improves classical bounds obtainable from Rademacher complexity. In this setting there is no curse of dimensionality since $\beta\rightarrow 1 / 3$ as $d\rightarrow\infty$. (iii) We confirm these findings for the spherical model for which $y(\underline{x}) = y(|\underline{x}|)$. (iv) In the stripe model, we show that if the data are compressed along their invariants by some factor $\lambda$ (an operation believed to take place in deep networks), the test error is reduced by a factor $\lambda^{-\frac{2(d-1)}{3d-3+\xi}}$.


title: On a family of singular continuous measures related to the doubling map

abstract: Here, we study some measures that can be represented by infinite Riesz products of 1-periodic functions and are related to the doubling map. We show that these measures are purely singular continuous with respect to Lebesgue measure and that their distribution functions satisfy super-polynomial asymptotics near the origin, thus providing a family of extremal examples of singular measures, including the Thue--Morse measure.


title: Extending the Breakthrough Listen nearby star survey to other stellar objects in the field

abstract: We extend the source sample recently observed by the Breakthrough Listen Initiative by including additional stars (with parallaxes measured by Gaia) that also reside within the FWHM of the GBT and Parkes radio telescope target fields. These stars have estimated distances as listed in the extensions of the Gaia DR2 catalogue. Enlarging the sample from 1327 to 288315 stellar objects permits us to achieve substantially better Continuous Waveform Transmitter Rate Figures of Merit (CWTFM) than any previous analysis, and allows us to place the tightest limits yet on the prevalence of nearby high-duty-cycle extraterrestrial transmitters. The results suggest $\lesssim 0.0660^{+0.0004}_{-0.0003}$% of stellar systems within 50 pc host such transmitters (assuming an EIRP $ \gtrsim 10^{13}$ W) and $\lesssim 0.039^{+0.004}_{-0.008}$% within 200 pc (assuming an EIRP $\gtrsim 2.5 \times 10^{14}$ W). We further extend our analysis to much greater distances, though we caution that the detection of narrow-band signals beyond a few hundred pc may be affected by interstellar scintillation. The extended sample also permits us to place new constraints on the prevalence of extraterrestrial transmitters by stellar type and spectral class. Our results suggest targeted analyses of SETI radio data can benefit from taking into account the fact that in addition to the target at the field centre, many other cosmic objects reside within the primary beam response of a parabolic radio telescope. These include foreground and background galactic stars, but also extragalactic systems. With distances measured by Gaia, these additional sources can be used to place improved limits on the prevalence of extraterrestrial transmitters, and extend the analysis to a wide range of cosmic objects.


title: Magnetic properties of two-dimensional M$_2$N$_3$ (M-metal, N=S,Se,Te) compounds

abstract: Using \textit{ab-initio} methods we study structural, electronic and magnetic properties of two dimensional compounds with stoichiometry M$_2$N$_3$ (M-metal, N=S,Se,Te). Our study shows that structures with Cr, Ti, and Mn are stable, with significant binding energy. Also, such structures are semiconductors with narrow band gaps. We also show that Cr$_2$Se$_3$, Cr$_2$Te$_3$ and Mn$_2$Te$_3$ have considerable magnetic moments. The negative values of magnetic anisotropy energy suggest, that these materials can maintain ferromagnetic ordering in non-zero temperatures with estimated Curie temperatures in the range of 30-55 K.


title: From few to many bosons inside the unitary window: a transition between universal to non-universal behavior

abstract: Universal behaviour in few-bosons systems close to the unitary limit, where two bosons become unbound, has been intensively investigated in recent years both experimentally and theoretically. In this particular region, called the unitary window, details of the inter-particle interactions are not important and observables, such as binding energies, can be characterized by a few parameters. With an increasing number of particles the short-range repulsion, present in all atomic, molecular or nuclear interactions, gradually induces deviations from the universal behaviour. In the present letter we discuss for the first time a simple way of incorporating non-universal behaviour through one specific parameter which controls the smooth transition of the system from universal to non-universal regime. Using a system of $N$ helium atoms as an example we calculate their ground state energies as trajectories within the unitary window and also show that the control parameters can be used to determine the energy per particle in homogeneous systems when $N \rightarrow \infty$.


title: Hamiltonian decompositions of 4-regular Cayley graphs of infinite abelian groups

abstract: A well-known conjecture of Alspach says that every $2k$-regular Cayley graph of an abelian group can be decomposed into Hamiltonian cycles. We consider an analogous question for infinite abelian groups. In this setting one natural analogue of a Hamiltonian cycle is a spanning double-ray. However, a naive generalisation of Alspach's conjecture fails to hold in this setting due to the existence of $2k$-regular Cayley graphs with finite cuts $F$ where $|F|$ and $k$ differ in parity, which necessarily preclude the existence of a decomposition into spanning double-rays. We show that every $4$-regular Cayley graph of an infinite abelian group all of whose finite cuts are even can be decomposed into spanning double-rays, and so characterise when such decompositions exist. We also characterise when such graphs can be decomposed either into Hamiltonian circles, a more topological generalisation of a Hamiltonian cycle in infinite graphs, or into a Hamiltonian circle and a spanning double-ray.


title: Machine learning driven simulated deposition of carbon films: from low-density to diamondlike amorphous carbon

abstract: Amorphous carbon (a-C) materials have diverse interesting and useful properties, but the understanding of their atomic-scale structures is still incomplete. Here, we report on extensive atomistic simulations of the deposition and growth of a-C films, describing interatomic interactions using a machine learning (ML) based Gaussian Approximation Potential (GAP) model. We expand widely on our initial work [Phys. Rev. Lett. 120, 166101 (2018)] by now considering a broad range of incident ion energies, thus modeling samples that span the entire range from low-density ($sp^{2}$-rich) to high-density ($sp^{3}$-rich, "diamond-like") amorphous forms of carbon. Two different mechanisms are observed in these simulations, depending on the impact energy: low-energy impacts induce $sp$- and $sp^{2}$-dominated growth directly around the impact site, whereas high-energy impacts induce peening. Furthermore, we propose and apply a scheme for computing the anisotropic elastic properties of the a-C films. Our work provides fundamental insight into this intriguing class of disordered solids, as well as a conceptual and methodological blueprint for simulating the atomic-scale deposition of other materials with ML-driven molecular dynamics.


title: Evaluation of 3D CNN Semantic Mapping for Rover Navigation

abstract: Terrain assessment is a key aspect for autonomous exploration rovers, surrounding environment recognition is required for multiple purposes, such as optimal trajectory planning and autonomous target identification. In this work we present a technique to generate accurate three-dimensional semantic maps for Martian environment. The algorithm uses as input a stereo image acquired by a camera mounted on a rover. Firstly, images are labeled with DeepLabv3+, which is an encoder-decoder Convolutional Neural Networl (CNN). Then, the labels obtained by the semantic segmentation are combined to stereo depth-maps in a Voxel representation. We evaluate our approach on the ESA Katwijk Beach Planetary Rover Dataset.


title: Maximum Roaming Multi-Task Learning

abstract: Multi-task learning has gained popularity due to the advantages it provides with respect to resource usage and performance. Nonetheless, the joint optimization of parameters with respect to multiple tasks remains an active research topic. Sub-partitioning the parameters between different tasks has proven to be an efficient way to relax the optimization constraints over the shared weights, may the partitions be disjoint or overlapping. However, one drawback of this approach is that it can weaken the inductive bias generally set up by the joint task optimization. In this work, we present a novel way to partition the parameter space without weakening the inductive bias. Specifically, we propose Maximum Roaming, a method inspired by dropout that randomly varies the parameter partitioning, while forcing them to visit as many tasks as possible at a regulated frequency, so that the network fully adapts to each update. We study the properties of our method through experiments on a variety of visual multi-task data sets. Experimental results suggest that the regularization brought by roaming has more impact on performance than usual partitioning optimization strategies. The overall method is flexible, easily applicable, provides superior regularization and consistently achieves improved performances compared to recent multi-task learning formulations.


title: Longitudinal Variational Autoencoder

abstract: Longitudinal datasets measured repeatedly over time from individual subjects, arise in many biomedical, psychological, social, and other studies. A common approach to analyse high-dimensional data that contains missing values is to learn a low-dimensional representation using variational autoencoders (VAEs). However, standard VAEs assume that the learnt representations are i.i.d., and fail to capture the correlations between the data samples. We propose the Longitudinal VAE (L-VAE), that uses a multi-output additive Gaussian process (GP) prior to extend the VAE's capability to learn structured low-dimensional representations imposed by auxiliary covariate information, and derive a new KL divergence upper bound for such GPs. Our approach can simultaneously accommodate both time-varying shared and random effects, produce structured low-dimensional representations, disentangle effects of individual covariates or their interactions, and achieve highly accurate predictive performance. We compare our model against previous methods on synthetic as well as clinical datasets, and demonstrate the state-of-the-art performance in data imputation, reconstruction, and long-term prediction tasks.


title: Constructing higher dimensional exact black holes in Einstein-Maxwell-scalar-theory

abstract: We construct higher dimensional and exact black holes in Einstein-Maxwell-scalar-theory. The strategy we adopted is to extend the known, static and spherically symmetric black holes in the Einstein-Maxwell-dilaton gravity and Einstein-Maxwell-scalar theory. Then we investigate the black hole thermodynamics. Concretely, the generalized Smarr formula and the first law of thermodynamics are derived.


title: Real Representations of $C_2$-Graded Groups: The Antilinear Theory

abstract: We use the structure of finite-dimensional graded algebras to develop the theory of antilinear representations of finite $C_2$-graded groups. A finite $C_2$-graded group is a finite group with a subgroup of index 2. In this theory the subgroup acts linearly, while the other coset acts antilinearly. We introduce antilinear blocks, whose structure is a crucial component of the theory. Among other things, we study characters and Frobenius-Schur indicators. As an example, we describe the antilinear representations of the $C_2$-graded group $A_n \leq S_n$.


title: Improving unsupervised neural aspect extraction for online discussions using out-of-domain classification

abstract: Deep learning architectures based on self-attention have recently achieved and surpassed state of the art results in the task of unsupervised aspect extraction and topic modeling. While models such as neural attention-based aspect extraction (ABAE) have been successfully applied to user-generated texts, they are less coherent when applied to traditional data sources such as news articles and newsgroup documents. In this work, we introduce a simple approach based on sentence filtering in order to improve topical aspects learned from newsgroups-based content without modifying the basic mechanism of ABAE. We train a probabilistic classifier to distinguish between out-of-domain texts (outer dataset) and in-domain texts (target dataset). Then, during data preparation we filter out sentences that have a low probability of being in-domain and train the neural model on the remaining sentences. The positive effect of sentence filtering on topic coherence is demonstrated in comparison to aspect extraction models trained on unfiltered texts.


title: Viscoelastic and poroelastic relaxations of soft solid surfaces

abstract: Understanding surface mechanics of soft solids, such as soft polymeric gels, is crucial in many engineering processes, such as dynamic wetting and adhesive failure. In these situations, a combination of capillary and elastic forces drives the motion, which is balanced by dissipative mechanisms to determine the rate. While shear rheology (i.e. viscoelasticity) has long been assumed to dominate the dissipation, recent works have suggested that compressibility effects (i.e. poroelasticity) could play roles in swollen networks. We use fast interferometric imaging to quantify the relaxation of surface deformations due to a displaced contact line. By systematically measuring the profiles at different time and length scales, we experimentally observe a crossover from viscoelastic to poroelastic surface relaxations.


title: Finite Horizon Impulse control of Stochastic Functional Differential Equations

abstract: In this work we show that one can solve a finite horizon non-Markovian impulse control problem with control dependant dynamics. This dynamic satisfies certain functional Lipschitz conditions and is path dependent in such a way that the resulting trajectory becomes a flow.


title: Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners

abstract: The first step of every attack is reconnaissance, i.e., to acquire information about the target. A common belief is that there is almost no risk in scanning a target from a remote location. In this paper we falsify this belief by showing that scanners are exposed to the same risks as their targets. Our methodology is based on a novel attacker model where the scan author becomes the victim of a counter-strike. We developed a working prototype, called RevOK, and we applied it to 78 scanning systems. Out of them, 36 were found vulnerable to XSS. Remarkably, RevOK also found a severe vulnerability in Metasploit Pro, a mainstream penetration testing tool.


title: A Berry-Esseen theorem for sample quantiles under association

abstract: In this paper, the uniformly asymptotic normality for sample quantiles of associated random variables is investigated under some conditions on the decay of the covariances. We obtain the rate of normal approximation of order $O(n^{-1/2}\log^2 n)$ if the covariances decrease exponentially to $0$. The best rate is shown as $O(n^{-1/3})$ under a polynomial decay of the covariances.


title: Breathing modes of repulsive polarons in Bose-Bose mixtures

abstract: We consider impurity atoms embedded in a two-component Bose-Einstein condensate in a quasi-one dimensional regime. We study the effects of repulsive coupling between the impurities and Bose species on the equilibrium of the system for both miscible and immiscible mixtures by numerically solving the underlying coupled Gross-Pitaevskii equations. Our results reveal that the presence of impurities may lead to a miscible-immiscible phase transition due to the interaction of the impurities and the two condensates. Within the realm of the Bogoliubov-de Gennes equations we calculate the quantum fluctuations due to the different types of interactions. The breathing modes and the time evolution of harmonically trapped impurities in both homogeneous and inhomogeneous binary condensates are deeply discussed in the miscible case using variational and numerical means. We show in particular that the self-trapping, the miscibility and the inhomogeneity of the trapped Bose mixture may strongly modify the low-lying excitations and the dynamical properties of impurities. The presence of phonons in the homogeneous Bose mixture gives rise to the damping of breathing oscillations of impurities width.


title: Mitosis Detection Under Limited Annotation: A Joint Learning Approach

abstract: Mitotic counting is a vital prognostic marker of tumor proliferation in breast cancer. Deep learning-based mitotic detection is on par with pathologists, but it requires large labeled data for training. We propose a deep classification framework for enhancing mitosis detection by leveraging class label information, via softmax loss, and spatial distribution information among samples, via distance metric learning. We also investigate strategies towards steadily providing informative samples to boost the learning. The efficacy of the proposed framework is established through evaluation on ICPR 2012 and AMIDA 2013 mitotic data. Our framework significantly improves the detection with small training data and achieves on par or superior performance compared to state-of-the-art methods for using the entire training data.


title: Neural Ordinary Differential Equation Control of Dynamics on Graphs

abstract: We study the ability of neural networks to calculate feedback control signals that steer trajectories of continuous time non-linear dynamical systems on graphs, which we represent with neural ordinary differential equations (neural ODEs). To do so, we present a neural-ODE control (NODEC) framework and find that it can learn feedback control signals that drive graph dynamical systems into desired target states. While we use loss functions that do not constrain the control energy, our results show, in accordance with related work, that NODEC produces low energy control signals. Finally, we evaluate the performance and versatility of NODEC against well-known feedback controllers and deep reinforcement learning. We use NODEC to generate feedback controls for systems of more than one thousand coupled, non-linear ODEs that represent epidemic processes and coupled oscillators.


title: Colour-Specific Microfluidic Droplet Detection for Molecular Communication

abstract: Droplet-based microfluidic systems are a promising platform forlab-on-a-chip (LoC) applications. These systems can also be used toenhance LoC applications with integrated droplet control information or for data transmission scenarios in the context of molecular communication. For both use-cases the detection and characterisation of droplets in small microfluidic channels is crucial. So far, only complex lab setups with restricted capabilities have been presented as detection devices. We present a new low-cost and portable droplet detector. The device is used to confidently distinguish between individual droplets in a droplet-based microfluidic system. Using on-off keying a 16-bit sequence is successfully transmittedfor the first time with such a setup. Furthermore, the devices capabilities to characterise droplets regarding colour and size are demonstrated. Such an application of a spectral sensor in a microfluidic system presents new possibilities, such as colour-coded data transmission or analysis of droplet content.


title: Field evolution of the spin-liquid candidate YbMgGaO$_4$

abstract: We report magnetization, heat capacity, thermal expansion, and magnetostriction measurements down to millikelvin temperatures on the triangular antiferromagnet YbMgGaO$_4$. Our data exclude the formation of the distinct $\frac13$ plateau phase observed in other triangular antiferromagnets, but reveal plateaulike features in second derivatives of the free energy, magnetic susceptibility and specific heat, at $\mu_0H$ = 1.0 - 2.5 T for $H\parallel{}c$ and 2 - 5 T for $H\perp{}c$. Using Monte-Carlo simulations of a realistic spin Hamiltonian, we ascribe these features to nonmonotonic changes in the magnetization and the $\frac12$ plateau that is smeared out by the random distribution of exchange couplings in YbMgGaO$_4$.


title: Critical region in the spatiotemporal dynamics of a turbulent thermoacoustic system and smart passive control

abstract: We develop a passive control strategy for suppressing thermoacoustic instability in a bluff-body stabilized premixed turbulent combustor. When the equivalence ratio is varied, there is a transition from combustion noise to thermoacoustic instability via intermittency in the combustor. We perform simultaneous acoustic pressure, 2D-PIV, and CH$^*$ chemiluminescence measurements to capture the pressure fluctuations, the velocity field, and the heat release rate (HRR) field during the transition. We measure the spatial distribution of the amplitude of turbulent velocity at the acoustic frequency, time-averaged vorticity, time-averaged HRR, and Rayleigh index and identify various regions of significance. We implement a passive control strategy by targeting these regions with a steady injection of secondary micro-jet of air to optimize the injection location and determine the critical region. Targeting the critical region with secondary air leads to greater than 20 dB suppression of the dominant thermoacoustic mode. We observe that the coherent structure forming from the shear layer following the dump plane gets suppressed, leading to an incoherent spatial distribution of HRR fluctuations. We find that the turbulent velocity amplitude correctly identifies the critical region for optimized passive control during thermoacoustic instability. In contrast, the Rayleigh index identifies the region of the most significant acoustic driving; however, it does not identify the region most sensitive to control. Finally, we extend our analysis by determining the spatial distribution of the Hurst exponent measured from the turbulent velocity field. We show that the Hurst exponent identifies the critical region during thermoacoustic instability and intermittency, unlike the other physical measures.


title: The Geometry, Branes and Applications of Exceptional Field Theory

abstract: This is a review of exceptional field theory: a generalisation of Kaluza-Klein theory that unifies the metric and $p$-form gauge field degrees of freedom of supergravity into a generalised or extended geometry, whose additional coordinates may be viewed as conjugate to brane winding modes. This unifies the maximal supergravities, treating their previously-hidden exceptional Lie symmetries as a fundamental geometric symmetry. Duality orbits of solutions simplify into single objects, that in many cases have simple geometric interpretations, for instance as wave or monopole-type solutions. It also provides a route to explore exotic or non-geometric aspects of M-theory, such as exotic branes, U-folds, and more novel sorts of non-Riemannian spaces.


title: Spectral functions in the $\phi^4$-theory from the spectral DSE

abstract: We develop a non-perturbative functional framework for computing real-time correlation functions in strongly correlated systems. The framework is based on the spectral representation of correlation functions and dimensional regularisation. Therefore, the non-perturbative spectral renormalisation setup here respects all symmetries of the theories at hand. In particular this includes space-time symmetries as well as internal symmetries such as chiral symmetry, and gauge symmetries. Spectral renormalisation can be applied within general functional approaches such as the functional renormalisation group, Dyson-Schwinger equations, and two- or $n$-particle irreducible approaches. As an application we compute the full, non-perturbative, spectral function of the scalar field in the $\phi^4$-theory in $2+1$ dimensions from spectral Dyson-Schwinger equations. We also compute the $s$-channel spectral function of the full $\phi^4$-vertex in this theory.


title: Alignment of Radio Galaxy Axes using FIRST Catalogue

abstract: We study the alignment of radio galaxies axes using the FIRST catalogue. we impose several cuts in order to select the candidates which are most likely to be free of systematic bias. In our study we primarily focus on testing for alignment among sources within a certain angular separation from one another since for most sources redshift information is not available. We find a very significant effect for angular distances less than 1 degrees. The distance scale of alignment is found to be roughly 28 Mpc, in agreement with earlier estimates, assuming that these sources are dominantly at redshift of 0.8. However we are not able to entirely rule out the possibility of systematic bias in data. We also perform a full three dimensional analysis using a smaller data sample for which redshift information is available. In this case we only find a very weak signal at much larger distances.


title: Large-Scale, Precision Xenon Doping of Liquid Argon

abstract: The detection of scintillation light from liquid argon is an experimental technique key to a number of current and future nuclear/particle physics experiments, such as neutrino physics, neutrinoless double beta decay and dark matter searches. Although the idea of adding small quantities of xenon (doping) to enhance the light yield has attracted considerable interest, this technique has never been demonstrated at the necessary scale or precision. Here we report on xenon doping in a 100 l cryogenic vessel. Xenon doping was performed in four concentrations of 1.00$\pm$0.06 ppm, 2.0$\pm$0.1 ppm, 5.0$\pm$0.3 ppm, and 10.0$\pm$0.5 ppm. These measurements represent the most precise xenon doping measurements as of publishing. We observed an increase in average light yield by a factor of 1.92$\pm$0.12(syst)$\pm$0.02(stat) at a dopant concentration of 10 ppm.


title: The time-dependent mass of cosmological perturbations in loop quantum cosmology: Dapor-Liegener regularization

abstract: In this work, we compute the time-dependent masses that govern the dynamics of scalar and tensor perturbations propagating on an effective flat, homogeneous, and isotropic background within the framework of loop quantum cosmology, regularized according to the procedure put forward by Dapor and Liegener. To do so, we follow the two main approaches that, in the field of loop quantum cosmology, lead to hyperbolic equations for the perturbations in the ultraviolet sector: the hybrid and dressed metric formalisms. This allows us to compare the masses resulting from both proposals and analyze their positivity in regimes of physical interest: the big bounce and the contracting de Sitter phase in the asymptotic past that is a defining feature of the model under consideration.


title: Correlation functions in mixtures with energetically favoured nearest-neighbours of different kind: a size-asymmetric case

abstract: Binary mixtures of hard-spheres with different diameters and square-well attraction between different particles are studied by theory and Monte Carlo simulations. In our mesoscopic theory, local fluctuations of the volume fraction of the two components are taken into account. Semi-quantitative agreement between the simulation and theoretical results is obtained, except from very small distances. The correlation functions exhibit exponentially damped oscillations, with the period determined by the interaction potential, and both the amplitude and the correlation length increasing significantly with increasing diameter ratio. Increasing size asymmetry leads also to decreasing fluctuations of the number of the smaller particles in the attractive shell of the bigger ones. For small size asymmetry, the strongest correlations occur for comparable volume fraction of the two components. When the size ratio increases, the maximum of the structure factor moves to a larger volume fraction of the bigger particles, and for the size ratio as large as 4, the maximum goes beyond the accessible range of volume fractions. Our results show that when the neighbourhood of different particles is energetically favoured, the particles are much more uniformly distributed than in the random distribution even at relatively high temperature, especially for large size asymmetry.


title: ODE trajectories as abnormal curves in Carnot groups

abstract: We prove that for every polynomial ODE there exists a Carnot group where the trajectories of the ODE lift to abnormal curves. The proof defines an explicit construction to determine a covector for the resulting abnormal curves. Using this method we give new examples of abnormal curves in Carnot groups of high step. As a byproduct of the argument, we also prove that concatenations of abnormal curves have abnormal lifts.


title: Vestigial Van Hove singularity and higher-temperature superconducting phase induced by perpendicular uniaxial pressures in quasi-two-dimensional superconductors

abstract: We examine quasi-two-dimensional superconductors near half-filling under uniaxial pressures perpendicular to conductive layers (hereafter called perpendicular pressures). It is a natural conjecture that the perpendicular pressure decreases Tc because it increases the interlayer electron hopping energy t_z, which weakens the logarithmic enhancement in the density of states due to the two-dimensional Van Hove singularity. It is shown that, contrary to this conjecture, the perpendicular pressure can significantly enhance Tc in systems off half-filling before it decreases Tc, and the strength of the enhancement significantly depends on the pairing symmetry. When the indices d, d', cz, and sz are defined for the basis functions cos k_x - cos k_y, sin k_x sin k_y, cos k_z, and sin k_z, respectively, it is shown that for s-, d-, cz-, and cz-d-wave pairing, Tc steeply increases with increasing t_z near a cusp at a certain value of t_z. On the other hand, for p-, cz-p-, sz-p-, and d'-wave pairing, Tc is almost unaffected by tz. For sz- and sz-d-wave pairing, Tc exhibits a broad and weak peak. The enhancement in Tc is the largest for this state and the second largest for the d-wave pairing and interlayer singlet (cz-wave) pairing. These results may explain recent observations in Sr2RuO4 under perpendicular pressures. A comparison between the theoretical and experimental results indicates that the p-, cz-p-, and sz-p-wave states, including chiral states, and the d'-wave state are the most likely candidates for the intrinsic 1.5-K phase, and the d-, cz-d-, and cz-wave states are the most likely candidates for the 3-K phase induced by the perpendicular pressure. The cz-p- and sz-p-wave states are interlayer triplet and interlayer singlet p-wave states with horizontal line nodes, respectively.


title: Self-supervised Knowledge Distillation for Few-shot Learning

abstract: Real-world contains an overwhelmingly large number of object classes, learning all of which at once is infeasible. Few shot learning is a promising learning paradigm due to its ability to learn out of order distributions quickly with only a few samples. Recent works [7, 41] show that simply learning a good feature embedding can outperform more sophisticated meta-learning and metric learning algorithms for few-shot learning. In this paper, we propose a simple approach to improve the representation capacity of deep neural networks for few-shot learning tasks. We follow a two-stage learning process: First, we train a neural network to maximize the entropy of the feature embedding, thus creating an optimal output manifold using a self-supervised auxiliary loss. In the second stage, we minimize the entropy on feature embedding by bringing self-supervised twins together, while constraining the manifold with student-teacher distillation. Our experiments show that, even in the first stage, self-supervision can outperform current state-of-the-art methods, with further gains achieved by our second stage distillation process. Our codes are available at: https://github.com/brjathu/SKD.


title: Reinforcement Learning with Uncertainty Estimation for Tactical Decision-Making in Intersections

abstract: This paper investigates how a Bayesian reinforcement learning method can be used to create a tactical decision-making agent for autonomous driving in an intersection scenario, where the agent can estimate the confidence of its recommended actions. An ensemble of neural networks, with additional randomized prior functions (RPF), are trained by using a bootstrapped experience replay memory. The coefficient of variation in the estimated $Q$-values of the ensemble members is used to approximate the uncertainty, and a criterion that determines if the agent is sufficiently confident to make a particular decision is introduced. The performance of the ensemble RPF method is evaluated in an intersection scenario, and compared to a standard Deep Q-Network method. It is shown that the trained ensemble RPF agent can detect cases with high uncertainty, both in situations that are far from the training distribution, and in situations that seldom occur within the training distribution. In this study, the uncertainty information is used to choose safe actions in unknown situations, which removes all collisions from within the training distribution, and most collisions outside of the distribution.


title: The circumstellar environment of EX Lup: the SPHERE and SINFONI views

abstract: EX Lup is a well-studied T Tauri star that represents the prototype of young eruptive stars EXors. In this paper we analyze new adaptive optics imaging and spectroscopic observations of EX Lup and its circumstellar environment in near-infrared in its quiescent phase. We observed EX Lup with the high contrast imager SPHERE/IRDIS in the dual-beam polarimetric imaging mode to resolve the circumstellar environment in near-infrared scattered light. We complemented these data with earlier SINFONI spectroscopy. We resolve for the first time in scattered light a compact feature around EX Lup azimuthally extending from 280deg to 360deg, and radially extending from 0.3arcsec to 0.55arcsec in the plane of the disk. We explore two different scenarios for the detected emission. One accounting for the emission as coming from the brightened walls of the cavity excavated by the outflow whose presence was suggested by ALMA observations in the J=3-2 line of 12CO. The other accounts for the emission as coming from an inclined disk. We detect for the first time a more extended circumstellar disk in scattered light, which shows that a region between 10 and 30 au is depleted of mum-size grains. We compare the J-, H- and K-band spectra obtained with SINFONI in quiescence with the spectra taken during the outburst, showing that all the emission lines were due to the episodic accretion event. Conclusions. Based on the morphology analysis we favour the scenario in which the scattered light is coming from a circumstellar disk rather than the outflow around EX Lup. We analyze the origin of the observed feature either as coming from a continuous circumstellar disk with a cavity, or from the illuminated wall of the outer disk or from a shadowed disk. Moreover, we discuss what is the origin of the mum-size grains depleted region, exploring the possibility that a sub-stellar companion may be the cause of it.


title: Sketch-Guided Scenery Image Outpainting

abstract: The outpainting results produced by existing approaches are often too random to meet users' requirement. In this work, we take the image outpainting one step forward by allowing users to harvest personal custom outpainting results using sketches as the guidance. To this end, we propose an encoder-decoder based network to conduct sketch-guided outpainting, where two alignment modules are adopted to impose the generated content to be realistic and consistent with the provided sketches. First, we apply a holistic alignment module to make the synthesized part be similar to the real one from the global view. Second, we reversely produce the sketches from the synthesized part and encourage them be consistent with the ground-truth ones using a sketch alignment module. In this way, the learned generator will be imposed to pay more attention to fine details and be sensitive to the guiding sketches. To our knowledge, this work is the first attempt to explore the challenging yet meaningful conditional scenery image outpainting. We conduct extensive experiments on two collected benchmarks to qualitatively and quantitatively validate the effectiveness of our approach compared with the other state-of-the-art generative models.


title: Abstract Cauchy problems for the generalized fractional calculus

abstract: We focus on eventually non-linear abstract Cauchy problems with a generalized fractional derivative in time. First we prove a local existence and uniqueness result, then we focus on a generalized Gr\"onwall inequality. Before addressing the inequality, we study some properties of eigenvalues and eigenfunctions of the generalized fractional derivatives. Finally, we prove some consequences of the generalized Gr\"onwall inequality.


title: Categorical Normalizing Flows via Continuous Transformations

abstract: Despite their popularity, to date, the application of normalizing flows on categorical data stays limited. The current practice of using dequantization to map discrete data to a continuous space is inapplicable as categorical data has no intrinsic order. Instead, categorical data have complex and latent relations that must be inferred, like the synonymy between words. In this paper, we investigate \emph{Categorical Normalizing Flows}, that is normalizing flows for categorical data. By casting the encoding of categorical data in continuous space as a variational inference problem, we jointly optimize the continuous representation and the model likelihood. Using a factorized decoder, we introduce an inductive bias to model any interactions in the normalizing flow. As a consequence, we do not only simplify the optimization compared to having a joint decoder, but also make it possible to scale up to a large number of categories that is currently impossible with discrete normalizing flows. Based on Categorical Normalizing Flows, we propose GraphCNF a permutation-invariant generative model on graphs. GraphCNF implements a three step approach modeling the nodes, edges and adjacency matrix stepwise to increase efficiency. On molecule generation, GraphCNF outperforms both one-shot and autoregressive flow-based state-of-the-art.


title: Optimizing Grouped Convolutions on Edge Devices

abstract: When deploying a deep neural network on constrained hardware, it is possible to replace the network's standard convolutions with grouped convolutions. This allows for substantial memory savings with minimal loss of accuracy. However, current implementations of grouped convolutions in modern deep learning frameworks are far from performing optimally in terms of speed. In this paper we propose Grouped Spatial Pack Convolutions (GSPC), a new implementation of grouped convolutions that outperforms existing solutions. We implement GSPC in TVM, which provides state-of-the-art performance on edge devices. We analyze a set of networks utilizing different types of grouped convolutions and evaluate their performance in terms of inference time on several edge devices. We observe that our new implementation scales well with the number of groups and provides the best inference times in all settings, improving the existing implementations of grouped convolutions in TVM, PyTorch and TensorFlow Lite by 3.4x, 8x and 4x on average respectively. Code is available at https://github.com/gecLAB/tvm-GSPC/


title: Deep Reinforcement Learning Controller for 3D Path-following and Collision Avoidance by Autonomous Underwater Vehicles

abstract: Control theory provides engineers with a multitude of tools to design controllers that manipulate the closed-loop behavior and stability of dynamical systems. These methods rely heavily on insights about the mathematical model governing the physical system. However, in complex systems, such as autonomous underwater vehicles performing the dual objective of path-following and collision avoidance, decision making becomes non-trivial. We propose a solution using state-of-the-art Deep Reinforcement Learning (DRL) techniques, to develop autonomous agents capable of achieving this hybrid objective without having \`a priori knowledge about the goal or the environment. Our results demonstrate the viability of DRL in path-following and avoiding collisions toward achieving human-level decision making in autonomous vehicle systems within extreme obstacle configurations.


title: Weak integrability breaking: chaos with integrability signature in coherent diffusion

abstract: We study how perturbations affect dynamics of integrable many-body quantum systems, causing transition from integrability to chaos. Looking at spin transport in the Heisenberg chain with impurities we find that in the thermodynamic limit transport gets diffusive already at an infinitesimal perturbation. Small extensive perturbations therefore cause an immediate transition from integrability to chaos. Nevertheless, there is a remnant of integrability encoded in the dependence of the diffusion constant on the impurity density, namely, at small densities it is proportional to the square root of the inverse density, instead of to the inverse density as would follow from Matthiessen's rule. We show that Matthiessen's rule has to be modified in non-ballistic systems. Results also highlight a nontrivial role of interacting scattering on a single impurity, and that there is a regime where adding more impurities can actually increase transport.


title: Inelastic Meson-Meson Scattering in Hadronic Matter

abstract: We review studies of inelastic meson-meson scattering. In nonperturbative schemes with chiral-perturbation-theory Lagrangians and in models based on effective meson Lagrangians, inelastic meson-meson scattering leads to the successful identification of resonances in meson-meson reactions, adequate inclusion of final state interactions in particle decays, and so on. For mesons of which each consists of a quark and an antiquark, inelastic meson-meson scattering may be caused by quark-antiquark annihilation, quark-antiquark creation, quark interchange, and quark-antiquark annihilation and creation. In transition amplitudes for meson-meson scattering mesonic quark-antiquark relative-motion wave functions depend on hadronic matter, and transition potentials are given in perturbative quantum chromodynamics. Via transition amplitudes the cross sections for inelastic meson-meson scattering depend on the temperature of hadronic matter. Some prominent temperature dependence of the cross sections has been found. Inelastic meson-meson scattering becomes even more significant in proton-proton collisions and lead-lead collisions at the Large Hadron Collider.


title: Herschel-PACS photometry of Uranus' five major moons

abstract: Aims. We aim to determine far-infrared fluxes at 70, 100, and 160$\mu$m of the five major Uranus satellites Titania, Oberon, Umbriel, Ariel and Miranda, based on observations with the photometer PACS-P aboard the Herschel Space Observatory. Methods. The bright image of Uranus is subtracted using a scaled Uranus point spread function (PSF) reference established from all maps of each wavelength in an iterative process removing the superimposed moons. Photometry of the satellites is performed by PSF photometry. Thermophysical models of the icy moons are fitted to the photometry of each measurement epoch and auxilliary data at shorter wavelengths. Results. The best fitting thermophysical models provide constraints for important thermal properties of the moons like surface roughness and thermal inertia. We present the first thermal infrared radiometry longward of 50$\mu$m of the four largest Uranian moons, Titania, Oberon, Umbriel and Ariel, at epochs with equator-on illumination. Due to this inclination geometry there was heat transport to the night side so that thermal inertia played a role, allowing us to constrain that parameter. Also some indication for differences in the thermal properties of leading and trailing hemispheres is found. We specify precisely the systematic error of the Uranus flux by its moons, when using Uranus as a far-infrared prime flux calibrator. Conclusions. We have successfully demonstrated an image processing technique for PACS photometer data allowing to remove a bright central source. We have established improved thermophysical models of the five major Uranus satellites. Derived thermal inertia values resemble more those of TNO dwarf planets Pluto and Haumea than those of smaller TNOs and Centaurs.


title: Kernel Alignment Risk Estimator: Risk Prediction from Training Data

abstract: We study the risk (i.e. generalization error) of Kernel Ridge Regression (KRR) for a kernel $K$ with ridge $\lambda>0$ and i.i.d. observations. For this, we introduce two objects: the Signal Capture Threshold (SCT) and the Kernel Alignment Risk Estimator (KARE). The SCT $\vartheta_{K,\lambda}$ is a function of the data distribution: it can be used to identify the components of the data that the KRR predictor captures, and to approximate the (expected) KRR risk. This then leads to a KRR risk approximation by the KARE $\rho_{K, \lambda}$, an explicit function of the training data, agnostic of the true data distribution. We phrase the regression problem in a functional setting. The key results then follow from a finite-size analysis of the Stieltjes transform of general Wishart random matrices. Under a natural universality assumption (that the KRR moments depend asymptotically on the first two moments of the observations) we capture the mean and variance of the KRR predictor. We numerically investigate our findings on the Higgs and MNIST datasets for various classical kernels: the KARE gives an excellent approximation of the risk, thus supporting our universality assumption. Using the KARE, one can compare choices of Kernels and hyperparameters directly from the training set. The KARE thus provides a promising data-dependent procedure to select Kernels that generalize well.


title: A Non-Asymptotic Analysis for Stein Variational Gradient Descent

abstract: We study the Stein Variational Gradient Descent (SVGD) algorithm, which optimises a set of particles to approximate a target probability distribution $\pi\propto e^{-V}$ on $\mathbb{R}^d$. In the population limit, SVGD performs gradient descent in the space of probability distributions on the KL divergence with respect to $\pi$, where the gradient is smoothed through a kernel integral operator. In this paper, we provide a novel finite time analysis for the SVGD algorithm. We provide a descent lemma establishing that the algorithm decreases the objective at each iteration, and rates of convergence for the average Stein Fisher divergence (also referred to as Kernel Stein Discrepancy). We also provide a convergence result of the finite particle system corresponding to the practical implementation of SVGD to its population version.


title: Diverse strategic identities induce dynamical states in evolutionary games

abstract: Evolutionary games provide the theoretical backbone for many aspects of our social life: from cooperation to crime, from climate inaction to imperfect vaccination and epidemic spreading, from antibiotics overuse to biodiversity preservation. An important, and so far overlooked, aspect of reality is the diverse strategic identities of individuals. While applying the same strategy to all interaction partners may be an acceptable assumption for simpler forms of life, this fails to account} for the behavior of more complex living beings. For instance, we humans act differently around different people. Here we show that allowing individuals to adopt different strategies with different partners yields a very rich evolutionary dynamics, including time-dependent coexistence of cooperation and defection, system-wide shifts in the dominant strategy, and maturation in individual choices. Our results are robust to variations in network type and size, and strategy updating rules. Accounting for diverse strategic identities thus has far-reaching implications in the mathematical modeling of social games.


title: Theoretical Analysis of a Two-Dimensional Metallic/Semiconducting Transition-Metal Dichalcogenide NbS2//WSe2 Hybrid Interface

abstract: We report a first-principle theoretical study of a monolayer-thick lateral heterostructure (LH) joining two different transition metal dichalcogenides (TMDC): NbS2 and WSe2. The NbS2//WSe2 LH can be considered a prototypical example of a conducting(NbS2)/semiconducting(WSe2) two-dimensional (2D) hybrid heterojunction. We first generate and validate realistic atomistic models of the NbS2//WSe2 LH, derive their band structure and subject it to a fragment decomposition and electrostatic potential analysis to extract a simple but quantitative model of this interfacial system. Stoichiometric fluctuations models are also investigated and found not to alter the qualitative picture. We then conduct electron transport simulations analyze them via band alignment analysis. We conclude that the NbS2//WSe2 LH appears as a robust seamless in-plane 2D modular junction for potential use in opto-electronic devices going beyond the present miniaturization technology.


title: On a quasi-bound state in the $K^- d$ system caused by strong interactions

abstract: It was found that $NN$ potential could influence the results of the quasi-bound state search in the $K^- d$ system, where the corresponding pole is situated close to the threshold. Three-body Faddeev-type calculations of the $\bar{K}NN - \pi \Sigma N$ system performed with a new model of nucleon-nucleon interaction predict the existence of the quasi-bound $K^- d$ state caused by strong interactions. Its binding energy is small ($1-2$ MeV), while the width is comparable with the width of the $K^- pp$ quasi-bound state ($40-60$ MeV).


title: Mix2FLD: Downlink Federated Learning After Uplink Federated Distillation With Two-Way Mixup

abstract: This letter proposes a novel communication-efficient and privacy-preserving distributed machine learning framework, coined Mix2FLD. To address uplink-downlink capacity asymmetry, local model outputs are uploaded to a server in the uplink as in federated distillation (FD), whereas global model parameters are downloaded in the downlink as in federated learning (FL). This requires a model output-to-parameter conversion at the server, after collecting additional data samples from devices. To preserve privacy while not compromising accuracy, linearly mixed-up local samples are uploaded, and inversely mixed up across different devices at the server. Numerical evaluations show that Mix2FLD achieves up to 16.7% higher test accuracy while reducing convergence time by up to 18.8% under asymmetric uplink-downlink channels compared to FL.


title: Structural classification of continuous time Markov chains with applications

abstract: This paper is motivated by examples from stochastic reaction network theory. The $Q$-matrix of a stochastic reaction network can be derived from the reaction graph, an edge-labelled directed graph encoding the jump vectors of an associated continuous time Markov chain on the invariant space $\mathbb{N}^d_0$. An open question is how to decompose the space $\mathbb{N}^d_0$ into neutral, trapping, and escaping states, and open and closed communicating classes, and whether this can be done from the reaction graph alone. Such general continuous time Markov chains can be understood as natural generalizations of birth-death processes, incorporating multiple different birth and death mechanisms. We characterize the structure of $\mathbb{N}^d_0$ imposed by a general $Q$-matrix generating continuous time Markov chains with values in $\mathbb{N}^d_0$, in terms of the set of jump vectors and their corresponding transition rate functions. Thus the setting is not limited to stochastic reaction networks. Furthermore, we define structural equivalence of two $Q$-matrices, and provide sufficient conditions for structural equivalence. Examples are abundant in applications. We apply the results to stochastic reaction networks, a Lotka-Volterra model in ecology, the EnvZ-OmpR system in systems biology, and a class of extended branching processes, none of which are birth-death processes.


title: Heat-mode excitation in a proximity superconductor

abstract: Mesoscopic superconductivity deals with various quasiparticle excitation modes, only one of them -- the charge-mode -- being directly accessible for conductance measurements due to the imbalance in populations of quasi-electron and quasihole excitation branches. Other modes carrying heat or even spin, valley etc. currents populate the branches equally and are charge-neutral, which makes them much harder to control. This noticeable gap in the experimental studies of mesoscopic non-equilibrium superconductivity can be filled by going beyond the conventional DC transport measurements and exploiting spontaneous current fluctuations. Here, we perform such an experiment and investigate the transport of heat in an open hybrid device based on a superconductor proximitized InAs nanowire. Using shot noise measurements, we investigate sub-gap Andreev heat guiding along the superconducting interface and fully characterize it in terms of the thermal conductance on the order of $G_\mathrm{th}\sim e^2/h$, tunable by a back gate voltage. Understanding of the heat-mode also uncovers its implicit signatures in the non-local charge transport. Our experiments open a direct pathway to probe generic charge-neutral excitations in superconducting hybrids.


title: Schroder combinatorics and $\nu$-associahedra

abstract: We study $\nu$-Schr\"oder paths, which are Schr\"oder paths which stay weakly above a given lattice path $\nu$. Some classical bijective and enumerative results are extended to the $\nu$-setting, including the relationship between small and large Schr\"oder paths. We introduce two posets of $\nu$-Schr\"oder objects, namely $\nu$-Schr\"oder paths and trees, and show that they are isomorphic to the face poset of the $\nu$-associahedron $A_\nu$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_\nu$ are indexed by $\nu$-Schr\"oder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schr\"oder numbers in the special case when $\nu$ is a `rational' lattice path. Using our new description of the face poset of $A_\nu$, we apply discrete Morse theory to show that $A_\nu$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_\nu$ is one. A second proof of this is obtained via a formula for the $\nu$-Narayana polynomial in terms of $\nu$-Schr\"oder numbers.


title: On the influence of supra-thermal particle acceleration on the morphology of low-Mach, high-$\beta$ shocks

abstract: When two galaxy clusters encounter each other, the interaction results in a collisionless shock that is characterized by a low (1-4) sonic Mach number, and a high Alfv{\'e}nic Mach number. Our goal is to determine if, and to what extent, such shocks can accelerate particles to sufficient velocities that they can contribute to the cosmic ray spectrum. We combine two different computational methods, magnetohydrodynamics (MHD) and particle-in-cell (PIC) into a single code that allows us to take advantage of the high computational efficiency of MHD while maintaining the ability to model the behaviour of individual non-thermal particles. Using this method, we perform a series of simulations covering the expected parameter space of galaxy cluster collision shocks. Our results show that for shocks with a sonic Mach number below 2.25 no diffusive shock acceleration can take place because of a lack of instabilities in the magnetic field, whereas for shocks with a sonic Mach number $\geq\,3$ the acceleration is efficient and can accelerate particles to relativistic speeds. In the regime between these two extremes, diffusive shock acceleration can occur but is relatively inefficient because of the time- and space-dependent nature of the instabilities. For those shocks that show efficient acceleration, the instabilities in the upstream gas increase to the point where they change the nature of the shock, which, in turn, will influence the particle injection process.


title: Light-induced bound electron states in two-dimensional systems: Contribution to electron transport

abstract: In two-dimensional (2D) electron systems, an off-resonant high-frequency circularly polarized electromagnetic field can induce the quasi-stationary bound electron states of repulsive scatterers. As a consequence, the resonant scattering of conduction electrons through the quasi-stationary states and the capture of conduction electrons by the states appear. The present theory describes the transport properties of 2D electron gas irradiated by a circularly polarized light, which are modified by these processes. Particularly, it is demonstrated that irradiation of 2D electron systems by the off-resonant field results in the quantum correction to conductivity of resonant kind.


title: Multi-Domain Level Generation and Blending with Sketches via Example-Driven BSP and Variational Autoencoders

abstract: Procedural content generation via machine learning (PCGML) has demonstrated its usefulness as a content and game creation approach, and has been shown to be able to support human creativity. An important facet of creativity is combinational creativity or the recombination, adaptation, and reuse of ideas and concepts between and across domains. In this paper, we present a PCGML approach for level generation that is able to recombine, adapt, and reuse structural patterns from several domains to approximate unseen domains. We extend prior work involving example-driven Binary Space Partitioning for recombining and reusing patterns in multiple domains, and incorporate Variational Autoencoders (VAEs) for generating unseen structures. We evaluate our approach by blending across $7$ domains and subsets of those domains. We show that our approach is able to blend domains together while retaining structural components. Additionally, by using different groups of training domains our approach is able to generate both 1) levels that reproduce and capture features of a target domain, and 2) levels that have vastly different properties from the input domain.


title: Positive Contrast Susceptibility MR Imaging Using GPU-based Primal-Dual Algorithm

abstract: The susceptibility-based positive contrast MR technique was applied to estimate arbitrary magnetic susceptibility distributions of the metallic devices using a kernel deconvolution algorithm with a regularized L-1 minimization.Previously, the first-order primal-dual (PD) algorithm could provide a faster reconstruction time to solve the L-1 minimization, compared with other methods. Here, we propose to accelerate the PD algorithm of the positive contrast image using the multi-core multi-thread feature of graphics processor units (GPUs). The some experimental results showed that the GPU-based PD algorithm could achieve comparable accuracy of the metallic interventional devices in positive contrast imaging with less computational time. And the GPU-based PD approach was 4~15 times faster than the previous CPU-based scheme.


title: Frankenstein: Advanced Wireless Fuzzing to Exploit New Bluetooth Escalation Targets

abstract: Wireless communication standards and implementations have a troubled history regarding security. Since most implementations and firmwares are closed-source, fuzzing remains one of the main methods to uncover Remote Code Execution (RCE) vulnerabilities in deployed systems. Generic over-the-air fuzzing suffers from several shortcomings, such as constrained speed, limited repeatability, and restricted ability to debug. In this paper, we present Frankenstein, a fuzzing framework based on advanced firmware emulation, which addresses these shortcomings. Frankenstein brings firmware dumps "back to life", and provides fuzzed input to the chip's virtual modem. The speed-up of our new fuzzing method is sufficient to maintain interoperability with the attached operating system, hence triggering realistic full-stack behavior. We demonstrate the potential of Frankenstein by finding three zero-click vulnerabilities in the Broadcom and Cypress Bluetooth stack, which is used in most Apple devices, many Samsung smartphones, the Raspberry Pis, and many others. Given RCE on a Bluetooth chip, attackers may escalate their privileges beyond the chip's boundary. We uncover a Wi-Fi/Bluetooth coexistence issue that crashes multiple operating system kernels and a design flaw in the Bluetooth 5.2 specification that allows link key extraction from the host. Turning off Bluetooth will not fully disable the chip, making it hard to defend against RCE attacks. Moreover, when testing our chip-based vulnerabilities on those devices, we find BlueFrag, a chip-independent Android RCE.


title: Optical studies of two stripped envelope supernovae SN 2015ap (Type Ib) and SN 2016P (Type Ic)

abstract: We present the photometric and spectroscopic studies of a Type Ib SN 2015ap and a Type Ic SN 2016P. SN 2015ap is one of the bright (M$_{V}$ = $-$18.04 mag) Type Ib while SN 2016P lies at an average value among the Type Ic SNe (M$_{V}$ = $-$17.53 mag). Bolometric light curve modelling of SNe 2015ap and 2016P indicates that both the SNe are powered by $^{56}$Ni + magnetar model with $^{56}$Ni masses of 0.01 M$_{\odot}$ and 0.002 M$_{\odot}$, ejecta masses of 3.75 M$_{\odot}$ and 4.66 M$_{\odot}$, spin period P$_{0}$ of 25.8 ms and 36.5 ms and magnetic field B$_{p}$ of 28.39 $\times$ 10$^{14}$ Gauss and 35.3 $\times$ 10$^{14}$ Gauss respectively. The early spectra of SN 2015ap shows prominent lines of He with a "W" feature due to Fe complexes while other lines of Mg II, Na I and Si II are present in both SNe 2015ap and 2016P. Nebular phase [O I] profile indicates an asymmetric profile in SN 2015ap. The [O I]/[Ca II] ratio and nebular spectral modelling of SN 2015ap hints towards a progenitor mass between 12 $-$ 20 M$_{\odot}$.


title: Forbidden line diagnostics of photoevaporative disc winds

abstract: Photoevaporation driven by high energy radiation from the central star plays an important role in the evolution of protoplanetary discs. Photoevaporative winds have been unambiguously detected through blue-shifted emission lines, but their detailed properties remain uncertain. Here we present a new empirical approach to make observational predictions of these thermal winds, seeking to fill the gap between theory and observations. We use a self-similar model of an isothermal wind to compute line profiles of several characteristic emission lines (the [Ne${\rm{\scriptsize II}}$] line at 12.81 $\mu$m, and optical forbidden lines such as [O${\rm{\scriptsize I}}$] 6300 $\mathring{A}$ and [S${\rm{\scriptsize II}}$] 4068/4076 $\mathring{A}$), studying how the lines are affected by parameters such as the gas temperature, disc inclinations, and density profile. Our model successfully reproduces blue-shifted lines with $v_{\rm peak} \lesssim 10$ km/s, which decrease with increasing disc inclination. The line widths increase with increasing disc inclinations and range from $\Delta v \sim 15-30$ km/s. The predicted blue-shifts are mostly sensitive to the gas sound speed. The observed [Ne${\rm{\scriptsize II}}$] line profiles are consistent with a thermal wind and point towards a relatively high sound speed, as expected for EUV photoevaporation. However, the observed [O${\rm{\scriptsize I}}$] line profiles require lower temperatures, as expected in X-ray photoevaporation, and show a wider scatter that is difficult to reconcile with a single wind model; it seems likely that these lines trace different components of a multi-phase wind. We also note that the spectral resolution of current observations remains an important limiting factor in these studies, and that higher resolution spectra are required if emission lines are to further our understanding of protoplanetary disc winds.


title: Quantum-Dot Assisted Spectroscopy of Degeneracy-Lifted Landau Levels in Graphene

abstract: Energy spectroscopy of strongly interacting phases requires probes which minimize screening while retaining spectral resolution and local sensitivity. Here we demonstrate that such probes can be realized using atomic sized quantum dots bound to defects in hexagonal Boron Nitride tunnel barriers, placed at nanometric distance from graphene. With dot energies capacitively tuned by a planar graphite electrode, dot-assisted tunneling becomes highly sensitive to the graphene excitation spectrum. The spectra track the onset of degeneracy lifting with magnetic field at the ground state, and at unoccupied exited states, revealing symmetry-broken gaps which develop steeply with magnetic field - corresponding to Land\'e $g$ factors as high as 160. Measured up to $B = 33$ T, spectra exhibit a primary energy split between spin-polarized excited states, and a secondary spin-dependent valley-split. Our results show that defect dots probe the spectra while minimizing local screening, and are thus exceptionally sensitive to interacting states.


title: Occam's Ghost

abstract: This article applies the principle of Occam's Razor to non-parametric model building of statistical data, by finding a model with the minimal number of bits, leading to an exceptionally effective regularization method for probability density estimators. The idea comes from the fact that likelihood maximization also minimizes the number of bits required to encode a dataset. However, traditional methods overlook that the optimization of model parameters may also inadvertently play the part in encoding data points. The article shows how to extend the bit counting to the model parameters as well, providing the first true measure of complexity for parametric models. Minimizing the total bit requirement of a model of a dataset favors smaller derivatives, smoother probability density function estimates and most importantly, a phase space with fewer relevant parameters. In fact, it is able prune parameters and detect features with small probability at the same time. It is also shown, how it can be applied to any smooth, non-parametric probability density estimator.


title: Boundary Estimates for solutions of the Monge-Ampere equation satisfying Dirichlet-Neumann type conditions in annular domains

abstract: We consider smooth solutions to the Monge-Amp`ere equation subject to mixed boundary conditions on annular domains. We establish global $C^2$ estimates when the boundary of the domain consists of two smooth strictly convex closed hypersurfaces.


title: A Deep Neural Network for Audio Classification with a Classifier Attention Mechanism

abstract: Audio classification is considered as a challenging problem in pattern recognition. Recently, many algorithms have been proposed using deep neural networks. In this paper, we introduce a new attention-based neural network architecture called Classifier-Attention-Based Convolutional Neural Network (CAB-CNN). The algorithm uses a newly designed architecture consisting of a list of simple classifiers and an attention mechanism as a classifier selector. This design significantly reduces the number of parameters required by the classifiers and thus their complexities. In this way, it becomes easier to train the classifiers and achieve a high and steady performance. Our claims are corroborated by the experimental results. Compared to the state-of-the-art algorithms, our algorithm achieves more than 10% improvements on all selected test scores.


title: Optimization and first tests of the experimental setup to investigate the double-polarized DD-fusion reactions

abstract: The study of DD reactions, especially with polarized reactants, helps for better understanding of the processes taking place in nuclear astrophysics and fusion reactors. At PNPI Gatchina, Russia, the PolFusion experiment with crossing of two polarized beams, i.e. a deuteron and a deuterium beam, is able to measure angular distributions of the differential cross section and, therefore, the spin-correlations coefficients with different combinations of the adjustable nuclear polarization of both beams with a center-of-mass energy between 10 to 100 keV. Some improvements and fine-tuning of the polarized ion source are performed and presented. The atomic beam source for the jet target has been modified as well. An unpolarized experiment with a 10 keV ion beam and heavy water vapor as a target has been carried out with successful registration of the fusion products


title: Measure liquid surface tension by fitting lying droplet profile

abstract: This study developed a simple method to measure liquid surface tension based on curve fitting technique. In this study, the explicit lying droplet profile function in terms of surface tension was derived by solving 2-D Young-Laplace equation exactly, and the derived profile function was superior to the existing approximate profile functions. By fitting the derived profile function with the detected droplet profile image data, the liquid surface tension was then obtained. The proposed method does not rely on any new instrument, it is quite different in principle and simpler than the traditional methods.


title: Analytic solution of the SEIR epidemic model via asymptotic approximant

abstract: An analytic solution is obtained to the SEIR Epidemic Model. The solution is created by constructing a single second-order nonlinear differential equation in $\ln S$ and analytically continuing its divergent power series solution such that it matches the correct long-time exponential damping of the epidemic model. This is achieved through an asymptotic approximant (Barlow et. al, 2017, Q. Jl Mech. Appl. Math, 70 (1), 21-48) in the form of a modified symmetric Pad\'e approximant that incorporates this damping. The utility of the analytical form is demonstrated through its application to the COVID-19 pandemic.


title: An Evolutional Algorithm for Automatic 2D Layer Segmentation in Laser-aided Additive Manufacturing

abstract: Toolpath planning is an important task in laser aided additive manufacturing (LAAM) and other direct energy deposition (DED) processes. The deposition toolpaths for complex geometries with slender structures can be further optimized by partitioning the sliced 2D layers into sub-regions, and enable the design of appropriate infill toolpaths for different sub-regions. However, reported approaches for 2D layer segmentation generally require manual operations that are tedious and time-consuming. To increase segmentation efficiency, this paper proposes an autonomous approach based on evolutional computation for 2D layer segmentation. The algorithm works in an identify-and-segment manner. Specifically, the largest quasi-quadrilateral is identified and segmented from the target layer iteratively. Results from case studies have validated the effectiveness and efficacy of the developed algorithm. To further improve its performance, a roughing-finishing strategy is proposed. Via multi-processing, the strategy can remarkably increase the solution variety without affecting solution quality and search time, thus providing great application potential in LAAM toolpath planning. To the best of the authors knowledge, this work is the first to address automatic 2D layer segmentation problem in LAAM process. Therefore, it may be a valuable supplement to the state of the art in this area.


title: Simulating cosmological supercooling with a cold atom system

abstract: We perform an analysis of the supercooled state in an analogue to an early universe phase transition based on a one dimensional, two-component Bose gas. We demonstrate that the thermal fluctuations in the relative phase between the components are characteristic of a relativistic thermal system. Furthermore, we demonstrate the equivalence of two different approaches to the decay of the metastable state: specifically a non-perturbative thermal instanton calculation and a stochastic Gross--Pitaevskii simulation.


title: Solvation and Transport of Lithium Ions in Deep Eutectic Solvents

abstract: Lithium based deep eutectic solvents (DESs) are excellent candidates for eco-friendly electrolytes in lithium ion batteries. While some of these DES have shown promising results, a clear mechanism of lithium ion transport in DESs is not yet established. This work reports the study on the solvation and transport of lithium in a DES made from lithium perchlorate and acetamide using Molecular Dynamics (MD) simulation and neutron scattering techniques. Based on hydrogen bonding (H-bonding) of acetamide with neighbouring molecules/ions, two states are largely prevalent: 1) acetamide molecules which are H-bonded to lithium ions (~ 36 %) and 2) acetamide molecules that are entirely free (~ 58%). Analysing their stochastic dynamics independently, it is observed that the long-range diffusion of the former is significantly slower than the latter one. This is also validated from the neutron scattering experiment on the same DES system. Further, the analysis the lithium dynamics shows that the diffusion of acetamide molecules in the first category is strongly coupled to that of lithium ions. On an average the lithium ions are H-bonded to ~ 3.2 acetamide molecules in their first solvation. These observations are further bolstered through the analysis of the H-bond correlation function between acetamide and lithium ions, which show that ~ 90% of lithium ionic transport is achieved by vehicular motion where the ions diffuse along with its first solvation shell. The findings of this work are an important advancement in understanding solvation and transport of lithium ion in DES.


title: Critical Point Calculations by Numerical Inversion of Functions

abstract: In this work, we propose a new approach to the problem of critical point calculation, based on the formulation of Heidemann and Khalil (1980). This leads to a $2 \times 2$ system of nonlinear algebraic equations in temperature and molar volume, which makes possible the prediction of critical points of the mixture through an adaptation of the technique of inversion of functions from the plane to the plane, proposed by Malta, Saldanha, and Tomei (1993). The results are compared to those obtained by three methodologies: ($i$) the classical method of Heidemann and Khalil (1980), which uses a double-loop structure, also in terms of temperature and molar volume; ($ii$) the algorithm of Dimitrakopoulos, Jia, and Li (2014), which employs a damped Newton algorithm and ($iii$) the methodology proposed by Nichita and Gomez (2010), based on a stochastic algorithm. The proposed methodology proves to be robust and accurate in the prediction of critical points, as well as provides a global view of the nonlinear problem.


title: Verifying Strong Eventual Consistency in $\delta$-CRDTs

abstract: Conflict-free replicated data types (CRDTs) are a natural structure with which to communicate information about a shared computation in a distributed setting where coordination overhead may not be tolerated, and individual participants are allowed to temporarily diverge from the overall computation. Within this setting, there are two classical approaches: state- and operation-based CRDTs. The former define a commutative, associative, and idempotent join operation, and their states a monotone join semi-lattice. State-based CRDTs may be further distinguished into classical- and $\delta$-state CRDTs. The former communicate their full state after each update, whereas the latter communicate only the changed state. Op-based CRDTs communicate operations (not state), thus making their updates non-idempotent. Whereas op-based CRDTs require little information to be exchanged, they demand relatively strong network guarantees (exactly-once message delivery), and state-based CRDTs suffer the opposite problem. Both satisfy strong eventual consistency (SEC). We posit that $\delta$-state CRDTs both (1) require less communication overhead from payload size, and (2) tolerate relatively weak network environments, making them an ideal candidate for real-world use of CRDTs. Our central intuition is a pair of reductions between state-, $\delta$-state, and op-based CRDTs. We formalize this intuition in the Isabelle interactive theorem prover and show that state-based CRDTs achieve SEC. We present a relaxed network model in Isabelle and show that state-based CRDTs still maintain SEC. Finally, we extend our work to show that $\delta$-state CRDTs maintain SEC when only communicating $\delta$-state fragments, even under relatively weak network conditions.


title: Unified anisotropic strength criterion rank two for fibrous materials like wood

abstract: Wood is a fibrous orthotropic material additionally characterized with sign-sensitivity. Thus, determining the universal conditions of its strength constitutes a complex task. In their work, the authors present the anisotropic generalization of the Huber criterion which is closer to Norris's proposal, as opposed to Hill (and Hofmann) and Mises proposal. The obtained criterion incorporates conditions which are additionally imposed on a special case of Tsai-Wu criterion for composite materials.


title: Asymptotic expansion of low-energy excitations for weakly interacting bosons

abstract: We consider a system of $N$ bosons in the mean-field scaling regime for a class of interactions including the repulsive Coulomb potential. We derive an asymptotic expansion of the low-energy eigenstates and the corresponding energies, which provides corrections to Bogoliubov theory to any order in $1/N$.