title: Notes on the Boussinesq-Full dispersion systems for internal waves: Numerical solution and solitary waves

abstract: In this paper we study some theoretical and numerical issues of the Boussinesq/Full dispersion system. This is a a three-parameter system of pde's that models the propagation of internal waves along the interface of two-fluid layers with rigid lid condition for the upper layer, and under a Boussinesq regime for the upper layer and a full dispersion regime for the lower layer. We first discretize in space the periodic initial-value problem with a Fourier-Galerkin spectral method and prove error estimates for several ranges of values of the parameters. Solitary waves of the model systems are then studied numerically in several ways. The numerical generation is analyzed by approximating the ode system with periodic boundary conditions for the solitary-wave profiles with a Fourier spectral scheme, implemented in a collocation form, and solving iteratively the corresponding algebraic system in Fourier space with the Petviashvili method accelerated with the minimal polynomial extrapolation technique. Motivated by the numerical results, a new result of existence of solitary waves is proved. In the last part of the paper, the dynamics of these solitary waves is studied computationally, To this end, the semidiscrete systems obtained from the Fourier-Galerkin discretization in space are integrated numerically in time by a Runge-Kutta Composition method of order four. The fully discrete scheme is used to explore numerically the stability of solitary waves, their collisions, and the resolution of other initial conditions into solitary waves.


title: Overdetermined ODEs and Rigid Periodic States in Network Dynamics

abstract: We consider four long-standing Rigidity Conjectures about synchrony and phase patterns for hyperbolic periodic orbits of admissible ODEs for networks. Proofs of stronger local versions of these conjectures, published in 2010-12, are now known to have a gap, but remain valid for a broad class of networks. Using different methods we prove local versions of the conjectures under a stronger condition, `strong hyperbolicity', which is related to a network analogue of the Kupka-Smale Theorem. Under this condition we also deduce global versions of the conjectures and an analogue of the $H/K$ Theorem in equivariant dynamics. We prove the Rigidity Conjectures for all 1- and 2-colourings and all 2- and 3-node networks by proving that strong hyperbolicity is generic in these cases.


title: Microscopy of an ultranarrow Feshbach resonance using a laser-based atom collider: A quantum defect theory analysis

abstract: We employ a quantum defect theory framework to provide a detailed analysis of the interplay between a magnetic Feshbach resonance and a shape resonance in cold collisions of ultracold $\rm ^{87}Rb$ atoms as captured in recent experiments using a laser-based collider [Phys. Rev. Research 3, 033209 (2021)]. By exerting control over a parameter space spanned by both collision energy and magnetic field, the width of a Feshbach resonance can be tuned over several orders of magnitude. We apply a quantum defect theory specialized for ultracold atomic collisions to fully describe of the experimental observations. While the width of a Feshbach resonance generally increases with collision energy, its coincidence with a shape resonance leads to a significant additional boost. By conducting experiments at a collision energy matching the shape resonance and using the shape resonance as a magnifying lens we demonstrate a feature broadening to a magnetic width of 8 G compared to a predicted Feshbach resonance width $\ll 0.1$~mG.


title: Hypers at ComMA@ICON: Modelling Aggressiveness, Gender Bias and Communal Bias Identification

abstract: Due to the exponentially increasing reach of social media, it is essential to focus on its negative aspects as it can potentially divide society and incite people into violence. In this paper, we present our system description of work on the shared task ComMA@ICON, where we have to classify how aggressive the sentence is and if the sentence is gender-biased or communal biased. These three could be the primary reasons to cause significant problems in society. As team Hypers we have proposed an approach that utilizes different pretrained models with Attention and mean pooling methods. We were able to get Rank 3 with 0.223 Instance F1 score on Bengali, Rank 2 with 0.322 Instance F1 score on Multi-lingual set, Rank 4 with 0.129 Instance F1 score on Meitei and Rank 5 with 0.336 Instance F1 score on Hindi. The source code and the pretrained models of this work can be found here.


title: Tests For Maximum Force and Maximum Power

abstract: Two ways to deduce the equivalence of the field equations of general relativity and the principle of maximum force $c^4/4G$ - or the equivalent maximum power $c^5/4G$ - are presented. A simple deduction of inverse square gravity directly from maximum force arises. Recent apparent counterarguments are refuted. New tests of the principle in astronomy, cosmology, electrodynamics, numerical gravitation and quantum gravity are proposed.


title: Channel Estimation for Hybrid Massive MIMO Systems with Adaptive-Resolution ADCs

abstract: Achieving high channel estimation accuracy and reducing hardware cost as well as power dissipation constitute substantial challenges in the design of massive multiple-input multiple-output (MIMO) systems. To resolve these difficulties, sophisticated pilot designs have been conceived for the family of energy-efficient hybrid analog-digital (HAD) beamforming architecture relying on adaptive-resolution analog-to-digital converters (RADCs). In this paper, we jointly optimize the pilot sequences, the number of RADC quantization bits and the hybrid receiver combiner in the uplink of multiuser massive MIMO systems. We solve the associated mean square error (MSE) minimization problem of channel estimation in the context of correlated Rayleigh fading channels subject to practical constraints. The associated mixed-integer problem is quite challenging due to the nonconvex nature of the objective function and of the constraints. By relying on advanced fractional programming (FP) techniques, we first recast the original problem into a more tractable yet equivalent form, which allows the decoupling of the fractional objective function. We then conceive a pair of novel algorithms for solving the resultant problems for codebook-based and codebook-free pilot schemes, respectively. To reduce the design complexity, we also propose a simplified algorithm for the codebook-based pilot scheme. Our simulation results confirm the superiority of the proposed algorithms over the relevant state-of-the-art benchmark schemes.


title: Prospects of a superradiant laser based on a thermal or guided beam of Sr-88

abstract: The prospects of superradiant lasing on the 7.5 kHz wide $^1$S$_0$-$^3$P$_1$ transition in $^{88}$Sr is explored by using numerical simulations of two systems based on realistic experimental numbers. One system uses the idea of demonstrating continuous superradiance in a simple, hot atom beam with high flux, and the other system is based on using ultra-cold atoms in a dipole guide. We find that the hot beam system achieves lasing above a flux of $2.5 \times 10^{12}$ atoms/s. It is capable of outputting hundreds of nW and suppressing cavity noise by a factor of 20-30. The second order Doppler shift causes a shift in the lasing frequency on the order of 500 Hz. For the cold atom beam we account for decoherence and thermal effects when using a repumping scheme for atoms confined in a dipole guide. We find that the output power is on the order of hundreds of pW, however the second order Doppler shift can be neglected, and cavity noise can be suppressed on the order of a factor 50-100. Additionally we show that both systems exhibit local insensitivity to fluctuations in atomic flux.


title: Representation Learning via Consistent Assignment of Views to Clusters

abstract: We introduce Consistent Assignment for Representation Learning (CARL), an unsupervised learning method to learn visual representations by combining ideas from self-supervised contrastive learning and deep clustering. By viewing contrastive learning from a clustering perspective, CARL learns unsupervised representations by learning a set of general prototypes that serve as energy anchors to enforce different views of a given image to be assigned to the same prototype. Unlike contemporary work on contrastive learning with deep clustering, CARL proposes to learn the set of general prototypes in an online fashion, using gradient descent without the necessity of using non-differentiable algorithms or K-Means to solve the cluster assignment problem. CARL surpasses its competitors in many representations learning benchmarks, including linear evaluation, semi-supervised learning, and transfer learning.


title: Scalar reward is not enough: A response to Silver, Singh, Precup and Sutton (2021)

abstract: The recent paper `"Reward is Enough" by Silver, Singh, Precup and Sutton posits that the concept of reward maximisation is sufficient to underpin all intelligence, both natural and artificial. We contest the underlying assumption of Silver et al. that such reward can be scalar-valued. In this paper we explain why scalar rewards are insufficient to account for some aspects of both biological and computational intelligence, and argue in favour of explicitly multi-objective models of reward maximisation. Furthermore, we contend that even if scalar reward functions can trigger intelligent behaviour in specific cases, it is still undesirable to use this approach for the development of artificial general intelligence due to unacceptable risks of unsafe or unethical behaviour.


title: Modelling matrix time series via a tensor CP-decomposition

abstract: We consider to model matrix time series based on a tensor CP-decomposition. Instead of using an iterative algorithm which is the standard practice for estimating CP-decompositions, we propose a new and one-pass estimation procedure based on a generalized eigenanalysis constructed from the serial dependence structure of the underlying process. To overcome the intricacy of solving a rank-reduced generalized eigenequation, we propose a further refined approach which projects it into a lower-dimensional full-ranked eigenequation. This refined method improves significantly the finite-sample performance of the estimation. The asymptotic theory has been established under a general setting without the stationarity. It shows, for example, that all the component coefficient vectors in the CP-decomposition are estimated consistently with certain convergence rates. The proposed model and the estimation method are also illustrated with both simulated and real data; showing effective dimension-reduction in modelling and forecasting matrix time series.


title: A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part II: Applications, Cognitive Models, and Challenges

abstract: This is Part II of the two-part comprehensive survey devoted to a computing framework most commonly known under the names Hyperdimensional Computing and Vector Symbolic Architectures (HDC/VSA). Both names refer to a family of computational models that use high-dimensional distributed representations and rely on the algebraic properties of their key operations to incorporate the advantages of structured symbolic representations and vector distributed representations. Holographic Reduced Representations is an influential HDC/VSA model that is well-known in the machine learning domain and often used to refer to the whole family. However, for the sake of consistency, we use HDC/VSA to refer to the field. Part I of this survey covered foundational aspects of the field, such as the historical context leading to the development of HDC/VSA, key elements of any HDC/VSA model, known HDC/VSA models, and the transformation of input data of various types into high-dimensional vectors suitable for HDC/VSA. This second part surveys existing applications, the role of HDC/VSA in cognitive computing and architectures, as well as directions for future work. Most of the applications lie within the Machine Learning/Artificial Intelligence domain, however, we also cover other applications to provide a complete picture. The survey is written to be useful for both newcomers and practitioners.


title: Correction to Equations of turbulent motion of an incompressible fluid (A.N. Kolmogorov) (in English, Translation by D.B. Spalding). Proc. R. Soc. Lond. A434, 214-216 (1991)

abstract: After carefully checking the original Russian version of Kolmogorov (1942), in the present author view, both Spalding and Wilcox misinterpretations are due to the fact that they did not notice the two different symbols, which Kolmogorov (1942) actually used.The present author believes that there are other similar misinterpretations in the literature. To avoid them, the present author feels that the following necessary corrections should be made to Kolmogorov (1991).


title: Lunatic Stocks: Moon Phases as Irregular Sampling Features for Pattern Recognition in the Stock Markets

abstract: This paper presents a novel idea on incorporating the Moon phases to the classic Gregorian (Solar) calendar time sampling methods for finding meaningful patterns in the stock markets. The four main Moon phases (New Moon, First quarter, Full Moon and Third quarter) are irregular in time but with well defined sampling structure as the Moon orbits the Earth completing its period. A Full Moon may appear in one month of the year on the 2nd, on the next month the Full moon may appear on the 4th and in the next ten years on the 13th of the same month. This structure which is irregular in time makes it interesting to study together with the stock market data. Moreover, the moon affects multiple physical things on the earth, such as the ocean tides, the behavior of living organisms as well as humans mood and decision when risking and investing.


title: SIS/R model on Bi-Uniform Hypergraph

abstract: This report is based on the work in (1). We first review definitions and notation developped there and provide derivations for the exact mathematical description of an SIS epidemic on a hypergraph. We then generalise the work in (1) to a new class of models that encompass SIS and SIR models. The exact differential equations are derived for the expected values of the population of each state. Focusing on Bi-uniform hypergraphs, we make suitable approximations obtain numerical solutions to those equations. These are compared with stochastic simulations of the model for various systems.


title: How can scientists establish an observer-independent science?

abstract: Evidence is growing for the theory of embodied cognition, which posits that action and perception co-determine each other, forming an action-perception loop. This suggests that we humans somehow participate in what we perceive. So, how can scientists escape the action-perception loop to obtain an observer-independent description of the world? Here we present a set of conjectures informed by the philosophy of mind and a reverse-engineering of science and quantum physics to explore this question. We argue that embodiment, as traditionally understood, can manifest aspects of imaginary-time quantum dynamics. We then explore what additional constraints are required to obtain aspects of genuine, real-time quantum dynamics. In particular, we conjecture that an embodied scientist doing experiments must be described from the perspective of another scientist, which is ignored in traditional approaches to embodied cognition, and that observers play complementary roles as both objects experienced by other observers and ``subjects'' that experience other objects.


title: Optimal Estimation of Thermal Diffusivity in an Energy Transfer Problem

abstract: This work focuses on determining the coefficient of thermal diffusivity in a one-dimensional heat transfer process along a homogeneous and isotropic bar, embedded in a moving fluid with heat generation. A first type (Dirichlet) condition is imposed on one boundary and a third type (Robin) condition is considered at the other one. The parameter is estimated by minimizing the squared errors where noisy observations are numerically simulated at different positions and instants. The results are evaluated by means of the relative errors for different levels of noise. In order to enhance the estimation performance, an optimal design technique is chosen to select the most informative data. Finally, the improvement of the estimate is discussed when an optimal design is used.


title: Robustness and risk management via distributional dynamic programming

abstract: In dynamic programming (DP) and reinforcement learning (RL), an agent learns to act optimally in terms of expected long-term return by sequentially interacting with its environment modeled by a Markov decision process (MDP). More generally in distributional reinforcement learning (DRL), the focus is on the whole distribution of the return, not just its expectation. Although DRL-based methods produced state-of-the-art performance in RL with function approximation, they involve additional quantities (compared to the non-distributional setting) that are still not well understood. As a first contribution, we introduce a new class of distributional operators, together with a practical DP algorithm for policy evaluation, that come with a robust MDP interpretation. Indeed, our approach reformulates through an augmented state space where each state is split into a worst-case substate and a best-case substate, whose values are maximized by safe and risky policies respectively. Finally, we derive distributional operators and DP algorithms solving a new control task: How to distinguish safe from risky optimal actions in order to break ties in the space of optimal policies?


title: Forecasting pandemic tax revenues in a small, open economy

abstract: Tax analysis and forecasting of revenues are of paramount importance to ensure fiscal policy's viability and sustainability. However, the measures taken to contain the spread of the recent pandemic pose an unprecedented challenge to established models and approaches. This paper proposes a model to forecast tax revenues in Bulgaria for the fiscal years 2020-2022 built in accordance with the International Monetary Fund's recommendations on a dataset covering the period between 1995 and 2019. The study further discusses the actual trustworthiness of official Bulgarian forecasts, contrasting those figures with the model previously estimated. This study's quantitative results both confirm the pandemic's assumed negative impact on tax revenues and prove that econometrics can be tweaked to produce consistent revenue forecasts even in the relatively-unexplored case of Bulgaria offering new insights to policymakers and advocates.


title: Reconstruction of DBI-essence dark energy with f(R) gravity and its effect on black hole and wormhole mass accretion

abstract: In this paper, we have used the reconstructed DBI-essence dark energy density to modify the mass accretions of black holes and wormholes. In general, the black hole mass accretion does not depend on the metric or local Einstein geometry. That is why we have used a generalized mechanism by reconstructing the DBI-essence dark energy reconstruction with f(R) gravity. We have used some particular forms of the scale factor to analyze the accretion phenomena. We have shown the effect of cosmic evolution in the proper time variation of black hole mass accretion. Finally, we have studied the validity of energy conditions and analyzed the type I - IV singularities for our reconstructed model.


title: On a Question of Gr\"atzer and Lakser from the 1971 {\sl Transactions of the American Mathematical Society}

abstract: Gr\"atzer and Lakser asked in the 1971 {\sl Transactions of the American Mathematical Society} if the pseudocomplemented distributive lattices in the amalgamation class of the subvariety generated by ${\bf 2}^n\oplus{\bf 1}$ can be characterized by the property of not having a $*$-homomorphism onto ${\bf 2}^i\oplus{\bf 1}$ for $1<i<n$. In this article, this question is answered. If you want to know the answer, you will have to read it (or skip to the last section).


title: Adversarial Learning for Incentive Optimization in Mobile Payment Marketing

abstract: Many payment platforms hold large-scale marketing campaigns, which allocate incentives to encourage users to pay through their applications. To maximize the return on investment, incentive allocations are commonly solved in a two-stage procedure. After training a response estimation model to estimate the users' mobile payment probabilities (MPP), a linear programming process is applied to obtain the optimal incentive allocation. However, the large amount of biased data in the training set, generated by the previous biased allocation policy, causes a biased estimation. This bias deteriorates the performance of the response model and misleads the linear programming process, dramatically degrading the performance of the resulting allocation policy. To overcome this obstacle, we propose a bias correction adversarial network. Our method leverages the small set of unbiased data obtained under a full-randomized allocation policy to train an unbiased model and then uses it to reduce the bias with adversarial learning. Offline and online experimental results demonstrate that our method outperforms state-of-the-art approaches and significantly improves the performance of the resulting allocation policy in a real-world marketing campaign.


title: Coupled-channel analysis of the process $\gamma \gamma \to \pi^0 \pi^0$

abstract: We study the process $\gamma\gamma\to\pi^0\pi^0$ involving the principle mechanisms, the structure of its cross section and the role of individual isoscalar-tensor resonances in the saturation of its energy spectrum.


title: On equivalence classes of homotopes of algebras and trilinear forms

abstract: A homotope, or a mutation, of a $k$-algebra is a new algebra with the same underlying space, but with the multiplication law dependent on the multiplication law of the original algebra. In this paper, we show that a generic finite-dimensional algebra of dimension greater than 3 has infinitely many non-isotopic homotopes, and that, more generally, a similar result is true for generic trilinear forms. We also study a particular class of homotopes called $\Delta$-homotopes, where $\Delta$ is an element of the algebra, and show that there are algebras with infinitely many non-isomorphic homotopes even under some additional assumptions, such as the associativity of the algebra or $\Delta$ being well-tempered.


title: NMR investigations of quantum battery using star-topology spin systems

abstract: Theoretical explorations have revealed that quantum batteries can exploit quantum correlation to achieve faster charging, thus promising exciting applications in future technologies. Using NMR architecture, here we experimentally investigate various aspects of quantum battery with the help of nuclear spin systems in star-topology configuration. We first carry out numerical analysis to study how charging a quantum battery depends on the relative purity factors of charger and battery spins. By experimentally measuring the polarization of the battery spin undergoing charging, we estimate the battery energy and establish the theoretically predicted quantum advantage. We propose using the quantum advantage, which depends on the entanglement among chargers and battery, as a measure for estimating the size of the entangled cluster. We develop a simple iterative method to realize asymptotic charging avoiding oscillatory behaviour of charging and discharging. Finally, we introduce a load spin and realize a charger-battery-load circuit and experimentally demonstrate battery energy consumption after varying durations of battery storage, for up to two minutes.


title: HS-integral and Eisenstein integral mixed Cayley graphs over abelian groups

abstract: A mixed graph is called \emph{second kind hermitian integral}(or \emph{HS-integral}) if the eigenvalues of its Hermitian-adjacency matrix of second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. Let $\Gamma$ be an abelian group. We characterize the set $S$ for which a mixed Cayley graph $\text{Cay}(\Gamma, S)$ is HS-integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS-integral.


title: Facial-Sketch Synthesis: A New Challenge

abstract: This paper aims to conduct a comprehensive study on facial-sketch synthesis (FSS). However, due to the high costs of obtaining hand-drawn sketch datasets, there lacks a complete benchmark for assessing the development of FSS algorithms over the last decade. We first introduce a high-quality dataset for FSS, named FS2K, which consists of 2,104 image-sketch pairs spanning three types of sketch styles, image backgrounds, lighting conditions, skin colors, and facial attributes. FS2K differs from previous FSS datasets in difficulty, diversity, and scalability and should thus facilitate the progress of FSS research. Second, we present the largest-scale FSS investigation by reviewing 89 classical methods, including 25 handcrafted feature-based facial-sketch synthesis approaches, 29 general translation methods, and 35 image-to-sketch approaches. Besides, we elaborate comprehensive experiments on the existing 19 cutting-edge models. Third, we present a simple baseline for FSS, named FSGAN. With only two straightforward components, i.e., facial-aware masking and style-vector expansion, FSGAN surpasses the performance of all previous state-of-the-art models on the proposed FS2K dataset by a large margin. Finally, we conclude with lessons learned over the past years and point out several unsolved challenges. Our code is available at https://github.com/DengPingFan/FSGAN.


title: Approach to $K\to \ell\nu_\ell \ell'^+ \ell'^-$ decay width on lattice

abstract: Lattice QCD plays an increasing role in reducing theoretical uncertainties in kaon decays. Here we focus on kaon decay channels $K\to \ell\nu_\ell \ell'^+ \ell'^-$, which are closely related to radiative kaon decays since the lepton pairs $\ell'^+ \ell'^-$ come from virtual photon emission: $K\to \ell\nu_\ell \gamma^* \to \ell\nu_\ell \ell'^+ \ell'^-$. Compared with real photon emission, these channels involve more complicated form factors due to the off-shell photon with possible large momentum transfer, which causes a challenge to lattice-QCD studies. In this work, we introduce a lattice calculation procedure for their decay width, which can avoid parameterization of form factors. The systematic errors in our method are found to be controllable. Infinite volume reconstruction method is adopted to remove the temporal truncation effects and reduce finite volume effects from kaon intermediate state. This approach sets up a bridge between lattice QCD calculation and experimental measurement of decay width.


title: Kerr spacetime in Lema\^itre coordinates

abstract: We present a novel formulation of the Kerr spacetime solution, based on the Lema\^itre coordinates. Such an approach allows one to avoid the coordinate singularities of the Boyer-Lindquist metric, thus offering the possibility to explore in some detail the Kerr physics near and beyond the event horizon, adopting the point of view of a freely falling observer, whose adapted tetrad is moreover proven to be Fermi-Walker transported. We use the Lema\^itre form of the Kerr metric discussing the motion of radial photons close to the Cauchy horizon, also showing that their behaviour fairly agrees with other similar results presented in the literature. Being synchronous, the Lema\^itre form of the Kerr metric allows a Hamiltonian formulation of a quantum field theory nearby and beyond the Kerr event horizon. This could provide a further tool in the investigation of the intriguing issue concerning the Cauchy horizon (in)stability.


title: Mythological Medical Machine Learning: Boosting the Performance of a Deep Learning Medical Data Classifier Using Realistic Physiological Models

abstract: Objective: To determine if a realistic, but computationally efficient model of the electrocardiogram can be used to pre-train a deep neural network (DNN) with a wide range of morphologies and abnormalities specific to a given condition - T-wave Alternans (TWA) as a result of Post-Traumatic Stress Disorder, or PTSD - and significantly boost performance on a small database of rare individuals. Approach: Using a previously validated artificial ECG model, we generated 180,000 artificial ECGs with or without significant TWA, with varying heart rate, breathing rate, TWA amplitude, and ECG morphology. A DNN, trained on over 70,000 patients to classify 25 different rhythms, was modified the output layer to a binary class (TWA or no-TWA, or equivalently, PTSD or no-PTSD), and transfer learning was performed on the artificial ECG. In a final transfer learning step, the DNN was trained and cross-validated on ECG from 12 PTSD and 24 controls for all combinations of using the three databases. Main results: The best performing approach (AUROC = 0.77, Accuracy = 0.72, F1-score = 0.64) was found by performing both transfer learning steps, using the pre-trained arrhythmia DNN, the artificial data and the real PTSD-related ECG data. Removing the artificial data from training led to the largest drop in performance. Removing the arrhythmia data from training provided a modest, but significant, drop in performance. The final model showed no significant drop in performance on the artificial data, indicating no overfitting. Significance: In healthcare, it is common to only have a small collection of high-quality data and labels, or a larger database with much lower quality (and less relevant) labels. The paradigm presented here, involving model-based performance boosting, provides a solution through transfer learning on a large realistic artificial database, and a partially relevant real database.


title: FPGA Based Accelerator for Neural Networks Computation with Flexible Pipelining

abstract: FPGA is appropriate for fix-point neural networks computing due to high power efficiency and configurability. However, its design must be intensively refined to achieve high performance using limited hardware resources. We present an FPGA-based neural networks accelerator and its optimization framework, which can achieve optimal efficiency for various CNN models and FPGA resources. Targeting high throughput, we adopt layer-wise pipeline architecture for higher DSP utilization. To get the optimal performance, a flexible algorithm to allocate balanced hardware resources to each layer is also proposed, supported by activation buffer design. Through our well-balanced implementation of four CNN models on ZC706, the DSP utilization and efficiency are over 90%. For VGG16 on ZC706, the proposed accelerator achieves the performance of 2.58x, 1.53x and 1.35x better than the referenced non-pipeline architecture [1], pipeline architecture [2] and [3], respectively.


title: GANISP: a GAN-assisted Importance SPlitting Probability Estimator

abstract: Designing manufacturing processes with high yield and strong reliability relies on effective methods for rare event estimation. Genealogical importance splitting reduces the variance of rare event probability estimators by iteratively selecting and replicating realizations that are headed towards a rare event. The replication step is difficult when applied to deterministic systems where the initial conditions of the offspring realizations need to be modified. Typically, a random perturbation is applied to the offspring to differentiate their trajectory from the parent realization. However, this random perturbation strategy may be effective for some systems while failing for others, preventing variance reduction in the probability estimate. This work seeks to address this limitation using a generative model such as a Generative Adversarial Network (GAN) to generate perturbations that are consistent with the attractor of the dynamical system. The proposed GAN-assisted Importance SPlitting method (GANISP) improves the variance reduction for the system targeted. An implementation of the method is available in a companion repository (https://github.com/NREL/GANISP).


title: Speedup deep learning models on GPU by taking advantage of efficient unstructured pruning and bit-width reduction

abstract: This work is focused on the pruning of some convolutional neural networks (CNNs) and improving theirs efficiency on graphic processing units (GPU) by using a direct sparse algorithm. The Nvidia deep neural network (cuDnn) library is the most effective implementations of deep learning (DL) algorithms for GPUs. GPUs are the most commonly used accelerators for deep learning computations. One of the most common techniques for improving the efficiency of CNN models is weight pruning and quantization. There are two main types of pruning: structural and non-structural. The first enables much easier acceleration on many type of accelerators, but with this type it is difficult to achieve a sparsity level and accuracy as high as that obtained with the second type. Non-structural pruning with retraining can generate a weight tensors up to 90% or more of sparsity in some deep CNN models. In this article the pruning algorithm is presented which makes it possible to achieve high sparsity levels without accuracy drop. In the next stage the linear and non-linear quantization is adapted for further time and footprint reduction. This paper is an extended of previously published paper concerning effective pruning techniques and present real models pruned with high sparsities and reduced precision which can achieve better performance than the CuDnn library.


title: Uniform-in-Phase-Space Data Selection with Iterative Normalizing Flows

abstract: Improvements in computational and experimental capabilities are rapidly increasing the amount of scientific data that is routinely generated. In applications that are constrained by memory and computational intensity, excessively large datasets may hinder scientific discovery, making data reduction a critical component of data-driven methods. Datasets are growing in two directions: the number of data points and their dimensionality. Whereas dimension reduction typically aims at describing each data sample on lower-dimensional space, the focus here is on reducing the number of data points. A strategy is proposed to select data points such that they uniformly span the phase-space of the data. The algorithm proposed relies on estimating the probability map of the data and using it to construct an acceptance probability. An iterative method is used to accurately estimate the probability of the rare data points when only a small subset of the dataset is used to construct the probability map. Instead of binning the phase-space to estimate the probability map, its functional form is approximated with a normalizing flow. Therefore, the method naturally extends to high-dimensional datasets. The proposed framework is demonstrated as a viable pathway to enable data-efficient machine learning when abundant data is available. An implementation of the method is available in a companion repository (https://github.com/NREL/Phase-space-sampling).

categories: cs.LG cs.AI physics.comp-ph physics.data-an


title: Analysis of Performance of Drivers and Usage of Overtime Hours: A Case Study of a Higher Educational Institution

abstract: This study attempted to analyze whether there is a relationship between the performance of drivers and the number of overtime hours worked by them. The number of overtime hours worked by the drivers in the pool for the years 2017 and 2018 were extracted from the overtime registers and feedback received on the performance of drivers from staff members who frequently traveled in the University vehicles were used for this study. The overall performance of a driver was decided by taking the aggregate of marks received by him for the traits: skillfulness, patience, responsibility, customer service and care for the vehicle. The type of vehicle the driver is assigned for is also taken into account in the analysis of this study. The study revealed that there is no significant relationship between the performance of the drivers and the number of overtime hours worked by them but the type of vehicle and the condition of the vehicle affects attracting long journeys to them which enable them to earn more overtime hours.


title: Exact Post-selection Inference For Tracking S&P500

abstract: The problem that is solved in this paper is known as index tracking. The method of Lasso is used to reduce the dimensions of S&P500 index which has many applications in both investment and portfolio management algorithms. The novelty of this paper is that post-selection inference is used to have better modeling and inference for Lasso approach to index tracking. Both confidence intervals and curves indicate that the performance of Lasso type method for dimension reduction of S&P500 is remarkably high. Keywords: index tracking, lasso, post-selection inference, S&P500


title: Certain properties of the class of univalent functions with real coefficients

abstract: Let ${\mathcal U}^+$ be the class of analytic functions $f$ such that $\frac{z}{f(z)}$ has real and positive coefficients and $f^{-1}$ be its inverse. In this paper we give sharp estimates of the initial coefficients and initial logarithmic coefficients for $f$, as well as, sharp estimates of the second and the third Hankel determinant for $f$ and $f^{-1}$. We also show that the Zalcman conjecture holds for functions $f$ from ${\mathcal U}^+$.


title: Generalized $n$-locality inequalities in star-network configuration and their optimal quantum violations

abstract: Standard multiparty Bell experiments involve a single source shared by a set of observers. In contrast, network Bell experiments feature multiple independent sources, and each of them may distribute physical systems to a set of observers who perform randomly chosen measurements. The $n$-locality scenario in star-network configuration involves $n$ number of edge observers (Alices), a central observer (Bob), and $n$ number of independent sources having no prior correlation. Each Alice shares an independent state with the central observer Bob. Usually, in network Bell experiments, one considers that each party measures only two observables. In this work, we propose a non-trivial generalization of $n$-locality scenario in star-network configuration, where each Alice performs some integer $m$ number of binary-outcome measurements, and the central party Bob performs $2^{m-1}$ binary-outcome measurements. We derive a family of generalized $n$-locality inequalities for any arbitrary $m$. Using {blue}{an elegant} sum-of-squares approach, we derive the optimal quantum violation of the aforementioned inequalities can be attained when each and every Alice measures $m$ number of mutually anticommuting observables. For $m=2$ and $3$, one obtains the optimal quantum value {blue}{for qubit system local to each Alice, and it is sufficient to consider the sharing of} a two-qubit entangled state between each Alice and Bob. We further demonstrate that the optimal quantum violation of $n$-locality inequality for any arbitrary $m$ can be obtained when every Alice shares $\lfloor m/2\rfloor$ copies of two-qubit maximally entangled state with the central party Bob. We also argue that for $m>3$, a single copy of a two-qubit entangled state may not be enough to exhibit the violation of $n$-locality inequality but multiple copies of it can activate the quantum violation.


title: Characterizing nonlocal correlations through various $n$-locality inequlities in quantum network

abstract: The multipartite quantum networks feature multiple independent sources, in contrast to the conventional multipartite Bell experiment involving a single source. So far, network nonlocality has been explored when each source produces a two-qubit entangled state. In this work, we demonstrate the network nonlocality when each party performs a black-box measurement, and the dimension of the system remains unspecified. In an interesting work, by considering each source produces two-qubit entangled states in the conventional bilocal scenario, Gisin \emph{et. al.} in https://doi.org/10.1103/PhysRevA.96.020304] demonstrated a correspondence between the violations of bipartite Clauser-Horne-Shimony-Halt inequality and the bilocality inequality. We introduce a variant of the sum-of-squares approach to reproduce their results without assuming the dimension of the system. We then generalize the argument for network nonlocality in star-network topology. Further, we propose a new set of $n$-locality inequalities in star-network configuration where each of the $n$ parties performs an arbitrary number of dichotomic measurements and demonstrate the above correspondence between the quantum violations of the $n$-locality inequalities and the chained Bell inequalities. A similar correspondence is demonstrated based on a recently formulated family of $n$-locality inequalities whose optimal quantum violation cannot be obtained when each source emits a two-qubit entangled state and requires multiple copies of two-qubit entangled states. Throughout this paper, each party in the network performs black-box measurements, and the dimension of the system remains unspecified.


title: Discriminating mirror symmetric states with restricted contextual advantage

abstract: The generalized notion of noncontextuality provides an avenue to explore the fundamental departure of quantum theory from a classical explanation. Recently, extracting a different form of quantum advantage in various information processing tasks has received an upsurge of interest. In a recent work [D. Schmid and R. W. Spekkens, Phys. Rev. X 8, 011015 (2018)] it has been demonstrated that discrimination of two nonorthogonal pure quantum states entails contextual advantage when the states are supplied with equal prior probabilities. We generalized the work to arbitrary prior probabilities as well as to three arbitrary mirror-symmetric states. We show that the contextual advantage can be obtained for any value of prior probability when only two quantum states are present in the task. But surprisingly, in the case of three mirror-symmetric states, the contextual advantage is available only for a restrictive range of prior probabilities with which the states are prepared.


title: On Mathematics of Bubbles in Dynamical Systems

abstract: A new concept called biased derivative is proposed. It has a potential to better understand and model some aspects of dynamical systems associated with creating bubbles.


title: Advanced Drone Swarm Security by Using Blockchain Governance Game

abstract: This research contributes to the security design of an advanced smart drone swarm network based on a variant of the Blockchain Governance Game (BGG), which is the theoretical game model to predict the moments of security actions before attacks, and the Strategic Alliance for Blockchain Governance Game (SABGG), which is one of the BGG variants which has been adapted to construct the best strategies to take preliminary actions based on strategic alliance for protecting smart drones in a blockchain-based swarm network. Smart drones are artificial intelligence (AI)-enabled drones which are capable of being operated autonomously without having any command center. Analytically tractable solutions from the SABGG allow us to estimate the moments of taking preliminary actions by delivering the optimal accountability of drones for preventing attacks. This advanced secured swarm network within AI-enabled drones is designed by adapting the SABGG model. This research helps users to develop a new network-architecture-level security of a smart drone swarm which is based on a decentralized network.


title: Monte Carlo simulations of the electron-gas interactions in the KATRIN experiment

abstract: At the KATRIN experiment, the electron antineutrino mass is inferred from the shape of the $\beta$-decay spectrum of tritium. Important systematic effects in the Windowless Gaseous Tritium Source (WGTS) of the experiment include the energy loss by electron scattering, and the extended starting potential. In the WGTS, primary high-energy electrons from $\beta$-decay produce an extended secondary spectrum of electrons through various atomic and molecular processes including ionization, recombination, cluster formation and scattering. In addition to providing data essential to the simulation of energy loss processes, the electron spectrum also provides information important in the simulation of plasma processes. These simulations will then provide an insight on the starting potential. Here, a Monte Carlo approach is used to model the electron spectrum in the source for a given magnetic and electric field configuration. The spectrum is evaluated at different positions within the WGTS, which allows for a direct analysis of the spectrum close to the rear wall and detector end of the experiment. Alongside electrons, also ions are tracked by the simulation, resulting in a full description of the currents in the source.


title: Spatiotemporal linear instability of viscoelastic slender jets

abstract: We revisit the problem of the two-dimensional spatiotemporal linear stability of viscoelastic slender jets obeying linear Phan-Thien-Tanner (PTT) stress constitutive equation, and investigate the role of finite stresses on the elasto-capilliary stability of the Beads-on-a-String (BOAS) structure (structures which include the formation of very thin filament between drops) and identify the regions of topological transition of the advancing jet interface, in the limit of low to moderate Ohnesorge number ($Oh$) and high values of Weissenberg number ($We$). The Briggs idea of analytic continuation \{previously elucidated in the nonaffine response regime [Bansal, Ghosh and Sircar, ``Spatiotemporal linear stability of viscoelastic free shear flows: Nonaffine response regime'', Phys. Fluids {\bf 33}, 054106 (2021)]\} is deployed to classify regions of temporal stability and absolute and convective instabilities, as well as evanescent modes, and the results are compared with previously conducted experiments for viscoelastic filaments. The impact of the finite stresses are evident in the form of strain-hardening ensuing in lower absolute growth rates, relatively rapid drainage and finite-time pinch-off. The phase diagrams reveal the influence of (a) capillary force stabilization at infinitesimally small values of $Oh$, and (b) inertial stabilization at significantly larger values of $Oh$.


title: Electric field and Strain-induced Band-gap Engineering and Manipulation of the Rashba Spin Splitting in Janus van der Waals Heterostructures

abstract: The compositional as well as structural asymmetries in Janus transition metal dichalcogenides (J-TMDs) and their van der Waals heterostructures (vdW HSs) induce an intrinsic Rashba spin-splitting. We investigate the variation of band-gaps and the Rashba parameter in three different Janus heterostructures having AB-stacked Mo$XY$/W$XY$ ($X$, $Y$ = S, Se, Te; $X\neq Y$) geometry with a $Y-Y$ interface, using first-principles calculations. We consider the effect of external electric field and in-plane biaxial strain in tuning the strength of the intrinsic electric field, which leads to remarkable modifications of the band-gap and the Rashba spin-splitting. In particular, it is found that the positive applied field and compressive in-plane biaxial strain can lead to a notable increase in the Rashba spin-splitting of the valence bands about the $\Gamma$-point. Moreover, our \textit{ab-initio} density functional theory (DFT) calculations reveal the existence of a type-II band alignment in these heterostructures, which remains robust under positive external field and biaxial strain. These suggest novel ways of engineering the electronic, optical, and spin properties of J-TMD van der Waals heterostructures holding a huge promise in spintronic and optoelectronic devices. Detailed $\mathbf{k\cdot p}$ model analyses have been performed to investigate the electronic and spin properties near the $\Gamma$ and K points of the Brillouin zone.


title: Accurate and Real-time 3D Pedestrian Detection Using an Efficient Attentive Pillar Network

abstract: Efficiently and accurately detecting people from 3D point cloud data is of great importance in many robotic and autonomous driving applications. This fundamental perception task is still very challenging due to (i) significant deformations of human body pose and gesture over time and (ii) point cloud sparsity and scarcity for pedestrian class objects. Recent efficient 3D object detection approaches rely on pillar features to detect objects from point cloud data. However, these pillar features do not carry sufficient expressive representations to deal with all the aforementioned challenges in detecting people. To address this shortcoming, we first introduce a stackable Pillar Aware Attention (PAA) module for enhanced pillar features extraction while suppressing noises in the point clouds. By integrating multi-point-channel-pooling, point-wise, channel-wise, and task-aware attention into a simple module, the representation capabilities are boosted while requiring little additional computing resources. We also present Mini-BiFPN, a small yet effective feature network that creates bidirectional information flow and multi-level cross-scale feature fusion to better integrate multi-resolution features. Our proposed framework, namely PiFeNet, has been evaluated on three popular large-scale datasets for 3D pedestrian Detection, i.e. KITTI, JRDB, and nuScenes achieving state-of-the-art (SOTA) performance on KITTI Bird-eye-view (BEV) and JRDB and very competitive performance on nuScenes. Our approach has inference speed of 26 frame-per-second (FPS), making it a real-time detector. The code for our PiFeNet is available at https://github.com/ldtho/PiFeNet.


title: Social Neuro AI: Social Interaction as the "dark matter" of AI

abstract: This article introduces a three-axis framework indicating how AI can be informed by biological examples of social learning mechanisms. We argue that the complex human cognitive architecture owes a large portion of its expressive power to its ability to engage in social and cultural learning. However, the field of AI has mostly embraced a solipsistic perspective on intelligence. We thus argue that social interactions not only are largely unexplored in this field but also are an essential element of advanced cognitive ability, and therefore constitute metaphorically the dark matter of AI. In the first section, we discuss how social learning plays a key role in the development of intelligence. We do so by discussing social and cultural learning theories and empirical findings from social neuroscience. Then, we discuss three lines of research that fall under the umbrella of Social NeuroAI and can contribute to developing socially intelligent embodied agents in complex environments. First, neuroscientific theories of cognitive architecture, such as the global workspace theory and the attention schema theory, can enhance biological plausibility and help us understand how we could bridge individual and social theories of intelligence. Second, intelligence occurs in time as opposed to over time, and this is naturally incorporated by dynamical systems. Third, embodiment has been demonstrated to provide more sophisticated array of communicative signals. To conclude, we discuss the example of active inference, which offers powerful insights for developing agents that possess biological realism, can self-organize in time, and are socially embodied.


title: Predicting the Oxidation States of Mn ions in the Oxygen Evolving Complex of Photosystem II Using Supervised and Unsupervised Machine Learning

abstract: Serial Femtosecond Crystallography at the X-ray Free Electron Laser (XFEL) sources enabled the imaging of the catalytic intermediates of the oxygen evolution reaction of Photosystem II. However, due to the incoherent transition of the S-states, the resolved structures are a convolution from different catalytic states. Here, we train Decision Tree Classifier and K-mean clustering models on Mn compounds obtained from the Cambridge Crystallographic Database to predict the S-state of the X-ray, XFEL, and CryoEm structures by predicting the Mn's oxidation states in the oxygen evolving complex (OEC). The model agrees mostly with the XFEL structures in the dark S1 state. However, significant discrepancies are observed for the excited XFEL states (S2, S3, and S0) and the dark states of the X-ray and CryoEm structures. Furthermore, there is a mismatch between the predicted S-states within the two monomers of the same dimer, mainly in the excited states. The model suggests that improving the resolution is crucial to precisely resolve the geometry of the illuminated S-states to overcome the noncoherent S-state transition. In addition, significant radiation damage is observed in X-ray and CryoEM structures, particularly at the dangler Mn center (Mn4). Our model represents a valuable tool for investigating the electronic structure of the catalytic metal cluster of PSII to understand the water splitting mechanism.


title: Partition functions and entanglement entropy: Weyl graviton and conformal higher spin fields

abstract: We establish the relation of partition functions of conformal higher spin fields on Weyl equivalent spaces in $d=4$ dimension. We express the partition function of Weyl graviton and conformal higher spin fields as an integral over characters on $S^1\times AdS_3$, $S^4$, and $AdS_4$. We observe that the partition function of conformal higher spins on hyperbolic cylinders differs from the partition function on $S^4$ by the `edge' contribution. The logarithmic coefficient obtained from the character integral of the partition function of conformal higher spins on $AdS_4$ is the half of that obtained from the partition function on $S^4$. We evaluate the entanglement entropy and the conformal dimension of the twist operator from the partition function on the hyperbolic cylinder. The conformal dimension of the co-dimension two twist operator enables us to find a linear relation between Hofman-Maldacena variables which we use to show the non-unitarity of the theory. We observe that the spectrum of the quasinormal modes of conformal higher spins obtained from the bulk character contains additional distinct states compared to the spectrum of unitary massless higher spin fields.


title: Quaternary linear codes and related binary subfield codes

abstract: In this paper, we mainly study quaternary linear codes and their binary subfield codes. First we obtain a general explicit relationship between quaternary linear codes and their binary subfield codes in terms of generator matrices and defining sets. Second, we construct quaternary linear codes via simplicial complexes and determine the weight distributions of these codes. Third, the weight distributions of the binary subfield codes of these quaternary codes are also computed by employing the general characterization. Furthermore, we present two infinite families of optimal linear codes with respect to the Griesmer Bound, and a class of binary almost optimal codes with respect to the Sphere Packing Bound. We also need to emphasize that we obtain at least 9 new quaternary linear codes.


title: Revisiting the constraints on primordial black hole abundance with the isotropic gamma ray background

abstract: We revisit the constraints on primordial black holes (PBHs) in the mass range $10^{13}-10^{18}$ g by comparing the 100\,keV-5\,GeV gamma-ray background with isotropic flux from PBH Hawking radiation (HR). We investigate three effects that may update the constraints on the PBH abundance; i) reliably calculating the secondary spectra of HR for energy below 5\,GeV, ii) the contributions to the measured isotropic flux from the Galactic PBH HR and that from annihilation radiation due to evaporated positrons, iii) inclusion of astrophysical background from gamma-ray sources. The conservative constraint is significantly improved by more than an order of magnitude at $2\times10^{16}$g$\lesssim M\lesssim 10^{17}$g over the past relevant work, where the effect ii is dominant. After further accounting for the astrophysical background, more than a tenfold improvement extends to a much wider mass range $10^{15}$g$\lesssim M\lesssim 2\times 10^{17}$g.


title: An explicit formula of powers of the $2\times 2$ quantum matrices and its applications

abstract: We present an explicit formula of the powers for the $2\times 2$ quantum matrices, that is a natural quantum analogue of the powers of the usual $2\times 2$ matrices. As applications, we give some non-commutative relations of the entries of the powers for the $2\times 2$ quantum matrices, which is a simple proof of the results of Vokos-Zumino-Wess (1990).


title: Non-local triple quantum dot thermometer based on Coulomb-coupled systems

abstract: Recent proposals towards non-local thermoelectric voltage-based thermometry, in the conventional dual quantum dot set-up, demand an asymmetric step-like system-to-reservoir coupling around the ground states for optimal operation (Physica E, 114, 113635, 2019). In addition to such demand for unrealistic coupling, the sensitivity in such a strategy also depends on the average measurement terminal temperature, which may result in erroneous temperature assessment. In this paper, I propose non-local current based thermometry in the dual dot set-up as a practical alternative and demonstrate that in the regime of high bias, the sensitivity remains robust against fluctuations of the measurement terminal temperature. Proceeding further, I propose a non-local triple quantum dot thermometer, that provides an enhanced sensitivity while bypassing the demand for unrealistic step-like system-to-reservoir coupling and being robust against fabrication induced variability in Coulomb coupling. In addition, I show that the heat extracted from (to) the target reservoir, in the triple dot design, can also be suppressed drastically by appropriate fabrication strategy, to prevent thermometry induced drift in reservoir temperature. The proposed triple dot setup thus offers a multitude of benefits and could potentially pave the path towards the practical realization and deployment of high-performance non-local ``sub-Kelvin range" thermometers.


title: Polynomial-Time Key Recovery Attack on the Lau-Tan Cryptosystem Based on Gabidulin Codes

abstract: This paper presents a key recovery attack on the cryptosystem proposed by Lau and Tan in a talk at ACISP 2018. The Lau-Tan cryptosystem uses Gabidulin codes as the underlying decodable code. To hide the algebraic structure of Gabidulin codes, the authors chose a matrix of column rank $n$ to mix with a generator matrix of the secret Gabidulin code. The other part of the public key, however, reveals crucial information about the private key. Our analysis shows that the problem of recovering the private key can be reduced to solving a multivariate linear system over the base field, rather than solving a multivariate quadratic system as claimed by the authors. Solving the linear system for any nonzero solution permits us to recover the private key. Apparently, this attack costs polynomial time, and therefore completely breaks the cryptosystem.


title: The Hilbert-Grunwald specialization property over number fields

abstract: Given a finite group $G$ and a number field $K$, we investigate the following question: Does there exist a Galois extension $E/K(t)$ with group $G$ whose set of specializations yields solutions to all Grunwald problems for the group $G$, outside a finite set of primes? Following previous work, such a Galois extension would be said to have the "Hilbert-Grunwald property". In this paper we reach a complete classification of groups $G$ which admit an extension with the Hilbert-Grunwald property over fields such as $K=\mathbb{Q}$. We thereby also complete the determination of the ``local dimension" of finite groups over $\mathbb{Q}$.


title: The Keisler-Shelah isomorphism theorem and the continuum hypothesis II

abstract: We continue the investigation started in [Sh:1215] about the relation between the Keilser-Shelah isomorphism theorem and the continuum hypothesis. In particular, we show it is consistent that the continuum hypothesis fails and for any given sequence $\mathbf m=\langle (\mathbb{M}^{1}_n, \mathbb{M}^{2}_n: n < \omega \rangle$ of models of size at most $\aleph_1$ in a countable language, if the sequence satisfies a mild extra property, then for every non-principal ultrafilter $\mathcal D$ on $\omega$, if the ultraproducts $\prod\limits_{\mathcal D} \mathbb{M}^{1}_n$ and $\prod\limits_{\mathcal D} \mathbb{M}^{2}_n$ are elementarily equivalent, then they are isomorphic.


title: Polariton Creation in Coupled Cavity Arrays with Spectrally Disordered Emitters

abstract: Integrated photonics has been a promising platform for analog quantum simulation of condensed matter phenomena in strongly correlated systems. To that end, we explore the implementation of all-photonic quantum simulators in coupled cavity arrays with integrated ensembles of spectrally disordered emitters. Our model is reflective of color center ensembles integrated into photonic crystal cavity arrays. Using the Quantum Master Equation and the Effective Hamiltonian approaches, we study energy band formation and wavefunction properties in the open quantum Tavis-Cummings-Hubbard framework. We find conditions for polariton creation and (de)localization under experimentally relevant values of disorder in emitter frequencies, cavity resonance frequencies, and emitter-cavity coupling rates. To quantify these properties, we introduce two metrics, the polaritonic and nodal participation ratios, that characterize the light-matter hybridization and the node delocalization of the wavefunction, respectively. These new metrics combined with the Effective Hamiltonian approach prove to be a powerful toolbox for cavity quantum electrodynamical engineering of solid-state systems.


title: Using Neural Networks to Perform Rapid High-Dimensional Kilonova Parameter Inference

abstract: On the 17th of August, 2017 came the simultaneous detections of GW170817, a gravitational wave that originated from the coalescence of two neutron stars, along with the gamma-ray burst GRB170817A, and the kilonova counterpart AT2017gfo. Since then, there has been much excitement surrounding the study of neutron star mergers, both observationally, using a variety of tools, and theoretically, with the development of complex models describing the gravitational-wave and electromagnetic signals. In this work, we improve upon our pipeline to infer kilonova properties from observed light-curves by employing a Neural-Network framework that reduces execution time and handles much larger simulation sets than previously possible. In particular, we use the radiative transfer code POSSIS to construct 5-dimensional kilonova grids where we employ different functional forms for the angular dependence of the dynamical ejecta component. We find that incorporating an angular dependence improves the fit to the AT2017gfo light-curves by up to ~50% when quantified in terms of the weighted Mean Square Error.


title: A Survey on Using Gaze Behaviour for Natural Language Processing

abstract: Gaze behaviour has been used as a way to gather cognitive information for a number of years. In this paper, we discuss the use of gaze behaviour in solving different tasks in natural language processing (NLP) without having to record it at test time. This is because the collection of gaze behaviour is a costly task, both in terms of time and money. Hence, in this paper, we focus on research done to alleviate the need for recording gaze behaviour at run time. We also mention different eye tracking corpora in multiple languages, which are currently available and can be used in natural language processing. We conclude our paper by discussing applications in a domain - education - and how learning gaze behaviour can help in solving the tasks of complex word identification and automatic essay grading.


title: Boundary feedback stabilization of a critical nonlinear JMGT equation with Neumann-undissipated part of the boundary

abstract: Boundary feedback stabilization of a critical, nonlinear Jordan--Moore--Gibson--Thompson (JMGT) equation is considered. JMGT arises in modeling of acoustic waves involved in medical/engineering treatments like lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU). It is a well-established and recently widely studied model for nonlinear acoustics (NLA): a third--order (in time) semilinear Partial Differential Equation (PDE) with the distinctive feature of predicting the propagation of ultrasound waves at \textit{finite} speed due to heat phenomenon know as \textit{second sound} which leads to the hyperbolic character of heat propagation. In practice, the JMGT dynamics is largely used for modeling the evolution of the acoustic velocity and, most importantly, the acoustic pressure as sound waves propagate through certain media. %Due to its sensitivity to different media, such model (or similar) is often used for medical/engineering treatments such as lithotripsy, thermotherapy, sonochemistry, or any other procedures using High Intensity Focused Ultrasound (HIFU). In this work, \emph{critical} refers to (usual) case where media--damping effects are non--existent or non--measurable and therefore cannot be relied upon for stabilization purposes. In this paper the issue of boundary stabilizability of originally unstable (JMGT) equation is resolved. Motivated by modeling aspects in HIFU technology, boundary feedback is supported only on a portion of the boundary, while the remaining part of the boundary is left free (available to control actions) . Since the boundary conditions imposed on the "free" part of the boundary fail to satisfy Lopatinski condition (unlike Dirichlet boundary conditions), the analysis of uniform stabilization from the boundary becomes very subtle and requires careful geometric considerations.


title: General Covariance from the Viewpoint of Stacks

abstract: General covariance is a crucial notion in the study of field theories in curved spacetime. A field theory defined with respect to a semi-Riemannian metric is generally covariant if two metrics which are related by a diffeomorphism produce equivalent physics. From a purely mathematical perspective, this suggest that we try to understand the quotient stack of metrics modulo diffeomorphism. We'll use the language of groupoids to do this concretely. Then we'll inspect the tangent complex of this stack at a fixed metric, which when shifted up by one defines a differential graded Lie algebra. By considering the action of this Lie algebra on the observables for the Batalin-Vilkovisky free scalar field theory, we recover a novel expression of the stress-energy tensor for that example. We'll describe how this construction nicely encapsulates but also broadens the usual presentation in the physics literature and discuss applications of the formalism.


title: Proofs of Chappelon and Alfons\'{\i}n Conjectures On Square Frobenius Numbers and its Relationship to Simultaneous Pell's Equations

abstract: Recently, Chappelon and Alfons\'{\i}n defined the square Frobenius number of coprime numbers $m$ and $n$ to be the largest perfect square that cannot be expressed in the form $mx+ny$ for nonnegative integers $x$ and $y$. When $m$ and $n$ differ by $1$ or $2$, they found simple expressions if neither $m$ nor $n$ is a perfect square. If either $m$ or $n$ is a perfect square, they formulated some interesting conjectures which have an unexpected close connection with a known recursive sequence, related to the denominators of Farey fraction approximations to $\sqrt{2}$. In this note, we prove these conjectures. Our methods involve solving Pell's equations $x^2-2y^2=1$ and $x^2-2y^2=-1$. Finally, to complete our proofs of these conjectures, we eliminate several cases using a bunch of results related to solutions of simultaneous Pell's equations.


title: Shift-Equivariant Similarity-Preserving Hypervector Representations of Sequences

abstract: Hyperdimensional Computing (HDC), also known as Vector-Symbolic Architectures (VSA), is a promising framework for the development of cognitive architectures and artificial intelligence systems, as well as for technical applications and emerging neuromorphic and nanoscale hardware. HDC/VSA operate with hypervectors, i.e., distributed vector representations of large fixed dimension (usually > 1000). One of the key ingredients of HDC/VSA are the methods for encoding data of various types (from numeric scalars and vectors to graphs) into hypervectors. In this paper, we propose an approach for the formation of hypervectors of sequences that provides both an equivariance with respect to the shift of sequences and preserves the similarity of sequences with identical elements at nearby positions. Our methods represent the sequence elements by compositional hypervectors and exploit permutations of hypervectors for representing the order of sequence elements. We experimentally explored the proposed representations using a diverse set of tasks with data in the form of symbolic strings. Although our approach is feature-free as it forms the hypervector of a sequence from the hypervectors of its symbols at their positions, it demonstrated the performance on a par with the methods that apply various features, such as subsequences. The proposed techniques were designed for the HDC/VSA model known as Sparse Binary Distributed Representations. However, they can be adapted to hypervectors in formats of other HDC/VSA models, as well as for representing sequences of types other than symbolic strings.


title: Diagnostics of hot electrons leaving the ECR plasma sustained by the high-power gyrotron

abstract: Energy distribution of electrons in the plasma sustained by the electron-cyclotron resonance (ECR) discharge has a complicated shape as a function of various parameters that still remains unknown. Meanwhile, it is an important plasma characteristic. Some methods and approaches give the possibility to estimate or measure the properties of the distributions of the electrons lost from the plasma. One of them, similar to the ion mass spectrometry, was used in this work to obtain such distributions in the non-classical continuous ECR ion source with high (up to $ 50-100$ W/cm$ ^ 3 $) energy input for the first time along with bremsstrahlung spectra. For certain parameters, a threshold-like regime was discovered, which comprised of the bursts of energetic electrons, bremsstrahlung and, supposedly, the development of kinetic instabilities.


title: Generalized Bell-like inequality and maximum violation for multiparticle entangled Schr\"{o}dinger-cat-states of spin-s

abstract: This paper proposes a generalized Bell-like inequality (GBI) for multiparticle entangled Schr\"{o}dinger-cat--states of arbitrary spin-$s$. Based on quantum probability statistics the GBI and violation are formulated in an unified manner with the help of state density operator, which can be separated to local and non-local parts. The local part gives rise to the inequality, while the non-local part is responsible for the violation. The GBI is not violated at all by quantum average except the spin-$1/2$ entangled states. If the measuring outcomes are restricted in the subspace of spin coherent state (SCS), namely, only the maximum spin values $\pm s$, the GBI is still meaningful for the incomplete measurement. With the help of SCS quantum probability statistics, it is proved that the violation of GBI can occur only for half-integer spins but not integer spins. Moreover, the maximum violation bound depends on the number parity of entangled particles, that it is $1/2$ for the odd particle-numbers while $1$ for even numbers.


title: Spinodal Gravitational Waves

abstract: We uncover a new gravitational-wave production mechanism in cosmological, first-order, thermal phase transitions. These are usually assumed to proceed via the nucleation of bubbles of the stable phase inside the metastable phase. However, if the nucleation rate is sufficiently suppressed, then the Universe may supercool all the way down the metastable branch and enter the spinodal region. In this case the transition proceeds via the exponential growth of unstable modes and the subsequent formation, merging and relaxation of phase domains. We use holography to follow the real-time evolution of this process in a strongly coupled, four-dimensional gauge theory. The resulting gravitational wave spectrum differs qualitatively from that in transitions mediated by bubble nucleation. We discuss the possibility that the spinodal dynamics may be preceded by a period of thermal inflation.


title: BTS: An Accelerator for Bootstrappable Fully Homomorphic Encryption

abstract: Homomorphic encryption (HE) enables the secure offloading of computations to the cloud by providing computation on encrypted data (ciphertexts). HE is based on noisy encryption schemes in which noise accumulates as more computations are applied to the data. The limited number of operations applicable to the data prevents practical applications from exploiting HE. Bootstrapping enables an unlimited number of operations or fully HE (FHE) by refreshing the ciphertext. Unfortunately, bootstrapping requires a significant amount of additional computation and memory bandwidth as well. Prior works have proposed hardware accelerators for computation primitives of FHE. However, to the best of our knowledge, this is the first to propose a hardware FHE accelerator that supports bootstrapping as a first-class citizen. In particular, we propose BTS - Bootstrappable, Technologydriven, Secure accelerator architecture for FHE. We identify the challenges of supporting bootstrapping in the accelerator and analyze the off-chip memory bandwidth and computation required. In particular, given the limitations of modern memory technology, we identify the HE parameter sets that are efficient for FHE acceleration. Based on the insights gained from our analysis, we propose BTS, which effectively exploits the parallelism innate in HE operations by arranging a massive number of processing elements in a grid. We present the design and microarchitecture of BTS, including a network-on-chip design that exploits a deterministic communication pattern. BTS shows 5,556x and 1,306x improved execution time on ResNet-20 and logistic regression over a CPU, with a chip area of 373.6mm^2 and up to 163.2W of power.


title: Coupling effect and pole assignment in trajectory regulation of multi-agent systems

abstract: This paper revisits a well studied leader-following consensus problem of linear multi-agent systems, while aiming at follower nodes' transient performance. Conventionally, when not all follower nodes have access to the leader's state information, distributed observers are designed to estimate the leader's state, and the observers are coupled via communication network. Then each follower node only needs to track its observer's state independently, without interacting with its neighbors. This paper deliberately introduces certain coupling effect among follower nodes, such that the follower nodes tend to converge to each other cooperatively on the way they converge to the leader. Moreover, by suitably designing the control law, the poles of follower nodes can be assigned as desired, and thus transient tracking performance can also be adjusted.


title: A Multiscale Investigation of the Physical Origins of Tension--Compression Asymmetry in Crystals and their Implications for Cyclic Behavior

abstract: Most of crystalline materials develop an hysteresis on their deformation curve when a mechanical loading is applied in alternating directions. This effect, also known as the Bauschinger effect, is intimately related to the reversibile part of the plastic deformation and controls the materials damage and ultimately their failure. In the present work, we associate mesoscale Dislocation Dynamics simulations and Finite Element simulations to identify two original dislocation mechanisms at the origin of the traction/compression asymmetry and quantify their impacts on the cyclic behaviour of FCC single-crystals. After demonstrating that no long-range internal stresses can be measured in the simulations, careful analysis of the dislocation network show that the Bauschinger effect is caused by an asymmetry in the stability of junctions formed from segments whose curvature is determined by the applied stress, and a significant portion of the stored dislocation segments is easily recovered during the backward motion of dislocations in previously explored regions of the crystal. These mechanisms are incorporated into a modified crystal plasticity framework with few parameters quantified from statistical analysis of Dislocation Dynamics simulations or from the literature. This strategy has a real predictive capability and the macroscale results are in good agreement with most of the experimental literature existing on the Bauschinger and cyclic deformation of FCC single-crystals. This work provides valuable mechanistic insight to assist in the interpretation of experiments and the design of structural components to consolidate their life under cyclic loading.


title: On middle box products and paracompact cardinals

abstract: The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of particular interest are products of the type ${}^{<\kappa}\square 2^\lambda$, where we prove that for a regular uncountable cardinal $\kappa$, if ${}^{<\kappa}\square 2^\lambda$ is paracompact for every $\lambda\ge\kappa$, then $\kappa$ is at least inaccessible. The case of the products of the type ${}^{<\kappa}\square X^\lambda$ for $\kappa$ singular has not been studied much in the literature and we offer various results. The question if ${}^{<\kappa}\square 2^\lambda$ can be paracompact for all $\lambda$ when $\kappa$ is singular has been partially answered but remains open in general.


title: Cloud Removal from Satellite Images

abstract: In this report, we have analyzed available cloud detection technique using sentinel hub. We have also implemented spatial attention generative adversarial network and improved quality of generated image compared to previous solution [7].


title: A Research Agenda for AI Planning in the Field of Flexible Production Systems

abstract: Manufacturing companies face challenges when it comes to quickly adapting their production control to fluctuating demands or changing requirements. Control approaches that encapsulate production functions as services have shown to be promising in order to increase the flexibility of Cyber-Physical Production Systems. But an existing challenge of such approaches is finding a production plan based on provided functionalities for a demanded product, especially when there is no direct (i.e., syntactic) match between demanded and provided functions. While there is a variety of approaches to production planning, flexible production poses specific requirements that are not covered by existing research. In this contribution, we first capture these requirements for flexible production environments. Afterwards, an overview of current Artificial Intelligence approaches that can be utilized in order to overcome the aforementioned challenges is given. For this purpose, we focus on planning algorithms, but also consider models of production systems that can act as inputs to these algorithms. Approaches from both symbolic AI planning as well as approaches based on Machine Learning are discussed and eventually compared against the requirements. Based on this comparison, a research agenda is derived.


title: REST API Fuzzing by Coverage Level Guided Blackbox Testing

abstract: With the growth of web applications, REST APIs have become the primary communication method between services. In order to ensure system reliability and security, software quality can be assured by effective testing methods. Black box fuzz testing is one of the effective methods to perform tests on a large scale. However, conventional black box fuzz testing generates random data without judging the quality of the input. We implement a black box fuzz testing method for REST APIs. It resolves the issues of blind mutations without knowing the effectiveness by Test Coverage Level feedback. We also enhance the mutation strategies by reducing the testing complexity for REST APIs, generating more appropriate test cases to cover possible paths. We evaluate our method by testing two large open-source projects and 89 bugs are reported and confirmed. In addition, we find 351 bugs from 64 remote API services in APIs.guru. The work is in https://github.com/iasthc/hsuan-fuzz.


title: Efficient and Reliable Overlay Networks for Decentralized Federated Learning

abstract: We propose near-optimal overlay networks based on $d$-regular expander graphs to accelerate decentralized federated learning (DFL) and improve its generalization. In DFL a massive number of clients are connected by an overlay network, and they solve machine learning problems collaboratively without sharing raw data. Our overlay network design integrates spectral graph theory and the theoretical convergence and generalization bounds for DFL. As such, our proposed overlay networks accelerate convergence, improve generalization, and enhance robustness to clients failures in DFL with theoretical guarantees. Also, we present an efficient algorithm to convert a given graph to a practical overlay network and maintaining the network topology after potential client failures. We numerically verify the advantages of DFL with our proposed networks on various benchmark tasks, ranging from image classification to language modeling using hundreds of clients.


title: Electroweak Radiative Corrections in Precision LHC Measurements of $W^\pm/Z^0$+jets

abstract: We calculate the fiducial and differential $W^{\pm}/Z^0+jet(s)$ production cross-sections in the presence of electroweak (EW) corrections through virtual loop contributions to the matrix elements (MEs) of the processes and real partonic cascade emissions. The calculations are carried out for proton-proton collisions at $\sqrt{s} = 13$ TeV, using Herwig 7 general-purpose Monte-Carlo event generator with leading-order or next-to-leading-order MEs that are interfaced with different parton-shower configurations. The results are compared with precision experimental measurements from ATLAS collaboration and with similar predictions within the $k_t$-factorisation framework, providing a test for the validity of the newly-implemented QCD$\oplus$QED$\oplus$EW parton shower in Herwig 7. It is shown that the inclusion of EW radiations in the parton shower simulations improves Herwig 7's predictions in describing the experimental data. Additionally, the inclusion of parton shower-induced real EW emissions can take precedence over the incorporation of virtual EW corrections for the simulation of EW-sensitive events.


title: Multi-relation Graph Summarization

abstract: Graph summarization is beneficial in a wide range of applications, such as visualization, interactive and exploratory analysis, approximate query processing, reducing the on-disk storage footprint, and graph processing in modern hardware. However, the bulk of the literature on graph summarization surprisingly overlooks the possibility of having edges of different types. In this paper, we study the novel problem of producing summaries of multi-relation networks, i.e., graphs where multiple edges of different types may exist between any pair of nodes. Multi-relation graphs are an expressive model of real-world activities, in which a relation can be a topic in social networks, an interaction type in genetic networks, or a snapshot in temporal graphs. The first approach that we consider for multi-relation graph summarization is a two-step method based on summarizing each relation in isolation, and then aggregating the resulting summaries in some clever way to produce a final unique summary. In doing this, as a side contribution, we provide the first polynomial-time approximation algorithm based on the k-Median clustering for the classic problem of lossless single-relation graph summarization. Then, we demonstrate the shortcomings of these two-step methods, and propose holistic approaches, both approximate and heuristic algorithms, to compute a summary directly for multi-relation graphs. In particular, we prove that the approximation bound of k-Median clustering for the single relation solution can be maintained in a multi-relation graph with proper aggregation operation over adjacency matrices corresponding to its multiple relations. Experimental results and case studies (on co-authorship networks and brain networks) validate the effectiveness and efficiency of the proposed algorithms.


title: MRT-based Joint Unicast and Multigroup Multicast Transmission in Massive MIMO Systems

abstract: We study joint unicast and multigroup multicast transmission in single-cell massive multiple-input-multiple-output (MIMO) systems, under maximum ratio transmission. For the unicast transmission, the objective is to maximize the weighted sum spectral efficiency (SE) of the unicast user terminals (UTs) and for the multicast transmission the objective is to maximize the minimum SE of the multicast UTs. These two problems are coupled to each other in a conflicting manner, due to their shared power resource and interference. To address this, we formulate a multiobjective optimization problem (MOOP). We derive the Pareto boundary of the MOOP analytically and determine the values of the system parameters to achieve any desired Pareto optimal point. Moreover, we prove that the Pareto region is convex, hence the system should serve the unicast and multicast UTs at the same time-frequency resource.


title: Centralized and Distributed Power Allocation for Max-Min Fairness in Cell-Free Massive MIMO

abstract: Cell-free Massive MIMO systems consist of a large number of geographically distributed access points (APs) that serve users by coherent joint transmission. Downlink power allocation is important in these systems, to determine which APs should transmit to which users and with what power. If the system is implemented correctly, it can deliver a more uniform user performance than conventional cellular networks. To this end, previous works have shown how to perform system-wide max-min fairness power allocation when using maximum ratio precoding. In this paper, we first generalize this method to arbitrary precoding, and then train a neural network to perform approximately the same power allocation but with reduced computational complexity. Finally, we train one neural network per AP to mimic system-wide max-min fairness power allocation, but using only local information. By learning the structure of the local propagation environment, this method outperforms the state-of-the-art distributed power allocation method from the Cell-free Massive MIMO literature.


title: Semantics-Recovering Decompilation through Neural Machine Translation

abstract: Decompilation transforms low-level program languages (PL) (e.g., binary code) into high-level PLs (e.g., C/C++). It has been widely used when analysts perform security analysis on software (systems) whose source code is unavailable, such as vulnerability search and malware analysis. However, current decompilation tools usually need lots of experts' efforts, even for years, to generate the rules for decompilation, which also requires long-term maintenance as the syntax of high-level PL or low-level PL changes. Also, an ideal decompiler should concisely generate high-level PL with similar functionality to the source low-level PL and semantic information (e.g., meaningful variable names), just like human-written code. Unfortunately, existing manually-defined rule-based decompilation techniques only functionally restore the low-level PL to a similar high-level PL and are still powerless to recover semantic information. In this paper, we propose a novel neural decompilation approach to translate low-level PL into accurate and user-friendly high-level PL, effectively improving its readability and understandability. Furthermore, we implement the proposed approaches called SEAM. Evaluations on four real-world applications show that SEAM has an average accuracy of 94.41%, which is much better than prior neural machine translation (NMT) models. Finally, we evaluate the effectiveness of semantic information recovery through a questionnaire survey, and the average accuracy is 92.64%, which is comparable or superior to the state-of-the-art compilers.


title: Human and Machine Type Communications can Coexist in Uplink Massive MIMO Systems

abstract: Future cellular networks are expected to support new communication paradigms such as machine-type communication (MTC) services along with human-type communication (HTC) services. This requires base stations to serve a large number of devices in relatively short channel coherence intervals which renders allocation of orthogonal pilot sequence per-device approaches impractical. Furthermore, the stringent power constraints, place-and-play type connectivity and various data rate requirements of MTC devices make it impossible for the traditional cellular architecture to accommodate MTC and HTC services together. Massive multiple-input-multiple-output (MaMIMO) technology has the potential to allow the coexistence of HTC and MTC services, thanks to its inherent spatial multiplexing properties and low transmission power requirements. In this work, we investigate the performance of a single cell under a shared physical channel assumption for MTC and HTC services and propose a novel scheme for sharing the time-frequency resources. The analysis reveals that MaMIMO can significantly enhance the performance of such a setup and allow the inclusion of MTC services into the cellular networks without requiring additional resources.


title: NOMA Versus Massive MIMO in Rayleigh Fading

abstract: This paper compares the sum rates and rate regions achieved by power-domain NOMA (non-orthogonal multiple access) and standard massive MIMO (multiple-input multiple-output) techniques. We prove analytically that massive MIMO always outperforms NOMA in i.i.d.~Rayleigh fading channels, if a sufficient number of antennas are used at the base stations. The simulation results show that the crossing point occurs already when having 20-30 antennas, which is far less than what is considered for the next generation cellular networks.


title: A new family of isolated symplectic singularities with trivial local fundamental group

abstract: We construct a new infinite family of 4-dimensional isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville raised in 2000. Three constructions are presented for this family: (1) as singularities in blowups of the quotient of $\mathbb{C}^4$ by the dihedral group of order $2d$, (2) as singular points of Calogero-Moser spaces associated with dihedral groups of order $2d$ at equal parameters, (3) as singularities of a certain Slodowy slice in the $d$-fold cover of the nilpotent cone in ${\mathfrak{sl}}_d$.


title: Computational aspects of Calogero-Moser spaces

abstract: We present a series of algorithms for computing geometric and representation-theoretic invariants of Calogero-Moser spaces and rational Cherednik algebras associated to complex reflection groups. Especially, we are concerned with Calogero-Moser families (which correspond to the $\mathbb{C}^\times$-fixed points of the Calogero-Moser space) and cellular characters (a proposed generalization by Rouquier and the first author of Lusztig's constructible characters based on a Galois covering of the Calogero-Moser space). To compute the former, we devised an algorithm for determining generators of the center of the rational Cherednik algebra (this algorithm has several further applications), and to compute the latter we developed an algorithmic approach to the construction of cellular characters via Gaudin operators. We have implemented all our algorithms in the Cherednik Algebra Magma Package (CHAMP) by the second author and used this to confirm open conjectures in several new cases. As an interesting application in birational geometry we are able to determine for many exceptional complex reflection groups the chamber decomposition of the movable cone of a $\mathbb{Q}$-factorial terminalization (and thus the number of non-isomorphic relative minimal models) of the associated symplectic singularity.


title: Orbital Fuzzy Iterated Function Systems

abstract: In this paper we introduce the concept of orbital fuzzy iterated function system and prove that the fuzzy operator associated to such a system is weakly Picard. An example is provided.


title: The Euler-Bernoulli equation with distributional coefficients and forces

abstract: In this work we investigate a very weak solution to the initial-boundary value problem of an Euler-Bernoulli beam model. We allow for bending stiffness, axial- and transversal forces as well as for initial conditions to be irregular functions or distributions. We prove the well-posedness of this problem in the very weak sense. More precisely, we define the very weak solution to the problem and show its existence and uniqueness. For regular enough coefficients we show consistency with the weak solution. Numerical analysis shows that the very weak solution coincides with the weak solution, when the latter exists, but also offers more insights into the behaviour of the very weak solution, when the weak solution doesn't exist.


title: State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing

abstract: The statefulness property of network protocol implementations poses a unique challenge for testing and verification techniques, including Fuzzing. Stateful fuzzers tackle this challenge by leveraging state models to partition the state space and assist the test generation process. Since not all states are equally important and fuzzing campaigns have time limits, fuzzers need effective state selection algorithms to prioritize progressive states over others. Several state selection algorithms have been proposed but they were implemented and evaluated separately on different platforms, making it hard to achieve conclusive findings. In this work, we evaluate an extensive set of state selection algorithms on the same fuzzing platform that is AFLNet, a state-of-the-art fuzzer for network servers. The algorithm set includes existing ones supported by AFLNet and our novel and principled algorithm called AFLNetLegion. The experimental results on the ProFuzzBench benchmark show that (i) the existing state selection algorithms of AFLNet achieve very similar code coverage, (ii) AFLNetLegion clearly outperforms these algorithms in selected case studies, but (iii) the overall improvement appears insignificant. These are unexpected yet interesting findings. We identify problems and share insights that could open opportunities for future research on this topic.


title: Dynamic Portfolio Optimization with Inverse Covariance Clustering

abstract: Market conditions change continuously. However, in portfolio's investment strategies, it is hard to account for this intrinsic non-stationarity. In this paper, we propose to address this issue by using the Inverse Covariance Clustering (ICC) method to identify inherent market states and then integrate such states into a dynamic portfolio optimization process. Extensive experiments across three different markets, NASDAQ, FTSE and HS300, over a period of ten years, demonstrate the advantages of our proposed algorithm, termed Inverse Covariance Clustering-Portfolio Optimization (ICC-PO). The core of the ICC-PO methodology concerns the identification and clustering of market states from the analytics of past data and the forecasting of the future market state. It is therefore agnostic to the specific portfolio optimization method of choice. By applying the same portfolio optimization technique on a ICC temporal cluster, instead of the whole train period, we show that one can generate portfolios with substantially higher Sharpe Ratios, which are statistically more robust and resilient with great reductions in maximum loss in extreme situations. This is shown to be consistent across markets, periods, optimization methods and selection of portfolio assets.


title: Tripartite State Characterization via Activated Bipartite Entanglement

abstract: We propose a procedure to identify and classify genuine tripartite entanglement in pure 3-qubit states via the Activated Bipartite Entanglement (ABE), which is defined here as the difference between the Entanglement of Assistance and the Entanglement of Formation. We show that for pure states belonging to one of the two inequivalent classes of genuine tripartite entanglement, i.e., GHZ or W states, the ABE is always greater than zero. For separable and biseparable states it is always null. In addition, our approach is capable to distinguish between genuine tripartite entangled states, those belonging to the GHZ class from those belonging to the W class. We also present an experimental proposal, by using linear optical circuits and internal degrees of freedom of a single photon, to measure the ABE and to verify the characterization via activated entanglement. The circuit simulation shows an excellent agreement with theoretical prediction for a wide class of GHZ and W states.


title: Best proximity results for $p$-proximal contractions on topological spaces

abstract: In this article, we investigate for some sufficient conditions for the existence and uniqueness of best proximity points for the topological $p$-proximal contractions and $p$-proximal contractive mappings on arbitrary topological spaces. Moreover, our results are authenticated by a few numerical examples and these generalize some of the known results in the literature.