title: Weak cosmic censorship conjecture in the pure Lovelock gravity

abstract: It is well known that a rotating black hole in four dimension could be overspun by linear order test particle accretion which however always gets overturned when non-linear perturbations are included. It turns out that in the Einstein gravity, repulsion due to rotation dominates over attraction due to mass in dimensions, $D>5$, and consequently black hole cannot be overspun even for linear order accretion. For the pure Lovelock rotating black hole, this dimensional threshold is $D>4N+1$ where $N$ is degree of single $N$th order term in the Lovelock polynomial in the action. Thus the pure Lovelock rotating black holes always obey the weak cosmic censorship conjecture (WCCC) in all dimensions greater than $4N+1$. Since overall gravity being repulsive beyond this dimensional threshold, how is rotating black hole then formed there?


title: When Deep Learning Meets Smart Contracts

abstract: Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises serious concerns about smart contract security. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability. In this research: (1) Firstly, we propose an automated deep learning based approach to learn structural code embeddings of smart contracts in Solidity, which is useful for clone detection, bug detection and contract validation on smart contracts. We apply our approach to more than 22K solidity contracts collected from the Ethereum blockchain, results show that the clone ratio of solidity code is at around 90%, much higher than traditional software. We collect a list of 52 known buggy smart contracts belonging to 10 kinds of common vulnerabilities as our bug database. Our approach can identify more than 1000 clone related bugs based on our bug databases efficiently and accurately. (2) Secondly, according to developers' feedback, we have implemented the approach in a web-based tool, named SmartEmbed, to facilitate Solidity developers for using our approach. Our tool can assist Solidity developers to efficiently identify repetitive smart contracts in the existing Ethereum blockchain, as well as checking their contract against a known set of bugs, which can help to improve the users' confidence in the reliability of the contract. We optimize the implementations of SmartEmbed which is sufficient in supporting developers in real-time for practical uses. The Ethereum ecosystem as well as the individual Solidity developer can both benefit from our research.


title: Adversarial Examples on Object Recognition: A Comprehensive Survey

abstract: Deep neural networks are at the forefront of machine learning research. However, despite achieving impressive performance on complex tasks, they can be very sensitive: Small perturbations of inputs can be sufficient to induce incorrect behavior. Such perturbations, called adversarial examples, are intentionally designed to test the network's sensitivity to distribution drifts. Given their surprisingly small size, a wide body of literature conjectures on their existence and how this phenomenon can be mitigated. In this article we discuss the impact of adversarial examples on security, safety, and robustness of neural networks. We start by introducing the hypotheses behind their existence, the methods used to construct or protect against them, and the capacity to transfer adversarial examples between different machine learning models. Altogether, the goal is to provide a comprehensive and self-contained survey of this growing field of research.


title: Fighting Deepfake by Exposing the Convolutional Traces on Images

abstract: Advances in Artificial Intelligence and Image Processing are changing the way people interacts with digital images and video. Widespread mobile apps like FACEAPP make use of the most advanced Generative Adversarial Networks (GAN) to produce extreme transformations on human face photos such gender swap, aging, etc. The results are utterly realistic and extremely easy to be exploited even for non-experienced users. This kind of media object took the name of Deepfake and raised a new challenge in the multimedia forensics field: the Deepfake detection challenge. Indeed, discriminating a Deepfake from a real image could be a difficult task even for human eyes but recent works are trying to apply the same technology used for generating images for discriminating them with preliminary good results but with many limitations: employed Convolutional Neural Networks are not so robust, demonstrate to be specific to the context and tend to extract semantics from images. In this paper, a new approach aimed to extract a Deepfake fingerprint from images is proposed. The method is based on the Expectation-Maximization algorithm trained to detect and extract a fingerprint that represents the Convolutional Traces (CT) left by GANs during image generation. The CT demonstrates to have high discriminative power achieving better results than state-of-the-art in the Deepfake detection task also proving to be robust to different attacks. Achieving an overall classification accuracy of over 98%, considering Deepfakes from 10 different GAN architectures not only involved in images of faces, the CT demonstrates to be reliable and without any dependence on image semantic. Finally, tests carried out on Deepfakes generated by FACEAPP achieving 93% of accuracy in the fake detection task, demonstrated the effectiveness of the proposed technique on a real-case scenario.


title: Impact of meta-roles on the evolution of organisational institutions

abstract: This paper investigates the impact of changes in agents' beliefs coupled with dynamics in agents' meta-roles on the evolution of institutions. The study embeds agents' meta-roles in the BDI architecture. In this context, the study scrutinises the impact of cognitive dissonance in agents due to unfairness of institutions. To showcase our model, two historical long-distance trading societies, namely Armenian merchants of New-Julfa and the English East India Company are simulated. Results show how change in roles of agents coupled with specific institutional characteristics leads to changes of the rules in the system.


title: A sequence of elementary integrals related to integrals studied by Glaisher that contain trigonometric and hyperbolic functions

abstract: We generalize several integrals studied by Glaisher. These ideas are then applied to obtain an analog of an integral due to Ismail and Valent.


title: Modeling of non-equilibrium effects in intermittency region between two phases

abstract: This paper concerns modeling of the evolution of intermittency region between two weakly miscible phases due to temporal and spatial variations of its characteristic length scale. First, the need of a more general description allowing for the evolution of intermittency region is rationalized. Afterwards, results of the previous work (Wac{\l}awczyk T., 2017, On a relation between the volume of fluid, level-set and phase field interface models, Int. J. Multiphas. Flow, Vol. 97) are discussed in context of the sharp interface models known in the literature and insight into droplet coalescence mechanism recently recognized in the molecular dynamics studies (Perumanath S., Borg M.K., Chubynsky M.V., Sprittles J.E., Reese J.M., 2019, Droplet coalescence is initiated by thermal motion, Phys. Rev. Lett., Vol. 122). Finally, the physical and numerical models extending applicability of the equilibrium solution to the case when intermittency region could also be in the non-equilibrium state is introduced and verified in several test cases.


title: Robust Approximate Bayesian Computation: An Adjustment Approach

abstract: We propose a novel approach to approximate Bayesian computation (ABC) that seeks to cater for possible misspecification of the assumed model. This new approach can be equally applied to rejection-based ABC and to popular regression adjustment ABC. We demonstrate that this new approach mitigates the poor performance of regression adjusted ABC that can eventuate when the model is misspecified. In addition, this new adjustment approach allows us to detect which features of the observed data can not be reliably reproduced by the assumed model. A series of simulated and empirical examples illustrate this new approach.


title: Lifetime of sessile saliva droplets in the context of SARS-CoV-2

abstract: Spreading of respiratory diseases, such as COVID-19, from contaminated surfaces is dependent on the drying time of the deposited droplets containing the virus. The evaporation rate depends on environmental conditions, such as ambient temperature and relative humidity and physical properties (e.g., droplet volume, contact angle and composition). The respiratory droplets contain salt (NaCl), protein (mucin), and surfactant (dipalmitoylphosphatidylcholine) in addition to water, which are expected to influence the evaporation in a big way. A diffusion-based theoretical model for estimating the drying time is developed which takes into account the dynamic contact angle of saliva droplets laden with salt and insoluble surfactants. The effect of the initial volume, contact angle, salinity, surfactant concentration, ambient temperature and relative humidity on the drying time of droplets is investigated.


title: Statistical Query Lower Bounds for Tensor PCA

abstract: In the Tensor PCA problem introduced by Richard and Montanari (2014), one is given a dataset consisting of $n$ samples $\mathbf{T}_{1:n}$ of i.i.d. Gaussian tensors of order $k$ with the promise that $\mathbb{E}\mathbf{T}_1$ is a rank-1 tensor and $\|\mathbb{E} \mathbf{T}_1\| = 1$. The goal is to estimate $\mathbb{E} \mathbf{T}_1$. This problem exhibits a large conjectured hard phase when $k>2$: When $d \lesssim n \ll d^{\frac{k}{2}}$ it is information theoretically possible to estimate $\mathbb{E} \mathbf{T}_1$, but no polynomial time estimator is known. We provide a sharp analysis of the optimal sample complexity in the Statistical Query (SQ) model and show that SQ algorithms with polynomial query complexity not only fail to solve Tensor PCA in the conjectured hard phase, but also have a strictly sub-optimal sample complexity compared to some polynomial time estimators such as the Richard-Montanari spectral estimator. Our analysis reveals that the optimal sample complexity in the SQ model depends on whether $\mathbb{E} \mathbf{T}_1$ is symmetric or not. For symmetric, even order tensors, we also isolate a sample size regime in which it is possible to test if $\mathbb{E} \mathbf{T}_1 = \mathbf{0}$ or $\mathbb{E}\mathbf{T}_1 \neq \mathbf{0}$ with polynomially many queries but not estimate $\mathbb{E}\mathbf{T}_1$. Our proofs rely on the Fourier analytic approach of Feldman, Perkins and Vempala (2018) to prove sharp SQ lower bounds.


title: The disintegrating old open cluster Czernik 3

abstract: We have performed a detailed analysis of the Czernik 3 (Cz3) open cluster by using deep near-infrared photometry taken with TIRCAM2 on 3.6m Devasthal optical telescope along with the recently available high quality proper motion data from the {\it Gaia} DR2 and deep photometric data from Pan-STARRS1. The cluster has a highly elongated morphology with fractal distribution of stars. The core and cluster radii of the cluster are estimated as 0.5 pc and 1.2 pc, respectively. We have identified 45 stars as cluster members using the {\it Gaia} proper motion data. The distance and age of the cluster are found to be $3.5\pm0.9$ kpc and $0.9^{+0.3}_{-0.1}$ Gyr, respectively. The slope of the mass function $`\Gamma'$ in the cluster region, in the mass range $\sim$0.95$<$M/M$_\odot$$<$2.2, is found to be $-1.01\pm0.43$. The cluster shows the signatures of mass-segregation and is dynamically relaxed (dynamical age=10 Myr). This along with its small size, big tidal radius, low density/large separation of stars, and elongated and distorted morphology, indicate that the Cz3 is a loosely bound disintegrating cluster under the influence of external tidal interactions.


title: Review of Swarm Intelligence-based Feature Selection Methods

abstract: In the past decades, the rapid growth of computer and database technologies has led to the rapid growth of large-scale datasets. On the other hand, data mining applications with high dimensional datasets that require high speed and accuracy are rapidly increasing. An important issue with these applications is the curse of dimensionality, where the number of features is much higher than the number of patterns. One of the dimensionality reduction approaches is feature selection that can increase the accuracy of the data mining task and reduce its computational complexity. The feature selection method aims at selecting a subset of features with the lowest inner similarity and highest relevancy to the target class. It reduces the dimensionality of the data by eliminating irrelevant, redundant, or noisy data. In this paper, a comparative analysis of different feature selection methods is presented, and a general categorization of these methods is performed. Moreover, in this paper, state-of-the-art swarm intelligence are studied, and the recent feature selection methods based on these algorithms are reviewed. Furthermore, the strengths and weaknesses of the different studied swarm intelligence-based feature selection methods are evaluated.


title: Asymptotically Stable Optimal Multi-rate Rigid Body Attitude Estimation based on Lagrange-d'Alembert Principle

abstract: The rigid body attitude estimation problem is treated using the discrete-time Lagrange-d'Alembert principle. Three different possibilities are considered for the multi-rate relation between angular velocity measurements and direction vector measurements for attitude: 1) integer relation between sampling rates, 2) time-varying sampling rates, 3) non-integer relation between sampling rates. In all cases, it is assumed that angular velocity measurements are sampled at a higher rate compared to the inertial vectors. The attitude determination problem from two or more vector measurements in the body-fixed frame is formulated as Wahba's problem. At instants when direction vector measurements are absent, a discrete-time model for attitude kinematics is used to propagate past measurements. A discrete-time Lagrangian is constructed as the difference between a kinetic energy-like term that is quadratic in the angular velocity estimation error and an artificial potential energy-like term obtained from Wahba's cost function. An additional dissipation term is introduced and the discrete-time Lagrange-d'Alembert principle is applied to the Lagrangian with this dissipation to obtain an optimal filtering scheme. A discrete-time Lyapunov analysis is carried out to show that the optimal filtering scheme is asymptotically stable in the absence of measurement noise and the domain of convergence is almost global. For a realistic evaluation of the scheme, numerical experiments are conducted with inputs corrupted by bounded measurement noise. These numerical simulations exhibit convergence of the estimated states to a bounded neighborhood of the actual states.


title: Distributed Deep Reinforcement Learning for Functional Split Control in Energy Harvesting Virtualized Small Cells

abstract: To meet the growing quest for enhanced network capacity, mobile network operators (MNOs) are deploying dense infrastructures of small cells. This, in turn, increases the power consumption of mobile networks, thus impacting the environment. As a result, we have seen a recent trend of powering mobile networks with harvested ambient energy to achieve both environmental and cost benefits. In this paper, we consider a network of virtualized small cells (vSCs) powered by energy harvesters and equipped with rechargeable batteries, which can opportunistically offload baseband (BB) functions to a grid-connected edge server depending on their energy availability. We formulate the corresponding grid energy and traffic drop rate minimization problem, and propose a distributed deep reinforcement learning (DDRL) solution. Coordination among vSCs is enabled via the exchange of battery state information. The evaluation of the network performance in terms of grid energy consumption and traffic drop rate confirms that enabling coordination among the vSCs via knowledge exchange achieves a performance close to the optimal. Numerical results also confirm that the proposed DDRL solution provides higher network performance, better adaptation to the changing environment, and higher cost savings with respect to a tabular multi-agent reinforcement learning (MRL) solution used as a benchmark.


title: Generalized Model of Interacting Dark Energy and Dark Matter : Phase Portrait Analysis of Evolving Universe

abstract: Main aim of this work is to give a suitable explanation of present accelerating universe through an acceptable interactive dynamical cosmological model. A three-fluid cosmological model is introduced in the background of Friedmann-Lema\^itre-Robertson-Walker asymptotically flat spacetime. This model consists of interactive dark matter and dark energy with baryonic matter taken as perfect fluid satisfying barotropic equation of state. We consider dust as the candidate of dark matter. A scalar field $\phi$ represents dark energy with potential $V(\phi)$. Einstein's field equations are utilised to construct a three-dimensional interactive autonomous system by choosing suitable interaction between dark energy and dark matter. We take the interaction kernel as $Q = 3\beta^{2\gamma} H\rho_d$. In order to explain the stability of this system, we obtained some suitable critical points. We analyse stability of obtained critical points to show the different phases of universe and cosmological implications. Surprisingly, we find some stable critical points which represent late time dark energy dominated era when a model parameter $\alpha=-5.05$. In order to explain both the energy dominated era as well as the late-time acceleration of the universe at same time, we introduce a two-dimensional interactive autonomous system. After graphical analysis of two-dimensional system, we get several stable points which represent dark energy dominated era and the late-time cosmic acceleration both at the same time. We also show the variation in interaction at vicinity of phantom barrier ($\omega_{eff}=-1$). From our work we can also predict the future phase evolution of the universe. No tendency for future deceleration is detected so far.


title: Phonological Features for 0-shot Multilingual Speech Synthesis

abstract: Code-switching---the intra-utterance use of multiple languages---is prevalent across the world. Within text-to-speech (TTS), multilingual models have been found to enable code-switching. By modifying the linguistic input to sequence-to-sequence TTS, we show that code-switching is possible for languages unseen during training, even within monolingual models. We use a small set of phonological features derived from the International Phonetic Alphabet (IPA), such as vowel height and frontness, consonant place and manner. This allows the model topology to stay unchanged for different languages, and enables new, previously unseen feature combinations to be interpreted by the model. We show that this allows us to generate intelligible, code-switched speech in a new language at test time, including the approximation of sounds never seen in training.


title: Incremental maintenance of overgrounded logic programs with tailored simplifications

abstract: The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative generation of ground programs thus achieving a significant payoff in terms of computing time. However, this may require some additional amount of memory and/or the manual addition of operational directives in the declarative knowledge base at hand. We introduce a new strategy for generating series of monotonically growing propositional programs. The proposed overgrounded programs with tailoring (OPTs) can be updated and reused in combination with consecutive inputs. With respect to earlier approaches, our tailored simplification technique reduces the size of instantiated programs. A maintained OPT slowly grows in size from an iteration to another while the update cost decreases, especially in later iterations. In this paper we formally introduce tailored embeddings, a family of equivalence-preserving ground programs which are at the theoretical basis of OPTs and we describe their properties. We then illustrate an OPT update algorithm and report about our implementation and its performance. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).


title: Deep Q-Network Based Multi-agent Reinforcement Learning with Binary Action Agents

abstract: Deep Q-Network (DQN) based multi-agent systems (MAS) for reinforcement learning (RL) use various schemes where in the agents have to learn and communicate. The learning is however specific to each agent and communication may be satisfactorily designed for the agents. As more complex Deep QNetworks come to the fore, the overall complexity of the multi-agent system increases leading to issues like difficulty in training, need for higher resources and more training time, difficulty in fine-tuning, etc. To address these issues we propose a simple but efficient DQN based MAS for RL which uses shared state and rewards, but agent-specific actions, for updation of the experience replay pool of the DQNs, where each agent is a DQN. The benefits of the approach are overall simplicity, faster convergence and better performance as compared to conventional DQN based approaches. It should be noted that the method can be extended to any DQN. As such we use simple DQN and DDQN (Double Q-learning) respectively on three separate tasks i.e. Cartpole-v1 (OpenAI Gym environment) , LunarLander-v2 (OpenAI Gym environment) and Maze Traversal (customized environment). The proposed approach outperforms the baseline on these tasks by decent margins respectively.


title: Quantum Computation for Pricing the Collateralized Debt Obligations

abstract: Collateralized debt obligation (CDO) has been one of the most commonly used structured financial products and is intensively studied in quantitative finance. By setting the asset pool into different tranches, it effectively works out and redistributes credit risks and returns to meet the risk preferences for different tranche investors. The copula models of various kinds are normally used for pricing CDOs, and the Monte Carlo simulations are required to get their numerical solution. Here we implement two typical CDO models, the single-factor Gaussian copula model and Normal Inverse Gaussian copula model, and by applying the conditional independence approach, we manage to load each model of distribution in quantum circuits. We then apply quantum amplitude estimation as an alternative to Monte Carlo simulation for CDO pricing. We demonstrate the quantum computation results using IBM Qiskit. Our work addresses a useful task in finance instrument pricing, significantly broadening the application scope for quantum computing in finance.


title: Concentration of the number of intersections of random eigenfunctions on flat tori

abstract: We show that in two dimensional flat tori the number of intersections between random eigenfunctions of general eigenvalues and a given smooth curve is almost exponentially concentrated around its mean, even when the randomness is not gaussian.


title: Randomness versus selection in genome evolution

abstract: We propose a Markov chain approach for the evolution of a genealogical line of genomes. Our idealized genome has $N$ sites and each site can be in state $0$ or $1$. At each time step we pick a site at random. If the site is in state $0$ we flip it to state 1 with probability $p$ or we keep it in state $0$ with probability $1-p$. If the site is in state $1$ we flip it to state 0 with probability $1-p$ or we keep it in state $1$ with probability $p$. Even when state 1 has a selective advantage (i.e. $p>1/2$) the Markov chain is quite unlikely to approach the most fit allele (i.e. all 1's). In fact, randomness (i.e. which site is picked for a possible mutation) and selection (i.e. the value of $p$) balance each other out so that the number of $1$'s in the genome converges to a Gaussian distribution centered around $Np$.


title: Data Minimization for GDPR Compliance in Machine Learning Models

abstract: The EU General Data Protection Regulation (GDPR) mandates the principle of data minimization, which requires that only data necessary to fulfill a certain purpose be collected. However, it can often be difficult to determine the minimal amount of data required, especially in complex machine learning models such as neural networks. We present a first-of-a-kind method to reduce the amount of personal data needed to perform predictions with a machine learning model, by removing or generalizing some of the input features. Our method makes use of the knowledge encoded within the model to produce a generalization that has little to no impact on its accuracy. This enables the creators and users of machine learning models to acheive data minimization, in a provable manner.


title: Improved Adaptive Type-2 Fuzzy Filter with Exclusively Two Fuzzy Membership Function for Filtering Salt and Pepper Noise

abstract: Image denoising is one of the preliminary steps in image processing methods in which the presence of noise can deteriorate the image quality. To overcome this limitation, in this paper a improved two-stage fuzzy filter is proposed for filtering salt and pepper noise from the images. In the first-stage, the pixels in the image are categorized as good or noisy based on adaptive thresholding using type-2 fuzzy logic with exclusively two different membership functions in the filter window. In the second-stage, the noisy pixels are denoised using modified ordinary fuzzy logic in the respective filter window. The proposed filter is validated on standard images with various noise levels. The proposed filter removes the noise and preserves useful image characteristics, i.e., edges and corners at higher noise level. The performance of the proposed filter is compared with the various state-of-the-art methods in terms of peak signal-to-noise ratio and computation time. To show the effectiveness of filter statistical tests, i.e., Friedman test and Bonferroni-Dunn (BD) test are also carried out which clearly ascertain that the proposed filter outperforms in comparison of various filtering approaches.


title: T-GD: Transferable GAN-generated Images Detection Framework

abstract: Recent advancements in Generative Adversarial Networks (GANs) enable the generation of highly realistic images, raising concerns about their misuse for malicious purposes. Detecting these GAN-generated images (GAN-images) becomes increasingly challenging due to the significant reduction of underlying artifacts and specific patterns. The absence of such traces can hinder detection algorithms from identifying GAN-images and transferring knowledge to identify other types of GAN-images as well. In this work, we present the Transferable GAN-images Detection framework T-GD, a robust transferable framework for an effective detection of GAN-images. T-GD is composed of a teacher and a student model that can iteratively teach and evaluate each other to improve the detection performance. First, we train the teacher model on the source dataset and use it as a starting point for learning the target dataset. To train the student model, we inject noise by mixing up the source and target datasets, while constraining the weight variation to preserve the starting point. Our approach is a self-training method, but distinguishes itself from prior approaches by focusing on improving the transferability of GAN-image detection. T-GD achieves high performance on the source dataset by overcoming catastrophic forgetting and effectively detecting state-of-the-art GAN-images with only a small volume of data without any metadata information.


title: A Phase Transition in Minesweeper

abstract: We study the average-case complexity of the classic Minesweeper game in which players deduce the locations of mines on a two-dimensional lattice. Playing Minesweeper is known to be co-NP-complete. We show empirically that Minesweeper exhibits a phase transition analogous to the well-studied SAT phase transition. Above the critical mine density it becomes almost impossible to play Minesweeper by logical inference. We use a reduction to Boolean unsatisfiability to characterize the hardness of Minesweeper instances, and show that the hardness peaks at the phase transition. Furthermore, we demonstrate algorithmic barriers at the phase transition for polynomial-time approaches to Minesweeper inference. Finally, we comment on expectations for the asymptotic behavior of the phase transition.


title: Optical properties of recent non-fullerene molecular acceptors for bulk heterojunction solar cells

abstract: For many years the faith of organic photovoltaics has been linked to the one of fullerene, since fullerene has been considered the electron-acceptor of choice in bulk heterojunctions solar cells. In the last years, the number of molecules that can be very competitive in replacing fullerene has increased significantly. In this work, we study by means of different theoretical methods five molecules that have demonstrated to work effectively as acceptors in organic heterojunctions. We discuss the comparison of simulated absorption spectra with the experimental spectra.


title: Shadow of the magnetically and tidally deformed black hole

abstract: We consider a simple model of a black hole surrounded by a toroidal structure and experiencing deformation due to magnetic field and the tidal force. For this system we construct the shadows of Preston-Poisson black hole, apply it to supermassive black hole $M87^*$ and compare it with the shadows of corresponding Schwarzschild and Kerr black holes. We find that for large deviation parameters $B$ and $E$ the shadow of Preston-Poisson black hole is clearly distinguishable from Kerr black hole provided the angular resolution of measurements is of order $\mu\mathrm{arcsec}$.


title: Evolution of ion track morphology in a-SiNx:H by dynamic electronic energy loss

abstract: Amorphous hydrogenated silicon nitride ($\textit{a}$-SiN$_\mathrm{\textit{x}}$:H) thin films irradiated with 100 MeV Ni$^{7+}$ results in the formation of continuous ion track structures at the lower fluence of $5\times{10^{12}}$ ions/cm$^2$ whereas at higher fluence of $1\times{10^{14}}$ ions/cm$^2$ the track structures fragment into discontinuous ion track like structures . The observation of the discontinuous ion track like structures at the high fluence of $1\times{10^{14}}$ ions/cm$^2$ shows clearly that higher fluence irradiation may not always lead to dissolution of the microstructure formed at lower fluence. The results are understood on the basis of a dynamic electronic energy loss (S$_{e}$) in the course of irradiation resulting from the out-diffusion of hydrogen from the films and a continuous increase in density of $\textit{a}$-SiN$_\mathrm{\textit{x}}$:H films.


title: On a Stirling-Whitney-Riordan triangle

abstract: Based on the Stirling triangle of the second kind, the Whitney triangle of the second kind and one triangle of Riordan, we study a Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ satisfying the recurrence relation: \begin{eqnarray*} T_{n,k}&=&(b_1k+b_2)T_{n-1,k-1}+[(2\lambda b_1+a_1)k+a_2+\lambda( b_1+b_2)] T_{n-1,k}+\\ &&\lambda(a_1+\lambda b_1)(k+1)T_{n-1,k+1}, \end{eqnarray*} where initial conditions $T_{n,k}=0$ unless $0\le k\le n$ and $T_{0,0}=1$. We prove that the Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ is $\textbf{x}$-totally positive with $\textbf{x}=(a_1,a_2,b_1,b_2,\lambda)$. We show that the row-generating function $T_n(q)$ has only real zeros and the Tur\'{a}n-type polynomial $T_{n+1}(q)T_{n-1}(q)-T^2_n(q)$ is stable. We also present explicit formulae for $T_{n,k}$ and the exponential generating function of $T_n(q)$ and give a Jacobi continued fraction expansion for the ordinary generating function of $T_n(q)$. Furthermore, we get the $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ and show that the triangular convolution $z_n=\sum_{i=0}^nT_{n,i}x_iy_{n-i}$ preserves Stieltjes moment property of sequences. Finally, for the first column $(T_{n,0})_{n\geq0}$, we derive some properties similar to those of $(T_n(q))_{n\geq0}.$


title: Next Generation Quantum Dots Based Multijunction Photovoltaics

abstract: Photovoltaic cells (PVc), as an energy provider to the next generation and the biggest source of renewable energy. Since the last decade improving efficiency and reducing the cost of PVc has been a subject of active research among scientists. Promising progress in the field of material science and manufacturing process at Nano-level played a big role. Still, at present there are many challenges before photovoltaics for efficient and economic energy. However, Photovoltaics cell based on p-n type homojunction semiconductors with different organic and inorganic materials reported thus for generally suffer from poor performance. According to the available literature, colloidal quantum dots having immense properties like a wide range of light absorption, easily charge separation and transport. To utilize the maximum part of the spectrum of solar energy reaching to the earth and making effective energy production, here we introduce the complete cell architecture and numerical investigation on quantum dot based solar cells (QDSCs) with a heterostructure multijunction approach. Successive ionic layer adsorption at different heterogeneous interfaces were analyzed. We majorly focused on improving the electrical and optical properties of the QDSCs achieved by different materials and structural approaches. Here, we report a heterostructure II-Type of band alignment engineering strategy for QDSCs interfaces that significantly enhances the efficiency descriptors. In the context of intermediate band solar cell (IBSC), we investigated optical properties of QDs and strain effects on multilayer PVc and we summarize the strain effect in QDs growth and local energy band bending of conduction band (CB) and valence band (VB).


title: Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions

abstract: Control Barrier Functions (CBFs) have become a popular tool for enforcing set invariance in safety-critical control systems. While guaranteeing safety, most CBF approaches are myopic in the sense that they solve an optimization problem at each time step rather than over a long time horizon. This approach may allow a system to get too close to the unsafe set where the optimization problem can become infeasible. Some of these issues can be mitigated by introducing relaxation variables into the optimization problem; however, this compromises convergence to the desired equilibrium point. To address these challenges, we develop an approximate optimal approach to the safety-critical control problem in which the cost of violating safety constraints is directly embedded within the value function. We show that our method is capable of guaranteeing both safety and convergence to a desired equilibrium. Finally, we compare the performance of our method with that of the traditional quadratic programming approach through numerical examples.


title: Relative g-noncommuting graph of finite groups

abstract: Let $G$ be a finite group. For a fixed element $g$ in $G$ and a given subgroup $H$ of $G$, the relative $g$-noncommuting graph of $G$ is a simple undirected graph whose vertex set is $G$ and two vertices $x$ and $y$ are adjacent if $x \in H$ or $y \in H$ and $[x,y] \neq g, g^{-1}$. We denote this graph by $\Gamma_{H, G}^g$. In this paper, we obtain computing formulae for degree of any vertex in $\Gamma_{H, G}^g$ and characterize whether $\Gamma_{H, G}^g$ is a tree, star graph, lollipop or a complete graph together with some properties of $\Gamma_{H, G}^g$ involving isomorphism of graphs. We also present certain relations between the number of edges in $\Gamma_{H, G}^g$ and certain generalized commuting probabilities of $G$ which give some computing formulae for the number of edges in $\Gamma_{H, G}^g$. Finally, we conclude this paper by deriving some bounds for the number of edges in $\Gamma_{H, G}^g$.


title: Expected Performance and Worst Case Scenario Analysis of the Divide-and-Conquer Method for the 0-1 Knapsack Problem

abstract: In this paper we furnish quality certificates for the Divide-and-Conquer method solving the 0-1 Knapsack Problem: the worst case scenario and estimates for the expected performance. The probabilistic setting is given and the main random variables are defined for the analysis of the expected performance. The efficiency is rigorously approximated for one iteration of the method then, these values are used to derive analytic estimates for the performance of a general Divide-and-Conquer tree. All the theoretical results are verified with statistically suited numerical experiments for a wider illustration of the method.


title: Storyline Visualizations with Ubiquitous Actors

abstract: Storyline visualizations depict the temporal dynamics of social interactions, as they describe how groups of actors (individuals or organizations) change over time. A common constraint in storyline visualizations is that an actor cannot belong to two different groups at the same time instant. However, this constraint may be too severe in some application scenarios, thus we generalize the model by allowing an actor to simultaneously belong to distinct groups at any point in time. We call this model Storyline with Ubiquitous Actors (SUA). Essential to our model is that an actor is represented as a tree rather than a single line. We describe an algorithmic pipeline to compute storyline visualizations in the SUA model and discuss case studies on publication data.


title: Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

abstract: We propose a novel formal framework (called 3D-nCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-nCDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, and nCDC-ASP to 3D. 3D-nCDC-ASP provides a flexible platform offering different types of reasoning: Nonmonotonic reasoning with defaults, checking consistency of a set of constraints on 3D cardinal directions between objects, explaining inconsistencies, and inferring missing CDC relations. We prove the soundness of 3D-nCDC-ASP, and illustrate its usefulness with applications. This paper is under consideration for acceptance in TPLP.


title: Dynamics of Fast Rotating Neutron Stars: An Approach in the Hilbert Gauge

abstract: We describe a set of time evolution equations and its numerical implementation for the investigation of non-axisymmetric oscillations of rapidly rotating compact objects in full General Relativity, taking into account the contribution of a dynamic spacetime. We derive the perturbation equations for the spacetime in the Hilbert gauge, while the hydrodynamical evolution is based on perturbations of the energy-momentum tensor. In our numerical implementation, we use Kreiss-Oliger dissipation in order to achieve a stable time evolution. Our code features high accuracy at comparably low computational expense and we are able to extract the frequencies of non-axisymmetric modes of compact objects with rotation rates up to the Kepler limit.


title: A New Abstraction for Internet QoE Optimization

abstract: A perennial quest in networking research is how to achieve higher quality of experience (QoE) for users without incurring more resources. This work revisits an important yet often overlooked piece of the puzzle: what should the QoE abstraction be? A QoE abstraction is a representation of application quality that describes how decisions affect QoE. The conventional wisdom has relied on developing hand-crafted quality metrics (e.g., video rebuffering events, web page loading time) that are specialized to each application, content, and setting. We argue that in many cases, it maybe fundamentally hard to capture a user's perception of quality using a list of handcrafted metrics, and that expanding the metric list may lead to unnecessary complexity in the QoE model without a commensurate gain. Instead, we advocate for a new approach based on a new QoE abstraction called visual rendering. Rather than a list of metrics, we model the process of quality perception as a user watching a continuous "video" (visual rendering) of all the pixels on their screen. The key advantage of visual rendering is that it captures the full experience of a user with the same abstraction for all applications. This new abstraction opens new opportunities (e.g., the possibility of end-to-end deep learning models that infer QoE directly from a visual rendering) but it also gives rise to new research challenges (e.g., how to emulate the effect on visual rendering of an application decision). This paper makes the case for visual rendering as a unifying abstraction for Internet QoE and outlines a new research agenda to unleash its opportunities.


title: Diffraction of the Aharonov-Bohm Hamiltonian

abstract: In this paper, we compute the diffractive wave propagator of the Aharonov-Bohm effect on $\mathbf{R}^2$ with a single solenoid using a technique of moving solenoid location. In addition, we compute the corresponding diffraction coefficient which is the principal symbol of the diffractive propagator. This paper gives the first proof of propagation of singularities of the Aharonov-Bohm Hamiltonian.


title: Bilevel Learning Model Towards Industrial Scheduling

abstract: Automatic industrial scheduling, aiming at optimizing the sequence of jobs over limited resources, is widely needed in manufacturing industries. However, existing scheduling systems heavily rely on heuristic algorithms, which either generate ineffective solutions or compute inefficiently when job scale increases. Thus, it is of great importance to develop new large-scale algorithms that are not only efficient and effective, but also capable of satisfying complex constraints in practice. In this paper, we propose a Bilevel Deep reinforcement learning Scheduler, \textit{BDS}, in which the higher level is responsible for exploring an initial global sequence, whereas the lower level is aiming at exploitation for partial sequence refinements, and the two levels are connected by a sliding-window sampling mechanism. In the implementation, a Double Deep Q Network (DDQN) is used in the upper level and Graph Pointer Network (GPN) lies within the lower level. After the theoretical guarantee for the convergence of BDS, we evaluate it in an industrial automatic warehouse scenario, with job number up to $5000$ in each production line. It is shown that our proposed BDS significantly outperforms two most used heuristics, three strong deep networks, and another bilevel baseline approach. In particular, compared with the most used greedy-based heuristic algorithm in real world which takes nearly an hour, our BDS can decrease the makespan by 27.5\%, 28.6\% and 22.1\% for 3 largest datasets respectively, with computational time less than 200 seconds.


title: Aggression in the workplace makes social distance difficult

abstract: The spread of new coronavirus (COVID-19) infections continues to increase. The practice of social distance attracts attention as a measure to prevent the spread of infection, but it is difficult for some occupations. Therefore, in previous studies, the scale of factors that determine social distance has been developed. However, it was not clear how to select the items among them, and it seemed to be somewhat arbitrary. In response to this trend, this paper extracted eight scales by performing exploratory factor analysis based on certain rules while eliminating arbitrariness as much as possible. They were Adverse Conditions, Leadership, Information Processing, Response to Aggression, Mechanical Movement, Autonomy, Communication with the Outside, and Horizontal Teamwork. Of these, Adverse Conditions, Response to Aggression, and Horizontal Teamwork had a positive correlation with Physical Proximity, and Information Processing, Mechanical Movement, Autonomy, and Communication with the Outside had a negative correlation with Physical Proximity. Furthermore, as a result of multiple regression analysis, it was shown that Response to Aggression, not the mere teamwork assumed in previous studies, had the greatest influence on Physical Proximity.


title: Plasmons and magnetoplasmons in partially bounded two-layer electron systems

abstract: We have analytically studied plasmons in an electron system comprised of two spatially separated layers -- an infinite two-dimensional electron system (2DES) and a 2D strip. Our analysis reveals the existence of plasmon modes that are localized near and propagate along the strip. These modes are characterized by the wave vector in the direction of the strip, as well as the number of charge density nodes, N, across the strip. In the long-wavelength limit, the fundamental mode N=0 is found to have gapless linear dispersion. When the external perpendicular magnetic field is applied, this mode remains gapless and exhibits peculiar magnetodispersion. We analyze the correlation between our findings and the previously established results on plasmons in gated and partially gated 2DESs.


title: Robot Action Selection Learning via Layered Dimension Informed Program Synthesis

abstract: Action selection policies (ASPs), used to compose low-level robot skills into complex high-level tasks are commonly represented as neural networks (NNs) in the state of the art. Such a paradigm, while very effective, suffers from a few key problems: 1) NNs are opaque to the user and hence not amenable to verification, 2) they require significant amounts of training data, and 3) they are hard to repair when the domain changes. We present two key insights about ASPs for robotics. First, ASPs need to reason about physically meaningful quantities derived from the state of the world, and second, there exists a layered structure for composing these policies. Leveraging these insights, we introduce layered dimension-informed program synthesis (LDIPS) - by reasoning about the physical dimensions of state variables, and dimensional constraints on operators, LDIPS directly synthesizes ASPs in a human-interpretable domain-specific language that is amenable to program repair. We present empirical results to demonstrate that LDIPS 1) can synthesize effective ASPs for robot soccer and autonomous driving domains, 2) requires two orders of magnitude fewer training examples than a comparable NN representation, and 3) can repair the synthesized ASPs with only a small number of corrections when transferring from simulation to real robots.


title: No-boundary solutions are robust to quantum gravity corrections

abstract: The no-boundary proposal is a theory of the initial conditions of the universe formulated in semi-classical gravity, and relying on the existence of regular (complex) solutions of the equations of motion. We show by explicit computation that regular no-boundary solutions are modified, but not destroyed, upon inclusion of expected quantum gravity corrections that involve higher powers of the Riemann tensor as well as covariant derivatives thereof. We illustrate our results with examples drawn from string theory. Our findings provide a crucial self-consistency test of the no-boundary framework.


title: Ultrafast optical spectroscopy of semiconducting and plasmonic nanostructures and their hybrids

abstract: The knowledge of the carrier dynamics in nanostructures is of fundamental importance for the development of (opto)electronic devices. This is true for semiconducting nanostructures as well as for plasmonic nanoparticles (NPs). Indeed, improvement of photocatalytic efficiencies by combining semiconductor and plasmonic nanostructures is one of the reasons why their ultrafast dynamics are intensively studied. In this work, we will review our activity on ultrafast spectroscopy in nanostructures carried out in the recently established EuroFEL Support Laboratory. We have investigated the dynamical plasmonic responses of metal NPs both in solution and in 2D and 3D arrays on surfaces, with particular attention being paid to the effects of the nanoparticle shape and to the conversion of absorbed light into heat on a nano-localized scale. We will summarize the results obtained on the carrier dynamics in nanostructured perovskites with emphasis on the hot-carrier dynamics and in semiconductor nanosystems such as ZnSe and Si nanowires, with particular attention to the band-gap bleaching dynamics. Subsequently, the study of semiconductor-metal NP hybrids, such as CeO$_2$-Ag NPs, ZnSe-Ag NPs and ZnSe-Au NPs, allows the discussion of interaction mechanisms such as charge carrier transfer and F{\"o}rster interaction. Finally, we assess an alternative method for the sensitization of wide band gap semiconductors to visible light by discussing the relationship between the carrier dynamics of TiO$_2$ NPs and V-doped TiO$_2$ NPs and their catalytic properties.


title: On the study of antiprotons yield in hadronic collisions at NICA SPD

abstract: The study of antiproton yield in $p$-$p$ and $p$-$d$ collisions is important for the astrophysical search for dark matter consisting of Weakly Interacting Massive Particles. Refinement of the production cross section, angular and momentum spectra of produced antiprotons in a wide energy range could help to treat the results obtained by the AMS-02 and PAMELA orbit spectrometers. In this paper we present a detailed Monte Carlo study of possible measurements at the planned SPD experiment at the NICA collider that is under construction at JINR (Dubna).


title: SplitNN-driven Vertical Partitioning

abstract: In this work, we introduce SplitNN-driven Vertical Partitioning, a configuration of a distributed deep learning method called SplitNN to facilitate learning from vertically distributed features. SplitNN does not share raw data or model details with collaborating institutions. The proposed configuration allows training among institutions holding diverse sources of data without the need of complex encryption algorithms or secure computation protocols. We evaluate several configurations to merge the outputs of the split models, and compare performance and resource efficiency. The method is flexible and allows many different configurations to tackle the specific challenges posed by vertically split datasets.


title: A lower bound for the doubly slice genus from signatures

abstract: The doubly slice genus of a knot in the 3-sphere is the minimal genus among unknotted orientable surfaces in the 4-sphere for which the knot arises as a cross-section. We use the classical signature function of the knot to give a new lower bound for the doubly slice genus. We combine this with an upper bound due to C. McDonald to prove that for every nonnegative integer $N$ there is a knot where the difference between the slice and doubly slice genus is exactly $N$, refining a result of W. Chen which says this difference can be arbitrarily large.


title: Learning Bloch Simulations for MR Fingerprinting by Invertible Neural Networks

abstract: Magnetic resonance fingerprinting (MRF) enables fast and multiparametric MR imaging. Despite fast acquisition, the state-of-the-art reconstruction of MRF based on dictionary matching is slow and lacks scalability. To overcome these limitations, neural network (NN) approaches estimating MR parameters from fingerprints have been proposed recently. Here, we revisit NN-based MRF reconstruction to jointly learn the forward process from MR parameters to fingerprints and the backward process from fingerprints to MR parameters by leveraging invertible neural networks (INNs). As a proof-of-concept, we perform various experiments showing the benefit of learning the forward process, i.e., the Bloch simulations, for improved MR parameter estimation. The benefit especially accentuates when MR parameter estimation is difficult due to MR physical restrictions. Therefore, INNs might be a feasible alternative to the current solely backward-based NNs for MRF reconstruction.


title: Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters

abstract: This paper presents a posteriori error estimates for conforming numerical approximations of eigenvalue clusters of second-order self-adjoint elliptic linear operators with compact resolvent. Given a cluster of eigenvalues, we estimate the error in the sum of the eigenvalues, as well as the error in the eigenvectors represented through the density matrix, i.e., the orthogonal projector on the associated eigenspace. This allows us to deal with degenerate (multiple) eigenvalues within the framework. All the bounds are valid under the only assumption that the cluster is separated from the surrounding smaller and larger eigenvalues; we show how this assumption can be numerically checked. Our bounds are guaranteed and converge with the same speed as the exact errors. They can be turned into fully computable bounds as soon as an estimate on the dual norm of the residual is available, which is presented in two particular cases: the Laplace eigenvalue problem discretized with conforming finite elements, and a Schr{\"o}dinger operator with periodic boundary conditions of the form $--$\Delta$ + V$ discretized with planewaves. For these two cases, numerical illustrations are provided on a set of test problems.


title: JT gravity and the asymptotic Weil-Petersson volume

abstract: A path integral in Jackiw-Teitelboim (JT) gravity is given by integrating over the volume of the moduli of Riemann surfaces with boundaries, known as the "Weil-Petersson volume," together with integrals over wiggles along the boundaries. The exact computation of the Weil-Petersson volume $V_{g,n}(b_1, \ldots, b_n)$ is difficult when the genus $g$ becomes large. We utilize two partial differential equations known to hold on the Weil-Petersson volumes to estimate asymptotic behaviors of the volume with two boundaries $V_{g,2}(b_1, b_2)$ and the volume with three boundaries $V_{g,3}(b_1, b_2, b_3)$ when the genus $g$ is large. Furthermore, we present a conjecture on the asymptotic expression for general $V_{g,n}(b_1, \ldots, b_n)$ with $n$ boundaries when $g$ is large.


title: The BB84 quantum key distribution using conjugate homodyne detection

abstract: Optical homodyne detection has been widely used in continuous-variable (CV) quantum information processing for measuring field quadrature values. In this paper we explore the possibility of operating a conjugate homodyne detection system in "photon counting" mode to implement discrete-variable (DV) quantum key distribution (QKD) protocols. A conjugate homodyne detection system, which consists of a beam splitter followed by two optical homodyne detectors, can simultaneously measure a pair of conjugate quadratures X and P of the incoming quantum state. In classical electrodynamics, X^2 + P^2 is proportional to the energy (the photon number) of the input light. In quantum optics, X and P do not commute and thus the above photon-number measurement is intrinsically noisy. This suggests that a blind application of the standard security proof could result pessimistic QKD performance. We overcome this obstacle by taking advantage of two special features of the proposed detection scheme. First, the fundamental detection noise associated with vacuum fluctuation cannot be manipulated by an external adversary. Second, the ability to reconstruct the photon number statistics at the receiver's end can place additional constraints on possible attacks from the adversary. As an example, we study the security of the BB84 QKD using conjugate homodyne detection and evaluate its performance through numerical simulations. This study may open the door to a new family of QKD protocols, in complementary to the well-established DV-QKD based on single photon detection and CV-QKD based on coherent detection.


title: An operator-valued T(1) theorem for symmetric singular integrals in UMD spaces

abstract: The natural BMO (bounded mean oscillation) conditions suggested by scalar-valued results are known to be insufficient for the boundedness of operator-valued paraproducts. Accordingly, the boundedness of operator-valued singular integrals has only been available under versions of the classical ``$T(1)\in BMO$'' assumptions that are not easily checkable. Recently, Hong, Liu and Mei (J. Funct. Anal. 2020) observed that the situation improves remarkably for singular integrals with a symmetry assumption, so that a classical $T(1)$ criterion still guarantees their $L^2$-boundedness on Hilbert space -valued functions. Here, these results are extended to general UMD (unconditional martingale differences) spaces with the same natural BMO condition for symmetrised paraproducts, and requiring in addition only the usual replacement of uniform bounds by $R$-bounds in the case of general singular integrals. In particular, under these assumptions, we obtain boundedness results on non-commutative $L^p$ spaces for all $1<p<\infty$, without the need to replace the domain or the target by a related non-commutative Hardy space as in the results of Hong et al. for $p\neq 2$.


title: On the suitability of hBN as an insulator for 2D material-based ultrascaled CMOS devices

abstract: Complementary metal oxide semiconductor (CMOS) logic circuits at the ultimate scaling limit place the utmost demands on the properties of all materials involved. The requirements for semiconductors are well explored and could possibly be satisfied by a number of layered two-dimensional (2D) materials, like for example transition-metal dichalcogenides or black phosphorus. The requirements for the gate insulator are arguably even more challenging and difficult to meet. In particular the combination of insulator to semiconductor which forms the central element of the metal oxide semiconductor field effect transistor (MOSFET) has to be of superior quality in order to build competitive devices. At the moment, hexagonal boron nitride (hBN) is the most common two-dimensional insulator and widely considered to be the most promising gate insulator in nanoscaled 2D material-based transistors. Here, we critically assess the material parameters of hBN and conclude that while its properties render hBN an ideal candidate for many applications in 2D nanoelectronics, hBN is most likely not suitable as a gate insulator for ultrascaled CMOS devices.


title: A Full Second-Order Analysis of the Widely Linear MVDR Beamformer for Noncircular Signals

abstract: A full performance analysis of the widely linear (WL) minimum variance distortionless response (MVDR) beamformer is introduced. While the WL MVDR is known to outperform its strictly linear counterpart, the Capon beamformer, for noncircular complex signals, the existing approaches provide limited physical insights, since they explicitly or implicitly omit the complementary second-order (SO) statistics of the output interferences and noise (IN). To this end, we exploit the full SO statistics of the output IN to introduce a full SO performance analysis framework for the WL MVDR beamformer. This makes it possible to separate the overall signal-to-interference plus noise ratio (SINR) gain of the WL MVDR beamformer w.r.t. the Capon one into the individual contributions along the in-phase (I) and quadrature (Q) channels. Next, by considering the reception of the unknown signal of interest (SOI) corrupted by an arbitrary number of orthogonal noncircular interferences, we further unveil the distribution of SINR gains in both the I and Q channels, and show that in almost all the spatial cases, these performance advantages are more pronounced when the SO noncircularity rate of the interferences increases. Illustrative numerical simulations are provided to support the theoretical results.


title: Vision Meets Wireless Positioning: Effective Person Re-identification with Recurrent Context Propagation

abstract: Existing person re-identification methods rely on the visual sensor to capture the pedestrians. The image or video data from visual sensor inevitably suffers the occlusion and dramatic variations of pedestrian postures, which degrades the re-identification performance and further limits its application to the open environment. On the other hand, for most people, one of the most important carry-on items is the mobile phone, which can be sensed by WiFi and cellular networks in the form of a wireless positioning signal. Such signal is robust to the pedestrian occlusion and visual appearance change, but suffers some positioning error. In this work, we approach person re-identification with the sensing data from both vision and wireless positioning. To take advantage of such cross-modality cues, we propose a novel recurrent context propagation module that enables information to propagate between visual data and wireless positioning data and finally improves the matching accuracy. To evaluate our approach, we contribute a new Wireless Positioning Person Re-identification (WP-ReID) dataset. Extensive experiments are conducted and demonstrate the effectiveness of the proposed algorithm. Code will be released at https://github.com/yolomax/WP-ReID.


title: Knowledge Distillation-aided End-to-End Learning for Linear Precoding in Multiuser MIMO Downlink Systems with Finite-Rate Feedback

abstract: We propose a deep learning-based channel estimation, quantization, feedback, and precoding method for downlink multiuser multiple-input and multiple-output systems. In the proposed system, channel estimation and quantization for limited feedback are handled by a receiver deep neural network (DNN). Precoder selection is handled by a transmitter DNN. To emulate the traditional channel quantization, a binarization layer is adopted at each receiver DNN, and the binarization layer is also used to enable end-to-end learning. However, this can lead to inaccurate gradients, which can trap the receiver DNNs at a poor local minimum during training. To address this, we consider knowledge distillation, in which the existing DNNs are jointly trained with an auxiliary transmitter DNN. The use of an auxiliary DNN as a teacher network allows the receiver DNNs to additionally exploit lossless gradients, which is useful in avoiding a poor local minimum. For the same number of feedback bits, our DNN-based precoding scheme can achieve a higher downlink rate compared to conventional linear precoding with codebook-based limited feedback.


title: Improved Bounds for Distributed Load Balancing

abstract: In the load balancing problem, the input is an $n$-vertex bipartite graph $G = (C \cup S, E)$ and a positive weight for each client $c \in C$. The algorithm must assign each client $c \in C$ to an adjacent server $s \in S$. The load of a server is then the weighted sum of all the clients assigned to it, and the goal is to compute an assignment that minimizes some function of the server loads, typically either the maximum server load (i.e., the $\ell_{\infty}$-norm) or the $\ell_p$-norm of the server loads. We study load balancing in the distributed setting. There are two existing results in the CONGEST model. Czygrinow et al. [DISC 2012] showed a 2-approximation for unweighted clients with round-complexity $O(\Delta^5)$, where $\Delta$ is the maximum degree of the input graph. Halld\'orsson et al. [SPAA 2015] showed an $O(\log{n}/\log\log{n})$-approximation for unweighted clients and $O(\log^2\!{n}/\log\log{n})$-approximation for weighted clients with round-complexity polylog$(n)$. In this paper, we show the first distributed algorithms to compute an $O(1)$-approximation to the load balancing problem in polylog$(n)$ rounds. In the CONGEST model, we give an $O(1)$-approximation algorithm in polylog$(n)$ rounds for unweighted clients. For weighted clients, the approximation ratio is $O(\log{n})$. In the less constrained LOCAL model, we give an $O(1)$-approximation algorithm for weighted clients in polylog$(n)$ rounds. Our approach also has implications for the standard sequential setting in which we obtain the first $O(1)$-approximation for this problem that runs in near-linear time. A 2-approximation is already known, but it requires solving a linear program and is hence much slower. Finally, we note that all of our results simultaneously approximate all $\ell_p$-norms, including the $\ell_{\infty}$-norm.


title: Deep Sketch-guided Cartoon Video Inbetweening

abstract: We propose a novel framework to produce cartoon videos by fetching the color information from two input keyframes while following the animated motion guided by a user sketch. The key idea of the proposed approach is to estimate the dense cross-domain correspondence between the sketch and cartoon video frames, and employ a blending module with occlusion estimation to synthesize the middle frame guided by the sketch. After that, the input frames and the synthetic frame equipped with established correspondence are fed into an arbitrary-time frame interpolation pipeline to generate and refine additional inbetween frames. Finally, a module to preserve temporal consistency is employed. Compared to common frame interpolation methods, our approach can address frames with relatively large motion and also has the flexibility to enable users to control the generated video sequences by editing the sketch guidance. By explicitly considering the correspondence between frames and the sketch, we can achieve higher quality results than other image synthesis methods. Our results show that our system generalizes well to different movie frames, achieving better results than existing solutions.


title: Review: Progress on 2D topological insulators and potential ap-plications in electronic devices

abstract: Two-dimensional topological insulators (2DTI) have attracted increasing attention during the past few years. New 2DTI with increasing larger spin-orbit coupling (SOC) gaps have been predicted by theoretical calculations and some of them have been synthesized experimentally. In this review, the 2DTI, ranging from single element graphene-like materials to bi-elemental TMDs and to multi-elemental materials, with different thicknesses, structures and phases, have been summarized and discussed. The topological properties (especially the quantum spin Hall effect and Dirac fermion feature) and potential applications have been summarized. This review also points out the challenge and opportuni-ties for future 2DTI study, especially on the device applications based on the topological properties.


title: Multiobjective optimization of the dynamic aperture for SLS 2.0 using surrogate models based on artificial neural networks

abstract: Modern synchrotron light source storage rings, such as the Swiss Light Source upgrade (SLS 2.0), use multi-bend achromats in their arc segments to achieve unprecedented brilliance. This performance comes at the cost of increased focusing requirements, which in turn require stronger sextupole and higher-order multipole fields for compensation and lead to a considerable decrease in the dynamic aperture and/or energy acceptance. In this paper, to increase these two quantities, a multi-objective genetic algorithm (MOGA) is combined with a modified version of the well-known tracking code tracy. As a first approach, a massively parallel implementation of a MOGA is used. Compared to a manually obtained solution this approach yields very good results. However, it requires a long computation time. As a second approach, a surrogate model based on artificial neural networks is used in the optimization. This improves the computation time, but the results quality deteriorates. As a third approach, the surrogate model is re-trained during the optimization. This ensures a solution quality comparable to the one obtained with the first approach while also providing an order of magnitude speedup. Finally, good candidate solutions for SLS 2.0 are shown and further analyzed.


title: Learning Invariant Feature Representation to Improve Generalization across Chest X-ray Datasets

abstract: Chest radiography is the most common medical image examination for screening and diagnosis in hospitals. Automatic interpretation of chest X-rays at the level of an entry-level radiologist can greatly benefit work prioritization and assist in analyzing a larger population. Subsequently, several datasets and deep learning-based solutions have been proposed to identify diseases based on chest X-ray images. However, these methods are shown to be vulnerable to shift in the source of data: a deep learning model performing well when tested on the same dataset as training data, starts to perform poorly when it is tested on a dataset from a different source. In this work, we address this challenge of generalization to a new source by forcing the network to learn a source-invariant representation. By employing an adversarial training strategy, we show that a network can be forced to learn a source-invariant representation. Through pneumonia-classification experiments on multi-source chest X-ray datasets, we show that this algorithm helps in improving classification accuracy on a new source of X-ray dataset.


title: Connections between covers of $\mathbb Z$ and subset sums

abstract: In this paper we establish connections between covers of $\mathbb Z$ by residue classes and subset sums in a field. Suppose that $A_0=\{a_s(n_s)\}_{s=0}^k$ covers each integer at least $p$ times with the residue class $a_0(n_0)=a_0+n_0\mathbb Z$ irredundant, where $p$ is a prime not dividing any of $n_1,\ldots,n_k$. Let $m_1,\ldots,m_k\in\mathbb Z$ be relatively prime to $n_1,\ldots,n_k$ respectively. For any $c,c_1,\ldots,c_k\in\mathbb Z/p\mathbb Z$ with $c_1\cdots c_k\not=0$, we show that the set $$\bigg\{\bigg\{\sum_{s\in I}\frac{m_s}{n_s}\bigg\}:\, I\subseteq\{1,\ldots,k\} \ \mbox{and}\ \sum_{s\in I}c_s=c\bigg\}$$ contains an arithmetic progression of length $n_0$ with common difference $1/n_0$, where $\{x\}$ denotes the fractional part of a real number $x$.


title: Collective diffusion coefficient of a charged colloidal dispersion: interferometric measurements in a drying drop

abstract: In the present work, we use Mach-Zehnder interferometry to thoroughly investigate the drying dynamics of a 2D confined drop of a charged colloidal dispersion. This technique makes it possible to measure the colloid concentration field during the drying of the drop at a high accuracy (about 0.5%) and with a high temporal and spatial resolution (about 1 frame/s and 5 $\mu$m/pixel). These features allow us to probe mass transport of the charged dispersion in this out-of-equilibrium situation. In particular, our experiments provide the evidence that mass transport within the drop can be described by a purely diffusive process for some range of parameters for which the buoyancy-driven convection is negligible. We are then able to extract from these experiments the collective diffusion coefficient of the dispersion $D(\varphi)$ over a wide concentration range $\varphi=0.24$-$0.5$, i.e. from the liquid dispersed state to the solid glass regime, with a high accuracy. The measured values of $D(\varphi)\simeq 5$-$12 D_0$ are significantly larger than the simple estimate $D_0$ given by the Stokes-Einstein relation, thus highlighting the important role played by the colloidal interactions in such dispersions.


title: On the Oval Shapes of Beach Stones

abstract: This article introduces a new geophysical theory, in the form of a single simple partial integro-differential equation, to explain how frictional abrasion alone of a stone on a planar beach can lead to the oval shapes observed empirically. The underlying idea in this theory is the intuitive observation that the rate of ablation at a point on the surface of the stone is proportional to the product of the curvature of the stone at that point and how often the stone is likely to be in contact with the beach at that point. Specifically, key roles in this new model are played by both the random wave process and the global (non-local) shape of the stone, i.e., its shape away from the point of contact with the beach. The underlying physical mechanism for this process is the conversion of energy from the wave process into potential energy of the stone. No closed-form or even asymptotic solution is known for the basic equation, even in a 2-dimensional setting, but basic numerical solutions are presented in both the deterministic continuous-time setting using standard curve-shortening algorithms, and a stochastic discrete-time polyhedral-slicing setting using Monte Carlo simulation.


title: Optical signatures of charge order in a Mott-Wigner state

abstract: The elementary optical excitations in two dimensional semiconductors hosting itinerant electrons are attractive and repulsive polarons -- excitons that are dynamically screened by electrons. Exciton-polarons have hitherto been studied in translationally invariant degenerate Fermi systems. Here, we show that electronic charge order breaks the excitonic translational invariance and leads to a direct optical signature in the exciton-polaron spectrum. Specifically, we demonstrate that new optical resonances appear due to spatially modulated interaction between excitons and electrons in an incompressible Mott state. Our observations demonstrate that resonant optical spectroscopy provides an invaluable tool for studying strongly correlated states, such as Wigner crystals and density waves, where exciton-electron interactions are modified by the emergence of new electronic charge or spin order.


title: Knowing Depth Quality In Advance: A Depth Quality Assessment Method For RGB-D Salient Object Detection

abstract: Previous RGB-D salient object detection (SOD) methods have widely adopted deep learning tools to automatically strike a trade-off between RGB and D (depth), whose key rationale is to take full advantage of their complementary nature, aiming for a much-improved SOD performance than that of using either of them solely. However, such fully automatic fusions may not always be helpful for the SOD task because the D quality itself usually varies from scene to scene. It may easily lead to a suboptimal fusion result if the D quality is not considered beforehand. Moreover, as an objective factor, the D quality has long been overlooked by previous work. As a result, it is becoming a clear performance bottleneck. Thus, we propose a simple yet effective scheme to measure D quality in advance, the key idea of which is to devise a series of features in accordance with the common attributes of high-quality D regions. To be more concrete, we conduct D quality assessments for each image region, following a multi-scale methodology that includes low-level edge consistency, mid-level regional uncertainty and high-level model variance. All these components will be computed independently and then be assembled with RGB and D features, applied as implicit indicators, to guide the selective fusion. Compared with the state-of-the-art fusion schemes, our method can achieve a more reasonable fusion status between RGB and D. Specifically, the proposed D quality measurement method achieves steady performance improvements for almost 2.0\% in general.


title: Recursive Multi-model Complementary Deep Fusion forRobust Salient Object Detection via Parallel Sub Networks

abstract: Fully convolutional networks have shown outstanding performance in the salient object detection (SOD) field. The state-of-the-art (SOTA) methods have a tendency to become deeper and more complex, which easily homogenize their learned deep features, resulting in a clear performance bottleneck. In sharp contrast to the conventional ``deeper'' schemes, this paper proposes a ``wider'' network architecture which consists of parallel sub networks with totally different network architectures. In this way, those deep features obtained via these two sub networks will exhibit large diversity, which will have large potential to be able to complement with each other. However, a large diversity may easily lead to the feature conflictions, thus we use the dense short-connections to enable a recursively interaction between the parallel sub networks, pursuing an optimal complementary status between multi-model deep features. Finally, all these complementary multi-model deep features will be selectively fused to make high-performance salient object detections. Extensive experiments on several famous benchmarks clearly demonstrate the superior performance, good generalization, and powerful learning ability of the proposed wider framework.


title: Depth Quality Aware Salient Object Detection

abstract: The existing fusion based RGB-D salient object detection methods usually adopt the bi-stream structure to strike the fusion trade-off between RGB and depth (D). The D quality usually varies from scene to scene, while the SOTA bi-stream approaches are depth quality unaware, which easily result in substantial difficulties in achieving complementary fusion status between RGB and D, leading to poor fusion results in facing of low-quality D. Thus, this paper attempts to integrate a novel depth quality aware subnet into the classic bi-stream structure, aiming to assess the depth quality before conducting the selective RGB-D fusion. Compared with the SOTA bi-stream methods, the major highlight of our method is its ability to lessen the importance of those low-quality, no-contribution, or even negative-contribution D regions during the RGB-D fusion, achieving a much improved complementary status between RGB and D.


title: Verifying Safety Properties of Inductively Defined Parameterized Systems

abstract: We introduce a term algebra as a new formal specification language for the coordinating architectures of distributed systems consisting of a finite yet unbounded number of components. The language allows to describe infinite sets of systems whose coordination between components share the same pattern, using inductive definitions similar to the ones used to describe algebraic data types or recursive data structures. Further, we give a verification method for the parametric systems described in this language, relying on the automatic synthesis of structural invariants that enable proving general safety properties (mutual exclusion, absence of deadlocks). The invariants are defined using the WSkS fragment of the monadic second order logic, known to be decidable by a classical automata-logic connection. This reduces the safety verification problem to checking satisfiability of a WSkS formula.


title: Non-standard neutrino interactions as a solution to the NO$\nu$A and T2K discrepancy

abstract: The latest data of the two long-baseline accelerator experiments NO$\nu$A and T2K, interpreted in the standard 3-flavor scenario, display a discrepancy. A mismatch in the determination of the standard CP-phase $\delta_{\mathrm {CP}}$ extracted by the two experiments is evident in the normal neutrino mass ordering. While NO$\nu$A prefers values close to $\delta_{\mathrm {CP}} \sim 0.8 \pi$, T2K identifies values of $\delta_{\mathrm {CP}} \sim 1.4 \pi$. Such two estimates are in disagreement at more than 90$\%$ C.L. for 2 degrees of freedom. We show that such a tension can be resolved if one hypothesizes the existence of complex neutral-current non-standard interactions (NSI) of the flavor changing type involving the $e-\mu$ or the $e-\tau$ sectors with couplings $|\varepsilon_{e\mu}| \sim |\varepsilon_{e\tau}|\sim 0.2$. Remarkably, in the presence of such NSI, both experiments point towards the same common value of the standard CP-phase $\delta_{\mathrm {CP}} \sim 3\pi/2$. Our analysis also highlights an intriguing preference for maximal CP-violation in the non-standard sector with the NSI CP-phases having best fit close to $\phi_{e\mu} \sim \phi_{e\tau}\sim 3\pi/2$, hence pointing towards imaginary NSI couplings.


title: Navigating Human Language Models with Synthetic Agents

abstract: Modern natural language models such as the GPT-2/GPT-3 contain tremendous amounts of information about human belief in a consistently testable form. If these models could be shown to accurately reflect the underlying beliefs of the human beings that produced the data used to train these models, then such models become a powerful sociological tool in ways that are distinct from traditional methods, such as interviews and surveys. In this study, We train a version of the GPT-2 on a corpora of historical chess games, and then "launch" clusters of synthetic agents into the model, using text strings to create context and orientation. We compare the trajectories contained in the text generated by the agents/model and compare that to the known ground truth of the chess board, move legality, and historical patterns of play. We find that the percentages of moves by piece using the model are substantially similar from human patterns. We further find that the model creates an accurate latent representation of the chessboard, and that it is possible to plot trajectories of legal moves across the board using this knowledge.


title: Para-Sasaki-like Riemannian manifolds and new Einstein metrics

abstract: We extract a new class of paracontact paracomplex Riemannian manifolds arising from certain cone construction, call it para-Sasaki-like Riemannian manifold and give explicit examples. We define a hyperbolic extension of a paraholomorphic paracomplex Riemannian manifold, which is a local product of two Riemannian spaces with equal dimensions, showing that it is a para-Sasaki-like Riemannian manifold. If the starting paraholomorphic paracomplex Riemannian manifold is complete Einstein with negative scalar curvature then its hyperbolic extension is a complete Einstein para-Sasaki-like Riemannian manifold with negative scalar curvature thus producing new examples of complete Einstein Riemannian manifold with negative scalar curvature.


title: Towards a Reference Architecture Model for Industrial Edge Computing

abstract: In the context of the digital transformation of the industry, whole value chains get connected across various application domains; as long as economic, ecologic, or social benefits arise to do so. Under the umbrella of the Industrial Internet of Things (IIoT), traditional Operational Technology (OT) approaches are replaced or at least augmented by Information and Communication Technology (ICT) systems to facilitate this development. To meet industrial requirements, for example, related to privacy, determinism, latency, or autonomy, established Cloud Computing mechanisms are being moved closer to data sources and actuators. Depending on the context, this distributed Cloud Computing paradigm is named Edge Computing or Fog Computing and various challenges have been subject to several publications. However, a proper reference model that describes the multi-dimensional problem space which is being spanned by this paradigm, seems still to be undefined. Such a model should provide orientation, put work in relation and support the identification of current and future research issues. This paper aims to fill this gap with a focus on industrial automation and follows analog models that have been developed for specific domains such as the Smart Grid Architecture Model (SGAM) and the Reference Architecture Model Industrie 4.0 (RAMI4.0). The proposed Reference Architecture Model Edge Computing (RAMEC) identifies 210 views on the Edge Computing paradigm in the manufacturing domain. Future iterations of this model might be used for the classification of relevant research, standardization, and development activities.


title: Proof-Carrying Plans: a Resource Logic for AI Planning

abstract: Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, the Proof Carrying Plans (PCP) logic that can be used to verify plans produced by AI planners. The PCP logic takes inspiration from existing resource logics (such as Linear logic and Separation logic) as well as Hoare logic when it comes to modelling states and resource-aware plan execution. It also capitalises on the Curry-Howard approach to logics, in its treatment of plans as functions and plan pre- and post-conditions as types. This paper presents two main results. From the theoretical perspective, we show that the PCP logic is sound relative to the standard possible world semantics used in AI planning. From the practical perspective, we present a complete Agda formalisation of the PCP logic and of its soundness proof. Moreover, we showcase the Curry-Howard, or functional, value of this implementation by supplementing it with the library that parses AI plans into Agda's proofs automatically. We provide evaluation of this library and the resulting Agda functions.


title: Tracy-Widom distribution for heterogeneous Gram matrices with applications in signal detection

abstract: Detection of the number of signals corrupted by high-dimensional noise is a fundamental problem in signal processing and statistics. This paper focuses on a general setting where the high-dimensional noise has an unknown complicated heterogeneous variance structure. We propose a sequential test which utilizes the edge singular values (i.e., the largest few singular values) of the data matrix. It also naturally leads to a consistent sequential testing estimate of the number of signals. We describe the asymptotic distribution of the test statistic in terms of the Tracy-Widom distribution. The test is shown to be accurate and have full power against the alternative, both theoretically and numerically. The theoretical analysis relies on establishing the Tracy-Widom law for a large class of Gram type random matrices with non-zero means and completely arbitrary variance profiles, which can be of independent interest.


title: Making Byzantine Consensus Live (Extended Version)

abstract: Partially synchronous Byzantine consensus protocols typically structure their execution into a sequence of views, each with a designated leader process. The key to guaranteeing liveness in these protocols is to ensure that all correct processes eventually overlap in a view with a correct leader for long enough to reach a decision. We propose a simple view synchronizer abstraction that encapsulates the corresponding functionality for Byzantine consensus protocols, thus simplifying their design. We present a formal specification of a view synchronizer and its implementation under partial synchrony, which runs in bounded space despite tolerating message loss during asynchronous periods. We show that our synchronizer specification is strong enough to guarantee liveness for single-shot versions of several well-known Byzantine consensus protocols, including HotStuff, Tendermint, PBFT and SBFT. We furthermore give precise latency bounds for these protocols when using our synchronizer. By factoring out the functionality of view synchronization we are able to specify and analyze the protocols in a uniform framework, which allows comparing them and highlights trade-offs.


title: Labels Are Not Perfect: Improving Probabilistic Object Detection via Label Uncertainty

abstract: Reliable uncertainty estimation is crucial for robust object detection in autonomous driving. However, previous works on probabilistic object detection either learn predictive probability for bounding box regression in an un-supervised manner, or use simple heuristics to do uncertainty regularization. This leads to unstable training or suboptimal detection performance. In this work, we leverage our previously proposed method for estimating uncertainty inherent in ground truth bounding box parameters (which we call label uncertainty) to improve the detection accuracy of a probabilistic LiDAR-based object detector. Experimental results on the KITTI dataset show that our method surpasses both the baseline model and the models based on simple heuristics by up to 3.6% in terms of Average Precision.


title: Multi-level Delumping Strategy for Thermal Enhanced Oil Recovery Simulations at Low Pressure

abstract: We present a multi-level delumping method suitable for thermal enhanced oil recovery processes, for which hydrocarbon components are vaporized under high temperatures, move downstream in the gas phase and condense back to the liquid phase. To reduce the computational cost, it is standard practice to reduce the number of (pseudo-)components used in thermal reservoir simulation. Depending on the number and type of hydrocarbon pseudo-components retained in the simulations, we may not be able to capture the correct displacement due to large errors in the lumped phase behavior (flash) computations. We address that problem through a multi-level method: we use data obtained from a short simulation using the most detailed fluid description available, and leverage that information to guide a delumping process. We use temperature as a proxy variable for composition, and select reference temperatures. We extract the corresponding reference compositions from the detailed run and use them to extend the lumped pseudo-components to an approximate detailed composition. We test our method using six heavy oil samples, and under two different recovery processes: hot nitrogen injection and in-situ combustion (air injection and exothermic oxidation reactions). The average error on the liquid mole fraction is reduced by 4-12 times (depending on the oil samples) compared to the flash using pseudo-components, and the maximum error by 6-48 times. We illustrate that the method is amenable to manually adding more information about the physics of some oil samples. We also discuss how to efficiently pick the reference temperatures. For uniformly sampled temperatures (between a minimum and maximum temperature), we conduct a sensitivity study which led us to use six temperatures. We ran both local (Pattern Search, PS) and global (Particle Swarm Optimization, PSO) gradient-free optimization methods.


title: Reforecasting the November 1994 flooding of Piedmont with a convection-permitting model

abstract: The Piedmont region in Italy was affected by a heavy rainfall event in November 1994. On the 4th convective cells involved the coastal mountains of the region. On the 5th and early 6th, there were abundant precipitations, related to orographic lift and low-level convergences, in the Alpine area. This study aims to evaluate whether a convection-permitting model provides more valuable information with respect to past numerical experiments. Results for the 4th of November show that the cloud-resolving model successfully reconstructs the structure of precipitation systems on the downstream side of the coastal mountains. As regards the precipitations of the 5th of November, no added value is found. However, we provide evidence of the anomalously intense transport of moist air from the tropical and subtropical Atlantic and postulate how such transport is responsible for reducing the stability of the flow impinging on the Alps.


title: Non-radially pulsating stars as microlensing sources

abstract: We study the microlensing of Non-Radially Pulsating (NRP) stars. Pulsations are formulated for stellar radius and temperature using spherical harmonic functions with different values of l,m. The characteristics of the microlensing light curves from NRP stars are investigated in relation to different pulsation modes. For the microlensing of NRP stars, the light curve is not a simple multiplication of the magnification curve and the intrinsic luminosity curve of the source star, unless the effect of finite source size can be ignored. Three main conclusions can be drawn from the simulated light curves. First, for modes with $m\neq0$ and when the viewing inclination is more nearly pole-on, the stellar luminosity towards the observer changes little with pulsation phase. In this case, high-magnification microlensing events are chromatic and can reveal the variability of these source stars. Second, some combinations of pulsation modes produce nearly degenerate luminosity curves (e.g., (l,m)=(3,0), (5,0)). The resulting microlensing light curves are also degenerate, unless the lens crosses the projected source. Finally, for modes involving m=1, the stellar brightness centre does not coincide with the coordinate centre, and the projected source brightness centre moves in the sky with pulsation phase. As a result of this time-dependent displacement in the brightness centroid, the time of the magnification peak coincides with the closest approach of the lens to the brightness centre as opposed to the source coordinate centre. Binary microlensing of NRP stars and in caustic-crossing features are chromatic.


title: A single-cell mathematical model of SARS-CoV-2 induced pyroptosis and the effects of anti-inflammatory intervention

abstract: Pyroptosis is an inflammatory mode of cell death that can contribute to the cytokine storm associated with severe cases of coronavirus disease 2019 (COVID-19). The formation of the NLRP3 inflammasome is central to pyroptosis, which may be induced by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Inflammasome formation, and by extension pyroptosis, may be inhibited by certain anti-inflammatory drugs. In this study, we present a single-cell mathematical model that captures the formation of the NLRP3 inflammasome, pyroptotic cell death and responses to anti-inflammatory intervention that hinder the formation of the NLRP3 inflammasome. The model is formulated in terms of a system of ordinary differential equations (ODEs) that describe the dynamics of the biological components involved in pyroptosis. Our results demonstrate that an anti-inflammatory drug can delay the formation of the NLRP3 inflammasome, and thus may alter the mode of cell death from inflammatory (pyroptosis) to non-inflammatory e.g., apoptosis). The single-cell model is being implemented in a SARS-CoV-2 Tissue Simulator, in collaboration with a multidisciplinary coalition investigating within host-dynamics of COVID-19. In this paper, we provide an overview of the SARS-CoV-2 Tissue Simulator and highlight the effects of pyroptosis on a cellular level.


title: Lattice of dominant weights of affine Kac-Moody algebras

abstract: The dual space of the Cartan subalgebra in a Kac-Moody algebra has a partial ordering defined by the rule that two elements are related if and only if their difference is a non-negative or non-positive integer linear combination of simple roots. In this paper, we study the subposet formed by dominant weights in affine Kac-Moody algebras. We give a more explicit description of the covering relations in this poset. We also study the structure of basic cells in this poset of dominant weights for untwisted affine Kac-Moody algebras of type A.


title: Measurements of the W boson rapidity, helicity, double-differential cross sections, and charge asymmetry in pp collisions at $\sqrt{s} =$ 13 TeV

abstract: The differential cross section and charge asymmetry for inclusive W boson production at $\sqrt{s} =$ 13 TeV is measured for the two transverse polarization states as a function of the W boson absolute rapidity. The measurement uses events in which a W boson decays to a neutrino and either a muon or an electron. The data sample of proton-proton collisions recorded with the CMS detector at the LHC in 2016 corresponds to an integrated luminosity of 35.9 fb$^{-1}$. The differential cross section and its value normalized to the total inclusive W boson production cross section are measured over the rapidity range $|y_\mathrm{W}|$ $\lt$ 2.5. In addition to the total fiducial cross section, the W boson double-differential cross section, d$^2\sigma$/d$p^\ell_\mathrm{T}$d$|\eta|$ and the charge asymmetry are measured as functions of the charged lepton transverse momentum and pseudorapidity. The precision of these measurements is used to constrain the parton distribution functions of the proton using the next-to-leading order NNPDF3.0 set.


title: EagerPy: Writing Code That Works Natively with PyTorch, TensorFlow, JAX, and NumPy

abstract: EagerPy is a Python framework that lets you write code that automatically works natively with PyTorch, TensorFlow, JAX, and NumPy. Library developers no longer need to choose between supporting just one of these frameworks or reimplementing the library for each framework and dealing with code duplication. Users of such libraries can more easily switch frameworks without being locked in by a specific 3rd party library. Beyond multi-framework support, EagerPy also brings comprehensive type annotations and consistent support for method chaining to any framework. The latest documentation is available online at https://eagerpy.jonasrauber.de and the code can be found on GitHub at https://github.com/jonasrauber/eagerpy.