title: An Exact Cutting Plane Algorithm to Solve the Selective Graph Coloring Problem in Perfect Graphs

abstract: We consider the selective graph coloring problem, which is a generalization of the classical graph coloring problem. Given a graph together with a partition of its vertex set into clusters, we want to choose exactly one vertex per cluster so that the number of colors needed to color the selected set of vertices is minimized. This problem is known to be NP-hard. In this study, we focus on an exact cutting plane algorithm for selective graph coloring in perfect graphs. Since there exists no suite of perfect graph instances to the best of our knowledge, we also propose an algorithm to randomly (but not uniformly) generate perfect graphs, and provide a large collection of instances available online. We conduct computational experiments to test our method on graphs with varying size and densities, and compare our results with a state-of-the-art algorithm from the literature and with solving an integer programming formulation of the problem by CPLEX. Our experiments demonstrate that our solution strategy significantly improves the solvability of the problem.


title: The Cheeger constant of curved tubes

abstract: We compute the Cheeger constant of spherical shells and tubular neighbourhoods of complete curves in an arbitrary dimensional Euclidean space.


title: Preliminary computation of the gap eigenmode of shear Alfv\'{e}n waves on LAPD

abstract: Characterizing the gap eigenmode of shear Alfv\'{e}n waves (SAW) and its interaction with energetic ions is important to the success of magnetically confined fusion. Previous studies have reported an experimental observation of the spectral gap of SAW on LAPD (Zhang et al 2008 Phys. Plasmas 15 012103), a linear large plasma device (Gekelman et al 1991 Rev. Sci. Instrum. 62 2875) possessing easier diagnostic access and lower cost compared with traditional fusion devices, and analytical theory and numerical gap eigenmode using ideal conditions (Chang 2014 PhD Thesis at Australian National University). To guide experimental implementation, the present work models the gap eigenmode of SAW using exact LAPD parameters. A full picture of the wave field for previous experiment reveals that the previously observed spectral gap is not global but an axially local result. To form a global spectral gap, the number of magnetic mirrors has to be increased and stronger static magnetic field makes it more clear. Such a spectral gap is obtained for the magnetic field of $B_0(z)=1.2+0.6\cos[2\pi (z-33.68)/3.63]$ with $7.74$~m magnetic beach. By introducing two types of local defects (corresponding to $E_\theta(z_0)=0$ and $E_\theta'(z_0)=0$ respectively), odd-parity and even-parity discrete eigenmodes are formed clearly inside the gap. The strength of these gap eigenmodes decreases significantly with collision frequency, which is consistent with previous studies. Parameter scans show that these gap eigenmodes can be even formed successfully for the field strength of $B_0(z)=0.2+0.1\cos[2\pi (z-33.68)/3.63]$ and with only $4$ magnetic mirrors, which are achievable by LAPD at its present status. This work can serve as a strong motivation and direct reference for the experimental implementation of the gap eigenmode of SAW on LAPD and other linear plasma devices.


title: Poincare polynomial for the moduli space $\overline{{\mathcal M}_{0,n}}({\mathbb C})$ and the number of points in $\overline{{\mathcal M}_{0,n}}({\mathbb F}_q)$

abstract: We obtain a combinatorial proof that the number of points of the space $\overline{{\mathcal M}_{0,n}}({\mathbb F}_q)$ satisfies the recurrent formula for Poincare polynomials of the space $\overline{{\mathcal M}_{0,n}}({\mathbb C})$.


title: Review of quarkonium production: status and prospects

abstract: Production cross sections of heavy quarkonia are considered as useful tools to study various aspects of QCD. We have entered a new era of quarkonium production phenomenology, with the help of new measurements from the LHC giving access to more varieties of observables, and recent theoretical developments that provided us a better understanding of the short-distance process in which quarkonia are produced. With a more concrete understanding of perturbative corrections and a prolific collection of data, a satisfactory description of the quarkonium production mechanism might now be within reach. Unfortunately, the exact mechanism of quarkonium production still remains elusive. Even analyses based on the same formalism can lead to different descriptions of the production process and give contradicting predictions of processes involving heavy quarkonia. This implies that there are much more physics yet to be understood and much work yet to be done in quarkonium production phenomenology. In this paper, we review the current status of theoretical approaches and discuss possible strategies that may improve our understanding of heavy quarkonium production.


title: Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

abstract: The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are currently used to test the different existing implementations for interoperability, but given the complex nature of network protocols, it is hard to cover all possible edge cases. State-of-the-art automated software testing techniques, such as Symbolic Execution (SymEx), have proven themselves capable of analyzing complex real-world software and finding hard to detect bugs. We present a SymEx-based method for finding interoperability issues in QUIC implementations, and explore its merit in a case study that analyzes the interoperability of picoquic and QUANT. We find that, while SymEx is able to analyze deep interactions between different implementations and uncovers several bugs, in order to enable efficient interoperability testing, implementations need to provide additional information about their current protocol state.


title: Magnetocrystalline Anisotropy of Fe-based $L1_0$ Alloys: Validity of Approximate Methods to Treat the Spin-Orbit Interaction

abstract: First-principles calculations are used to gauge different levels of approximation to calculate the magnetocrystalline anisotropy energies (MAE) of five $L1_0$ FeMe alloys (Me=Co, Cu, Pd, Pt, Au). We find that a second-order perturbation (2PT) treatment of the spin-orbit interaction (SOI) breaks down for the alloys containing heavier ions, while it provides a very accurate description of the MAE behaviour of FeCo, FeCu, and FePd. Moreover, the robustness of the 2PT approximation is such that in these cases it accounts for the MAE of highly-non-neutral alloys and, thus, it can be used to predict their performance when dopants are present or when they are subject to applied gate bias, which are typical conditions in working magnetoelectric devices. We also observe that switching of the easy axis direction can be induced in some of these alloys by addition or removal of, at least, one electron per cell. In all cases, the details of the bandstructure are responsible for the finally observed MAE value and, therefore, suggest a limited predicting power of models based on the expected orbital moment values and bandwidths. Finally, we have confirmed the importance of various calculation parameters to obtain converged MAE values, in particular, those related to the accuracy of the Fermi level determination.


title: Geometrically Enhanced Thermoelectric Effects in Graphene Nanoconstrictions

abstract: The influence of nanostructuring and quantum confinement on the thermoelectric properties of materials has been extensively studied. While this has made possible multiple breakthroughs in the achievable figure of merit, classical confinement, and its effect on the local Seebeck coefficient has mostly been neglected, as has the Peltier effect in general due to the complexity of measuring small temperature gradients locally. Here we report that reducing the width of a graphene channel to 100 nm changes the Seebeck coefficient by orders of magnitude. Using a scanning thermal microscope allows us to probe the local temperature of electrically contacted graphene two-terminal devices or to locally heat the sample. We show that constrictions in mono- and bilayer graphene facilitate a spatially correlated gradient in the Seebeck and Peltier coefficient, as evidenced by the pronounced thermovoltage $V_{th}$ and heating/cooling response $\Delta T_{Peltier}$, respectively. This geometry dependent effect, which has not been reported previously in 2D materials, has important implications for measurements of patterned nanostructures in graphene and points to novel solutions for effective thermal management in electronic graphene devices or concepts for single material thermocouples.


title: On the limit of spectral gap formation via Bragg's reflection

abstract: Although it is well recognized that waves propagating in periodic media have forbidden gaps in the continuous spectrum, it is still yet unknown about the minimum number and depth of periodic modulations for clear spectral formation. This limit is explored by investigating shear Alfv\'{e}n waves propagating through magnetic mirror array in a low temperature plasma cylinder, referring to an existing experiment [Zhang et al., Phys. Plasmas 15, 012103 (2008)]. It is found that the bottom-edge ratio, a defined parameter characterizing how "noisy" the formed spectral gap is, scales inversely with the square of the number and depth of magnetic mirrors, and they should be bigger than $7$ and $0.4$ respectively to form a clear spectral gap for the plasma conditions employed. This scaling is consistent with a pervious analysis [Kryuchkyan and Hatsagortsyan, Phys. Rev. Lett. 107, 053604 (2011)], and also applicable to other fields such as optics and semiconductors. Moreover, it shows that the center of spectral gap experiences a parabolic shape of descending frequency shift when the modulation depth is increased, which is believed to be a new discovery.


title: Harnessing ferroelectric domains for negative capacitance

abstract: The pressing quest for overcoming Boltzmann tyranny in low-power nanoscale electronics revived the thoughts of engineers of early 1930-s on the possibility of negative circuit constants. The concept of the ferroelectric-based negative capacitance (NC) devices triggered explosive activity in the field. However, most of the research addressed transient NC, leaving the basic question of the existence of the steady-state NC unresolved. Here we demonstrate that the ferroelectric nanodot capacitor hosts a stable two-domain state realizing the static reversible NC device thus opening routes for the extensive use of the NC in domain wall-based nanoelectronics.


title: Generating Easy-to-Understand Referring Expressions for Target Identifications

abstract: This paper addresses the generation of referring expressions that not only refer to objects correctly but also let humans find them quickly. As a target becomes relatively less salient, identifying referred objects itself becomes more difficult. However, the existing studies regarded all sentences that refer to objects correctly as equally good, ignoring whether they are easily understood by humans. If the target is not salient, humans utilize relationships with the salient contexts around it to help listeners to comprehend it better. To derive this information from human annotations, our model is designed to extract information from the target and from the environment. Moreover, we regard that sentences that are easily understood are those that are comprehended correctly and quickly by humans. We optimized this by using the time required to locate the referred objects by humans and their accuracies. To evaluate our system, we created a new referring expression dataset whose images were acquired from Grand Theft Auto V (GTA V), limiting targets to persons. Experimental results show the effectiveness of our approach. Our code and dataset are available at https://github.com/mikittt/easy-to-understand-REG.


title: Halo collapse: virialization by shear and rotation in dynamical dark-energy models. Effects on weak-lensing peaks

abstract: The evolution of the virial overdensity $\Delta_{\rm vir}$ for $\Lambda$CDM and seven dynamical dark-energy models is investigated in the extended spherical collapse model (SCM). Here the virialization process is naturally achieved by introducing shear and rotation instead of using the virial theorem. We generalise two approaches proposed in the literature and show that, regardless of the dark-energy model, the new virialization term can be calibrated on the peculiar velocity of the shell as measured from Einstein-de Sitter simulations. The two virialization recipes qualitatively reproduce the features of the ordinary SCM, i.e., a constant $\Delta_{\rm vir}$ for the EdS model and time-variation for dark-energy models, but without any mass dependence. Depending on the actual description of virialization and on the dark-energy model, the value of $\Delta_{\rm vir}$ varies between 10 and 40 percent. We use the new recipes to predict the surface-mass-density profile of dark matter haloes and the number of convergence density peaks for LSST- and Euclid-like weak lensing surveys.


title: Health Effects Estimation Attributed to Particulate Matter

abstract: This article has been removed by arXiv administrators due to falsified authorship.


title: A note on the exact simulation of spherical Brownian motion

abstract: We describe an exact simulation algorithm for the increments of Brownian motion on a sphere of arbitrary dimension, based on the skew-product decomposition of the process with respect to the standard geodesic distance. The radial process is closely related to a Wright-Fisher diffusion, increments of which can be simulated exactly using the recent work of Jenkins & Span\`{o} (2017) [JS17]. The rapid spinning phenomenon of the skew-product decomposition then yields the algorithm for the increments of the process on the sphere.


title: Bootstrapping Deep Neural Networks from Approximate Image Processing Pipelines

abstract: Complex image processing and computer vision systems often consist of a processing pipeline of functional modules. We intend to replace parts or all of a target pipeline with deep neural networks to achieve benefits such as increased accuracy or reduced computational requirement. To acquire a large amount of labeled data necessary to train the deep neural network, we propose a workflow that leverages the target pipeline to create a significantly larger labeled training set automatically, without prior domain knowledge of the target pipeline. We show experimentally that despite the noise introduced by automated labeling and only using a very small initially labeled data set, the trained deep neural networks can achieve similar or even better performance than the components they replace, while in some cases also reducing computational requirements.


title: Quantum spin systems versus Schroedinger operators: A case study in spontaneous symmetry breaking

abstract: Spontaneous symmetry breaking (SSB) is mathematically tied to some limit, but must physically occur, approximately, before the limit. Approximate SSB has been independently understood for Schroedinger operators with double well potential in the classical limit (Jona-Lasinio et al, 1981; Simon, 1985) and for quantum spin systems in the thermodynamic limit (Anderson, 1952; Tasaki, 2019). We relate these to each other in the context of the Curie-Weiss model, establishing a remarkable relationship between this model (for finite N) and a discretized Schroedinger operator with double well potential.


title: Strong Coupling and non-Markovian Effects in the Statistical Notion of Temperature

abstract: We investigate the emergence of temperature $T$ in the system-plus-reservoir paradigm starting from the fundamental microcanonical scenario at total fixed energy $E$ where, contrary to the canonical approach, $T=T(E)$ is not a control parameter but a derived auxiliary concept. As shown by Schwinger for the regime of weak coupling $\gamma$ between subsystems, $T(E)$ emerges from the saddle-point analysis leading to the ensemble equivalence up to corrections ${\cal O}(1/\sqrt{N})$ in the number of particles $N$ that defines the thermodynamic limit. By extending these ideas for finite $\gamma$, while keeping $N\to \infty$, we provide a consistent generalization of temperature $T(E,\gamma)$ in strongly coupled systems and we illustrate its main features for the specific model of Quantum Brownian Motion where it leads to consistent microcanonical thermodynamics. Interestingly, while this $T(E,\gamma)$ is a monotonically increasing function of the total energy $E$, its dependence with $\gamma$ is a purely quantum effect notably visible near the ground state energy, and for large energies differs for Markovian and non-Markovian regimes.


title: Burning in the tail: implications for a burst oscillation model

abstract: Accreting neutron stars (NS) can exhibit high-frequency modulations, known as burst oscillations, in their lightcurves during thermonuclear X-ray bursts. Their frequencies can be offset from the spin frequency of the NS (known independently) by several Hz, and can drift by 1-3 Hz. One plausible explanation for this phenomenon is that a wave is present in the bursting ocean that decreases in frequency (in the rotating frame) as the burst cools. The strongest candidate is the buoyant $r$-mode; however, models for the burning ocean background used in previous studies over-predict frequency drifts by several Hz. Using new background models (which include shallow heating, and burning in the tail of the burst) the evolution of the buoyant $r$-mode is calculated. The resulting frequency drifts are smaller, in line with observations. This illustrates the importance of accounting for the detailed nuclear physics in these bursts.


title: Non-entailed subsequences as a challenge for natural language inference

abstract: Neural network models have shown great success at natural language inference (NLI), the task of determining whether a premise entails a hypothesis. However, recent studies suggest that these models may rely on fallible heuristics rather than deep language understanding. We introduce a challenge set to test whether NLI systems adopt one such heuristic: assuming that a sentence entails all of its subsequences, such as assuming that "Alice believes Mary is lying" entails "Alice believes Mary." We evaluate several competitive NLI models on this challenge set and find strong evidence that they do rely on the subsequence heuristic.


title: Measurements of fiducial and differential cross-sections of $t\bar{t}$ production with additional heavy-flavour jets in proton-proton collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: This paper presents measurements of $t\bar{t}$ production in association with additional $b$-jets in $pp$ collisions at the LHC at a centre-of-mass energy of 13 TeV. The data were recorded with the ATLAS detector and correspond to an integrated luminosity of 36.1 fb$^{-1}$. Fiducial cross-section measurements are performed in the dilepton and lepton-plus-jets $t\bar{t}$ decay channels. Results are presented at particle level in the form of inclusive cross-sections of $t\bar{t}$ final states with three and four $b$-jets as well as differential cross-sections as a function of global event properties and properties of $b$-jet pairs. The measured inclusive fiducial cross-sections generally exceed the $t\bar{t}b\bar{b}$ predictions from various next-to-leading-order matrix element calculations matched to a parton shower but are compatible within the total uncertainties. The experimental uncertainties are smaller than the uncertainties in the predictions. Comparisons of state-of-the-art theoretical predictions with the differential measurements are shown and good agreement with data is found for most of them.


title: A Mixed Integer Linear Programming Model for Multi-Satellite Scheduling

abstract: We address the multi-satellite scheduling problem with limited observation capacities that arises from the need to observe a set of targets on the Earth's surface using imaging resources installed on a set of satellites. We define and analyze the conflict indicators of all available visible time windows of missions, as well as the feasible time intervals of resources. The problem is then formulated as a mixed integer linear programming model, in which constraints are derived from a careful analysis of the interdependency between feasible time intervals that are eligible for observations. We apply the proposed model to several different problem instances that reflect real-world situations. The computational results verify that our approach is effective for obtaining optimum solutions or solutions with a very good quality.


title: Probing the roton excitation spectrum of a stable dipolar Bose gas

abstract: We measure the excitation spectrum of a stable dipolar Bose--Einstein condensate over a wide momentum-range via Bragg spectroscopy. We precisely control the relative strength, $\epsilon_{\rm dd}$, of the dipolar to the contact interactions and observe that the spectrum increasingly deviates from the linear phononic behavior for increasing $\epsilon_{\rm dd}$. Reaching the dipolar dominated regime $\epsilon_{\rm dd}>1$, we observe the emergence of a roton minimum in the spectrum and its softening towards instability. We characterize how the excitation energy and the strength of the density-density correlations at the roton momentum vary with $\epsilon_{\rm dd}$. Our findings are in excellent agreement with numerical calculations based on mean-field Bogoliubov theory. When including beyond-mean-field corrections, in the form of a Lee-Huang-Yang potential, we observe a quantitative deviation from the experiment, questioning the validity of such a description in the roton regime.


title: Exploring High Multiplicity Amplitudes: The QM Analogue of the Spontaneously Broken Case

abstract: Calculations of high multiplicity Higgs amplitudes exhibit a rapid growth that may signal an end of perturbative behavior or even the need for new physics phenomena. As a step towards this problem we consider the quantum mechanical equivalent of $1 \to n$ scattering amplitudes in a spontaneously broken $\phi^4$-theory by extending our previous results on the quartic oscillator with a single minimum to transitions $\langle n \lvert \hat{x} \rvert 0 \rangle$ in the symmetric double-well potential with quartic coupling $\lambda$. Using recursive techniques to high order in perturbation theory, we argue that these transitions are of exponential form $\langle n \lvert \hat{x} \rvert 0 \rangle \sim \exp \left( F (\lambda n) / \lambda \right)$ in the limit of large $n$ and $\lambda n$ fixed. We apply the methods of "exact perturbation theory" put forward by Serone et al. to obtain the exponent $F$ and investigate its structure in the regime where tree-level perturbation theory violates unitarity constraints. We find that the resummed exponent is in agreement with unitarity and rigorous bounds derived by Bachas.


title: The Averaged Null Energy Condition and the Black Hole Interior in String Theory

abstract: Recently it was shown that folded strings are spontaneously created behind the horizon of the $SL(2,\mathbb{R})_k/U(1)$ black hole. Here we show that these folded strings violate the averaged null energy condition {\it macroscopically}. We discuss possible consequences of this observation on black hole physics in general, and on the information puzzle in particular.


title: Probing the "Sea" of Galactic Cosmic Rays with Fermi-LAT

abstract: High energy $\gamma$ rays from Giant Molecular Clouds (GMCs) carry direct information about the spatial and energy distributions of Galactic Cosmic Rays (CRs). The recently released catalogs of GMCs contain sufficiently massive clouds to be used as barometers for probing, through their $\gamma$-ray emission, the density of CRs throughout the Galactic Disk. Based on the data of \fermi{}, we report the discovery of $\gamma$-ray signals from nineteen GMCs located at distances up to 12.5 kpc. The galactocentric radial distribution of the CR density derived from the $\gamma$-ray and CO observations of these objects, as well as from some nearby clouds that belong to the Gould Belt complex, unveil a homogeneous \textquotedblleft sea" of CRs with a constant density and spectral shape close to the flux of directly (locally) measured CRs. We found noticeable deviations from the \textquotedblleft sea level" only in some locations characterized by enhanced CR density in the galactocentric 4--6 kpc ring. Furthermore, we found a hint for fluctuations of the CR density in different locations within the same 4--6 kpc ring. The confirmation of this result with the next-generation $\gamma$-ray detectors based on the higher quality data and denser coverage of galactocentric distances, would have dramatic implications for the understanding of the origin of Galactic CRs.


title: A Machine-Learning Phase Classification Scheme for Anomaly Detection in Signals with Periodic Characteristics

abstract: In this paper we propose a novel machine-learning method for anomaly detection applicable to data with periodic characteristics where randomly varying period lengths are explicitly allowed. A multi-dimensional time series analysis is conducted by training a data-adapted classifier consisting of deep convolutional neural networks performing phase classification. The entire algorithm including data pre-processing, period detection, segmentation, and even dynamic adjustment of the neural networks is implemented for fully automatic execution. The proposed method is evaluated on three example datasets from the areas of cardiology, intrusion detection, and signal processing, presenting reasonable performance.


title: Fermi-surface geometry and "Planckian dissipation"

abstract: A purely Fermi-surface formula is proposed for the Ohmic "minimum metallic conductivity" tensor of clean metals with "Planckian limit" inelastic dissipation. This revises a recent proposal by Legros et al.


title: Background potentials and superselection sectors

abstract: The basic aspects of the Aharonov-Bohm effect can be summarized by the remark that wavefunctions become sections of a line bundle with a flat connection (that is, a "flat potential"). Passing at the level of quantum field theory in curved spacetimes, we study the Dirac field interacting with a classical (background) flat potential and show that it can be interpreted as a topological sector of the observable net of free Dirac field. On the converse, starting from a topological sector we reconstruct a classical flat potential, interpreted as an interaction of a Dirac field. This leads to a description of Aharonov-Bohm-type effects in terms of localized observables.


title: Identifying Young Stellar Objects in the Outer Galaxy: l = 224 deg Region in Canis Major

abstract: We study a very young star-forming region in the outer Galaxy that is the most concentrated source of outflows in the Spitzer Space Telescope GLIMPSE360 survey. This region, dubbed CMa-l224, is located in the Canis Major OB1 association. CMa-l224 is relatively faint in the mid-infrared, but it shines brightly at the far-infrared wavelengths as revealed by the Herschel Space Observatory data from the Hi-GAL survey. Using the 3.6 and 4.5 $\mu$m data from the Spitzer/GLIMPSE360 survey, combined with the JHK$_s$ 2MASS and the 70-500 $\mu$m Herschel/Hi-GAL data, we develop a young stellar object (YSO) selection criteria based on color-color cuts and fitting of the YSO candidates' spectral energy distributions with YSO 2D radiative transfer models. We identify 293 YSO candidates and estimate physical parameters for 210 sources well-fit with YSO models. We select an additional 47 sources with GLIMPSE360-only photometry as `possible YSO candidates'. The vast majority of these sources are associated with high H$_2$ column density regions and are good targets for follow-up studies. The distribution of YSO candidates at different evolutionary stages with respect to Herschel filaments supports the idea that stars are formed in the filaments and become more dispersed with time. Both the supernova-induced and spontaneous star formation scenarios are plausible in the environmental context of CMa-l224. However, our results indicate that a spontaneous gravitational collapse of filaments is a more likely scenario. The methods developed for CMa-l224 can be used for larger regions in the Galactic plane where the same set of photometry is available.


title: Dimension six effective operators in $t$-channel single top production and decay at NLO in QCD

abstract: I summarize phenomenological LHC13 studies of the effect of dimension six effective operators on the inclusive cross section and differential distributions for the t-channel single top process at NLO in QCD.


title: Plasma instability of magnetically enhanced vacuum arc thruster

abstract: A two-fluid flowing plasma model is applied to describe the plasma rotation and resulted instability evolution in magnetically enhanced vacuum arc thruster (MEVAT). Typical experimental parameters are employed, including plasma density, equilibrium magnetic field, ion and electron temperatures, cathode materials, axial streaming velocity, and azimuthal rotation frequency. It is found that the growth rate of plasma instability increases with growing rotation frequency and field strength, and with descending electron temperature and atomic weight, for which the underlying physics are explained. The radial structure of density fluctuation is compared with that of equilibrium density gradient, and the radial locations of their peak magnitudes are very close, showing an evidence of resistive drift mode driven by density gradient. Temporal evolution of perturbed mass flow in the cross section of plasma column is also presented, which behaves in form of clockwise rotation (direction of electron diamagnetic drift) at edge and anti-clockwise rotation (direction of ion diamagnetic drift) in the core, separated by a mode transition layer from $n=0$ to $n=1$. This work, to our best knowledge, is the first treatment of plasma instability caused by rotation and axial flow in MEVAT, and is also of great practical interest for other electric thrusters where rotating plasma is concerned for long-time stable operation and propulsion efficiency optimization.


title: Pair production in differently polarized electric fields with frequency chirps

abstract: Electron-positron pair production in strong electric fields, i.e., the Sauter-Schwinger effect, is studied using the real-time Dirac-Heisenberg-Wigner formalism. Hereby, the electric field is modeled to be a homogeneous, single-pulse field with subcritical peak field strength. Momentum spectra are calculated for four different polarizations - linear, elliptic, near-circular elliptic or circular - as well as a number of linear frequency chirps. With details depending on the chosen polarization the frequency chirps lead to strong interference effects and thus quite substantial changes in the momentum spectra. The resulting produced pairs' number densities depend non-linearly on the parameter characterizing the polarization and are very sensitive to variations of the chirp parameter. For some of the investigated frequency chirps this can provide an enhancement of the number density by three to four orders of magnitude.


title: The vector field problem for homogeneous spaces

abstract: The vector field problem is an important and classical problem in differential topology. In this survey we shall consider the vector field problem focusing mainly on the class of compact homogeneous spaces.


title: Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation

abstract: Weighted model integration (WMI) extends weighted model counting (WMC) in providing a computational abstraction for probabilistic inference in mixed discrete-continuous domains. WMC has emerged as an assembly language for state-of-the-art reasoning in Bayesian networks, factor graphs, probabilistic programs and probabilistic databases. In this regard, WMI shows immense promise to be much more widely applicable, especially as many real-world applications involve attribute and feature spaces that are continuous and mixed. Nonetheless, state-of-the-art tools for WMI are limited and less mature than their propositional counterparts. In this work, we propose a new implementation regime that leverages propositional knowledge compilation for scaling up inference. In particular, we use sentential decision diagrams, a tractable representation of Boolean functions, as the underlying model counting and model enumeration scheme. Our regime performs competitively to state-of-the-art WMI systems but is also shown to handle a specific class of non-linear constraints over non-linear potentials.


title: Exotic Baryons in Chiral Soliton Models

abstract: We cautiously review the treatment of pentaquark exotic baryons in chiral soliton models. We consider two examples and argue that any consistent and self-contained description must go beyond the mean field approximation that only considers the classical soliton and the canonical quantization of its (would-be) zero modes via collective coordinates.


title: Evidence of Interfacial Topological Superconductivity on the Topological Semimetal Tungsten Carbide Induced by Metal Deposition

abstract: Interfaces between materials with different electronic ground states have become powerful platforms for creating and controlling novel quantum states of matter, in which inversion symmetry breaking and other effects at the interface may introduce additional electronic states. Among the emergent phenomena, superconductivity is of particular interest. In this work, by depositing metal films on a newly identified topological semimetal tungsten carbide (WC) single crystal, we have obtained interfacial topological superconductivity evidenced from soft point contact spectroscopy. This very robust phenomenon has been demonstrated for a wide range of Metal/WC interfaces, involving both non-magnetic and ferromagnetic films, and the superconducting transition temperatures is surprisingly insensitive to the magnetism of thin films, suggesting a spin-triplet pairing superconducting state. The results offer an opportunity to implement topological superconductivity using convenient thin film coating method.


title: Third-harmonic generation in photonic topological metasurfaces

abstract: We study nonlinear effects in two-dimensional photonic metasurfaces supporting topologically-protected helical edge states at the nanoscale. We observe strong third-harmonic generation mediated by optical nonlinearities boosted by multipolar Mie resonances of silicon nanoparticles. Variation of the pump-beam wavelength enables independent high-contrast imaging of either bulk modes or spin-momentum-locked edge states. We demonstrate topology-driven tunable localization of the generated harmonic fields and map the pseudospin-dependent unidirectional waveguiding of the edge states bypassing sharp corners. Our observations establish dielectric metasurfaces as a promising platform for the robust generation and transport of photons in topological photonic nanostructures.


title: Revisit of constraints on dark energy with Hubble parameter measurements including future redshift drift observations

abstract: We investigate whether the current Hubble parameter $H(z)$ measurements could help improve the constraints on dark energy on the basis of the mainstream cosmological probes including the type Ia supernovae (SN) observation, the cosmic microwave background anisotropies (CMB) observation, and the baryon acoustic oscillations (BAO) observation. For the current $H(z)$ data, we use 30 data points measured by using a differential age method. Furthermore, we also consider the future $H(z)$ measurements based on the Sandage-Loeb (SL) test by means of the E-ELT in construction, and thus we also use 30 simulated $H(z)$ data according to a 10-year SL test observation. In this work, we choose four typical dark energy models as examples, i.e., the $\Lambda$CDM model, the $w$CDM model, the $\alpha$DE model, and the GCG model, to complete the analysis. We find that, when only the current $H(z)$ data are added, the constraints on these models are not improved compared to the cases using the SN+CMB+BAO data; but when further adding the 10-year SL test data, the constraint results are tremendously improved for all the four models. Therefore, we conclude that, although the current $H(z)$ measurements could not provide an evident improvement on the basis of the current mainstream cosmological probes, the future $H(z)$ measurements from the SL test would have enormous potential to change the status of the Hubble parameter measurements in constraining dark energy.


title: Strong FeII emission in NLS1s: An unsolved mystery

abstract: The work initially started as a test to retrace the Shen & Ho (2014) Quasar Main Sequence diagram where they claimed that the parameter RFeII, which defines the Eigenvector 1 (EV1) is driven by the Eddington ratio alone. We subsequently construct a refined (error and redshift limited) sample from the original Shen et al. 2011 QSO catalogue. Based on our hypothesis - the main driver of the Quasar Main Sequence is the maximum of the accretion disk temperature defined by the Big Blue Bump on the Spectral Energy Distribution. We select the four extreme sources that have RFeII $\geq$ 4.0 and use the SED modelling code CIGALE to fit the multi-band photometric data for these sources. We also perform detailed spectral fitting including the FeII pseudo-continuum to estimate and compare the value of RFeII for them. We show the metallicity dependent FeII strength in the context of this study.


title: An Efficient Ionization Method for Pressure Up To Thousands of Pascals

abstract: A novel radio-frequency antenna consisting of isolated solenoids is reported to generate plasma for pressure up to thousands of pascals. The underlying mechanism involves capacitive coupling, inductive coupling and axial confinement from magnetic mirrors. It can ionize the air reliably with pressure up to $2500$~Pa for the $1$~kW-$13.56$~MHz power supply employed, and maintain the discharge steadily from tens of minutes to hours. This ionization method is particularly useful for plasma propulsion in near space and other low-temperature plasma applications where sub-atmospheric pressure is required.


title: The energy distribution of an ion in a radiofrequency trap interacting with a nonuniform neutral buffer gas

abstract: An ion in a radiofrequency (rf) trap sympathetically cooled by a simultaneously trapped neutral buffer gas exhibits deviations from thermal statistics caused by collision-induced coupling of the rf field to the ion motion. For a uniform density distribution of the buffer gas, the energy distribution of the ion can be described by Tsallis statistics. Moreover, runaway heating of the ion occurs if the buffer gas particles are sufficiently heavy relative to the ion. In typical experiments, however, ultracold buffer gases are confined in traps resulting in localised, non-uniform density distributions. Using a superstatistical approach, we develop an analytical model for an ion interacting with a localised buffer gas. We demonstrate theoretically that limiting collisions to the centre of the ion trap enables cooling at far greater mass ratios than achievable using a uniform buffer gas, but that an upper limit to the usable mass ratio exists even in this case. Furthermore, we analytically derive the energy distribution for an ion interacting with a buffer gas held in a harmonic potential. The analytical distribution obtained is found to be in excellent agreement with the results of numerical simulations.


title: Early-time dynamics of Bose gases quenched into the strongly interacting regime

abstract: We study the early-time dynamics of a degenerate Bose gas after a sudden quench of the interaction strength, starting from a weakly interacting gas. By making use of a time-dependent generalization of the Nozi\`eres-Saint-James variational formalism, we describe the crossover of the early-time dynamics from shallow to deep interaction quenches. We analyze the coherent oscillations that characterize both the density of excited states and the Tan's contact as a function of the final scattering length. For shallow quenches, the oscillatory behaviour is negligible and the dynamics is universally governed by the healing length and the mean-field interaction energy. By increasing the final scattering length to intermediate values, we reveal a universal regime where the period of the coherent atom-molecule oscillations is set by the molecule binding energy. For the largest scattering lengths we can numerically simulate in the unitary regime, we find a universal scaling behaviour of the typical growth time of the momentum distribution in agreement with recent experimental observations [C. Eigen et al., Nature 563, 221 (2018)].


title: Multilayer coevolution dynamics of the nonlinear voter model

abstract: We study a coevolving nonlinear voter model on a two-layer network. Coevolution stands for coupled dynamics of the state of the nodes and of the topology of the network in each layer. The plasticity parameter p measures the relative time scale of the evolution of the states of the nodes and the evolution of the network by link rewiring. Nonlinearity of the interactions is taken into account through a parameter q that describes the nonlinear effect of local majorities, being q = 1 the marginal situation of the ordinary voter model. Finally the connection between the two layers is measured by a degree of multiplexing `. In terms of these three parameters, p, q and ` we find a rich phase diagram with different phases and transitions. When the two layers have the same plasticity p, the fragmentation transition observed in a single layer is shifted to larger values of p plasticity, so that multiplexing avoids fragmentation. Different plasticities for the two layers lead to new phases that do not exist in a coevolving nonlinear voter model in a single layer, namely an asymmetric fragmented phase for q > 1 and an active shattered phase for q < 1. Coupling layers with dfferent types of nonlinearity, q1 < 1 and q2 > 1, we can find two different transitions by increasing the plasticity parameter, a first absorbing transition with no fragmentation and a subsequent fragmentation transition.


title: Shifted quantum affine algebras: integral forms in type $A$ (with appendices by Alexander Tsymbaliuk and Alex Weekes)

abstract: We define an integral form of shifted quantum affine algebras of type $A$ and construct Poincar\'e-Birkhoff-Witt-Drinfeld bases for them. When the shift is trivial, our integral form coincides with the RTT integral form. We prove that these integral forms are closed with respect to the coproduct and shift homomorphisms. We prove that the homomorphism from our integral form to the corresponding quantized $K$-theoretic Coulomb branch of a quiver gauge theory is always surjective. In one particular case we identify this Coulomb branch with the extended quantum universal enveloping algebra of type $A$. Finally, we obtain the rational (homological) analogues of the above results (proved earlier in arXiv:1611.06775, arXiv:1806.07519 via different techniques).


title: An increasing sequence of lower bounds for the Estrada index of graphs and matrices

abstract: Let $G$ be a graph on $n$ vertices and $\lambda_1\geq \lambda_2\geq \ldots \geq \lambda_n$ its eigenvalues. The Estrada index of $G$ is defined as $EE(G)=\sum_{i=1}^n e^{\lambda_i}.$ In this work, we using an increasing sequence converging to the $\lambda_1$ to obtain an increasing sequence of lower bounds for $EE(G)$. In addition, we generalize this succession for the Estrada index of an arbitrary nonnegative Hermitian matrix.


title: Two-level Attention with Two-stage Multi-task Learning for Facial Emotion Recognition

abstract: Compared with facial emotion recognition on categorical model, the dimensional emotion recognition can describe numerous emotions of the real world more accurately. Most prior works of dimensional emotion estimation only considered laboratory data and used video, speech or other multi-modal features. The effect of these methods applied on static images in the real world is unknown. In this paper, a two-level attention with two-stage multi-task learning (2Att-2Mt) framework is proposed for facial emotion estimation on only static images. Firstly, the features of corresponding region(position-level features) are extracted and enhanced automatically by first-level attention mechanism. In the following, we utilize Bi-directional Recurrent Neural Network(Bi-RNN) with self-attention(second-level attention) to make full use of the relationship features of different layers(layer-level features) adaptively. Owing to the inherent complexity of dimensional emotion recognition, we propose a two-stage multi-task learning structure to exploited categorical representations to ameliorate the dimensional representations and estimate valence and arousal simultaneously in view of the correlation of the two targets. The quantitative results conducted on AffectNet dataset show significant advancement on Concordance Correlation Coefficient(CCC) and Root Mean Square Error(RMSE), illustrating the superiority of the proposed framework. Besides, extensive comparative experiments have also fully demonstrated the effectiveness of different components.


title: FliPer: Classifying TESS pulsating stars

abstract: The recently launched NASA Transiting Exoplanet Survey Satellite (TESS) mission is going to collect lightcurves for a few hundred million of stars and we expect to increase the number of pulsating stars to analyze compared to the few thousand stars observed by the CoRoT, $\textit{Kepler}$ and K2 missions. However, most of the TESS targets have not yet been properly classified and characterized. In order to improve the analysis of the TESS data, it is crucial to determine the type of stellar pulsations in a timely manner. We propose an automatic method to classify stars attending to their pulsation properties, in particular, to identify solar-like pulsators among all TESS targets. It relies on the use of the global amount of power contained in the power spectrum (already known as the FliPer method) as a key parameter, along with the effective temperature, to feed into a machine learning classifier. Our study, based on TESS simulated datasets, shows that we are able to classify pulsators with a $98\%$ accuracy.


title: On the growth of nonlocal catenoids

abstract: As well known, classical catenoids in ${\mathbf{R}}^3$ possess logarithmic growth at infinity. In this note we prove that the case of nonlocal minimal surfaces is significantly different, and indeed all nonlocal catenoids must grow at least linearly. More generally, we prove that stationary sets for the nonlocal perimeter functional which grow sublinearly at infinity are necessarily half-spaces.


title: Global optimization of expensive black-box models based on asynchronous hybrid-criterion with interval reduction

abstract: In this paper, a new sequential surrogate-based optimization (SSBO) algorithm is developed, which aims to improve the global search ability and local search efficiency for the global optimization of expensive black-box models. The proposed method involves three basic sub-criteria to infill new samples asynchronously to balance the global exploration and local exploitation. First, to capture the promising possible global optimal region, searching for the global optimum with genetic algorithm (GA) based on the current surrogate models of the objective and constraint functions. Second, to infill samples in the region with sparse samples to improve the global accuracy of the surrogate models, a grid searching with Latin hypercube sampling (LHS) with the current surrogate model is adopted to explore the sample space. Third, to accelerate the local searching efficiency, searching for a local optimum with sequential quadratic programming (SQP) based on the local surrogate models in the reduced interval, which involves some samples near the current optimum. When the new sample is too close to the existing ones, the new sample should be abandoned, due to the poor additional information. According to the three sub-criteria, the new samples are placed in the regions which have not been fully explored and includes the possible global optimum point. When a possible global optimum point is found, the local searching sub-criterion captures the local optimum around it rapidly. Numerical and engineering examples are used to verify the efficiency of the proposed method. The statistical results show that the proposed method has good global searching ability and efficiency.


title: Learning to Reason with Third-Order Tensor Products

abstract: We combine Recurrent Neural Networks with Tensor Product Representations to learn combinatorial representations of sequential data. This improves symbolic interpretation and systematic generalisation. Our architecture is trained end-to-end through gradient descent on a variety of simple natural language reasoning tasks, significantly outperforming the latest state-of-the-art models in single-task and all-tasks settings. We also augment a subset of the data such that training and test data exhibit large systematic differences and show that our approach generalises better than the previous state-of-the-art.


title: The mechanism of RNA base fraying: molecular dynamics simulations analyzed with core-set Markov state models

abstract: The process of RNA base fraying (i.e. the transient opening of the termini of a helix) is involved in many aspects of RNA dynamics. We here use molecular dynamics simulations and Markov state models to characterize the kinetics of RNA fraying and its sequence and direction dependence. In particular, we first introduce a method for determining biomolecular dynamics employing core-set Markov state models constructed using an advanced clustering technique. The method is validated on previously reported simulations. We then use the method to analyze extensive trajectories for four different RNA model duplexes. Results obtained using D. E. Shaw research and AMBER force fields are compared and discussed in detail, and show a non-trivial interplay between the stability of intermediate states and the overall fraying kinetics.

categories: physics.comp-ph cond-mat.stat-mech physics.bio-ph physics.chem-ph q-bio.BM


title: Reminiscence of a magnetization plateau in a magnetization processes of toy-model triangular and tetrahedral clusters

abstract: We discuss magnetization curves of a toy-model trigonal and tetrahedral clusters. Nonlinearity of magnetization with local minimum of differential susceptibility resembling known magnetization plateaus of triangular-lattice and pyrochlore lattice antiferromagnets is observed at intermediate temperature range $ J\lesssim T\lesssim\Theta$ (here $J$ is the exchange coupling constant and $\Theta$ is a Curie-Weiss temperature). This behavior is due to increased statistical weight of the states with intermediate total spin of the cluster, which is related to the `order-by-disorder' mechanism of plateau stabilization of a macroscopic frustrated magnet.


title: Game Tree Search in a Robust Multistage Optimization Framework: Exploiting Pruning Mechanisms

abstract: We investigate pruning in search trees of so-called quantified integer linear programs (QIPs). QIPs consist of a set of linear inequalities and a minimax objective function, where some variables are existentially and others are universally quantified. They can be interpreted as two-person zero-sum games between an existential and a universal player on the one hand, or multistage optimization problems under uncertainty on the other hand. Solutions are so-called winning strategies for the existential player that specify how to react on moves of the universal player - i.e. certain assignments of universally quantified variables - to certainly win the game. QIPs can be solved with the help of game tree search that is enhanced with non-chronological back-jumping. We develop and theoretically substantiate pruning techniques based upon (algebraic) properties similar to pruning mechanisms known from linear programming and quantified boolean formulas. The presented Strategic Copy-Pruning mechanism allows to \textit{implicitly} deduce the existence of a strategy in linear time (by static examination of the QIP-matrix) without explicitly traversing the strategy itself. We show that the implementation of our findings can massively speed up the search process.


title: Plasma processes at the scales of galaxies and clusters of galaxies

abstract: Matter on large scales in the Universe is distributed in form of sheets, filaments and spherical halos. Most of the known matter in the Universe is in a diffuse plasma state - in halos around galaxies and clusters of galaxies, and in the intergalactic medium tracing the large scale cosmological filaments. Recent multi-wavelength observations have informed us about the state of this dilute plasma that covers a range of densities and temperatures. Progress in high resolution numerical simulations allows us to understand this diffuse plasma, but there are several puzzles that involve a complex interplay of processes such as cooling, feedback heating, gravity, and turbulence.


title: Improving Robustness of Neural Dialog Systems in a Data-Efficient Way with Turn Dropout

abstract: Neural network-based dialog models often lack robustness to anomalous, out-of-domain (OOD) user input which leads to unexpected dialog behavior and thus considerably limits such models' usage in mission-critical production environments. The problem is especially relevant in the setting of dialog system bootstrapping with limited training data and no access to OOD examples. In this paper, we explore the problem of robustness of such systems to anomalous input and the associated to it trade-off in accuracies on seen and unseen data. We present a new dataset for studying the robustness of dialog systems to OOD input, which is bAbI Dialog Task 6 augmented with OOD content in a controlled way. We then present turn dropout, a simple yet efficient negative sampling-based technique for improving robustness of neural dialog models. We demonstrate its effectiveness applied to Hybrid Code Network-family models (HCNs) which reach state-of-the-art results on our OOD-augmented dataset as well as the original one. Specifically, an HCN trained with turn dropout achieves state-of-the-art performance of more than 75% per-utterance accuracy on the augmented dataset's OOD turns and 74% F1-score as an OOD detector. Furthermore, we introduce a Variational HCN enhanced with turn dropout which achieves more than 56.5% accuracy on the original bAbI Task 6 dataset, thus outperforming the initially reported HCN's result.


title: Robust consumption-investment problem Under CRRA and CARA utilities with time-varying confidence sets

abstract: We consider a robust consumption-investment problem under CRRA and CARA utilities. The time-varying confidence sets are specified by $\Theta$, a correspondence from $[0,T]$ to the space of L\'{e}vy triplets, and describe priori information about drift, volatility and jump. Under each possible measure, the log-price processes of stocks are semimartingales and the triplet of their differential characteristics is a measurable selector from the correspondence $\Theta$ almost surely. By proposing and studying the global kernel, an optimal policy and a worst-case measure are generated from a saddle point of the global kernel, and they also constitute a saddle point of the objective function.


title: Parameter-Free Spatial Attention Network for Person Re-Identification

abstract: Global average pooling (GAP) allows to localize discriminative information for recognition [40]. While GAP helps the convolution neural network to attend to the most discriminative features of an object, it may suffer if that information is missing e.g. due to camera viewpoint changes. To circumvent this issue, we argue that it is advantageous to attend to the global configuration of the object by modeling spatial relations among high-level features. We propose a novel architecture for Person Re-Identification, based on a novel parameter-free spatial attention layer introducing spatial relations among the feature map activations back to the model. Our spatial attention layer consistently improves the performance over the model without it. Results on four benchmarks demonstrate a superiority of our model over the state-of-the-art achieving rank-1 accuracy of 94.7% on Market-1501, 89.0% on DukeMTMC-ReID, 74.9% on CUHK03-labeled and 69.7% on CUHK03-detected.


title: Spectroscopy of the cataclysmic variable ES Ceti

abstract: We present results of our spectroscopic campaign dedicated to the ultracompact binary ES Ceti. On the nights 2002 Oct. 27-28, 528 spectra were taken with the 6.5-meter telescope in Las Campanas Observatory in Chile. The averaged spectrum shown the double-peaked helium emission lines which imply the presence of an accretion disk in this system.


title: Efficient Coarse-to-Fine Non-Local Module for the Detection of Small Objects

abstract: An image is not just a collection of objects, but rather a graph where each object is related to other objects through spatial and semantic relations. Using relational reasoning modules, such as the non-local module \cite{wang2017non}, can therefore improve object detection. Current schemes apply such dedicated modules either to a specific layer of the bottom-up stream, or between already-detected objects. We show that the relational process can be better modeled in a coarse-to-fine manner and present a novel framework, applying a non-local module sequentially to increasing resolution feature maps along the top-down stream. In this way, information can naturally passed from larger objects to smaller related ones. Applying the module to fine feature maps further allows the information to pass between the small objects themselves, exploiting repetitions of instances of the same class. In practice, due to the expensive memory utilization of the non-local module, it is infeasible to apply the module as currently used to high-resolution feature maps. We redesigned the non local module, improved it in terms of memory and number of operations, allowing it to be placed anywhere along the network. We further incorporated relative spatial information into the module, in a manner that can be incorporated into our efficient implementation. We show the effectiveness of our scheme by improving the results of detecting small objects on COCO by 1-2 AP points over Faster and Mask RCNN and by 1 AP over using non-local module on the bottom-up stream.


title: Stationary-State Statistics of a Binary Neural Network Model with Quenched Disorder

abstract: We study the statistical properties of the stationary firing-rate states of a neural network model with quenched disorder. The model has arbitrary size, discrete-time evolution equations and binary firing rates, while the topology and the strength of the synaptic connections are randomly generated from known, generally arbitrary, probability distributions. We derived semi-analytical expressions of the occurrence probability of the stationary states and the mean multistability diagram of the model, in terms of the distribution of the synaptic connections and of the external stimuli to the network. Our calculations rely on the probability distribution of the bifurcation points of the stationary states with respect to the external stimuli, which can be calculated in terms of the permanent of special matrices, according to extreme value theory. While our semi-analytical expressions are exact for any size of the network and for any distribution of the synaptic connections, we also specialized our calculations to the case of statistically-homogeneous multi-population networks. In the specific case of this network topology, we calculated analytically the permanent, obtaining a compact formula that outperforms of several orders of magnitude the Balasubramanian-Bax-Franklin-Glynn algorithm. To conclude, by applying the Fisher-Tippett-Gnedenko theorem, we derived asymptotic expressions of the stationary-state statistics of multi-population networks in the large-network-size limit, in terms of the Gumbel (double exponential) distribution. We also provide a Python implementation of our formulas and some examples of the results generated by the code.


title: On groups with unbounded Cayley graphs

abstract: We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.


title: Managed Forgetting to Support Information Management and Knowledge Work

abstract: Trends like digital transformation even intensify the already overwhelming mass of information knowledge workers face in their daily life. To counter this, we have been investigating knowledge work and information management support measures inspired by human forgetting. In this paper, we give an overview of solutions we have found during the last five years as well as challenges that still need to be tackled. Additionally, we share experiences gained with the prototype of a first forgetful information system used 24/7 in our daily work for the last three years. We also address the untapped potential of more explicated user context as well as features inspired by Memory Inhibition, which is our current focus of research.


title: Improved Deep Embeddings for Inferencing with Multi-Layered Networks

abstract: Inferencing with network data necessitates the mapping of its nodes into a vector space, where the relationships are preserved. However, with multi-layered networks, where multiple types of relationships exist for the same set of nodes, it is crucial to exploit the information shared between layers, in addition to the distinct aspects of each layer. In this paper, we propose a novel approach that first obtains node embeddings in all layers jointly via DeepWalk on a \textit{supra} graph, which allows interactions between layers, and then fine-tunes the embeddings to encourage cohesive structure in the latent space. With empirical studies in node classification, link prediction and multi-layered community detection, we show that the proposed approach outperforms existing single- and multi-layered network embedding algorithms on several benchmarks. In addition to effectively scaling to a large number of layers (tested up to $37$), our approach consistently produces highly modular community structure, even when compared to methods that directly optimize for the modularity function.


title: Universal Network Representation for Heterogeneous Information Networks

abstract: Network representation aims to represent the nodes in a network as continuous and compact vectors, and has attracted much attention in recent years due to its ability to capture complex structure relationships inside networks. However, existing network representation methods are commonly designed for homogeneous information networks where all the nodes (entities) of a network are of the same type, e.g., papers in a citation network. In this paper, we propose a universal network representation approach (UNRA), that represents different types of nodes in heterogeneous information networks in a continuous and common vector space. The UNRA is built on our latest mutually updated neural language module, which simultaneously captures inter-relationship among homogeneous nodes and node-content correlation. Relationships between different types of nodes are also assembled and learned in a unified framework. Experiments validate that the UNRA achieves outstanding performance, compared to six other state-of-the-art algorithms, in node representation, node classification, and network visualization. In node classification, the UNRA achieves a 3\% to 132\% performance improvement in terms of accuracy.


title: Solar polar brightening and radius at 100 and 230 GHz observed by ALMA

abstract: Polar brightening of the Sun at radio frequencies has been studied for almost fifty years and yet a disagreement persists between solar atmospheric models and observations. Some observations reported brightening values much smaller than the expected values obtained from the models, with discrepancies being particularly large at millimeter wavelengths. New clues to calibrate the atmospheric models can be obtained with the advent of the Atacama Large Millimeter/submillimeter Array (ALMA) radio interferometer. In this work, we analyzed the lower limit of the polar brightening observed at 100 and 230 GHz by ALMA, during its Science Verification period, 2015 December 16-20. We find that the average polar intensity is higher than the disk intensity at 100 and 230 GHz, with larger brightness intensities at the South pole in eight of the nine maps analyzed. The observational results were compared with calculations of the millimetric limb brightnening emission for two semi-empirical atmospheric models, FAL- C (Fontenla et al. 1993) and SSC (Selhorst et al. 2005a). Both models presented larger limb intensities than the averaged observed values. The intensities obtained with the SSC model were closer to the observations, with polar brightenings of 10.5% and 17.8% at 100 and 230 GHz, respectively. This discrepancy may be due to the presence of chromospheric features (like spicules) at regions close to the limb.


title: Systematic Biases in Link Prediction: comparing heuristic and graph embedding based methods

abstract: Link prediction is a popular research topic in network analysis. In the last few years, new techniques based on graph embedding have emerged as a powerful alternative to heuristics. In this article, we study the problem of systematic biases in the prediction, and show that some methods based on graph embedding offer less biased results than those based on heuristics, despite reaching lower scores according to usual quality scores. We discuss the relevance of this finding in the context of the filter bubble problem and the algorithmic fairness of recommender systems.


title: Parallel Protein Community Detection in Large-scale PPI Networks Based on Multi-source Learning

abstract: Protein interactions constitute the fundamental building block of almost every life activity. Identifying protein communities from Protein-Protein Interaction (PPI) networks is essential to understand the principles of cellular organization and explore the causes of various diseases. It is critical to integrate multiple data resources to identify reliable protein communities that have biological significance and improve the performance of community detection methods for large-scale PPI networks. In this paper, we propose a Multi-source Learning based Protein Community Detection (MLPCD) algorithm by integrating Gene Expression Data (GED) and a parallel solution of MLPCD using cloud computing technology. To effectively discover the biological functions of proteins that participating in different cellular processes, GED under different conditions is integrated with the original PPI network to reconstruct a Weighted-PPI (WPPI) network. To flexibly identify protein communities of different scales, we define community modularity and functional cohesion measurements and detect protein communities from WPPI using an agglomerative method. In addition, we respectively compare the detected communities with known protein complexes and evaluate the functional enrichment of protein function modules using Gene Ontology annotations. Moreover, we implement a parallel version of the MLPCD algorithm on the Apache Spark platform to enhance the performance of the algorithm for large-scale realistic PPI networks. Extensive experimental results indicate the superiority and notable advantages of the MLPCD algorithm over the relevant algorithms in terms of accuracy and performance.


title: Conceptual Analysis of Resource Meta-information

abstract: It's ease of use and the availability of browsers for various platforms have paved the way for the enormous popularity that the World Wide Web currently enjoys. In the near future, by providing not only easy access to information, but also means for conducting business transactions, the Web could form the base technology for the information superhighway. In such a large distributed information system, resource discovery becomes a critical problem. Recent developments in resource discovery systems, such as Harvest and Whois++, provide scalable mechanisms for the identification, location and characterization of networked information resources based upon resource meta-information. However, the Web's vast information space can only be handled effectively, when resources are meaningfully classified into coherent conceptual structures. The automatic classification of resource meta-information is at the heart of the WAVE system, which employs methods from the mathematical theory of concept analysis to analyze and interactively explore the vast information space defined by wide area resource discovery services. In this paper we discuss these methods by interpreting various synoptic and summary interchange formats for resource meta-information, such as the Harvest SOIF and the Whois++ urc, in terms of basic ideas from concept analysis. In so doing, we advocate concept analysis as a principled approach to effective resource discovery.


title: Effective Resistance-based Germination of Seed Sets for Community Detection

abstract: Community detection is, at its core, an attempt to attach an interpretable function to an otherwise indecipherable form. The importance of labeling communities has obvious implications for identifying clusters in social networks, but it has a number of equally relevant applications in product recommendations, biological systems, and many forms of classification. The local variety of community detection starts with a small set of labeled seed nodes, and aims to estimate the community containing these nodes. One of the most ubiquitous methods - due to its simplicity and efficiency - is personalized PageRank. The most obvious bottleneck for deploying this form of PageRank successfully is the quality of the seeds. We introduce a "germination" stage for these seeds, where an effective resistance-based approach is used to increase the quality and number of seeds from which a community is detected. By breaking seed set expansion into a two-step process, we aim to utilize two distinct random walk-based approaches in the regimes in which they excel. In synthetic and real network data, a simple, greedy algorithm which minimizes the effective resistance diameter combined with PageRank achieves clear improvements in precision and recall over a standalone PageRank procedure.


title: Milnor-Witt Cycle Modules

abstract: We generalize Rost's theory of cycle modules using Milnor-Witt K-theory instead of the classical Milnor K-theory. We obtain a (quadratic) setting to study general cycle complexes and their (co)homology groups. The usual constructions are developed: proper pushfoward, (essentially) smooth pullback, long exact sequences, (coniveau) spectral sequences and products, as well as the homotopy invariance property; in addition, Gysin morphisms for lci maps are constructed. We prove an adjunction theorem linking our theory to Rost's.


title: Symmetrization for Embedding Directed Graphs

abstract: Recently, one has seen a surge of interest in developing such methods including ones for learning such representations for (undirected) graphs (while preserving important properties). However, most of the work to date on embedding graphs has targeted undirected networks and very little has focused on the thorny issue of embedding directed networks. In this paper, we instead propose to solve the directed graph embedding problem via a two-stage approach: in the first stage, the graph is symmetrized in one of several possible ways, and in the second stage, the so-obtained symmetrized graph is embedded using any state-of-the-art (undirected) graph embedding algorithm. Note that it is not the objective of this paper to propose a new (undirected) graph embedding algorithm or discuss the strengths and weaknesses of existing ones; all we are saying is that whichever be the suitable graph embedding algorithm, it will fit in the above proposed symmetrization framework.


title: Graph based Entropy for Detecting Explanatory Signs of Changes in Market

abstract: Graph based entropy, an index of the diversity of events in their distribution to parts of a co-occurrence graph, is proposed for detecting signs of structural changes in the data that are informative in explaining latent dynamics of consumers behavior. For obtaining graph-based entropy, connected subgraphs are first obtained from the graph of co-occurrences of items in the data. Then, the distribution of items occurring in events in the data to these sub-graphs is reflected on the value of graph-based entropy. For the data on the position of sale, a change in this value is regarded as a sign of the appearance, the separation, the disappearance, or the uniting of consumers interests. These phenomena are regarded as the signs of dynamic changes in consumers behavior that may be the effects of external events and information. Experiments show that graph-based entropy outperforms baseline methods that can be used for change detection, in explaining substantial changes and their signs in consumers preference of items in supermarket stores.


title: Prediction of ESG Compliance using a Heterogeneous Information Network

abstract: Negative screening is one method to avoid interactions with inappropriate entities. For example, financial institutions keep investment exclusion lists of inappropriate firms that have environmental, social, and government (ESG) problems. They create their investment exclusion lists by gathering information from various news sources to keep their portfolios profitable as well as green. International organizations also maintain smart sanctions lists that are used to prohibit trade with entities that are involved in illegal activities. In the present paper, we focus on the prediction of investment exclusion lists in the finance domain. We construct a vast heterogeneous information network that covers the necessary information surrounding each firm, which is assembled using seven professionally curated datasets and two open datasets, which results in approximately 50 million nodes and 400 million edges in total. Exploiting these vast datasets and motivated by how professional investigators and journalists undertake their daily investigations, we propose a model that can learn to predict firms that are more likely to be added to an investment exclusion list in the near future. Our approach is tested using the negative news investment exclusion list data of more than 35,000 firms worldwide from January 2012 to May 2018. Comparing with the state-of-the-art methods with and without using the network, we show that the predictive accuracy is substantially improved when using the vast information stored in the heterogeneous information network. This work suggests new ways to consolidate the diffuse information contained in big data to monitor dominant firms on a global scale for better risk management and more socially responsible investment.


title: Density Changes in Low Pressure Gas Targets for Electron Scattering Experiments

abstract: A system of modular sealed gas target cells has been developed for use in electron scattering experiments at the Thomas Jefferson National Accelerator Facility (Jefferson Lab). This system was initially developed to complete the MARATHON experiment which required, among other species, tritium as a target material. Thus far, the cells have been loaded with the gas species 3H, 3He, 2H, 1H and 40Ar and operated in nominal beam currents of up to 22.5 uA in Jefferson Lab's Hall A. While the gas density of the cells at the time of loading is known, the density of each gas varies uniquely when heated by the electron beam. To extract experimental cross sections using these cells, density dependence on beam current of each target fluid must be determined. In this study, data from measurements with several beam currents within the range of 2.5 to 22.5 uA on each target fluid are presented. Additionally, expressions for the beam current dependent fluid density of each target are developed.


title: Phonon mode calculations and Raman spectroscopy of the bulk-insulating topological insulator BiSbTeSe$_2$

abstract: The tetradymite compound BiSbTeSe$_2$, is one of the most bulk-insulating three-dimensional topological insulators, which makes it important in the topological insulator research. It is a member of the solid-solution system Bi$_{2-x}$Sb$_x$Te$_{3-y}$Se$_y$, for which the local crystal structure, such as the occupation probabilities of each atomic site, is not well understood. We have investigated the temperature and polarization dependent spontaneous Raman scattering in BiSbTeSe$_2$, revealing a much higher number of lattice vibrational modes than predicted by group theoretical considerations for the space group R$\bar{3}$m corresponding to an ideally random solid-solution situation. The density functional calculations of phonon frequencies show a very good agreement with experimental data for parent material Bi$_2$Te$_3$, where no disorder effects were found. In comparison to Bi$_2$Te$_3$ the stacking disorder in BiSbTeSe$_2$, causes a discrepancy between theory and experiment. Combined analysis of experimental Raman spectra and DFT calculated phonon spectra for different types of atomic orders showed coexistence of different sequences of layers in the material and that those with Se in the center and a local order of Se-Bi-Se-Sb-Te, are the most favored.


title: Predicting Opioid Relapse Using Social Media Data

abstract: Opioid addiction is a severe public health threat in the U.S, causing massive deaths and many social problems. Accurate relapse prediction is of practical importance for recovering patients since relapse prediction promotes timely relapse preventions that help patients stay clean. In this paper, we introduce a Generative Adversarial Networks (GAN) model to predict the addiction relapses based on sentiment images and social influences. Experimental results on real social media data from Reddit.com demonstrate that the GAN model delivers a better performance than comparable alternative techniques. The sentiment images generated by the model show that relapse is closely connected with two emotions `joy' and `negative'. This work is one of the first attempts to predict relapses using massive social media data and generative adversarial nets. The proposed method, combined with knowledge of social media mining, has the potential to revolutionize the practice of opioid addiction prevention and treatment.


title: Path Developments and Tail Asymptotics of Signature for Pure Rough Paths

abstract: Solutions to linear controlled differential equations can be expressed in terms of iterated path integrals of the driving path. This collection of iterated integrals encodes essentially all information about the driving path. While upper bounds for iterated path integrals are well known, lower bounds are much less understood, and it is known only relatively recently that some type of asymptotics for the $n$-th order iterated integral can be used to recover some intrinsic quantitative properties of the path, such as the length of $C^1$ paths. In the present paper, we investigate the simplest type of rough paths (the rough path analogue of line segments), and establish uniform upper and lower estimates for the tail asymptotics of iterated integrals in terms of the local variation of the path. Our methodology, which we believe is new for this problem, involves developing paths into complex semisimple Lie algebras and using the associated representation theory to study spectral properties of Lie polynomials under the Lie algebraic development.


title: Universal Correlation between Critical Temperature of Superconductivity and band structure features

abstract: The critical temperature (${T}_\text{c}$) of superconductors varies a lot. The factors governing the ${T}_\text{c}$ may hold key clues to understand the nature of the superconductivity. Thereby, ${T}_\text{c}$-involved correlations, such as Matthias laws, Uemura law, and cuprates doping phase diagrams, have been of great concern. However, the electronic interaction being responsible for the carriers pairing in high-${T}_\text{c}$ superconductors is still not clear, which calls for more comprehensive analyses of the experimental data in history. In this work, we propose a novel perspective for searching material gene parameters and ${T}_\text{c}$-involved correlations. By exploring holistic band structure features of diverse superconductors, we found a universal correlation between the ${T}_\text{c}$ maxima and the electron energy levels for all kinds of superconducting materials. It suggests that the ${T}_\text{c}$ maxima are determined by the energy level of secondary-outer orbitals, rather than the band structure nearby the Fermi level. The energy level of secondary-outer orbitals is a parameter corresponding to the ratio of atomic orbital hybridization, implying that the fluctuation of the orbital hybridization is another candidate of pairing glue.


title: The Multiple Random Dot Product Graph Model

abstract: Data in the form of graphs, or networks, arise naturally in a number of contexts; examples include social networks and biological networks. We are often faced with the availability of multiple graphs on a single set of nodes. In this article, we propose the multiple random dot product graph model for this setting. Our proposed model leads naturally to an optimization problem, which we solve using an efficient alternating minimization approach. We further use this model as the basis for a new test for the hypothesis that the graphs come from a single distribution, versus the alternative that they are drawn from different distributions. We evaluate the performance of both the fitting algorithm and the hypothesis test in several simulation settings, and demonstrate empirical improvement over existing approaches. We apply these new approaches to a Wikipedia data set and a C. elegans data set.


title: "Only the Initiates Will Have the Secrets Revealed": Computational Chemists and the Openness of Scientific Software

abstract: Computational chemistry is a scientific field within which the computer is a pivotal element. This scientific community emerged in the 1980s and was involved with two major industries: the computer manufacturers and the pharmaceutical industry, the latter becoming a potential market for the former through molecular modeling software packages. We aim to address the difficult relationships between scientific modeling methods and the software implementing these methods throughout the 1990s. Developing, using, licensing, and distributing software leads to multiple tensions among the actors in intertwined academic and industrial contexts. The Computational Chemistry mailing List (CCL), created in 1991, constitutes a valuable corpus for revealing the tensions associated with software within the community. We analyze in detail two flame wars that exemplify these tensions. We conclude that models and software must be addressed together. Interrelations between both imply that openness in computational science is complex.


title: Data-parallel distributed training of very large models beyond GPU capacity

abstract: GPUs have limited memory and it is difficult to train wide and/or deep models that cause the training process to go out of memory. It is shown in this paper how an open source tool called Large Model Support (LMS) can utilize a high bandwidth NVLink connection between CPUs and GPUs to accomplish training of deep convolutional networks. LMS performs tensor swapping between CPU memory and GPU memory such that only a minimal number of tensors required in a training step are kept in the GPU memory. It is also shown how LMS can be combined with an MPI based distributed deep learning module to train models in a data-parallel fashion across multiple GPUs, such that each GPU is utilizing the CPU memory for tensor swapping. The hardware architecture that enables the high bandwidth GPU link with the CPU is discussed as well as the associated set of software tools that are available as the PowerAI package.


title: A new proposal for a quantum theory for isolated n-particle systems with variable masses connected by a field with variable form

abstract: We propose a new quantum approach for describing a system of $n$ interacting particles with variable mass connected by an unknown field with variable form ($n$-VMVF systems). Instead of assuming any particular nature for variation of the masses and field, we propose to find them from the laws that rule the dynamic of the systems. In this context, we consider masses and field are functions depending only on the particle positions and velocities, excluding the presence of hidden variables. The quantum approach follows the modern method for constructing the quantum theory where quantum states are defined over a Hilbert space, and the operators are obtained from the canonical transformations of the corresponding classical theory. The classical theory results on two sets of second-order Hamilton constrained equations, while the Hilbert space is defined over the extension of the complex number, which is done from an unsolvable equation on the complex domain. This new approach does not contradict the existing theoretical theories in Particle Physics.

categories: quant-ph math-ph math.MP physics.class-ph


title: Prototiles and Tilings from Voronoi and Delone cells of the Root Lattice A_n

abstract: We exploit the fact that two-dimensional facets of the Voronoi and Delone cells of the root lattice A_n in n-dimensional space are the identical rhombuses and equilateral triangles respectively.The prototiles obtained from orthogonal projections of the Voronoi and Delaunay (Delone) cells of the root lattice of the Coxeter-Weyl group W(a)_n are classified. Orthogonal projections lead to various rhombuses and several triangles respectively some of which have been extensively discussed in the literature in different contexts. For example, rhombuses of the Voronoi cell of the root lattice A_4 projects onto only two prototiles: thick and thin rhombuses of the Penrose tilings. Similarly the Delone cells tiling the same root lattice projects onto two isosceles Robinson triangles which also lead to Penrose tilings with kites and darts. We point out that the Coxeter element of order h=n+1 and the dihedral subgroup of order 2n plays a crucial role for h-fold symmetric aperiodic tilings of the Coxeter plane. After setting the general scheme we give examples leading to tilings with 4-fold, 5-fold, 6-fold,7-fold, 8-fold and 12-fold symmetries with rhombic and triangular tilings of the plane which are useful in modelling the quasicrystallography with 5-fold, 8-fold and 12-fold symmetries. The face centered cubic (f.c.c.) lattice described by the root lattice A_(3)whose Wigner-Seitz cell is the rhombic dodecahedron projects, as expected, onto a square lattice with an h=4 fold symmetry.


title: Advanced Memory Buoyancy for Forgetful Information Systems

abstract: Knowledge workers face an ever increasing flood of information in their daily lives. To counter this and provide better support for information management and knowledge work in general, we have been investigating solutions inspired by human forgetting since 2013. These solutions are based on Semantic Desktop (SD) and Managed Forgetting (MF) technology. A key concept of the latter is the so-called Memory Buoyancy (MB), which is intended to represent an information item's current value for the user and allows to employ forgetting mechanisms. The SD thus continuously performs information value assessment updating MB and triggering respective MF measures. We extended an SD-based organizational memory system, which we have been using in daily work for over seven years now, with MF mechanisms directly embedding them in daily activities, too, and enabling us to test and optimize them in real-world scenarios. In this paper, we first present our initial version of MB and discuss success and failure stories we have been experiencing with it during three years of practical usage. We learned from cognitive psychology that our previous research on context can be beneficial for MF. Thus, we created an advanced MB version especially taking user context, and in particular context switches, into account. These enhancements as well as a first prototypical implementation are presented, too.


title: Modulating traveling fronts for the Swift-Hohenberg equation in the case of an additional conservation law

abstract: We consider the one-dimensional Swift-Hohenberg equation coupled to a conservation law. As a parameter increases the system undergoes a Turing bifurcation. We study the dynamics near this bifurcation. First, we show that stationary, periodic solutions bifurcate from a homogeneous ground state. Second, we construct modulating traveling fronts which model an invasion of the unstable ground state by the periodic solutions. This provides a mechanism of pattern formation for the studied system. The existence proof uses center manifold theory for a reduction to a finite-dimensional problem. This is possible despite the presence of infinitely many imaginary eigenvalues for vanishing bifurcation parameter since the eigenvalues leave the imaginary axis with different velocities if the parameter increases. Furthermore, compared to non-conservative systems, we address new difficulties arising from an additional neutral mode at Fourier wave number $k=0$ by exploiting that the amplitude of the conserved variable is small compared to the other variables.


title: MRAM Co-designed Processing-in-Memory CNN Accelerator for Mobile and IoT Applications

abstract: We designed a device for Convolution Neural Network applications with non-volatile MRAM memory and computing-in-memory co-designed architecture. It has been successfully fabricated using 22nm technology node CMOS Si process. More than 40MB MRAM density with 9.9TOPS/W are provided. It enables multiple models within one single chip for mobile and IoT device applications.


title: Studies Of The Polarization Of Gamma Photons Originating From The Decay of Positronium Atoms

abstract: The precise measurements of the Compton scatterings of photons originating from the decay of positronium atoms can reveal information about their polarizations. J-PET detector is constructed of 192 plastic scintillators and is unique to study the scattering correlations of the annihilation photons with an angular precision of several degrees. In this work, we present the first experimental evidence showing the feasibility of measuring the photons relative polarization using the J-PET detector.


title: What Should I Learn First: Introducing LectureBank for NLP Education and Prerequisite Chain Learning

abstract: Recent years have witnessed the rising popularity of Natural Language Processing (NLP) and related fields such as Artificial Intelligence (AI) and Machine Learning (ML). Many online courses and resources are available even for those without a strong background in the field. Often the student is curious about a specific topic but does not quite know where to begin studying. To answer the question of "what should one learn first," we apply an embedding-based method to learn prerequisite relations for course concepts in the domain of NLP. We introduce LectureBank, a dataset containing 1,352 English lecture files collected from university courses which are each classified according to an existing taxonomy as well as 208 manually-labeled prerequisite relation topics, which is publicly available. The dataset will be useful for educational purposes such as lecture preparation and organization as well as applications such as reading list generation. Additionally, we experiment with neural graph-based networks and non-neural classifiers to learn these prerequisite relations from our dataset.


title: DeepPos: Deep Supervised Autoencoder Network for CSI Based Indoor Localization

abstract: The widespread mobile devices facilitated the emergence of many new applications and services. Among them are location-based services (LBS) that provide services based on user's location. Several techniques have been presented to enable LBS even in indoor environments where Global Positioning System (GPS) has low localization accuracy. These methods use some environment measurements (like Channel State Information (CSI) or Received Signal Strength (RSS)) for user localization. In this paper, we will use CSI and a novel deep learning algorithm to design a robust and efficient system for indoor localization. More precisely, we use supervised autoencoder (SAE) to model the environment using the data collected during the training phase. Then, during the testing phase, we use the trained model and estimate the coordinates of the unknown point by checking different possible labels. Unlike the previous fingerprinting approaches, in this work, we do not store the {CSI/RSS} of fingerprints and instead we model the environment only with a single SAE. The performance of the proposed scheme is then evaluated in two indoor environments and compared with that of similar approaches.


title: Analyzing and provably improving fixed budget ranking and selection algorithms

abstract: This paper studies the fixed budget formulation of the Ranking and Selection (R&S) problem with independent normal samples, where the goal is to investigate different algorithms' convergence rate in terms of their resulting probability of false selection (PFS). First, we reveal that for the well-known Optimal Computing Budget Allocation (OCBA) algorithm and its two variants, a constant initial sample size (independent of the total budget) only amounts to a sub-exponential (or even polynomial) convergence rate. After that, a modification is proposed to achieve an exponential convergence rate, where the improvement is shown by a finite-sample bound on the PFS as well as numerical results. Finally, we focus on a more tractable two-design case and explicitly characterize the large deviations rate of PFS for some simplified algorithms. Our analysis not only develops insights into the algorithms' properties, but also highlights several useful techniques for analyzing the convergence rate of fixed budget R\&S algorithms.


title: Abelianization and fixed point properties of units in integral group rings

abstract: Let $G$ be a finite group and $\mathcal{U} (\mathbb{Z} G)$ the unit group of the integral group ring $\mathbb{Z} G$. We prove a unit theorem, namely a characterization of when $\mathcal{U}(\mathbb{Z}G)$ satisfies Kazhdan's property $(\operatorname{T})$, both in terms of the finite group $G$ and in terms of the simple components of the semisimple algebra $\mathbb{Q}G$. Furthermore, it is shown that for $\mathcal{U}( \mathbb{Z} G)$ this property is equivalent to the weaker property $\operatorname{FAb}$ (i.e. every subgroup of finite index has finite abelianization), and in particular also to a hereditary version of Serre's property $\operatorname{FA}$, denoted $\operatorname{HFA}$. More precisely, it is described when all subgroups of finite index in $\mathcal{U} (\mathbb{Z} G)$ have both finite abelianization and are not a non-trivial amalgamated product. A crucial step for this is a reduction to arithmetic groups $\operatorname{SL}_n(\mathcal{O})$, where $\mathcal{O}$ is an order in a finite dimensional semisimple $\mathbb{Q}$-algebra $D$, and finite groups $G$ which have the so-called cut property. For such groups $G$ we describe the simple epimorphic images of $\mathbb{Q} G$. The proof of the unit theorem fundamentally relies on fixed point properties and the abelianization of the elementary subgroups $\operatorname{E}_n(D)$ of $\operatorname{SL}_n(D)$. These groups are well understood except in the degenerate case of lower rank, i.e.\ for $\operatorname{SL}_2(\mathcal{O})$ with $\mathcal{O}$ an order in a division algebra $D$ with a finite number of units. In this setting we determine Serre's property \FA for $\operatorname{E}_2(\mathcal{O})$ and its subgroups of finite index. We construct a generic and computable exact sequence describing its abelianization, affording a closed formula for its $\mathbb{Z}$-rank.


title: AI based Safety System for Employees of Manufacturing Industries in Developing Countries

abstract: In this paper authors are going to present a Markov Decision Process (MDP) based algorithm in Industrial Internet of Things (IIoT) as a safety compliance layer for human in loop system. Though some industries are moving towards Industry 4.0 and attempting to automate the systems as much as possible by using robots, still human in loop systems are very common in developing countries like India. When ever there is a need for human machine interaction, there is a scope of health hazard. In this work we have developed a system for one such industry using MDP. The proposed algorithm used in this system learned the probability of state transition from experience as well as the system is adaptable to new changes by incorporating the concept of transfer learning. The system was evaluated on the data set obtained from 39 sensors connected to a computer numerically controlled (CNC) machine pushing data every second in a 24x7 scenario. The state changes are typically instructed by a human which subsequently lead to some intentional or unintentional mistakes and errors. The proposed system raises an alarm for the operator to warn which he may or may not overlook depending on his own perception about the present condition of the system. Repeated ignorance of the operator for a particular state transition warning guides the system to retrain the model. We observed 95.61% alarms raised by the said system are taken care of by the operator. 3.2% alarms are coming from the changes in the system which in turn used to retrain the model and 1.19% alarms are false alarms. We could not compute the error coming from the mistake performed by the human operator as there is no ground truth available for that.