title: A result of convergence for a mono-dimensional two-velocities lattice Boltzmann scheme

abstract: We consider a mono-dimensional two-velocities scheme used to approximate the solutions of a scalar hyperbolic conservative partial differential equation. We prove the convergence of the discrete solution toward the unique entropy solution by first estimating the supremum norm and the total variation of the discrete solution, and second by constructing a discrete kinetic entropy-entropy flux pair being given a continuous entropy-entropy flux pair of the hyperbolic system. We finally illustrate our results with numerical simulations of the advection equation and the Burgers equation.


title: Radio-Map-Based Robust Positioning Optimization for UAV-Enabled Wireless Power Transfer

abstract: This letter studies an unmanned aerial vehicle-enabled wireless power transfer system within a radio-map-based robust positioning design.


title: 2D Material Structures and Discrete Symmetries of Periodic Polygons

abstract: In this work, we reconsider the study of 2D materials involving double lattice structures associated with periodic polygons. In tessellated periodic representation, it appears two periodic polygons of $k$ sides of unequal side lengths at certain angles fixed by the underlying discrete symmetries. In this way, 2D materials could be engineered by using two superstructures on the same atomic sheet generated by two length parameters $a_{1}$ and $a_{2}$ and rotated by the angle $\phi _{n}^{k}=\frac{n\pi }{k}$, where $n$ is an arbitrary natural number. These geometrical configurations could be exploited to engineer 2D materials by doubling the number of the ordinary unit cell atoms. To support the present conjecture, we establish a link with Lie symmetries including finite and indefinite ones providing a room interpretation for $n$.


title: Secrecy Outage Analysis Over Fluctuating Two-Ray Fading Channels

abstract: In this letter, we analyze the secrecy outage probability (SOP) over fluctuating two-ray fading channels but with a different definition from the one adopted in [5]. Following the new defined SOP, we derive an analytical closed-form expression for our proposed SOP, as well as an asymptotic formula valid in the high signal-to-noise ratio region of the source to destination link. In the numerical results section, we perform some Monte-Carlo simulations to validate the accuracy of our derived expressions, and also present the probability gap between our proposed SOP and the SOP in [5].


title: Passive discrete-time systems with a Pontryagin state space

abstract: Passive discrete-time systems with Hilbert spaces as an incoming and outgoing space and a Pontryagin space as a state space are investigated. A geometric characterization when the index of the transfer function coincides with the negative index of the state space is given. In this case, an isometric (co-isometric) system has a product representation corresponding to the left (right) Krein-Langer factorization of the transfer function. A new criterion, based on the inclusion of reproducing kernel spaces, when a product of two isometric (co-isometric) systems preserves controllability (observability), is obtained. The concept of the defect function is expanded for generalized Schur functions, and realizations of generalized Schur functions with zero defect functions are studied.


title: A short proof of the metrizability of $\mathcal{F}$-metric spaces

abstract: The main purpose of this manuscript is to provide a short proof of the metrizability of $\mathcal{F}$-metric spaces introduced by Jleli and Samet in \cite[\, Jleli, M. and Samet, B., On a new generalization of metric spaces, J. Fixed Point Theory Appl. (2018) 20:128]{JS1}.


title: Geometric information flows and G. Perelman entropy for relativistic classical and quantum mechanical systems

abstract: This work consists an introduction to the classical and quantum information theory of geometric flows of (relativistic) Lagrange--Hamilton mechanical systems. Basic geometric and physical properties of the canonical nonholonomic deformations of G. Perelman entropy functionals and geometric flows evolution equations of classical mechanical systems are described. There are studied projections of such F- and W-functionals on Lorentz spacetime manifolds and three-dimensional spacelike hypersurfaces. These functionals are used for elaborating relativistic thermodynamic models for Lagrange--Hamilton geometric evolution and respective generalized R. Hamilton geometric flow and nonholonomic Ricci flow equations. The concept of nonholonomic W-entropy is developed as a complementary one for the classical Shannon entropy and the quantum von Neumann entropy. There are considered geometric flow generalizations of the approaches based on classical and quantum relative entropy, conditional entropy, mutual information, and related thermodynamic models. Such basic ingredients and topics of quantum geometric flow information theory are elaborated using the formalism of density matrices and measurements with quantum channels for the evolution of quantum mechanical systems.


title: On shape dependence of the toxicity of rutile nanoparticles

abstract: Using B3LYP method, the nearly spheric structure of [Ti7O28H26]2- , the rod-like structures of [Ti2O10H10]2- and [Ti7O30H10]2- chains and the structures of their neutral complexes with Cu2+ coordinated at various terminal or bridging oxygen sites were optimized in order to assess the toxicity of rutile nanoparticles


title: Atmospheric bistability and abrupt transitions to superrotation: wave-jet resonance and Hadley cell feedbacks

abstract: Strong eastward jets at the equator have been observed in many planetary atmospheres and simulated in numerical models of varying complexity. However, the nature of the transition from a conventional state of the general circulation, with easterlies or weak westerlies in the tropics, to such a superrotating state remains unclear. Is it abrupt or continuous? This question may have far-reaching consequences, as it may provide a mechanism for abrupt climate change in a planetary atmosphere, both through the loss of stability of the conventional circulation and through potential noise-induced transitions in the bistability range. We study two feedbacks which may lead to bistability between a conventional and a superrotating state: the Hadley cell feedback and a wave-jet resonance feedback. We delineate the regime of applicability of these two mechanisms in a simple model of zonal acceleration budget at the equator. Then, we show using numerical simulations of the axisymmetric primitive equations that the wave-jet resonance feedback indeed leads to robust bistability, while the bistability governed by the Hadley cell feedback, although observed in our numerical simulations, is much more fragile in a multilevel model.


title: Transverse optical pumping of spin states

abstract: Optical pumping is an efficient method for initializing and maintaining atomic spin ensembles in a well-defined quantum spin state. Standard optical-pumping methods orient the spins by transferring photonic angular momentum to spin polarization. Generally the spins are oriented along the propagation direction of the light due to selection rules of the dipole interaction. Here we present and experimentally demonstrate that by modulating the light polarization, angular momentum perpendicular to the optical axis can be transferred efficiently to cesium vapor. The transverse pumping scheme employs transversely oriented dark states, allowing for control of the trajectory of the spins on the Bloch sphere. This new mechanism is suitable and potentially beneficial for diverse applications, particularly in quantum metrology.


title: Probabilistic Decoupling of Labels in Classification

abstract: We investigate probabilistic decoupling of labels supplied for training, from the underlying classes for prediction. Decoupling enables an inference scheme general enough to implement many classification problems, including supervised, semi-supervised, positive-unlabelled, noisy-label and suggests a general solution to the multi-positive-unlabelled learning problem. We test the method on the Fashion MNIST and 20 News Groups datasets for performance benchmarks, where we simulate noise, partial labelling etc.


title: Automorphism group of the moduli space of parabolic bundles over a curve

abstract: We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic weights is also obtained. These results are extended to the classification of birational equivalences which are defined over "big" open subsets (3-birational maps, i.e. birational maps giving an isomorphism between open subsets with complement of codimension at least 3). Finally, an analysis of the stability chambers for the parabolic weights is performed in order to determine precisely when two moduli spaces of parabolic vector bundles with different parameters (curve, rank, determinant and weights) can be isomorphic.


title: Review: dual benefits, compositions, recommended storage, and intake duration of mother's milk

abstract: Breastfeeding benefits both infants and mothers. Nutrients in mother's milk help protect infants from multiple diseases including infections, cancers, diabetes, gastrointestinal and respiratory diseases. We performed literature mining on 31,496 mother's-milk-related abstracts from PubMed and the results suggest the need for individualized mother's milk fortification and proper maternal supplementations (e.g. probiotics, vitamin D), because mother's milk compositions (e.g. fatty acids) vary according to maternal diet and responses to infection in mothers and/or infants. We review at details the variability observed in mother's milk compositions and its possible health effects in infants. We also review the effects of storage practices on mother's milk nutrients, recommended durations for mother's milk intake and the associated health benefits.


title: Reconstructing $f(T)$ modified gravity from ECHDE and ECNADE models

abstract: We investigate alternative candidates to dark energy that can explain the current state of the universe in the framework of the generalized teleparallel theory of gravity $f(T)$ where $T$ denotes the torsion scalar. To achieve this, we carried out a series of reconstruction taking into account to the ordinary and entropy-corrected versions of the holographic and new agegraphic dark energy models. These models used as alternative to dark energy in the literature in order describe the current state of our universe. It is remarked that the models reconstructed indicates behaviors like phantom or quintessence models. Furthermore, we also generated the EoS parameters associated to entropy-corrected models and we observed a transition phase between quintessence state and phantom state as showed by recent observational data. We also investigated on the stability theses models and we created the $\{r-s\}$. The behavior of certains physical parameters as speed of sound and the Statefinder parameters are compatible with current observational data.


title: Non-linear Multitask Learning with Deep Gaussian Processes

abstract: We present a multi-task learning formulation for Deep Gaussian processes (DGPs), through non-linear mixtures of latent processes. The latent space is composed of private processes that capture within-task information and shared processes that capture across-task dependencies. We propose two different methods for segmenting the latent space: through hard coding shared and task-specific processes or through soft sharing with Automatic Relevance Determination kernels. We show that our formulation is able to improve the learning performance and transfer information between the tasks, outperforming other probabilistic multi-task learning models across real-world and benchmarking settings.


abstract: The inverses of indecomposable Cartan matrices are computed for finite-dimensional Lie algebras and Lie superalgebras over fields of any characteristic, and for hyperbolic (almost affine) complex Lie (super)algebras. We discovered three yet inexplicable new phenomena, of which (a) and (b) concern hyperbolic (almost affine) complex Lie (super)algebras, except for the 5 Lie superalgebras whose Cartan matrices have 0 on the main diagonal: (a) several of the inverses of Cartan matrices have all their elements negative (not just non-positive, as they should be according to an a priori characterization due to Zhang Hechun); (b) the 0s only occur on the main diagonals of the inverses; (c) the determinants of inequivalent Cartan matrices of the simple Lie (super)algebra may differ (in any characteristic). We interpret most of the results of Wei Yangjiang and Zou Yi Ming, Inverses of Cartan matrices of Lie algebras and Lie superalgebras, Linear Alg. Appl., 521 (2017) 283--298 as inverses of the Gram matrices of non-degenerate invariant symmetric bilinear forms on the (super)algebras considered, not of Cartan matrices, and give more adequate references. In particular, the inverses of Cartan matrices of simple Lie algebras were already published, starting with Dynkin's paper in 1952, see also Table 2 in Springer's book by Onishchik and Vinberg (1990).


title: Instance-Aware Representation Learning and Association for Online Multi-Person Tracking

abstract: Multi-Person Tracking (MPT) is often addressed within the detection-to-association paradigm. In such approaches, human detections are first extracted in every frame and person trajectories are then recovered by a procedure of data association (usually offline). However, their performances usually degenerate in presence of detection errors, mutual interactions and occlusions. In this paper, we present a deep learning based MPT approach that learns instance-aware representations of tracked persons and robustly online infers states of the tracked persons. Specifically, we design a multi-branch neural network (MBN), which predicts the classification confidences and locations of all targets by taking a batch of candidate regions as input. In our MBN architecture, each branch (instance-subnet) corresponds to an individual to be tracked and new branches can be dynamically created for handling newly appearing persons. Then based on the output of MBN, we construct a joint association matrix that represents meaningful states of tracked persons (e.g., being tracked or disappearing from the scene) and solve it by using the efficient Hungarian algorithm. Moreover, we allow the instance-subnets to be updated during tracking by online mining hard examples, accounting to person appearance variations over time. We comprehensively evaluate our framework on a popular MPT benchmark, demonstrating its excellent performance in comparison with recent online MPT methods.


title: Citation concept analysis (CCA) - A new form of citation analysis revealing the usefulness of concepts for other researchers illustrated by two exemplary case studies including classic books by Thomas S. Kuhn and Karl R. Popper

abstract: In recent years, the full text of papers are increasingly available electronically which opens up the possibility of quantitatively investigating citation contexts in more detail. In this study, we introduce a new form of citation analysis, which we call citation concept analysis (CCA). CCA is intended to reveal the cognitive impact certain concepts -- published in a document -- have on the citing authors. It counts the number of times the concepts are mentioned (cited) in the citation context of citing publications. We demonstrate the method using three classical examples: (1) The structure of scientific revolutions by Thomas S. Kuhn, (2) The logic of scientific discovery - Logik der Forschung: Zur Erkenntnistheorie der modernen Naturwissenschaft in German -, and (3) Conjectures and refutations: the growth of scientific knowledge by Karl R. Popper. It is not surprising -- as our results show -- that Kuhn's "paradigm" concept has had a significant impact. What is surprising is that it has had such a disproportionately larger impact than Kuhn's other concepts, e.g., "scientific revolution". The paradigm concept accounts for over 80% of the concept-related citations to Kuhn's work, and its impact is resilient across all disciplines and over time. With respect to Popper, "falsification" is the most used concept derived from his books. Falsification, after all, is the cornerstone of Popper's critical rationalism.


title: Designing and Implementing Data Warehouse for Agricultural Big Data

abstract: In recent years, precision agriculture that uses modern information and communication technologies is becoming very popular. Raw and semi-processed agricultural data are usually collected through various sources, such as: Internet of Thing (IoT), sensors, satellites, weather stations, robots, farm equipment, farmers and agribusinesses, etc. Besides, agricultural datasets are very large, complex, unstructured, heterogeneous, non-standardized, and inconsistent. Hence, the agricultural data mining is considered as Big Data application in terms of volume, variety, velocity and veracity. It is a key foundation to establishing a crop intelligence platform, which will enable resource efficient agronomy decision making and recommendations. In this paper, we designed and implemented a continental level agricultural data warehouse by combining Hive, MongoDB and Cassandra. Our data warehouse capabilities: (1) flexible schema; (2) data integration from real agricultural multi datasets; (3) data science and business intelligent support; (4) high performance; (5) high storage; (6) security; (7) governance and monitoring; (8) replication and recovery; (9) consistency, availability and partition tolerant; (10) distributed and cloud deployment. We also evaluate the performance of our data warehouse.


title: A unified variance-reduced accelerated gradient method for convex optimization

abstract: We propose a novel randomized incremental gradient algorithm, namely, VAriance-Reduced Accelerated Gradient (Varag), for finite-sum optimization. Equipped with a unified step-size policy that adjusts itself to the value of the condition number, Varag exhibits the unified optimal rates of convergence for solving smooth convex finite-sum problems directly regardless of their strong convexity. Moreover, Varag is the first accelerated randomized incremental gradient method that benefits from the strong convexity of the data-fidelity term to achieve the optimal linear convergence. It also establishes an optimal linear rate of convergence for solving a wide class of problems only satisfying a certain error bound condition rather than strong convexity. Varag can also be extended to solve stochastic finite-sum problems.


title: VecHGrad for Solving Accurately Complex Tensor Decomposition

abstract: Tensor decomposition, a collection of factorization techniques for multidimensional arrays, are among the most general and powerful tools for scientific analysis. However, because of their increasing size, today's data sets require more complex tensor decomposition involving factorization with multiple matrices and diagonal tensors such as DEDICOM or PARATUCK2. Traditional tensor resolution algorithms such as Stochastic Gradient Descent (SGD), Non-linear Conjugate Gradient descent (NCG) or Alternating Least Square (ALS), cannot be easily applied to complex tensor decomposition or often lead to poor accuracy at convergence. We propose a new resolution algorithm, called VecHGrad, for accurate and efficient stochastic resolution over all existing tensor decomposition, specifically designed for complex decomposition. VecHGrad relies on gradient, Hessian-vector product and adaptive line search to ensure the convergence during optimization. Our experiments on five real-world data sets with the state-of-the-art deep learning gradient optimization models show that VecHGrad is capable of converging considerably faster because of its superior theoretical convergence rate per step. Therefore, VecHGrad targets as well deep learning optimizer algorithms. The experiments are performed for various tensor decomposition including CP, DEDICOM and PARATUCK2. Although it involves a slightly more complex update rule, VecHGrad's runtime is similar in practice to that of gradient methods such as SGD, Adam or RMSProp.


title: Ramsey and Gallai-Ramsey number for wheels

abstract: Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. Much like graph Ramsey numbers, Gallai-Ramsey numbers have gained a reputation as being very difficult to compute in general. As yet, still only precious few sharp results are known. In this paper, we obtain bounds on the Gallai-Ramsey number for wheels and the exact value for the wheel on $5$ vertices.


title: Search and capture efficiency of dynamic microtubules for centrosome relocation during IS formation

abstract: Upon contact with antigen presenting cells (APCs) cytotoxic T lymphocytes (T cells) establish a highly organized contact zone denoted as immunological synapse (IS). The formation of the IS implies relocation of the microtubule organizing center (MTOC) towards the contact zone, which necessitates a proper connection between MTOC and IS via dynamic microtubules (MTs). The efficiency of the MTs finding the IS within relevant time scale is, however, still illusive. We investigate how MTs search the three-dimensional constrained cellular volume for the IS and bind upon encounter to dynein anchored at the IS cortex. The search efficiency is estimated by calculating the time required for the MTs to reach the dynein-enriched region of the IS. In this study, we develop simple mathematical and numerical models incorporating relevant components of a cell and propose an optimal search strategy. Using the mathematical model, we have quantified the average search time for a wide range of model parameters and proposed an optimized set of values leading to the minimum capture time. Our results show that search times are minimal when the IS formed at the nearest or at the farthest sites on the cell surface, with respect to the perinuclear MTOC. The search time increases monotonically away from these two specific sites and are maximal at an intermediate position near the equator of the cell. We observed that search time strongly depends on the number of searching MTs and distance of the MTOC from the nuclear surface.


title: Evidence for 2-D pi-bonded Surface Reconstructions on Si(111)

abstract: A silicene-like polymorph of the Si111 7x7 surface is proposed that resolves numerous experimental paradoxes and inconsistencies arising over the past 34 years. An analysis of the three established surface state charge densities from atom resolved spectroscopic imaging, including the 'forgotten' surface state at ~ -0.4 eV, shows features that are consistent with well studied 2-D silicenes. The bonding in this new structure as well as its physical nature are fundamentally different from the covalent surface bonding that is widely accepted. From its structural characteristics, this polymorph arises from significant sp2-sp3 hybridization in the top layer that creates a 'faulted' honeycomb motif of Si atoms. This top layer has an unusual periodic p-orbital structure that can inter-digitate with the terminal bulk 'dangling bonds' to create a 2-D pi-bonded structure. This unusual bonding and new structure is important in understanding the nature of 2-D silicenes and 1-D honeycomb structures, as well as the conversion of the 1-D pi-bonded chains of the 2x1 structure to the 2-D pi-bonded 5x5 or 7x7 structures. Such extended pi-bonded structures can lead to non-covalent dispersion interactions that have not been accurately included in previous semiconductor surface calculations.


title: Deep Factors for Forecasting

abstract: Producing probabilistic forecasts for large collections of similar and/or dependent time series is a practically relevant and challenging task. Classical time series models fail to capture complex patterns in the data, and multivariate techniques struggle to scale to large problem sizes. Their reliance on strong structural assumptions makes them data-efficient, and allows them to provide uncertainty estimates. The converse is true for models based on deep neural networks, which can learn complex patterns and dependencies given enough data. In this paper, we propose a hybrid model that incorporates the benefits of both approaches. Our new method is data-driven and scalable via a latent, global, deep component. It also handles uncertainty through a local classical model. We provide both theoretical and empirical evidence for the soundness of our approach through a necessary and sufficient decomposition of exchangeable time series into a global and a local part. Our experiments demonstrate the advantages of our model both in term of data efficiency, accuracy and computational complexity.


title: Expected Tight Bounds for Robust Training

abstract: Training Deep Neural Networks that are robust to norm bounded adversarial attacks remains an elusive problem. While exact and inexact verification-based methods are generally too expensive to train large networks, it was demonstrated that bounded input intervals can be inexpensively propagated from a layer to another through deep networks. This interval bound propagation approach (IBP) not only has improved both robustness and certified accuracy but was the first to be employed on large/deep networks. However, due to the very loose nature of the IBP bounds, the required training procedure is complex and involved. In this paper, we closely examine the bounds of a block of layers composed in the form of Affine-ReLU-Affine. To this end, we propose expected tight bounds (true bounds in expectation), referred to as ETB, which are provably tighter than IBP bounds in expectation. We then extend this result to deeper networks through blockwise propagation and show that we can achieve orders of magnitudes tighter bounds compared to IBP. Furthermore, using a simple standard training procedure, we can achieve impressive robustness-accuracy trade-off on both MNIST and CIFAR10.


title: Generalised Proper Time as a Unifying Basis for Models with Two Right-Handed Neutrinos

abstract: Models with two right-handed neutrinos are able to accommodate solar and atmospheric neutrino oscillation observations as well as a mechanism for the baryon asymmetry of the universe. While economical in terms of the required new states beyond the Standard Model, given that there are three generations of the other leptons and quarks this raises the question concerning why only two right-handed neutrino states should exist. Here we develop from first principles a fundamental unification scheme based upon a direct generalisation and analysis of a simple proper time interval with a structure beyond that of local 4-dimensional spacetime and further augmenting that of models with extra spatial dimensions. This theory leads to properties of matter fields that resemble the Standard Model, with an intrinsic left-right asymmetry which is particularly marked for the neutrino sector. It will be shown how the theory can provide a foundation for the natural incorporation of two right-handed neutrinos and may in principle underlie firm predictions both in the neutrino sector and for other new physics beyond the Standard Model. While connecting with contemporary and future experiments the origins of the theory are motivated in a similar spirit as for the earliest unified field theories.


title: A model for genuine equivariant commutative ring spectra away from the group order

abstract: We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms in the form of additional norm maps on geometric fixed point diagrams, which turns out to be computationally managable.


title: Hunting for extra dimensions in the shadow of M87*

abstract: The Event Horizon Telescope has recently provided the first image of the dark shadow around the supermassive black hole M87*. The observation of a highly circular shadow provides strong limits on deviations of M87*'s quadrupole moment from the Kerr value. We show that the absence of such a deviation can be used to constrain the physics of extra dimensions of spacetime. Focusing on the Randall-Sundrum AdS$_5$ brane-world scenario, we show that the observation of M87*'s dark shadow sets the limit $\ell \lesssim 170\,{\rm AU}$, where $\ell$ is the AdS$_5$ curvature radius. This limit is among the first quantitative constraints on exotic physics obtained from the extraordinary first ever image of the dark shadow of a black hole.


title: Reachability Games in Dynamic Epistemic Logic

abstract: We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an external controller with perfect information interacts with an environment and aims at reaching some epistemic goal state regarding the passive agents of the system. We study the problem of strategy existence for the controller, which generalises the classic epistemic planning problem, and we solve it for several types of actions such as public announcements and public actions. We then consider a yet richer setting where agents themselves are players, whose strategies must be based on their observations. We establish several (un)decidability results for the problem of existence of a distributed strategy, depending on the type of actions the players can use, and relate them to results from the literature on multiplayer games with imperfect information.


title: Dark matter and baryon-number generation in quintessential inflation via hierarchical right-handed neutrinos

abstract: Incorporating three generations of right-handed Majorana neutrinos to quintessential inflation, we construct a model which simultaneously explains inflation, dark energy, dark matter and baryogenesis. These neutrinos have hierarchical masses $M_3 \sim 10^{13}$GeV, $M_2 \sim 10^{11}$GeV, $M_1 \sim 10$keV and are produced by gravitational particle production in the kination regime after inflation. The heaviest, the intermediate, and the lightest account for reheating, CP violation of leptogenesis, and dark matter, respectively. This model can be tested in various ways with forthcoming observations.


title: Statistical Modeling of the FSO Fronthaul Channel for UAV-based Communications

abstract: In this paper, we investigate the statistics of the free space optics (FSO) communication channel between a hovering unmanned aerial vehicle (UAV) and a central unit. Two unique characteristics make UAV-based FSO systems significantly different from conventional FSO systems with static transceivers. First, for UAV-based FSO systems, the incident laser beam is not always orthogonal to the receiver lens plane. Second, both position and orientation of the UAV fluctuate over time due to dynamic wind load, inherent random air fluctuations in the atmosphere around the UAV, and internal vibrations of the UAV. On the contrary, for conventional FSO systems, the laser beam is always perpendicular to the receiver lens plane and the relative movement of the transceivers is limited. In this paper, we develop a novel channel model for UAV-based FSO systems by quantifying the corresponding geometric and misalignment losses (GML), while taking into account the non-orthogonality of the laser beam and the random fluctuations of the position and orientation of the UAV. In particular, for diverse weather conditions, we propose different fluctuation models for the position and orientation of the UAV and derive corresponding statistical models for the GML. We further analyze the performance of a UAV-based FSO link in terms of outage probability and ergodic rate and simplify the resulting analytical expressions for the high signal-to-noise ratio (SNR) regime. Finally, simulations validate the accuracy of the presented analysis and provide important insights for system design. For instance, we show that for a given variance of the fluctuations, the beam width should be properly adjusted to minimize the outage probability.


title: Near-optimal Optimistic Reinforcement Learning using Empirical Bernstein Inequalities

abstract: We study model-based reinforcement learning in an unknown finite communicating Markov decision process. We propose a simple algorithm that leverages a variance based confidence interval. We show that the proposed algorithm, UCRL-V, achieves the optimal regret $\tilde{\mathcal{O}}(\sqrt{DSAT})$ up to logarithmic factors, and so our work closes a gap with the lower bound without additional assumptions on the MDP. We perform experiments in a variety of environments that validates the theoretical bounds as well as prove UCRL-V to be better than the state-of-the-art algorithms.


title: Electric charge in hyperbolic motion: the special conformal transformation solution

abstract: As a simple application of special conformal transformations, we derive the electromagnetic field produced by an electric charge in hyperbolic motion. Unlike other purely algebraic derivations, here we develop a more intuitive geometrical description, based on Minkowski diagrams.


title: The Novikov Conjecture

abstract: We give a survey on recent development of the Novikov conjecture and its applications to topological rigidity and non-rigidity. .


title: Physical and thermodynamic properties of quartic quasitopological black holes and rotating black branes with nonlinear source

abstract: In this paper, we find the solutions of quartic quasitopological black holes and branes coupled to logarithmic and exponential forms of nonlinear electrodynamics. These solutions have an essential singularity at $r=0$. Depending on the value of charge parameter $q$, we have an extreme black hole/brane, a black hole/brane with two horizons or a naked singularity. For small values of parameter $q$, the solutions lead to a black hole/brane with two horizons. The values of the horizons are independent of the values of quasitopological parameters and depend only on the values of $q$, dimensions $n$, nonlinear parameter $\beta$ and mass parameter. Also, the solutions are not thermally stable for dS and flat spacetimes. However, AdS solutions are stable for $r_{+}>{r_{+}}_{\rm{ext}}$ which the temperature is zero for $r_{+}={r_{+}}_{\rm{ext}}$. The value of ${r_{+}}_{\rm{ext}}$ also depends on the values of parameters $q$, $\beta$, $n$ and $m$. As the value of ${r_{+}}_{\rm{ext}}$ decreases, the region of stability becomes larger. We also use HPEM metric to probe GTD formalism for our solutions. This metric is successful to predict the divergences of the scalar curvature exactly at the phase transition points. For large values of parameter $\Xi$, the black hole/brane has a transition to a stable state and stays stable.


title: Analyzing the Interpretability Robustness of Self-Explaining Models

abstract: Recently, interpretable models called self-explaining models (SEMs) have been proposed with the goal of providing interpretability robustness. We evaluate the interpretability robustness of SEMs and show that explanations provided by SEMs as currently proposed are not robust to adversarial inputs. Specifically, we successfully created adversarial inputs that do not change the model outputs but cause significant changes in the explanations. We find that even though current SEMs use stable co-efficients for mapping explanations to output labels, they do not consider the robustness of the first stage of the model that creates interpretable basis concepts from the input, leading to non-robust explanations. Our work makes a case for future work to start examining how to generate interpretable basis concepts in a robust way.


title: Norm-based generalisation bounds for multi-class convolutional neural networks

abstract: We show generalisation error bounds for deep learning with two main improvements over the state of the art. (1) Our bounds have no explicit dependence on the number of classes except for logarithmic factors. This holds even when formulating the bounds in terms of the $L^2$-norm of the weight matrices, where previous bounds exhibit at least a square-root dependence on the number of classes. (2) We adapt the classic Rademacher analysis of DNNs to incorporate weight sharing -- a task of fundamental theoretical importance which was previously attempted only under very restrictive assumptions. In our results, each convolutional filter contributes only once to the bound, regardless of how many times it is applied. Further improvements exploiting pooling and sparse connections are provided. The presented bounds scale as the norms of the parameter matrices, rather than the number of parameters. In particular, contrary to bounds based on parameter counting, they are asymptotically tight (up to log factors) when the weights approach initialisation, making them suitable as a basic ingredient in bounds sensitive to the optimisation procedure. We also show how to adapt the recent technique of loss function augmentation to our situation to replace spectral norms by empirical analogues whilst maintaining the advantages of our approach.


title: An assets-liabilities dynamical model of banking system and systemic risk governance

abstract: We consider the problem of governing systemic risk in an assets-liabilities dynamical model of banking system. In the model considered each bank is represented by its assets and its liabilities.The capital reserves of a bank are the difference between assets and liabilities of the bank. A bank is solvent when its capital reserves are greater or equal to zero otherwise the bank is failed.The banking system dynamics is defined by an initial value problem for a system of stochastic differential equations whose independent variable is time and whose dependent variables are the assets and the liabilities of the banks.The banking system model presented generalizes those discussed in [4],[3] and describes a homogeneous population of banks. The main features of the model are a cooperation mechanism among banks and the possibility of the (direct) intervention of the monetary authority in the banking system dynamics. We call systemic risk or systemic event in a bounded time interval the fact that in that time interval at least a given fraction of the banks fails. The probability of systemic risk in a bounded time interval is evaluated using statistical simulation. The systemic risk governance pursues the goal of keeping the probability of systemic risk in a bounded time interval between two given thresholds.The monetary authority is responsible for the systemic risk governance.The governance consists in the choice of the assets and of the liabilities of a kind of "ideal bank" as functions of time and in the choice of the rules that regulate the cooperation mechanism among banks.These rules are obtained solving an optimal control problem for the pseudo mean field approximation of the banking system model. The governance induces the banks of the system to behave like the "ideal bank". Shocks acting on the assets or on the liabilities of the banks are simulated.


title: Hijacking Malaria Simulators with Probabilistic Programming

abstract: Epidemiology simulations have become a fundamental tool in the fight against the epidemics of various infectious diseases like AIDS and malaria. However, the complicated and stochastic nature of these simulators can mean their output is difficult to interpret, which reduces their usefulness to policymakers. In this paper, we introduce an approach that allows one to treat a large class of population-based epidemiology simulators as probabilistic generative models. This is achieved by hijacking the internal random number generator calls, through the use of a universal probabilistic programming system (PPS). In contrast to other methods, our approach can be easily retrofitted to simulators written in popular industrial programming frameworks. We demonstrate that our method can be used for interpretable introspection and inference, thus shedding light on black-box simulators. This reinstates much-needed trust between policymakers and evidence-based methods.


title: Curvaton: Perturbations and reheating

abstract: We study chaotic and runaway potential inflationary models in the curvaton scenario. In particular, we address the issue of large tensor-to-scalar ratio and red-tilted spectrum in chaotic models and reheating in runaway model in the light of latest Planck results. We show that curvaton can easily circumvent these problems and is well applicable to both type of models. For chaotic models, the observable non-Gaussianity put strong constraints on the decay epoch of curvaton as well as on its field value around the horizon exit. Besides, it can also explain the observed red-tilt in the spectrum as a consequence of its negative mass-squared value. As for the runaway inflationary models, curvaton by sudden decay into the background radiation provides an efficient reheating mechanism, whereas the inflaton rolls down from its potential and enters into the kinetic regime. To this effect, we consider the generalized exponential potential and obtain the allowed parametric space for model parameters. From the estimates on inflaton parameters, we constrained the curvaton mass and then the reheating temperature. We constrained the latter for both dominating and sub-dominating case and show that it agrees with the nucleosynthesis constraint.


title: Switching Linear Dynamics for Variational Bayes Filtering

abstract: System identification of complex and nonlinear systems is a central problem for model predictive control and model-based reinforcement learning. Despite their complexity, such systems can often be approximated well by a set of linear dynamical systems if broken into appropriate subsequences. This mechanism not only helps us find good approximations of dynamics, but also gives us deeper insight into the underlying system. Leveraging Bayesian inference, Variational Autoencoders and Concrete relaxations, we show how to learn a richer and more meaningful state space, e.g. encoding joint constraints and collisions with walls in a maze, from partial and high-dimensional observations. This representation translates into a gain of accuracy of learned dynamics showcased on various simulated tasks.


title: Distinguished bases and monodromy of complex hypersurface singularities

abstract: We give a survey on some aspects of the topological investigation of isolated singularities of complex hypersurfaces by means of Picard-Lefschetz theory. We focus on the concept of distinguished bases of vanishing cycles and the concept of monodromy.


title: Acceleration in First Order Quasi-strongly Convex Optimization by ODE Discretization

abstract: We study gradient-based optimization methods obtained by direct Runge-Kutta discretization of the ordinary differential equation (ODE) describing the movement of a heavy-ball under constant friction coefficient. When the function is high order smooth and strongly convex, we show that directly simulating the ODE with known numerical integrators achieve acceleration in a nontrivial neighborhood of the optimal solution. In particular, the neighborhood can grow larger as the condition number of the function increases. Furthermore, our results also hold for nonconvex but quasi-strongly convex objectives. We provide numerical experiments that verify the theoretical rates predicted by our results.


title: High-precision terahertz frequency modulated continuous wave imaging method using continuous wavelet transform

abstract: Inspired by the extensive application of terahertz imaging technologies in the field of aerospace, we exploit a terahertz frequency modulated continuous wave imaging method with continuous wavelet transform algorithm to detect a multilayer heat shield made of special materials. This method uses the frequency modulation continuous wave system to catch the reflected terahertz signal and then processing the image data by the continuous wavelet transform with different basis functions. By calculating the sizes of the defects area in the final images and then comparing the results with real samples, a novel and practical high-precision terahertz imaging method are demonstrated. Our method can be an effective tool for the terahertz nondestructive testing of composites, drugs and some cultural heritages.


title: Liquid metal intercalation of epitaxial graphene: large-area gallenene layer fabrication through gallium self-propagation at ambient conditions

abstract: We demonstrate the fabrication of an ultra thin gallium film, also known as gallenene, beneath epitaxial graphene on 6H-SiC under ambient conditions triggered by liquid gallium intercalation. Gallenene has been fabricated using the liquid metal intercalation, achieving lateral intercalation and diffusion of Ga atoms at room temperature on square centimeter areas limited only by the graphene samples' size. The stepwise self-propagation of the gallenene film below the epitaxial graphene surface on the macroscopic scale was observed by optical microscopy shortly after the initial processing without further physical or chemical treatment. Directional Ga diffusion of gallenene occurs on SiC terraces since the terrace steps form an energetic barrier (Ehrlich-Schwoebel barrier),retarding the gallenene propagation. The subsequent conversion of the epitaxial graphene into quasi free-standing bilayer graphene (QFBLG) and the graphene-gallenene heterostack interactions have been analyzed by XPS and Raman measurements. The results reveal a novel approach for controlled fabrication of wafer-scale gallenene as well as for two-dimensional heterostructures and stacks based on the interaction between liquid metal and epitaxial graphene. Please note, this work was also titled as Graphene meets gallenene -- A straightforward approach to developing large-area heterostacks by gallium self-propagation https://www.researchgate.net/publication/333451130_Graphene_meets_gallenene_-_A_straightforward_approach_to_developing_large-area_heterostacks_by_gallium_self-propagation


title: Towards robust audio spoofing detection: a detailed comparison of traditional and learned features

abstract: Automatic speaker verification, like every other biometric system, is vulnerable to spoofing attacks. Using only a few minutes of recorded voice of a genuine client of a speaker verification system, attackers can develop a variety of spoofing attacks that might trick such systems. Detecting these attacks using the audio cues present in the recordings is an important challenge. Most existing spoofing detection systems depend on knowing the used spoofing technique. With this research, we aim at overcoming this limitation, by examining robust audio features, both traditional and those learned through an autoencoder, that are generalizable over different types of replay spoofing. Furthermore, we provide a detailed account of all the steps necessary in setting up state-of-the-art audio feature detection, pre-, and postprocessing, such that the (non-audio expert) machine learning researcher can implement such systems. Finally, we evaluate the performance of our robust replay speaker detection system with a wide variety and different combinations of both extracted and machine learned audio features on the `out in the wild' ASVspoof 2017 dataset. This dataset contains a variety of new spoofing configurations. Since our focus is on examining which features will ensure robustness, we base our system on a traditional Gaussian Mixture Model-Universal Background Model. We then systematically investigate the relative contribution of each feature set. The fused models, based on both the known audio features and the machine learned features respectively, have a comparable performance with an Equal Error Rate (EER) of 12. The final best performing model, which obtains an EER of 10.8, is a hybrid model that contains both known and machine learned features, thus revealing the importance of incorporating both types of features when developing a robust spoofing prediction model.


title: Generative Parameter Sampler For Scalable Uncertainty Quantification

abstract: Uncertainty quantification has been a core of the statistical machine learning, but its computational bottleneck has been a serious challenge for both Bayesians and frequentists. We propose a model-based framework in quantifying uncertainty, called predictive-matching Generative Parameter Sampler (GPS). This procedure considers an Uncertainty Quantification (UQ) distribution on the targeted parameter, which matches the corresponding predictive distribution to the observed data. This framework adopts a hierarchical modeling perspective such that each observation is modeled by an individual parameter. This individual parameterization permits the resulting inference to be computationally scalable and robust to outliers. Our approach is illustrated for linear models, Poisson processes, and deep neural networks for classification. The results show that the GPS is successful in providing uncertainty quantification as well as additional flexibility beyond what is allowed by classical statistical procedures under the postulated statistical models.


title: Thermosize voltage induced in a ballistic graphene nanoribbon junction

abstract: A thermoelectric voltage is induced in a junction, constituted of two dissimilar materials under a temperature gradient. Similarly, a thermosize voltage is expected to be induced in a junction made by the same material but having different sizes, so-called thermosize junction. This is a consequence of dissimilarity in Seebeck coefficients due to differences in classical and/or quantum size effects in the same materials with different sizes. The studies on thermosize effects in literature are mainly based on semi-classical models under relaxation time approximation or even simpler local equilibrium ones where only very general ideas and results have been discussed without considering quantum transport approaches and specific materials. To make more realistic predictions for a possible experimental verification, here, we consider ballistic thermosize junctions made by narrow and wide ($n$-$w$) pristine graphene nanoribbons with perfect armchair edges and calculate the electronic contribution to the thermosize voltage, at room temperature, by using the Landauer formalism. The results show that the maximum thermosize voltage can be achieved for semiconducting nanoribbons and it is about an order of magnitude larger than that of metallic nanoribbons. In the semiconducting case, the thermosize voltage forms a characteristic plateau for a finite range of gating conditions. We demonstrate, through numerical calculations, that the induced thermosize voltage per temperature difference can be in the scale of mV/K, which is high enough for experimental measurements. Owing to their high and persistent thermosize voltage values, graphene nanoribbons are expected to be good candidate for device applications of thermosize effects.


title: Rank-one Multi-Reference Factor Analysis

abstract: In recent years, there is a growing need for processing methods aimed at extracting useful information from large datasets. In many cases the challenge is to discover a low-dimensional structure in the data, often concealed by the existence of nuisance parameters and noise. Motivated by such challenges, we consider the problem of estimating a signal from its scaled, cyclically-shifted and noisy observations. We focus on the particularly challenging regime of low signal-to-noise ratio (SNR), where different observations cannot be shift-aligned. We show that an accurate estimation of the signal from its noisy observations is possible, and derive a procedure which is proved to consistently estimate the signal. The asymptotic sample complexity (the number of observations required to recover the signal) of the procedure is $1/\operatorname{SNR}^4$. Additionally, we propose a procedure which is experimentally shown to improve the sample complexity by a factor equal to the signal's length. Finally, we present numerical experiments which demonstrate the performance of our algorithms, and corroborate our theoretical findings.


title: Implementing SCADA Scenarios and Introducing Attacks to Obtain Training Data for Intrusion Detection Methods

abstract: There are hardly any data sets publicly available that can be used to evaluate intrusion detection algorithms. The biggest threat for industrial applications arises from state-sponsored and criminal groups. Often, formerly unknown exploits are employed by these attackers, so-called 0-day exploits. They cannot be discovered with signature-based intrusion detection. Thus, statistical or machine learning based anomaly detection lends itself readily. These methods especially, however, need a large amount of labelled training data. In this work, an exemplary industrial use case with real-world industrial hardware is presented. Siemens S7 Programmable Logic Controllers are used to control a real world-based control application using the OPC UA protocol: A pump, filling and emptying water tanks. This scenario is used to generate application specific network data. Furthermore, attacks are introduced into this data set. This is done in three ways: First, the normal process is monitored and captured. Common attacks are then synthetically introduced into this data set. Second, malicious behaviour is implemented on the Programmable Logic Controller program and executed live, the traffic is captured as well. Third, malicious behaviour is implemented on the Programmable Logic Controller while still keeping the same output behaviour as in normal operation. An attacker could exploit an application but forge valid sensor output so that no anomaly is detected. Sensors are employed, capturing temperature, sound and flow of water to create data that can be correlated to the network data and used to still detect the attack. All data is labelled, containing the ground truth, meaning all attacks are known and no unknown attacks occur. This makes them perfect for training of anomaly detection algorithms. The data is published to enable security researchers to evaluate intrusion detection solutions.


title: An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics

abstract: Denotational models should provide an opportunity for the revision of current practices seen in the manuals of programming languages. New styles should on one hand base on denotational models but on the other - do not assume that today readers are acquainted in this field. A manual should, therefore, provide some basic knowledge and notation needed to understand the definition of a programming language written in a new style. At the same time - I strongly believe that - it should be written for professional programmers rather than for amateurs. The role of a manual is not to teach the skills of programming. Such textbooks are, of course, necessary, but they should tell the readers what the programming is about rather than the technicalities of a concrete language. The paper contains an example of a manual for a virtual programming language Lingua developed in our project.


title: On the Containment Problem for Unambiguous Single-Register Automata with Guessing

abstract: Register automata extend classical finite automata with a finite set of registers that can store data from an infinite data domain for later equality comparisons with data from an input data word. While the registers in the original model of register automata, introduced in 1994 by Kaminski and Francez, can only store data occurring in the data word processed so far, we study here the more expressive class of register automata with guessing, where registers can nondeterministically take any value from the infinite data domain, even if this data does not occur in the input data word. It is well known that the containment problem, i.e., the problem of deciding for two given register automata with guessing A and B, whether the language L(A) accepted by A is contained in the language L(B) accepted by B, is undecidable, even if B only uses a single register. We prove that the problem is decidable if B is unambiguous and uses a single register.


title: On $\mathcal{H}_Y$-Ideals

abstract: In this article, we continue the studying of $\mathcal{H}_Y$-ideals. We introducing two notions fixed and free $\mathcal{H}_Y$-ideals as an extension of fixed and free z-ideals in C(X) and relative $\mathcal{H}_Y$-ideals as an extension of relative z-ideals. It has been shown that a large amount of the results of the mentioned papers and generally the papers in the literature about these topics, are special cases of the results of this paper. We prove that Y is compact if and only if every proper $\mathcal{H}_Y$-ideal is a fixed $\mathcal{H}_Y$-ideal; if and only if every proper strong H_Y-ideal is a fixed ideal. Also, we show that every proper ideal is a relative $\mathcal{H}_Y$-ideal, if and only if every proper ideal is a strong $\mathcal{H}_Y$-ideal; if and only if R is regular.


title: On the Decomposition Theorems for C*-algebras

abstract: Elliott dimension drop interval algebra is an important class among all $C^*$-algebras in the classification theory. Especially, they are building stones of $\mathcal{AHD}$ algebra and the latter contains all $AH$ algebras with the ideal property of no dimension growth. In this paper, we will show two decomposition theorems related to the Elliott dimension drop interval algebra. Our results are key steps in classifying all $AH$ algebras with the ideal property of no dimension growth.


title: Photoinduced nematic state in FeSe$_{0.4}$Te$_{0.6}$

abstract: FeSe$_{x}$Te$_{1-x}$ compounds present a complex phase diagram, ranging from the nematicity of FeSe to the $(\pi, \pi)$ magnetism of FeTe. We focus on FeSe$_{0.4}$Te$_{0.6}$, where the nematic ordering is absent at equilibrium. We use a time-resolved approach based on femtosecond light pulses to study the dynamics following photoexcitation in this system. The use of polarization-dependent time- and angle-resolved photoelectron spectroscopy allows us to reveal a photoinduced nematic metastable state, whose stabilization cannot be interpreted in terms of an effective photodoping. We argue that the 1.55 eV photon-energy-pump-pulse perturbs the $C_4$ symmetry of the system triggering the realization of the nematic state. The possibility to induce nematicity using an ultra-short pulse sheds a new light on the driving force behind the nematic symmetry breaking in iron-based superconductors. Our results weaken the idea that a low-energy coupling with fluctuations is a necessary condition to stabilize the nematic order and ascribe the origin of the nematic order in iron-based superconductors to a clear tendency of those systems towards orbital differentiation due to strong electronic correlations induced by the Hund's coupling.


title: The $N$-stars network evolution model

abstract: A new network evolution model is introduced in this paper. The model is based on co-operations of $N$ units. The units are the nodes of the network and the co-operations are indicated by directed links. At each evolution step $N$ units co-operate which formally means that they form a directed $N$-star subgraph. At each step either a new unit joins to the network and it co-operates with $N-1$ old units or $N$ old units co-operate. During the evolution both preferential attachment and uniform choice are applied. Asymptotic power law distributions are obtained both for the in-degrees and the out-degrees.


title: Cosmic voids in modified gravity scenarios

abstract: Modified gravity (MG) theories aim to reproduce the observed acceleration of the Universe by reducing the dark sector while simultaneously recovering General Relativity (GR) within dense environments. Void studies appear to be a suitable scenario to search for imprints of alternative gravity models on cosmological scales. Voids cover an interesting range of density scales where screening mechanisms fade out, which reaches from a density contrast $\delta \approx -1$ close to their centers to $\delta \approx 0$ close to their boundaries. We present an analysis of the level of distinction between GR and two modified gravity theories, the Hu-Sawicki $f(R)$ and the symmetron theory. This study relies on the abundance, linear bias, and density profile of voids detected in n-body cosmological simulations. We define voids as connected regions made up of the union of spheres with a {\it \textup{mean}} density given by $\overline\rho_v=0.2\,\overline\rho_m$, but disconnected from any other voids. We find that the height of void walls is considerably affected by the gravitational theory, such that it increases for stronger gravity modifications. Finally, we show that at the level of dark matter n-body simulations, our constraints allow us to distinguish between GR and MG models with $|f_{R0}| > 10^{-6}$ and $z_{SSB} > 1$. Differences of best-fit values for MG parameters that are derived independently from multiple void probes may indicate an incorrect MG model. This serves as an important consistency check.


title: On the inductive limit of direct sums of simple TAI algebras

abstract: An ATAI (or ATAF, respectively) algebra, introduced in [Jiang1] (or in [Fa] respectively) is an inductive limit $\lim\limits_{n\rightarrow\infty}(A_{n}=\bigoplus\limits_{i=1}A_{n}^{i},\phi_{nm})$, where each $A_{n}^{i}$ is a simple separable nuclear TAI (or TAF) C*-algebra with UCT property. In [Jiang1], the second author classified all ATAI algebras by an invariant consisting orderd total K-theory and tracial state spaces of cut down algebras under an extra restriction that all element in $K_{1}(A)$ are torsion. In this paper, we remove this restriction, and obtained the classification for all ATAI algebras with the Hausdorffized algebraic $K_{1}$-group as an addition to the invariant used in [Jiang1]. The theorem is proved by reducing the class to the classification theorem of $\mathcal{AHD}$ algebras with ideal property which is done in [GJL1]. Our theorem generalizes the main theorem of [Fa] and [Jiang1] (see corollary 4.3).


title: Anisotropic ultracompact Schwarzschild star by gravitational decoupling

abstract: We employ the minimal geometric deformation approach to gravitational decoupling (MGD-decoupling) in order to generate an exact anisotropic and non-uniform version of the ultracompact Schwarzschild star, or 'gravastar', proposed by Mazur and Mottola. This new system represents an ultracompact configuration of radius $R_{S}=2\cal{M}$ whose interior metric can be matched smoothly to a conformally deformed Schwarzschild exterior. Remarkably, the model satisfies some of the basic requirements to describe a stable stellar model, such as a positive density everywhere and decreasing monotonously from the centre, as well as a non-uniform and monotonic pressure.


title: Hausdorffifized algebraic $K_1$ group and invariants for $C^*$-algebras with the ideal property

abstract: A $C^*$-algebra $A$ is said to have the ideal property if each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two sided ideal. $C^*$-algebras with the ideal property are generalization and unification of real rank zero $C^*$-algebras and unital simple $C^*$-algebras. It is long to be expected that an invariant (see [Stev] and [Ji-Jiang], [Jiang-Wang] and [Jiang1]) , we call it $Inv^0(A)$ (see the introduction), consisting of scaled ordered total $K$-group $(\underline{K}(A), \underline{K}(A)^{+},\Sigma A)_{\Lambda}$ (used in the real rank zero case), the tracial state space $T(pAp)$ of cutting down algebra $pAp$ as part of Elliott invariant of $pAp$ (for each $[p]\in\Sigma A$) with a certain compatibility, is the complete invariant for certain well behaved class of $C^*$-algebras with the ideal property (e.g., $AH$ algebras with no dimension growth). In this paper, we will construct two non isomorphic $A\mathbb{T}$ algebras $A$ and $B$ with the ideal property such that $Inv^0(A)\cong Inv^0(B)$. The invariant to differentiate the two algebras is the Hausdorffifized algebraic $K_1$-groups $U(pAp)/\overline{DU(pAp)}$ (for each $[p]\in\Sigma A$) with a certain compatibility condition. It will be proved in [GJL] that, adding this new ingredients, the invariant will become the complete invariant for $AH$ algebras (of no dimension growth) with the ideal property.


title: Deep Learning for Bug-Localization in Student Programs

abstract: Providing feedback is an integral part of teaching. Most open online courses on programming make use of automated grading systems to support programming assignments and give real-time feedback. These systems usually rely on test results to quantify the programs' functional correctness. They return failing tests to the students as feedback. However, students may find it difficult to debug their programs if they receive no hints about where the bug is and how to fix it. In this work, we present the first deep learning based technique that can localize bugs in a faulty program w.r.t. a failing test, without even running the program. At the heart of our technique is a novel tree convolutional neural network which is trained to predict whether a program passes or fails a given test. To localize the bugs, we analyze the trained network using a state-of-the-art neural prediction attribution technique and see which lines of the programs make it predict the test outcomes. Our experiments show that the proposed technique is generally more accurate than two state-of-the-art program-spectrum based and one syntactic difference based bug-localization baselines.


title: A $\xi$-weak Grothendieck compactness principle

abstract: For $0\leqslant \xi\leqslant \omega_1$, we define the notion of $\xi$-weakly precompact and $\xi$-weakly compact sets in Banach spaces and prove that a set is $\xi$-weakly precompact if and only if its weak closure is $\xi$-weakly compact. We prove a quantified version of Grothendieck's compactness principle and the characterization of Schur spaces obtained by Dowling et al. For $0\leqslant \xi\leqslant \omega_1$, we prove that a Banach space $X$ has the $\xi$-Schur property if and only if every $\xi$-weakly compact set is contained in the closed, convex hull of a weakly null (equivalently, norm null) sequence.


title: Optical signature of the pressure-induced dimerization in the honeycomb iridate $\alpha$-Li$_2$IrO$_3$

abstract: We studied the effect of external pressure on the electrodynamic properties of $\alpha$-Li$_2$IrO$_3$ single crystals in the frequency range of the phonon modes and the Ir $d$-$d$ transitions. The abrupt hardening of several phonon modes under pressure supports the onset of the dimerized phase at the critical pressure $P_c$=3.8 GPa. With increasing pressure an overall decrease in spectral weight of the Ir $d$-$d$ transitions is found up to $P_c$. Above $P_c$, the local (on-site) $d$-$d$ excitations gain spectral weight with increasing pressure, which hints at a pressure-induced increase in the octahedral distortions. The non-local (intersite) Ir $d$-$d$ transitions show a monotonic blue-shift and decrease in spectral weight. The changes observed for the non-local excitations are most prominent well above $P_c$, namely for pressures $\geq$12 GPa, and only small changes occur for pressures close to $P_c$. The profile of the optical conductivity at high pressures ($\sim$20 GPa) appears to be indicative for the dimerized state in iridates.


title: A backdoor attack against LSTM-based text classification systems

abstract: With the widespread use of deep learning system in many applications, the adversary has strong incentive to explore vulnerabilities of deep neural networks and manipulate them. Backdoor attacks against deep neural networks have been reported to be a new type of threat. In this attack, the adversary will inject backdoors into the model and then cause the misbehavior of the model through inputs including backdoor triggers. Existed research mainly focuses on backdoor attacks in image classification based on CNN, little attention has been paid to the backdoor attacks in RNN. In this paper, we implement a backdoor attack in text classification based on LSTM by data poisoning. When the backdoor is injected, the model will misclassify any text samples that contains a specific trigger sentence into the target category determined by the adversary. The existence of the backdoor trigger is stealthy and the backdoor injected has little impact on the performance of the model. We consider the backdoor attack in black-box setting where the adversary has no knowledge of model structures or training algorithms except for small amount of training data. We verify the attack through sentiment analysis on the dataset of IMDB movie reviews. The experimental results indicate that our attack can achieve around 95% success rate with 1% poisoning rate.


title: The local motivic DT/PT correspondence

abstract: We show that the Quot scheme $Q_L^n = \textrm{Quot}_{\mathbb A^3}(\mathscr I_L,n)$ parameterising length $n$ quotients of the ideal sheaf of a line in $\mathbb{A}^3$ is a global critical locus, and calculate the resulting motivic partition function (varying $n$), in the ring of relative motives over the configuration space of points in $\mathbb{A}^3$. As in the work of Behrend-Bryan-Szendr\H{o}i this enables us to define a virtual motive for the Quot scheme of $n$ points of the ideal sheaf $\mathscr I_C\subset \mathscr O_Y$, where $C\subset Y$ is a smooth curve embedded in a smooth 3-fold $Y$, and we compute the associated motivic partition function. The result fits into a motivic wall-crossing type formula, refining the relation between Behrend's virtual Euler characteristic of $\textrm{Quot}_Y(\mathscr I_C,n)$ and of the symmetric product $\textrm{Sym}^nC$. Our "relative" analysis leads to results and conjectures regarding the pushforward of the sheaf of vanishing cycles along the Hilbert-Chow map $Q_L^n \rightarrow \textrm{Sym}^n(\mathbb{A}^3)$, and connections with cohomological Hall algebra representations.


title: Safety-related Tasks within the Set-Based Task-Priority Inverse Kinematics Framework

abstract: In this paper we present a framework that allows the motion control of a robotic arm automatically handling different kinds of safety-related tasks. The developed controller is based on a Task-Priority Inverse Kinematics algorithm that allows the manipulator's motion while respecting constraints defined either in the joint or in the operational space in the form of equality-based or set-based tasks. This gives the possibility to define, among the others, tasks as joint-limits, obstacle avoidance or limiting the workspace in the operational space. Additionally, an algorithm for the real-time computation of the minimum distance between the manipulator and other objects in the environment using depth measurements has been implemented, effectively allowing obstacle avoidance tasks. Experiments with a Jaco$^2$ manipulator, operating in an environment where an RGB-D sensor is used for the obstacles detection, show the effectiveness of the developed system.


title: Simultaneous Eulerian-Lagrangian velocity measurements of particulate pipe flow in transitional regime

abstract: We present a unique pipe flow rig capable where simultaneous particle tracking and flow velocity measurements in a dilute, neutrally buoyant particulate pipe flow in regimes of transition to turbulence. The flow consists of solid glass spheres for the disperse phase, and a density-matching fluid for the carrier phase. The measurements are conducted using a bespoke, combined 2D PIV/ PTV technique. The technique takes advantage of a phase discrimination approach that involves separating the disperse and carrier phases based on their respective image characteristics. Our results show that the rig and the technique it implements can be employed to study transitional particulate pipe flows at dilute concentration.


title: On the Clique-Width of Unigraphs

abstract: Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of graphs in a certain class is bounded or not. We focus on unigraphs, that is, graphs that are uniquely determined by their degree sequences up to isomorphism. We show that every unigraph has clique-width at most 4. It follows that many problems that are NP-hard in general are polynomial-time solvable for unigraphs.


title: Hierarchical Feature Aggregation Networks for Video Action Recognition

abstract: Most action recognition methods base on a) a late aggregation of frame level CNN features using average pooling, max pooling, or RNN, among others, or b) spatio-temporal aggregation via 3D convolutions. The first assume independence among frame features up to a certain level of abstraction and then perform higher-level aggregation, while the second extracts spatio-temporal features from grouped frames as early fusion. In this paper we explore the space in between these two, by letting adjacent feature branches interact as they develop into the higher level representation. The interaction happens between feature differencing and averaging at each level of the hierarchy, and it has convolutional structure that learns to select the appropriate mode locally in contrast to previous works that impose one of the modes globally (e.g. feature differencing) as a design choice. We further constrain this interaction to be conservative, e.g. a local feature subtraction in one branch is compensated by the addition on another, such that the total feature flow is preserved. We evaluate the performance of our proposal on a number of existing models, i.e. TSN, TRN and ECO, to show its flexibility and effectiveness in improving action recognition performance.


title: Molecular analysis of a high-mass prestellar core candidate in W43-MM1

abstract: High-mass analogues of low-mass prestellar cores are searched for to constrain the models of high-mass star formation. Several high-mass cores, at various evolutionary stages, have been recently identified towards the massive star-forming region W43-MM1 and amongst them a high-mass prestellar core candidate. We aim to characterise the chemistry in this high-mass prestellar core candidate, referred to as W43-MM1 core #6, and its environment. Using ALMA high-spatial resolution data of W43-MM1, we have studied the molecular content of core #6 and a neighbouring high-mass protostellar core, referred to as #3, which is similar in size and mass to core #6. We first subtracted the continuum emission using a method based on the density distribution of the intensities on each pixel. Then, from the distribution of detected molecules, we identified the molecules centred on the prestellar core candidate (core #6) and those associated to shocks related to outflows and filament formation. Then we constrained the column densities and temperatures of the molecules detected towards the two cores. While core #3 appears to contain a hot core with a temperature of about 190 K, core #6 seems to have a lower temperature in the range from 20 K to 90 K from a rotational diagram analysis. We have considered different source sizes for core #6 and the comparison of the abundances of the detected molecules towards the core with various interstellar sources shows that it is compatible with a core of size 1000 au with $T = 20-90$ K or a core of size 500 au with $T \sim 80$ K. Core #6 of W43-MM1 remains one of the best high-mass prestellar core candidates even if we cannot exclude that it is at the very beginning of the protostellar phase of high-mass star formation.


title: Approaching Adaptation Guided Retrieval in Case-Based Reasoning through Inference in Undirected Graphical Models

abstract: In Case-Based Reasoning, when the similarity assumption does not hold, the retrieval of a set of cases structurally similar to the query does not guarantee to get a reusable or revisable solution. Knowledge about the adaptability of solutions has to be exploited, in order to define a method for adaptation-guided retrieval. We propose a novel approach to address this problem, where knowledge about the adaptability of the solutions is captured inside a metric Markov Random Field (MRF). Nodes of the MRF represent cases and edges connect nodes whose solutions are close in the solution space. States of the nodes represent different adaptation levels with respect to the potential query. Metric-based potentials enforce connected nodes to share the same state, since cases having similar solutions should have the same adaptability level with respect to the query. The main goal is to enlarge the set of potentially adaptable cases that are retrieved without significantly sacrificing the precision and accuracy of retrieval. We will report on some experiments concerning a retrieval architecture where a simple kNN retrieval (on the problem description) is followed by a further retrieval step based on MRF inference.


title: Relationship Estimation Metrics for Binary SoC Data

abstract: System-on-Chip (SoC) designs are used in every aspect of computing and their optimization is a difficult but essential task in today's competitive market. Data taken from SoCs to achieve this is often characterised by very long concurrent bit vectors which have unknown relationships to each other. This paper explains and empirically compares the accuracy of several methods used to detect the existence of these relationships in a wide range of systems. A probabilistic model is used to construct and test a large number of SoC-like systems with known relationships which are compared with the estimated relationships to give accuracy scores. The metrics \.Cov and \.Dep based on covariance and independence are demonstrated to be the most useful, whereas metrics based on the Hamming distance and geometric approaches are shown to be less useful for detecting the presence of relationships between SoC data.


title: Resampling Procedures with Empirical Beta Copulas

abstract: The empirical beta copula is a simple but effective smoother of the empirical copula. Because it is a genuine copula, from which, moreover, it is particularly easy to sample, it is reasonable to expect that resampling procedures based on the empirical beta copula are expedient and accurate. In this paper, after reviewing the literature on some bootstrap approximations for the empirical copula process, we first show the asymptotic equivalence of several bootstrapped processes related to the empirical copula and empirical beta copula. Then we investigate the finite-sample properties of resampling schemes based on the empirical (beta) copula by Monte Carlo simulation. More specifically, we consider interval estimation for some functionals such as rank correlation coefficients and dependence parameters of several well-known families of copulas, constructing confidence intervals by several methods and comparing their accuracy and efficiency. We also compute the actual size and power of symmetry tests based on several resampling schemes for the empirical copula and empirical beta copula.


title: Multi-channel lock-in based differential front-end for broadband Raman spectroscopy

abstract: In Broadband Stimulated Raman Spectroscopy, the intrinsic limit given by the laser shot noise is seldom reached due to the electronic noise of the front-end amplifier and the intensity fluctuations of the laser source. In this paper we present a low-noise multi-channel acquisition system, with an integration-oriented design, able to compensate the common-mode fluctuations of the laser output power with the pseudo-differential structure and reach a sensitivity better than 10 ppm thanks to the lock-in technique.


title: Energy Efficiency Features of the Intel Skylake-SP Processor and Their Impact on Performance

abstract: The overwhelming majority of High Performance Computing (HPC) systems and server infrastructure uses Intel x86 processors. This makes an architectural analysis of these processors relevant for a wide audience of administrators and performance engineers. In this paper, we describe the effects of hardware controlled energy efficiency features for the Intel Skylake-SP processor. Due to the prolonged micro-architecture cycles, which extend the previous Tick-Tock scheme by Intel, our findings will also be relevant for succeeding architectures. The findings of this paper include the following: C-state latencies increased significantly over the Haswell-EP processor generation. The mechanism that controls the uncore frequency has a latency of approximately 10 ms and it is not possible to truly fix the uncore frequency to a specific level. The out-of-order throttling for workloads using 512 bit wide vectors also occurs at low processor frequencies. Data has a significant impact on processor power consumption which causes a large error in energy models relying only on instructions.


title: Understanding Perceptions and Attitudes in Breast Cancer Discussions on Twitter

abstract: Among American women, the rate of breast cancer is only second to lung cancer. An estimated 12.4% women will develop breast cancer over the course of their lifetime. The widespread use of social media across the socio-economic spectrum offers unparalleled ways to facilitate information sharing, in particular as it pertains to health. Social media is also used by many healthcare stakeholders, ranging from government agencies to healthcare industry, to disseminate health information and to engage patients. The purpose of this study is to investigate people's perceptions and attitudes relate to breast cancer, especially those that are related to physical activities, on Twitter. To achieve this, we first identified and collected tweets related to breast cancer; and then used topic modeling and sentiment analysis techniques to understanding discussion themes and quantify Twitter users' perceptions and emotions w.r.t breast cancer to answer 5 research questions.


title: Exploiting Cognitive Structure for Adaptive Learning

abstract: Adaptive learning, also known as adaptive teaching, relies on learning path recommendation, which sequentially recommends personalized learning items (e.g., lectures, exercises) to satisfy the unique needs of each learner. Although it is well known that modeling the cognitive structure including knowledge level of learners and knowledge structure (e.g., the prerequisite relations) of learning items is important for learning path recommendation, existing methods for adaptive learning often separately focus on either knowledge levels of learners or knowledge structure of learning items. To fully exploit the multifaceted cognitive structure for learning path recommendation, we propose a Cognitive Structure Enhanced framework for Adaptive Learning, named CSEAL. By viewing path recommendation as a Markov Decision Process and applying an actor-critic algorithm, CSEAL can sequentially identify the right learning items to different learners. Specifically, we first utilize a recurrent neural network to trace the evolving knowledge levels of learners at each learning step. Then, we design a navigation algorithm on the knowledge structure to ensure the logicality of learning paths, which reduces the search space in the decision process. Finally, the actor-critic algorithm is used to determine what to learn next and whose parameters are dynamically updated along the learning path. Extensive experiments on real-world data demonstrate the effectiveness and robustness of CSEAL.


title: Complexity Analysis of Approaching Clinical Psychiatry with Predictive Analytics and Neural Networks

abstract: As the emerging field of predictive analytics in psychiatry generated and continues to generate massive interest overtime with its major promises to positively change and revolutionize clinical psychiatry, health care and medical professionals are greatly looking forward to its integration and application into psychiatry. However, by directly applying predictive analytics to the practice of psychiatry, this could cause detrimental damage to those that use predictive analytics through creating or worsening existing medical issues. In both cases, medical ethics issues arise, and need to be addressed. This paper will use literature to provide descriptions of selected stages in the treatment of mental disorders and phases in a predictive analytics project, approach mental disorder diagnoses using predictive models that rely on neural networks, analyze the complexities in clinical psychiatry, neural networks and predictive analytics, and conclude with emphasizing and elaborating on limitations and medical ethics issues of applying neural networks and predictive analytics to clinical psychiatry.


title: Data Breach e-Crime, A Case Study and Legal Analysis

abstract: The Bonafede V. EE data breach is a reported data breach e-Crime in the media, also published by the BBC on 8th February 2019 in the United Kingdom which has not yet come to Court. Three laws and regulations of the United Kingdom that have been breached and references to relevant case laws are highlighted in this paper. Further, Facts of the Case; Issues observed; Decision made; Reasonings to the case; Opinions; and Analysis are discussed. The discussions include legal points raised in the case, with the relevant laws to draw attention to the keywords or phrases that are in dispute. There are sufficient details of the organization for the reader to understand both the scale and its activity. Discussions refer to case law in support with the reasonings outlined, point by point in numbered paragraphs. At the analysis stage, the significance of the case, its relationship to other referenced cases, its place in history and the value of the current laws in place are evaluated while making references to current law. KEYWORDS: Data breach, e-Crime, Cyberlaw, Cybercrime, I.T and Internet law


title: A study of the composite supernova remnant MSH 15-56 with Suzaku

abstract: The Galactic supernova remnant (SNR) MSH 15-56 is a member of the class of composite SNRs that consists of the remnant shell and a displaced pulsar wind nebula (PWN). The earlier X-ray observations reported the comet-like morphology of the PWN and the ejecta distribution of the SNR. In this work, we present a study of MSH 15-56 using archival Suzaku data. We investigate the nature of the emission and spectral parameters of the remnant. The X-ray spectra are well fitted with a combination of a thermal and non-thermal model with temperature ~0.6 keV and photon index ~2.0. The slightly enhanced abundances of Ne, Mg, S and enhanced abundance of Si confirm the presence of ejected material.


title: Riesz Decompositions for Schr\"odinger Operators on Graphs

abstract: We study superharmonic functions for Schr\"odinger operators on general weighted graphs. Specifically, we prove two decompositions which both go under the name Riesz decomposition in the literature. The first one decomposes a superharmonic function into a harmonic and a potential part. The second one decomposes a superharmonic function into a sum of superharmonic functions with certain upper bounds given by prescribed superharmonic functions. As application we show a Brelot type theorem.


title: Quantized thermal Hall conductance from edge current calculations in lattice models

abstract: The quantized thermal Hall effect is an important probe for detecting chiral topological order and revealing the nature of chiral gapless edge states. The standard Kubo formula approach for the thermal Hall conductance $\kappa_{xy}$ based on the linear-response theory faces difficulties in practical application due to the lack of a reliable numerical method for calculating dynamical quantities in microscopic models at finite temperature. In this work, we propose an approach for calculating $\kappa_{xy}$ in two-dimensional lattice models displaying chiral topological order. Our approach targets at the edge current localized at the boundary which involves only thermal averages of local operators in equilibrium, thus drastically lowering the barrier for the calculation of $\kappa_{xy}$. We use the chiral $p$-wave superconductor (with and without disorder) and the Hofstadter model as benchmark examples to illustrate several sources of finite-size effects, and we suggest the infinite (or sufficiently long) strip as the best geometry for carrying out numerical simulations.


title: Linearised actions for $\cal N$-extended (higher-spin) superconformal gravity

abstract: The off-shell actions for $\cal N$-extended conformal supergravity theories in three dimensions were formulated in [1,2] for $1\leq {\cal N} \leq 6$ using a universal approach. Each action is generated by a closed super three-form which is constructed in terms of the constrained geometry of $\cal N$-extended conformal superspace. In this paper we initiate a program to recast these actions (and to formulate their higher-spin counterparts) in terms of unconstrained gauge prepotentials as integrals over the full superspace. We derive transverse projection operators in $\cal N$-extended Minkowski superspace and then use them to construct linearised rank-$n$ super-Cotton tensors and off-shell $\cal N$-extended superconformal actions. We also propose off-shell gauge-invariant actions to describe massive higher-spin supermultiplets in $\cal N$-extended supersymmetry. Our analysis leads to general expressions for identically conserved higher-spin current multiplets in $\cal N$-extended supersymmetry.


title: Understanding the Effectiveness of Data Reduction in Public Transportation Networks

abstract: Given a public transportation network of stations and connections, we want to find a minimum subset of stations such that each connection runs through a selected station. Although this problem is NP-hard in general, real-world instances are regularly solved almost completely by a set of simple reduction rules. To explain this behavior, we view transportation networks as hitting set instances and identify two characteristic properties, locality and heterogeneity. We then devise a randomized model to generate hitting set instances with adjustable properties. While the heterogeneity does influence the effectiveness of the reduction rules, the generated instances show that locality is the significant factor. Beyond that, we prove that the effectiveness of the reduction rules is independent of the underlying graph structure. Finally, we show that high locality is also prevalent in instances from other domains, facilitating a fast computation of minimum hitting sets.


title: Thermal Tensor Network Simulations of the Heisenberg Model on the Bethe Lattice

abstract: We have extended the canonical tree tensor network (TTN) method, which was initially introduced to simulate the zero-temperature properties of quantum lattice models on the Bethe lattice, to finite temperature simulations. By representing the thermal density matrix with a canonicalized tree tensor product operator, we optimize the TTN and accurately evaluate the thermodynamic quantities, including the internal energy, specific heat, and the spontaneous magnetization, etc, at various temperatures. By varying the anisotropic coupling constant $\Delta$, we obtain the phase diagram of the spin-1/2 Heisenberg XXZ model on the Bethe lattice, where three kinds of magnetic ordered phases, namely the ferromagnetic, XY and antiferromagnetic ordered phases, are found in low temperatures and separated from the high-$T$ paramagnetic phase by a continuous thermal phase transition at $T_c$. The XY phase is separated from the other two phases by two first-order phase transition lines at the symmetric coupling points $ \Delta=\pm 1$. We have also carried out a linear spin wave calculation on the Bethe lattice, showing that the low-energy magnetic excitations are always gapped, and find the obtained magnon gaps in very good agreement with those estimated from the TTN simulations. Despite the gapped excitation spectrum, Goldstone-like transverse fluctuation modes, as a manifestation of spontaneous continuous symmetry breaking, are observed in the ordered magnetic phases with $|\Delta|\le 1$. One remarkable feature there is that the prominent transverse correlation length reaches $\xi_c=1/\ln{(z-1)}$ for $T\leq T_c$, the maximal value allowed on a $z$-coordinated Bethe lattice.


title: Roughness effects in laminar pipe flow

abstract: The impact of wall roughness on fully developed laminar pipe flow is investigated numerically. The roughness is comprised of square bars of varying size and pitch. Results show that the inverse relation between the friction factor and the Reynolds number in smooth pipes still persists in rough pipes, regardless of the rib height and pitch. At a given Reynolds number, the friction factor varies quadratically with roughness height and linearly with roughness pitch. We propose a single correlation for the friction factor that successfully collapses the data.


title: NRPA: Neural Recommendation with Personalized Attention

abstract: Existing review-based recommendation methods usually use the same model to learn the representations of all users/items from reviews posted by users towards items. However, different users have different preference and different items have different characteristics. Thus, the same word or similar reviews may have different informativeness for different users and items. In this paper we propose a neural recommendation approach with personalized attention to learn personalized representations of users and items from reviews. We use a review encoder to learn representations of reviews from words, and a user/item encoder to learn representations of users or items from reviews. We propose a personalized attention model, and apply it to both review and user/item encoders to select different important words and reviews for different users/items. Experiments on five datasets validate our approach can effectively improve the performance of neural recommendation.


title: Spectroscopic Signatures of Electronic Excitations in Raman Scattering in Thin Films of Rhombohedral Graphite

abstract: Rhombohedral graphite features peculiar electronic properties, including persistence of low-energy surface bands of a topological nature. Here, we study the contribution of electron-hole excitations towards inelastic light scattering in thin films of rhombohedral graphite. We show that, in contrast to the featureless electron-hole contribution towards Raman spectrum of graphitic films with Bernal stacking, the inelastic light scattering accompanied by electron-hole excitations in crystals with rhombohedral stacking produces distinct features in the Raman signal which can be used both to identify the stacking and to determine the number of layers in the film.


title: Exponent of Self-similar finite $p$-groups

abstract: Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a finite $p$-group with exponent at most $p^n$. This applies in particular to power abelian $p$-groups.


title: Cooling of Dark-Matter Admixed Neutron Stars with density-dependent Equation of State

abstract: We propose a dark-matter (DM) admixed density-dependent equation of state where the fermionic DM interacts with the nucleons via Higgs portal. Presence of DM can hardly influence the particle distribution inside neutron star (NS) but can significantly affect the structure as well as equation of state (EOS) of NS. Introduction of DM inside NS softens the equation of state. We explored the effect of variation of DM mass and DM Fermi momentum on the NS EOS. Moreover, DM-Higgs coupling is constrained using dark matter direct detection experiments. Then, we studied cooling of normal NSs using APR and DD2 EOSs and DM admixed NSs using dark-matter modified DD2 with varying DM mass and Fermi momentum. We have done our analysis by considering different NS masses. Also DM mass and DM Fermi momentum are varied for fixed NS mass and DM-Higgs coupling. We calculated the variations of luminosity and temperature of NS with time for all EOSs considered in our work and then compared our calculations with the observed astronomical cooling data of pulsars namely Cas A, RX J0822-43, 1E 1207-52, RX J0002+62, XMMU J17328, PSR B1706-44, Vela, PSR B2334+61, PSR B0656+14, Geminga, PSR B1055-52 and RX J0720.4-3125. It is found that APR EOS agrees well with the pulsar data for lighter and medium mass NSs but cooling is very fast for heavier NS. For DM admixed DD2 EOS, it is found that for all considered NS masses, all chosen DM masses and Fermi momenta agree well with the observational data of PSR B0656+14, Geminga, Vela, PSR B1706-44 and PSR B2334+61. Cooling becomes faster as compared to normal NSs in case of increasing DM mass and Fermi momenta. It is infered from the calculations that if low mass super cold NSs are observed in future that may support the fact that heavier WIMP can be present inside neutron stars.


title: Oriented coloring of graphs with low maximum degree

abstract: Duffy et al. [C. Duffy, G. MacGillivray, and \'E. Sopena, Oriented colourings of graphs with maximum degree three and four, Discrete Mathematics, 342(4), p. 959--974, 2019] recently considered the oriented chromatic number of connected oriented graphs with maximum degree $3$ and $4$, proving it is at most $9$ and $69$, respectively. In this paper, we improve these results by showing that the oriented chromatic number of non-necessarily connected oriented graphs with maximum degree $3$ (resp. $4$) is at most $9$ (resp. $26$). The bound of $26$ actually follows from a general result which determines properties of a target graph to be universal for graphs of bounded maximum degree. This generalization also allows us to get the upper bound of $90$ (resp. $306$, $1322$) for the oriented chromatic number of graphs with maximum degree $5$ (resp. $6$, $7$).