title: Thiele's Differential Equation Based on Markov Jump Processes with Non-countable State Space

abstract: In modern life insurance, Markov processes in continuous time on a finite or at least countable state space have been over the years an important tool for the modelling of the states of an insured. Motivated by applications in disability insurance, we propose in this paper a model for insurance states based on Markov jump processes with more general state spaces. We use this model to derive a new type of Thiele's differential equation which e.g. allows for a consistent calculation of reserves in disability insurance based on two-parameter continuous time rehabilitation rates.


title: Approximate Bayes factors for unit root testing

abstract: This paper introduces a feasible and practical Bayesian method for unit root testing in financial time series. We propose a convenient approximation of the Bayes factor in terms of the Bayesian Information Criterion as a straightforward and effective strategy for testing the unit root hypothesis. Our approximate approach relies on few assumptions, is of general applicability, and preserves a satisfactory error rate. Among its advantages, it does not require the prior distribution on model's parameters to be specified. Our simulation study and empirical application on real exchange rates show great accordance between the suggested simple approach and both Bayesian and non-Bayesian alternatives.


title: PCaaD: Towards Automated Determination and Exploitation of Industrial Processes

abstract: Over the last decade, Programmable Logic Controllers (PLCs) have been increasingly targeted by attackers to obtain control over industrial processes that support critical services. Such targeted attacks typically require detailed knowledge of system-specific attributes, including hardware configurations, adopted protocols, and PLC control-logic, i.e. process comprehension. The consensus from both academics and practitioners suggests stealthy process comprehension obtained from a PLC alone, to conduct targeted attacks, is impractical. In contrast, we assert that current PLC programming practices open the door to a new vulnerability class based on control-logic constructs. To support this, we propose the concept of Process Comprehension at a Distance (PCaaD), as a novel methodological and automatable approach for system-agnostic exploitation of PLC library functions, leading to the targeted exfiltration of operational data, manipulation of control-logic behavior, and establishment of covert command and control channels through unused memory. We validate PCaaD on widely used PLCs, by identification of practical attacks.


title: The Arc of the Data Scientific Universe

abstract: In this paper I explore the scaffolding of normative assumptions that supports Sabina Leonelli's implicit appeal to the values of epistemic integrity and the global public good that conjointly animate the ethos of responsible and sustainable data work in the context of COVID-19. Drawing primarily on the writings of sociologist Robert K. Merton, the thinkers of the Vienna Circle, and Charles Sanders Peirce, I make some of these assumptions explicit by telling a longer story about the evolution of social thinking about the normative structure of science from Merton's articulation of his well-known norms (those of universalism, communism, organized skepticism, and disinterestedness) to the present. I show that while Merton's norms and his intertwinement of these with the underlying mechanisms of democratic order provide us with an especially good starting point to explore and clarify the commitments and values of science, Leonelli's broader, more context-responsive, and more holistic vision of the epistemic integrity of data scientific understanding, and her discernment of the global and biospheric scope of its moral-practical reach, move beyond Merton's schema in ways that effectively draw upon important critiques. Stepping past Merton, I argue that a combination of situated universalism, methodological pluralism, strong objectivity, and unbounded communalism must guide the responsible and sustainable data work of the future.


title: Expansions in multiple bases over general alphabets

abstract: Expansions in non-integer bases have been extensively investigated since a pioneering work of R\'enyi. We introduce a more general framework of alphabet-base systems that also includes Pedicini's general alphabets and the multiple-base expansions of Neunh\"auserer and Li. We extend the Parry type lexicographic theory to this setup, and we improve and generalize various former results on unique expansions.


title: A Projection Algorithm for the Unitary Weights

abstract: Unitary neural networks are promising alternatives for solving the exploding and vanishing activation/gradient problem without the need for explicit normalization that reduces the inference speed. However, they often require longer training time due to the additional unitary constraints on their weight matrices. Here we show a novel algorithm using a backpropagation technique with Lie algebra for computing approximated unitary weights from their pre-trained, non-unitary counterparts. The unitary networks initialized with these approximations can reach the desired accuracies much faster, mitigating their training time penalties while maintaining inference speedups. Our approach will be instrumental in the adaptation of unitary networks, especially for those neural architectures where pre-trained weights are freely available.


title: Spectral Analysis of Discrete Metastable Diffusions

abstract: We consider a discrete Schr\"odinger operator $ H_\varepsilon= -\varepsilon^2\Delta_\varepsilon + V_\varepsilon$ on $\ell^2(\varepsilon \mathbb Z^d)$, where $\varepsilon>0$ is a small parameter and the potential $V_\varepsilon$ is defined in terms of a multiwell energy landscape $f$ on $\mathbb R^d$. This operator can be seen as a discrete analog of the semiclassical Witten Laplacian of $\mathbb R^d$. It is unitarily equivalent to the generator of a diffusion on $\varepsilon \mathbb Z^d$, satisfying the detailed balance condition with respect to the Boltzmann weight $\exp{(-f/\varepsilon)}$. These type of diffusions exhibit metastable behaviour and arise in the context of disordered mean field models in Statistical Mechanics. We analyze the bottom of the spectrum of $H_\varepsilon$ in the semiclassical regime $\varepsilon\ll1$ and show that there is a one-to-one correspondence between exponentially small eigenvalues and local minima of $f$. Then we analyze in more detail the bistable case and compute the precise asymptotic splitting between the two exponentially small eigenvalues. Through this purely spectral-theoretical analysis of the discrete Witten Laplacian we recover in a self-contained way the Eyring-Kramers formula for the metastable tunneling time of the underlying stochastic process.


title: Symmetry decomposition of negativity of massless free fermions

abstract: We consider the problem of symmetry decomposition of the entanglement negativity in free fermionic systems. Rather than performing the standard partial transpose, we use the partial time-reversal transformation which naturally encodes the fermionic statistics. The negativity admits a resolution in terms of the charge imbalance between the two subsystems. We introduce a normalised version of the imbalance resolved negativity which has the advantage to be an entanglement proxy for each symmetry sector, but may diverge in the limit of pure states for some sectors. Our main focus is then the resolution of the negativity for a free Dirac field at finite temperature and size. We consider both bipartite and tripartite geometries and exploit conformal field theory to derive universal results for the charge imbalance resolved negativity. To this end, we use a geometrical construction in terms of an Aharonov-Bohm-like flux inserted in the Riemann surface defining the entanglement. We interestingly find that the entanglement negativity is always equally distributed among the different imbalance sectors at leading order. Our analytical findings are tested against exact numerical calculations for free fermions on a lattice.


title: Effective and Efficient Vote Attack on Capsule Networks

abstract: Standard Convolutional Neural Networks (CNNs) can be easily fooled by images with small quasi-imperceptible artificial perturbations. As alternatives to CNNs, the recently proposed Capsule Networks (CapsNets) are shown to be more robust to white-box attacks than CNNs under popular attack protocols. Besides, the class-conditional reconstruction part of CapsNets is also used to detect adversarial examples. In this work, we investigate the adversarial robustness of CapsNets, especially how the inner workings of CapsNets change when the output capsules are attacked. The first observation is that adversarial examples misled CapsNets by manipulating the votes from primary capsules. Another observation is the high computational cost, when we directly apply multi-step attack methods designed for CNNs to attack CapsNets, due to the computationally expensive routing mechanism. Motivated by these two observations, we propose a novel vote attack where we attack votes of CapsNets directly. Our vote attack is not only effective but also efficient by circumventing the routing process. Furthermore, we integrate our vote attack into the detection-aware attack paradigm, which can successfully bypass the class-conditional reconstruction based detection method. Extensive experiments demonstrate the superior attack performance of our vote attack on CapsNets.


abstract: Molecular Machine Learning (ML) bears promise for efficient molecule property prediction and drug discovery. However, labeled molecule data can be expensive and time-consuming to acquire. Due to the limited labeled data, it is a great challenge for supervised-learning ML models to generalize to the giant chemical space. In this work, we present MolCLR: Molecular Contrastive Learning of Representations via Graph Neural Networks (GNNs), a self-supervised learning framework that leverages large unlabeled data (~10M unique molecules). In MolCLR pre-training, we build molecule graphs and develop GNN encoders to learn differentiable representations. Three molecule graph augmentations are proposed: atom masking, bond deletion, and subgraph removal. A contrastive estimator maximizes the agreement of augmentations from the same molecule while minimizing the agreement of different molecules. Experiments show that our contrastive learning framework significantly improves the performance of GNNs on various molecular property benchmarks including both classification and regression tasks. Benefiting from pre-training on the large unlabeled database, MolCLR even achieves state-of-the-art on several challenging benchmarks after fine-tuning. Additionally, further investigations demonstrate that MolCLR learns to embed molecules into representations that can distinguish chemically reasonable molecular similarities.


title: (Non-)Convergence of Solutions of the Convective Allen-Cahn Equation

abstract: We consider the sharp interface limit of a convective Allen-Cahn equation, which can be part of a Navier-Stokes/Allen-Cahn system, for different scalings of the mobility $m_\varepsilon=m_0\varepsilon^\theta$ as $\varepsilon\to 0$. In the case $\theta>2$ we show a (non-)convergence result in the sense that the concentrations converge to the solution of a transport equation, but they do not behave like a rescaled optimal profile in normal direction to the interface as in the case $\theta=0$. Moreover, we show that an associated mean curvature functional does not converge the corresponding functional for the sharp interface. Finally, we discuss the convergence in the case $\theta=0,1$ by the method of formally matched asymptotics.


title: Principled Simplicial Neural Networks for Trajectory Prediction

abstract: We consider the construction of neural network architectures for data on simplicial complexes. In studying maps on the chain complex of a simplicial complex, we define three desirable properties of a simplicial neural network architecture: namely, permutation equivariance, orientation equivariance, and simplicial awareness. The first two properties respectively account for the fact that the node indexing and the simplex orientations in a simplicial complex are arbitrary. The last property encodes the desirable feature that the output of the neural network depends on the entire simplicial complex and not on a subset of its dimensions. Based on these properties, we propose a simple convolutional architecture, rooted in tools from algebraic topology, for the problem of trajectory prediction, and show that it obeys all three of these properties when an odd, nonlinear activation function is used. We then demonstrate the effectiveness of this architecture in extrapolating trajectories on synthetic and real datasets, with particular emphasis on the gains in generalizability to unseen trajectories.


title: Spin Effects in the Effective Field Theory Approach to Post-Minkowskian Conservative Dynamics

abstract: Building upon the worldline effective field theory (EFT) formalism for spinning bodies developed for the Post-Newtonian regime, we generalize the EFT approach to Post-Minkowskian (PM) dynamics to include rotational degrees of freedom in a manifestly covariant framework. We introduce a systematic procedure to compute the total change in momentum and spin in the gravitational scattering of compact objects. For the special case of spins aligned with the orbital angular momentum, we show how to construct the radial action for elliptic-like orbits using the Boundary-to-Bound correspondence. As a paradigmatic example, we solve the scattering problem to next-to-leading PM order with linear and bilinear spin effects and arbitrary initial conditions, incorporating for the first time finite-size corrections. We obtain the aligned-spin radial action from the resulting scattering data, and derive the periastron advance and binding energy for circular orbits. We also provide the (square of the) center-of-mass momentum to ${\cal O}(G^2)$, which may be used to reconstruct a Hamiltonian. Our results are in perfect agreement with the existent literature, while at the same time extend the knowledge of the PM dynamics of compact binaries at quadratic order in spins.


title: QCD factorization of the four-lepton decay $B^-\rightarrow \ell \bar{\nu}_\ell \ell^{(\prime)} \bar{\ell}^{(\prime)}$

abstract: Motivated by the first search for the rare charged-current $B$ decay to four leptons, $\ell \bar{\nu}_\ell \ell^{(\prime)} \bar{\ell}^{(\prime)}$, we calculate the decay amplitude with factorization methods. We obtain the $B\to \gamma^*$ form factors, which depend on the invariant masses of the two lepton pairs, at leading power in an expansion in $\Lambda_{\rm QCD}/m_b$ to next-to-leading order in $\alpha_s$, and at $\mathcal{O}(\alpha_s^0)$ at next-to-leading power. Our calculations predict branching fractions of a few times $10^{-8}$ in the $\ell^{(\prime)} \bar{\ell}^{(\prime)}$ mass-squared bin up to $q^2=1~\text{GeV}^2$ with $n_+q>3~$GeV. The branching fraction rapidly drops with increasing $q^2$. An important further motivation for this investigation has been to explore the sensitivity of the decay rate to the inverse moment $\lambda_B$ of the leading-twist $B$ meson light-cone distribution amplitude. We find that in the small-$q^2$ bin, the sensitivity to $\lambda_B$ is almost comparable to $B^- \rightarrow \ell^- \bar{\nu}_\ell\gamma$ when $\lambda_B$ is small, but with an added uncertainty from the light-meson intermediate resonance contribution. The sensitivity degrades with larger $q^2$.


title: Improved bounds for weak coloring numbers

abstract: Weak coloring numbers generalize the notion of degeneracy of a graph. They were introduced by Kierstead \& Yang in the context of games on graphs. Recently, several connections have been uncovered between weak coloring numbers and various parameters studied in graph minor theory and its generalizations. In this note, we show that for every fixed $k\geq1$, the maximum $r$-th weak coloring number of a graph with simple treewidth $k$ is $\Theta(r^{k-1}\log r)$. As a corollary, we improve the lower bound on the maximum $r$-th weak coloring number of planar graphs from $\Omega(r^2)$ to $\Omega(r^2\log r)$, and we obtain a tight bound of $\Theta(r\log r)$ for outerplanar graphs.


title: A Review of Biomedical Datasets Relating to Drug Discovery: A Knowledge Graph Perspective

abstract: Drug discovery and development is a complex and costly process. Machine learning approaches are being investigated to help improve the effectiveness and speed of multiple stages of the drug discovery pipeline. Of these, those that use Knowledge Graphs (KG) have promise in many tasks, including drug repurposing, drug toxicity prediction and target gene-disease prioritisation. In a drug discovery KG, crucial elements including genes, diseases and drugs are represented as entities, whilst relationships between them indicate an interaction. However, to construct high-quality KGs, suitable data is required. In this review, we detail publicly available sources suitable for use in constructing drug discovery focused KGs. We aim to help guide machine learning and KG practitioners who are interested in applying new techniques to the drug discovery field, but who may be unfamiliar with the relevant data sources. The datasets are selected via strict criteria, categorised according to the primary type of information contained within and are considered based upon what information could be extracted to build a KG. We then present a comparative analysis of existing public drug discovery KGs and a evaluation of selected motivating case studies from the literature. Additionally, we raise numerous and unique challenges and issues associated with the domain and its datasets, whilst also highlighting key future research directions. We hope this review will motivate KGs use in solving key and emerging questions in the drug discovery domain.


title: Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning

abstract: We propose a novel constrained reinforcement learning method for finding optimal policies in Markov Decision Processes while satisfying temporal logic constraints with a desired probability throughout the learning process. An automata-theoretic approach is proposed to ensure the probabilistic satisfaction of the constraint in each episode, which is different from penalizing violations to achieve constraint satisfaction after a sufficiently large number of episodes. The proposed approach is based on computing a lower bound on the probability of constraint satisfaction and adjusting the exploration behavior as needed. We present theoretical results on the probabilistic constraint satisfaction achieved by the proposed approach. We also numerically demonstrate the proposed idea in a drone scenario, where the constraint is to perform periodically arriving pick-up and delivery tasks and the objective is to fly over high-reward zones to simultaneously perform aerial monitoring.


title: Computational modeling of degradation process of biodegradable magnesium biomaterials

abstract: Despite the advantages of using biodegradable metals in implant design, their uncontrolled degradation and release remain a challenge in practical applications. A validated computational model of the degradation process can facilitate the tuning of implant biodegradation by changing design properties. In this study, a physicochemical model was developed by deriving a mathematical description of the chemistry of magnesium biodegradation and implementing it in a 3D computational model. The model parameters were calibrated using the experimental data of hydrogen evolution by performing a Bayesian optimization routine. The model was validated by comparing the predicted change of pH in saline and buffered solutions with the experimentally obtained values from corrosion tests, showing maximum 5% of difference, demonstrating the model's validity to be used for practical cases.


title: Periodic automorphisms, compatible Poisson brackets, and Gaudin subalgebras

abstract: Let $\mathfrak g$ be a finite-dimensional Lie algebra. The symmetric algebra $\mathcal S(\mathfrak g)$ is equipped with the standard Lie-Poisson bracket. In this paper, we elaborate on a surprising observation that one naturally associates the second compatible Poisson bracket on $\mathcal S(\mathfrak g)$ to any finite order automorphism $\theta$ of $\mathfrak g$. We study related Poisson-commutative subalgebras $\mathcal C$ of $\mathcal S(\mathfrak g)$ and associated Lie algebra contractions of $\mathfrak g$. To obtain substantial results, we have to assume that $\mathfrak g$ is semisimple. Then we can use Vinberg's theory of $\theta$-groups and the machinery of Invariant Theory. If $\mathfrak g=\mathfrak h\oplus\dots \oplus \mathfrak h$ (sum of $k$ copies), where $\mathfrak h$ is simple, and $\theta$ is the cyclic permutation, then we prove that the corresponding Poisson-commutative subalgebra $\mathcal C$ is polynomial and maximal. Furthermore, we quantise this $\mathcal C$ using a Gaudin subalgebra in the enveloping algebra $\mathcal U(\mathfrak g)$.


title: Percolation thresholds on triangular lattice for neighbourhoods containing sites up-to the fifth coordination zone

abstract: We determine thresholds $p_c$ for random-site percolation on a triangular lattice for all available neighborhoods containing sites from the first to the fifth coordination zones, including their complex combinations. There are 31 distinct neighbourhoods. The dependence of the value of the percolation thresholds $p_c$ on the coordination number $z$ are tested against various theoretical predictions. The newly proposed single scalar index $\xi=\sum_i z_ir_i^2/i$ (depending on the coordination zone number $i$, the neighbourhood coordination number $z$ and the square-distance $r^2$ to sites in $i$-th coordination zone from the central site) allows to differentiate among various neighbourhoods and relate $p_c$ to $\xi$. The thresholds roughly follow a power law $p_c\propto\xi^{-\gamma}$ with $\gamma\approx 0.710(19)$.


title: Monitoring the pandemic: A fractional filter for the COVID-19 contact rate

abstract: This paper aims to provide reliable estimates for the COVID-19 contact rate of a Susceptible-Infected-Recovered (SIR) model. From observable data on confirmed, recovered, and deceased cases, a noisy measurement for the contact rate can be constructed. To filter out measurement errors and seasonality, a novel unobserved components (UC) model is set up. It specifies the log contact rate as a latent, fractionally integrated process of unknown integration order. The fractional specification reflects key characteristics of aggregate social behavior such as strong persistence and gradual adjustments to new information. A computationally simple modification of the Kalman filter is introduced and is termed the fractional filter. It allows to estimate UC models with richer long-run dynamics, and provides a closed-form expression for the prediction error of UC models. Based on the latter, a conditional-sum-of-squares (CSS) estimator for the model parameters is set up that is shown to be consistent and asymptotically normally distributed. The resulting contact rate estimates for several countries are well in line with the chronology of the pandemic, and allow to identify different contact regimes generated by policy interventions. As the fractional filter is shown to provide precise contact rate estimates at the end of the sample, it bears great potential for monitoring the pandemic in real time.


title: Locus of Intersection for Trisection

abstract: Trisecting an angle has been proved to be impossible by Euclidean Geometry, using only straight edge and compass. However, there is a method using Origami (paper folding) procedure to trisect an angle. The algebraic analysis of the same gives us a method of finding trisection using a locus of a point of intersection of two circles. The algebraic analysis and the equation for the locus of the point of intersection of two circles leading to trisection without any measurements is described here. The proof of trisection is exactly same as that of the Origami procedure.


title: Slope Gap Distributions of Veech Surfaces

abstract: The slope gap distribution of a translation surface is a measure of how random the directions of the saddle connections on the surface are. It is known that Veech surfaces, a highly symmetric type of translation surface, have gap distributions that are piecewise real analytic. Beyond that, however, very little is currently known about the general behavior of the slope gap distribution, including the number of points of non-analyticity or the tail. We show that the limiting gap distribution of slopes of saddle connections on a Veech translation surface is always piecewise real-analytic with \emph{finitely} many points of non-analyticity. We do so by taking an explicit parameterization of a Poincar\'{e} section to the horocycle flow on $\text{SL}(2,\mathbb{R})/\text{SL}(X,\omega)$ associated to an arbitrary Veech surface $\text{SL}(X,\omega)$ and establishing a key finiteness result for the first return map under this flow. We use the finiteness result to show that the tail of the slope gap distribution of Veech surfaces always has quadratic decay.


title: Sharp upper bounds on the minimal number of elements required to generate a transitive permutation group

abstract: The purpose of this paper is to prove that if $G$ is a transitive permutation group of degree $n\geq 2$, then $G$ can be generated by $\lfloor cn/\sqrt{\log{n}}\rfloor$ elements, where $c:=\sqrt{3}/2$. Owing to the transitive group $D_8\circ D_8$ of degree $8$, this upper bound is best possible. Our new result improves a 2018 paper by the author, and makes use of the recent classification of transitive groups of degree $48$.


title: An overview of generalized entropic forms

abstract: The aim of this focus letter is to present a comprehensive classification of the main entropic forms introduced in the last fifty years in the framework of statistical physics and information theory. Most of them can be grouped into three families, characterized by two-deformation parameters, introduced respectively by Sharma, Taneja, and Mittal (entropies of degree $(\alpha,\,\beta$)), by Sharma and Mittal (entropies of order $(\alpha,\,\beta)$), and by Hanel and Thurner (entropies of class $(c,\,d)$). Many entropic forms examined will be characterized systematically by means of important concepts such as their axiomatic foundations {\em \`{a} la} Shannon-Khinchin and the consequent composability rule for statistically independent systems. Other critical aspects related to the Lesche stability of information measures and their consistency with the Shore-Johnson axioms will be briefly discussed on a general ground.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP physics.data-an


title: Downfolding approaches to electron-ion coupling: Constrained density-functional perturbation theory for molecules

abstract: Constrained electronic-structure theories enable the construction of effective low-energy models consisting of partially dressed particles. However, the interpretation and physical content of these theories is not straightforward. Here, we carefully explore the properties of downfolding theories for electron-ion problems, in particular constrained density-functional perturbation theory (cDFPT). We show that the dipole selection rules determine whether the partially dressed phonons satisfy Goldstone's theorem, and we prove that electronic screening always lowers the phonon frequencies. We illustrate the theory with cDFPT calculations for minimal example systems: the nitrogen and benzene molecule as well as graphene.


title: Pyserini: An Easy-to-Use Python Toolkit to Support Replicable IR Research with Sparse and Dense Representations

abstract: Pyserini is an easy-to-use Python toolkit that supports replicable IR research by providing effective first-stage retrieval in a multi-stage ranking architecture. Our toolkit is self-contained as a standard Python package and comes with queries, relevance judgments, pre-built indexes, and evaluation scripts for many commonly used IR test collections. We aim to support, out of the box, the entire research lifecycle of efforts aimed at improving ranking with modern neural approaches. In particular, Pyserini supports sparse retrieval (e.g., BM25 scoring using bag-of-words representations), dense retrieval (e.g., nearest-neighbor search on transformer-encoded representations), as well as hybrid retrieval that integrates both approaches. This paper provides an overview of toolkit features and presents empirical results that illustrate its effectiveness on two popular ranking tasks. We also describe how our group has built a culture of replicability through shared norms and tools that enable rigorous automated testing.


title: Astrophysical Constraints on the Symmetry Energy and the Neutron Skin of $^{208}$Pb with Minimal Modeling Assumptions

abstract: The symmetry energy and its density dependence are crucial inputs for many nuclear physics and astrophysics applications, as they determine properties ranging from the neutron-skin thickness of nuclei to the crust thickness and the radius of neutron stars. Recently, PREX-II reported a value of $0.283 \pm 0.071$ fm for the neutron-skin thickness of $^{208}$Pb, implying a slope parameter $L = 106 \pm 37$ MeV, larger than most ranges obtained from microscopic calculations and other nuclear experiments. We use a nonparametric equation of state representation based on Gaussian processes to constrain the symmetry energy $S_0$, $L$, and $R_\mathrm{skin}^{^{208}\mathrm{Pb}}$ directly from observations of neutron stars with minimal modeling assumptions. The resulting astrophysical constraints from heavy pulsar masses, LIGO/Virgo, and NICER clearly favor smaller values of the neutron skin and $L$, as well as negative symmetry incompressibilities. Combining astrophysical data with PREX-II and chiral effective field theory constraints yields $S_0 = 33.0^{+2.0}_{-1.8}$ MeV, $L=53^{+14}_{-15}$ MeV, and $R_\mathrm{skin}^{^{208}\mathrm{Pb}}=0.17^{+0.04}_{-0.04}$ fm.


title: Sentiment Analysis for YouTube Comments in Roman Urdu

abstract: Sentiment analysis is a vast area in the Machine learning domain. A lot of work is done on datasets and their analysis of the English Language. In Pakistan, a huge amount of data is in roman Urdu language, it is scattered all over the social sites including Twitter, YouTube, Facebook and similar applications. In this study the focus domain of dataset gathering is YouTube comments. The Dataset contains the comments of people over different Pakistani dramas and TV shows. The Dataset contains multi-class classification that is grouped The comments into positive, negative and neutral sentiment. In this Study comparative analysis is done for five supervised learning Algorithms including linear regression, SVM, KNN, Multi layer Perceptron and Na\"ive Bayes classifier. Accuracy, recall, precision and F-measure are used for measuring performance. Results show that accuracy of SVM is 64 percent, which is better than the rest of the list.


title: Search for charged Higgs bosons decaying into a top quark and a bottom quark at $\sqrt{s}$=13 TeV with the ATLAS detector

abstract: A search for charged Higgs bosons decaying into a top quark and a bottom quark is presented. The data analysed correspond to 139 fb$^{-1}$ of proton-proton collisions at $\sqrt{s}$=13TeV, recorded with the ATLAS detector at the LHC. The production of a heavy charged Higgs boson in association with a top quark and a bottom quark, $pp\rightarrow tbH^{+}\rightarrow tbtb$, is explored in the $H^+$ mass range from 200 to 2000 GeV using final states with jets and one electron or muon. Events are categorised according to the multiplicity of jets and $b$-tagged jets, and multivariate analysis techniques are used to discriminate between signal and background events. No significant excess above the background-only hypothesis is observed and exclusion limits are derived for the production cross-section times branching ratio of a charged Higgs boson as a function of its mass; they range from 3.6 pb at 200 GeV to 0.036 pb at 2000 GeV at 95% confidence level. The results are interpreted in the hMSSM and $M_h^{125}$ scenarios.


title: Algorithms for the Minimum Dominating Set Problem in Bounded Arboricity Graphs: Simpler, Faster, and Combinatorial

abstract: We revisit the minimum dominating set problem on graphs with arboricity bounded by $\alpha$. Bansal and Umboh [BU17] gave an $O(\alpha)$-approximation LP rounding algorithm, which also translates into a near-linear time algorithm using general-purpose approximation results for explicit mixed packing and covering or pure covering LPs [KY14, You14, AZO19, Qua10]. Moreover, [BU17] showed that it is NP-hard to achieve an asymptotic improvement for the approximation factor. On the other hand, the previous two non-LP-based algorithms, by Lenzen and Wattenhofer [LW10], and Jones et al. [JLR+13], achieve an approximation factor of $O(\alpha^2)$ in linear time. There is a similar situation in the distributed setting: While there is an $O(\log^2 n)$-round LP-based $O(\alpha)$-approximation algorithm implied in [KMW06], the best non-LP-based algorithm by Lenzen and Wattenhofer [LW10] is an implementation of their centralized algorithm, providing an $O(\alpha^2)$-approximation within $O(\log n)$ rounds. We address the questions of whether one can achieve an $O(\alpha)$-approximation algorithm that is not LP-based, either in the centralized setting or in the distributed setting. We resolve both questions in the affirmative, and en route achieve algorithms that are faster than the state-of-the-art LP-based algorithms. More specifically, our contribution is two-fold: 1. In the centralized setting, we provide a surprisingly simple combinatorial algorithm that is asymptotically optimal in terms of both approximation factor and running time: an $O(\alpha)$-approximation in linear time. 2. Based on our centralized algorithm, we design a distributed combinatorial $O(\alpha)$-approximation algorithm in the CONGEST model that runs in $O(\alpha\log n )$ rounds with high probability.


title: Rapid Multi-Physics Simulation for Electro-Thermal Origami Systems

abstract: Electro-thermally actuated origami provides a novel method for creating 3-D systems with advanced morphing and functional capabilities. However, it is currently difficult to simulate the multi-physical behavior of such systems because the electro-thermal actuation and large folding deformations are highly interdependent. In this work, we introduce a rapid multi-physics simulation framework for electro-thermally actuated origami systems that can simultaneously capture: thermo-mechancially coupled actuation, inter panel contact, heat transfer, large deformation folding, and other complex loading applied onto the origami. Comparisons with finite element models validate the proposed framework for simulating origami heat transfer with different system geometries, materials, and surrounding environments. Verification of the simulated folding behaviors against physical electro-thermal micro-origami further demonstrates the validity of the proposed model. Simulations of more complex origami patterns and a case study for origami optimization are provided as application examples to show the capability and efficiency of the model. The framework provides a novel simulation tool for analysis, design, control, and optimization of active origami systems, pushing the boundary for feasible shape morphing and functional capability.


title: SuperFaB: a fabulous code for Spherical Fourier-Bessel decomposition

abstract: The spherical Fourier-Bessel (SFB) decomposition is a natural choice for the radial/angular separation that allows extraction of cosmological information from large volume galaxy surveys, taking into account all wide-angle effects. In this paper we develop a SFB power spectrum estimator that allows the measurement of the largest angular and radial modes with the next generation of galaxy surveys. The code measures the pseudo-SFB power spectrum, and takes into account mask, selection function, pixel window, and shot noise. We show that the local average effect (or integral constraint) is significant only in the largest-scale mode, and we provide an analytical covariance matrix. By imposing boundary conditions at the minimum and maximum radius encompassing the survey volume, the estimator does not suffer from the numerical instabilities that have proven challenging for SFB analyses in the past. The estimator is demonstrated on simplified but realistic Roman-like, SPHEREx-like, and Euclid-like mask and selection functions. For intuition and validation, we also explore the SFB power spectrum in the Limber approximation. We release the associated public code written in Julia.


title: Distributed Bootstrap for Simultaneous Inference Under High Dimensionality

abstract: We propose a distributed bootstrap method for simultaneous inference on high-dimensional massive data that are stored and processed with many machines. The method produces an $\ell_\infty$-norm confidence region based on a communication-efficient de-biased lasso, and we propose an efficient cross-validation approach to tune the method at every iteration. We theoretically prove a lower bound on the number of communication rounds $\tau_{\min}$ that warrants the statistical accuracy and efficiency. Furthermore, $\tau_{\min}$ only increases logarithmically with the number of workers and the intrinsic dimensionality, while nearly invariant to the nominal dimensionality. We test our theory by extensive simulation studies, and a variable screening task on a semi-synthetic dataset based on the US Airline On-Time Performance dataset. The code to reproduce the numerical results is available at GitHub: https://github.com/skchao74/Distributed-bootstrap.


title: Prospects of Quantum Computing for Molecular Sciences

abstract: Molecular science is governed by the dynamics of electrons, atomic nuclei, and their interaction with electromagnetic fields. A reliable physicochemical understanding of these processes is crucial for the design and synthesis of chemicals and materials of economic value. Although some problems in this field are adequately addressed by classical mechanics, many require an explicit quantum mechanical description. Such quantum problems represented by exponentially large wave function should naturally benefit from quantum computation on a number of logical qubits that scales only linearly with system size. In this perspective, we focus on the potential of quantum computing for solving relevant problems in the molecular sciences -- molecular physics, chemistry, biochemistry, and materials science.


title: Low-energy constraints on photoelectron spectra measured from liquid water and aqueous solutions

abstract: We report on the effects of electron collision and indirect ionization processes, occurring at photoexcitation and electron kinetic energies well below 30 eV on the photoemission spectra of liquid water. We show that the nascent photoelectron spectrum and, hence, the inferred electron binding energy can only be accurately determined if electron energies are large enough that cross sections for quasi-elastic scattering processes, such as vibrational excitation, are negligible. Otherwise, quasi-elastic scattering leads to strong, down-to-few-meV kinetic energy scattering losses from the direct photoelectron features, which manifest in severely distorted intrinsic photoelectron peak shapes. The associated cross-over point from predominant (known) electronically inelastic to quasi-elastic scattering seems to arise at surprisingly large electron kinetic energies, of approximately 10-14 eV. Concomitantly, we present evidence for the onset of indirect, autoionization phenomena (occurring via superexcited states) within a few eV of the primary and secondary ionization thresholds. These processes are inferred to compete with the direct ionization channels and primarily produce low-energy photoelectrons at photon and electron impact excitation energies below ~15 eV. Our results highlight that vibrational inelastic electron scattering processes and neutral photoexcitation and autoionization channels become increasingly important when photon and electron kinetic energies are decreased towards the ionization threshold. Correspondingly, we show that for neat water and aqueous solutions, great care must be taken when quantitatively analyzing photoelectron spectra measured too close to the ionization threshold. Such care is essential for both the accurate determination of solvent and solute ionization energies as well as photoelectron branching ratios and peak magnitudes.


title: Classical simulation of bosonic linear-optical random circuits beyond linear light cone

abstract: Sampling from probability distributions of quantum circuits is a fundamentally and practically important task which can be used to demonstrate quantum supremacy using noisy intermediate-scale quantum devices. In the present work, we examine classical simulability of sampling from the output photon-number distribution of linear-optical circuits composed of random beam splitters with equally distributed squeezed vacuum states and single-photon states input. We provide efficient classical algorithms to simulate linear-optical random circuits and show that the algorithms' error is exponentially small up to a depth less than quadratic in the distance between sources using a classical random walk behavior of random linear-optical circuits. Notably, the average-case depth allowing an efficient classical simulation is larger than the worst-case depth limit, which is linear in the distance. Besides, our results together with the hardness of boson sampling give a lower-bound on the depth for constituting global Haar-random unitary circuits.


title: Hate-Alert@DravidianLangTech-EACL2021: Ensembling strategies for Transformer-based Offensive language Detection

abstract: Social media often acts as breeding grounds for different forms of offensive content. For low resource languages like Tamil, the situation is more complex due to the poor performance of multilingual or language-specific models and lack of proper benchmark datasets. Based on this shared task, Offensive Language Identification in Dravidian Languages at EACL 2021, we present an exhaustive exploration of different transformer models, We also provide a genetic algorithm technique for ensembling different models. Our ensembled models trained separately for each language secured the first position in Tamil, the second position in Kannada, and the first position in Malayalam sub-tasks. The models and codes are provided.


title: Output-Weighted Sampling for Multi-Armed Bandits with Extreme Payoffs

abstract: We present a new type of acquisition functions for online decision making in multi-armed and contextual bandit problems with extreme payoffs. Specifically, we model the payoff function as a Gaussian process and formulate a novel type of upper confidence bound (UCB) acquisition function that guides exploration towards the bandits that are deemed most relevant according to the variability of the observed rewards. This is achieved by computing a tractable likelihood ratio that quantifies the importance of the output relative to the inputs and essentially acts as an \textit{attention mechanism} that promotes exploration of extreme rewards. We demonstrate the benefits of the proposed methodology across several synthetic benchmarks, as well as a realistic example involving noisy sensor network data. Finally, we provide a JAX library for efficient bandit optimization using Gaussian processes.


title: Compact and adaptive multiplane images for view synthesis

abstract: Recently, learning methods have been designed to create Multiplane Images (MPIs) for view synthesis. While MPIs are extremely powerful and facilitate high quality renderings, a great amount of memory is required, making them impractical for many applications. In this paper, we propose a learning method that optimizes the available memory to render compact and adaptive MPIs. Our MPIs avoid redundant information and take into account the scene geometry to determine the depth sampling.


title: Essential Characteristics of Approximate matching algorithms: A Survey of Practitioners Opinions and requirement regarding Approximate Matching

abstract: Digital forensic investigation has become more challenging due to the rapid growth in the volume of encountered data. It is difficult for an investigator to examine the entire volume of encountered data manually. Approximate Matching algorithms are being used to serve the purpose by automatically filtering correlated and relevant data that an investigator needs to examine manually. Presently there are several prominent approximate matching tools and technique those are being used to assist critical investigation process. However, to measure the guarantees of a tool, it is important to understand the exact requirement of an investigator regarding these algorithms. This paper presents the findings of a closed survey conducted among a highly experienced group of federal state and local law enforcement practitioners and researchers, aimed to understand the practitioner and researcher's opinion regarding approximate matching algorithms. The study provides the baseline attributes of approximate matching tools that a scheme should possess to meet the real requirement of an investigator.


title: The space $L_1(L_p)$ is primary for $1<p<\infty$

abstract: The classical Banach space $L_1(L_p)$ consists of measurable scalar functions $f$ on the unit square for which $$\|f\| = \int_0^1\Big(\int_0^1 |f(x,y)|^p dy\Big)^{1/p}dx < \infty.$$ We show that $L_1(L_p)$ $(1 < p < \infty)$ is primary, meaning that, whenever $L_1(L_p) = E\oplus F$ then either $E$ or $F$ is isomorphic to $L_1(L_p)$. More generally we show that $L_1(X)$ is primary, for a large class of rearrangement invariant Banach function spaces.


title: Germanium response to sub-keV nuclear recoils: a multipronged experimental characterization

abstract: Germanium is the detector material of choice in many rare-event searches looking for low-energy nuclear recoils induced by dark matter particles or neutrinos. We perform a systematic exploration of its quenching factor for sub-keV nuclear recoils, using multiple techniques: photo-neutron sources, recoils from gamma-emission following thermal neutron capture, and a monochromatic filtered neutron beam. Our results point to a marked deviation from the predictions of the Lindhard model in this mostly unexplored energy range. We comment on the compatibility of our data with low-energy processes such as the Migdal effect, and on the impact of our measurements on upcoming searches.


title: Volunteer contributions to Wikipedia increased during COVID-19 mobility restrictions

abstract: Wikipedia, the largest encyclopedia ever created, is a global initiative driven by volunteer contributions. When the COVID-19 pandemic broke out and mobility restrictions ensued across the globe, it was unclear whether Wikipedia volunteers would become less active in the face of the pandemic, or whether they would rise to meet the increased demand for high-quality information despite the added stress inflicted by this crisis. Analyzing 223 million edits contributed from 2018 to 2020 across twelve Wikipedia language editions, we find that Wikipedia's global volunteer community responded remarkably to the pandemic, substantially increasing both productivity and the number of newcomers who joined the community. For example, contributions to the English Wikipedia increased by over 20% compared to the expectation derived from pre-pandemic data. Our work sheds light on the response of a global volunteer population to the COVID-19 crisis, providing valuable insights into the behavior of critical online communities under stress.


title: The Basic de Rham Complex of a Singular Foliation

abstract: A singular foliation $\mathcal F$ gives a partition of a manifold $M$ into leaves whose dimension may vary. Associated to a singular foliation are two complexes, that of the diffeological differential forms on the leaf space $M / \mathcal F$, and that of the basic differential forms on $M$. We prove the pullback by the quotient map provides an isomorphism of these complexes in the following cases: when $\mathcal F$ is a regular foliation, when points in the leaves of the same dimension assemble into an embedded (more generally, diffeological) submanifold of $M$, and, as a special case of the latter, when $\mathcal F$ is induced by a linearizable Lie groupoid.


title: $\mathcal{S}$-adic characterization of minimal ternary dendric shifts

abstract: Dendric shifts are defined by combinatorial restrictions of the extensions of the words in their languages. This family generalizes well-known families of shifts such as Sturmian shifts, Arnoux-Rauzy shifts and codings of interval exchange transformations. It is known that any minimal dendric shift has a primitive $\mathcal{S}$-adic representation where the morphisms in $\mathcal{S}$ are positive tame automorphisms of the free group generated by the alphabet. In this paper we investigate those $\mathcal{S}$-adic representations, heading towards an $\mathcal{S}$-adic characterization of this family. We obtain such a characterization in the ternary case, involving a directed graph with 2 vertices.


title: Almost everywhere balanced sequences of complexity $2n+1$

abstract: We study ternary sequences associated with a multidimensional continued fraction algorithm introduced by the first author. The algorithm is defined by two matrices and we show that it is measurably isomorphic to the shift on the set $\{1,2\}^\mathbb{N}$ of directive sequences. For a given set $\mathcal{C}$ of two substitutions, we show that there exists a $\mathcal{C}$-adic sequence for every vector of letter frequencies or, equivalently, for every directive sequence. We show that their factor complexity is at most $2n+1$ and is $2n+1$ if and only if the letter frequencies are rationally independent if and only if the $\mathcal{C}$-adic representation is primitive. It turns out that in this case, the sequences are dendric. We also prove that $\mu$-almost every $\mathcal{C}$-adic sequence is balanced, where $\mu$ is any shift-invariant ergodic Borel probability measure on $\{1,2\}^\mathbb{N}$ giving a positive measure to the cylinder $[12121212]$. We also prove that the second Lyapunov exponent of the matrix cocycle associated with the measure $\mu$ is negative.


title: Formal Language Theory Meets Modern NLP

abstract: NLP is deeply intertwined with the formal study of language, both conceptually and historically. Arguably, this connection goes all the way back to Chomsky's Syntactic Structures in 1957. It also still holds true today, with a strand of recent works building formal analysis of modern neural networks methods in terms of formal languages. In this document, I aim to explain background about formal languages as they relate to this recent work. I will by necessity ignore large parts of the rich history of this field, instead focusing on concepts connecting to modern deep learning-based NLP.


title: Brownian bridge expansions for L\'evy area approximations and particular values of the Riemann zeta function

abstract: We study approximations for the L\'evy area of Brownian motion which are based on the Fourier series expansion and a polynomial expansion of the associated Brownian bridge. Comparing the asymptotic convergence rates of the L\'evy area approximations, we see that the approximation resulting from the polynomial expansion of the Brownian bridge is more accurate than the Kloeden-Platen-Wright approximation, whilst still only using independent normal random vectors. We then link the asymptotic convergence rates of these approximations to the limiting fluctuations for the corresponding series expansions of the Brownian bridge. Moreover, and of interest in its own right, the analysis we use to identify the fluctuation processes for the Karhunen-Lo\`eve and Fourier series expansions of the Brownian bridge is extended to give a stand-alone derivation of the values of the Riemann zeta function at even positive integers.


title: How Decentralized is the Governance of Blockchain-based Finance: Empirical Evidence from four Governance Token Distributions

abstract: Novel blockchain technology provides the infrastructure layer for the creation of decentralized appli-cations. A rapidly growing ecosystem of applications is built around financial services, commonly referred to as decentralized finance. Whereas the intangible concept of decentralization is presented as a key driver for the applications, defining and measuring decentralization is multifaceted. This pa-per provides a framework to quantify decentralization of governance power among blockchain appli-cations. Governance of the applications is increasingly important and requires striking a balance be-tween broad distribution, fostering user activity, and financial incentives. Therefore, we aggregate, parse, and analyze empirical data of four finance applications calculating coefficients for the statistical dispersion of the governance token distribution. The gauges potentially support IS scholars for an objective evaluation of the capabilities and limitations of token governance and for fast iteration in design-driven governance mechanisms.


title: Thermalization of horizon through asymptotic symmetry in three-dimensional massive gravity

abstract: Recently, black hole symmetries have been studied widely and it has been speculated that this procedure will lead to the deeper understanding of the black hole physics. Spontaneous symmetry breaking of the horizon symmetries is one of the very recent attempt to clarify black hole thermal physics. In this work, we are going to investigate the same in three dimensional massive gravity, including higher order of Riemann tensor. We observe that the idea also works well in this gravitational theory, thereby providing stronger demand of the viability of this idea.


title: Internal hydro- and wind portfolio optimisation in real-time market operations

abstract: In this paper aspects related to handling of intraday imbalances for hydro and wind power are addressed. The definition of imbalance cost is established and used to describe the potential benefits of shifting from plant-specific schedules to a common load requirement for wind and hydropower units in the same price area. The Nordpool intraday pay-as-bid market has been the basis for evaluation of imbalances, and some main characteristics for this market has been described. We consider how internal handling of complementary imbalances within the same river system with high inflow uncertainty and constrained reservoirs can reduce volatility in short-term marginal cost and risk compared to trading in the intraday market. We have also shown the the imbalance cost for a power producer with both wind and hydropower assets can be reduced by internal balancing in combination with sales and purchase in a pay-as-bid intraday market


title: Auction Type Resolution on Smart Derivatives

abstract: This paper proposes an auction type resolution for smart derivatives. It has been discussed to migrate derivatives contracts to smart contracts (smart derivatives). Automation is often discussed in this context. It is also important to prepare to avoid disputes from practical perspectives. There are controversial issues to terminate the relationship at defaults. In OTC derivative markets, master agreements define a basic policy for the liquidation process but there happened some disputes over these processes. We propose to define an auction type resolution in smart derivatives, which each participant would find beneficial.


title: Hubble tension vs two flows

abstract: The Hubble tension is shown to be solvable, without any free parameter, conceptually and quantitatively, within the approach of modified weak-field General Relativity involving the cosmological constant $\Lambda$. That approach enables one to describe in a unified picture both the dynamics of dark matter containing galaxies and the accelerated expansion of the Universe, thus defining a {\it local} Hubble constant of a local flow and the {\it global} one. The data on the dark matter content of peculiar galaxy samples are shown to be compatible to that unified picture. Future more refined surveys of galaxy distribution, hierarchical dynamics and flows within the vicinity of the Local group and the Virgo supercluster can be decisive in revealing the possible common nature of the dark sector.


title: Spectral formulation of the boundary integral equation method for antiplane problems

abstract: A spectral formulation of the boundary integral equation method for antiplane problems is presented. The boundary integral equation method relates the slip and the shear stress at an interface between two half-planes. It involves evaluating a space-time convolution of the shear stress or the slip at the interface. In the spectral formulation, the convolution with respect to the spatial coordinate is performed in the spectral domain. This leads to greater numerical efficiency. Prior work on the spectral formulation of the boundary integral equation method has performed the elastodynamic convolution of the slip at the interface. In the present work, the convolution is performed of the shear stress at the interface. The spectral formulation is developed both for an interface between identical solids and for a bi-material interface. It is validated by numerically calculating the response of the interface to harmonic and to impulsive disturbances and comparing with known analytical solutions. To illustrate use of the method, dynamic slip rupture propagation with a slip-weakening friction law is simulated.


title: Effect of chaotic agent dynamics on coevolution of cooperation and synchronization

abstract: The effect of the chaotic dynamical states of the agents on the coevolution of cooperation and synchronization in a structured population of the agents remains unexplored. With a view to gaining insights into this problem, we construct a coupled map lattice of the paradigmatic chaotic logistic map by adopting the Watts--Strogatz network algorithm. The map models the agent's chaotic state dynamics. In the model, an agent benefits by synchronizing with its neighbours and in the process of doing so, it pays a cost. The agents update their strategies (cooperation or defection) by using either a stochastic or a deterministic rule in an attempt to fetch themselves higher payoffs than what they already have. Among some other interesting results, we find that beyond a critical coupling strength, that increases with the rewiring probability parameter of the Watts--Strogatz model, the coupled map lattice is spatiotemporally synchronized regardless of the rewiring probability. Moreover, we observe that the population does not desynchronize completely -- and hence finite level of cooperation is sustained -- even when the average degree of the coupled map lattice is very high. These results are at odds with how a population of the non-chaotic Kuramoto oscillators as agents would behave. Our model also brings forth the possibility of the emergence of cooperation through synchronization onto a dynamical state that is a periodic orbit attractor.


title: Evolutionary dynamics of the delayed replicator-mutator equation: Limit cycle and cooperation

abstract: Game theory deals with strategic interactions among players and evolutionary game dynamics tracks the fate of the players' populations under selection. In this paper, we consider the replicator equation for two-player-two-strategy games involving cooperators and defectors. We modify the equation to include the effect of mutation and also delay that corresponds either to the delayed information about the population state or in realizing the effect of interaction among players. By focusing on the four exhaustive classes of symmetrical games -- the Stag Hunt game, the Snowdrift game, the Prisoners' Dilemma game, and the Harmony game -- we analytically and numerically analyze delayed replicator-mutator equation to find the explicit condition for the Hopf bifurcation bringing forth stable limit cycle. The existence of the asymptotically stable limit cycle imply the coexistence of the cooperators and the defectors; and in the games, where defection is a stable Nash strategy, a stable limit cycle does provide a mechanism for evolution of cooperation. We find that while mutation alone can never lead to oscillatory cooperation state in two-player-two-strategy games, the delay can change the scenario. On the other hand, there are situations when delay alone cannot lead to the Hopf bifurcation in the absence of mutation in the selection dynamics.


title: Arena-Independent Finite-Memory Determinacy in Stochastic Games

abstract: We study stochastic zero-sum games on graphs, which are prevalent tools to model decision-making in presence of an antagonistic opponent in a random environment. In this setting, an important question is the one of strategy complexity: what kinds of strategies are sufficient or required to play optimally (e.g., randomization or memory requirements)? Our contributions further the understanding of arena-independent finite-memory (AIFM) determinacy, i.e., the study of objectives for which memory is needed, but in a way that only depends on limited parameters of the game graphs. First, we show that objectives for which pure AIFM strategies suffice to play optimally also admit pure AIFM subgame perfect strategies. Second, we show that we can reduce the study of objectives for which pure AIFM strategies suffice in two-player stochastic games to the easier study of one-player stochastic games (i.e., Markov decision processes). Third, we characterize the sufficiency of AIFM strategies through two intuitive properties of objectives. This work extends a line of research started on deterministic games to stochastic ones.


title: Subordination principle, Wright functions and large-time behaviour for the discrete in time fractional diffusion equation

abstract: The main goal in this paper is to study asymptotic behaviour in $L^p(\mathbb{R}^N)$ for the solutions of the fractional version of the discrete in time $N$-dimensional diffusion equation, which involves the Caputo fractional $h$-difference operator. The techniques to prove the results are based in new subordination formulas involving the discrete in time Gaussian kernel, and which are defined via an analogue in discrete time setting of the scaled Wright functions. Moreover, we get an equivalent representation of that subordination formula by Fox H-functions.


title: Mine Your Own vieW: Self-Supervised Learning Through Across-Sample Prediction

abstract: State-of-the-art methods for self-supervised learning (SSL) build representations by maximizing the similarity between different transformed "views" of a sample. Without sufficient diversity in the transformations used to create views, however, it can be difficult to overcome nuisance variables in the data and build rich representations. This motivates the use of the dataset itself to find similar, yet distinct, samples to serve as views for one another. In this paper, we introduce Mine Your Own vieW (MYOW), a new approach for self-supervised learning that looks within the dataset to define diverse targets for prediction. The idea behind our approach is to actively mine views, finding samples that are neighbors in the representation space of the network, and then predict, from one sample's latent representation, the representation of a nearby sample. After showing the promise of MYOW on benchmarks used in computer vision, we highlight the power of this idea in a novel application in neuroscience where SSL has yet to be applied. When tested on multi-unit neural recordings, we find that MYOW outperforms other self-supervised approaches in all examples (in some cases by more than 10%), and often surpasses the supervised baseline. With MYOW, we show that it is possible to harness the diversity of the data to build rich views and leverage self-supervision in new domains where augmentations are limited or unknown.


title: Optimizing dividends and capital injections limited by bankruptcy, and practical approximations for the Cram\'er-Lundberg process

abstract: The recent papers Gajek-Kucinsky(2017) and Avram-Goreac-Li-Wu(2020) investigated the control problem of optimizing dividends when limiting capital injections stopped upon bankruptcy. The first paper works under the spectrally negative L\'evy model; the second works under the Cram\'er-Lundberg model with exponential jumps, where the results are considerably more explicit. The current paper has three purposes. First, it illustrates the fact that quite reasonable approximations of the general problem may be obtained using the particular exponential case studied in Avram-Goreac-Li-Wu(2020). Secondly, it extends the results to the case when a final penalty $P$ is taken into consideration as well besides a proportional cost $k>1$ for capital injections. This requires amending the "scale and Gerber-Shiu functions" already introduced in Gajek-Kucinsky(2017). Thirdly, in the exponential case, the results will be made even more explicit by employing the Lambert-W function. This tool has particular importance in computational aspects and can be employed in theoretical aspects such as asymptotics.


title: Non-integrability of the axisymmetric Bianchi IX cosmological model via Differential Galois Theory

abstract: We investigate the integrability of an anisotropic universe with matter and cosmological constant formulated as Bianchi IX models. The presence of the cosmological constant causes the existence of a critical point in the finite part of the phase space. The separatrix associated to this Einstein's static universe is entirely contained in an invariant isotropic plane forgetting the singularity at the origin. This invariant plane of isotropy is an integrable sub-space of the Taub type. In this paper we analyse the differential Galois group of the second order variational equations to this plane in order to apply the integrability theorem of the second author with Ramis and Sim\' o. The main result is that the model is non-integrable by meromorphic functions.


title: When Crowdsensing Meets Federated Learning: Privacy-Preserving Mobile Crowdsensing System

abstract: Mobile crowdsensing (MCS) is an emerging sensing data collection pattern with scalability, low deployment cost, and distributed characteristics. Traditional MCS systems suffer from privacy concerns and fair reward distribution. Moreover, existing privacy-preserving MCS solutions usually focus on the privacy protection of data collection rather than that of data processing. To tackle faced problems of MCS, in this paper, we integrate federated learning (FL) into MCS and propose a privacy-preserving MCS system, called \textsc{CrowdFL}. Specifically, in order to protect privacy, participants locally process sensing data via federated learning and only upload encrypted training models. Particularly, a privacy-preserving federated averaging algorithm is proposed to average encrypted training models. To reduce computation and communication overhead of restraining dropped participants, discard and retransmission strategies are designed. Besides, a privacy-preserving posted pricing incentive mechanism is designed, which tries to break the dilemma of privacy protection and data evaluation. Theoretical analysis and experimental evaluation on a practical MCS application demonstrate the proposed \textsc{CrowdFL} can effectively protect participants privacy and is feasible and efficient.


title: Fermat's Last Theorem and its another Proof

abstract: We announce here that Fermat's Last theorem was solved, but there is an easy proof of it on the basis of elemetary undergraduate mathematics. We shall disclose such an easy proof.


title: Experimental and theoretical study of SbPO4 under compression

abstract: SbPO4 is a complex monoclinic layered material characterized by a strong activity of the non-bonding lone electron pair (LEP) of Sb. The strong cation LEP leads to the formation of layers piled up along the a-axis and linked by weak Sb-O electrostatic interactions. In fact, Sb is 4-fold coordination with O similar to what occurs with the P-O coordination, despite the large difference of ionic radii and electronegativity between both elements. Here we report a joint experimental and theoretical study of the structural and vibrational properties of SbPO4 at high pressure. We show that SbPO4 is not only one of the most compressible phosphates but also one of the most compressible compounds of the ABO4 family. Moreover, it has a considerable anisotropic compression behavior with the largest compression occurring along a direction close to a-axis and governed by the compression of the LEP and the weak inter-layer Sb-O bonds. The strong compression along the a-axis leads to a subtle modification of the monoclinic crystal structure above 3 GPa leading from a 2D to a 3D material. Moreover, the onset of a reversible pressure-induced phase transition is observed above 9 GPa, which is completed above 20 GPa. We propose that the high-pressure phase is a triclinic distortion of the original monoclinic phase. The understanding of the compression mechanism of SbPO4 can aid in understanding the importance of the ion intercalation and catalytic properties of this layered compound.


title: Hoyos negros y sus misteriosos interiores (Black holes and their mysterious interiors)

abstract: Singularity theorems constitute a major milestone of relativity. They generated a panoply of fertile lines of research with dazzling physical consequences. (Los teoremas de singularidades constituyen uno de los mayores hitos de la relatividad. Generaron una panoplia de f\'ertiles l\'ineas de investigaci\'on con consecuencias f\'isicas deslumbrantes).


title: Catastrophic Production of Slow Gravitinos

abstract: We study gravitational particle production of the massive spin-$3/2$ Rarita-Schwinger field, and its close relative, the gravitino, in FRW cosmological spacetimes. For masses lighter than the value of the Hubble expansion rate after inflation, $m_{3/2} \lesssim H$, we find catastrophic gravitational particle production, wherein the number of gravitationally produced particles is divergent, caused by a transient vanishing of the helicity-1/2 gravitino sound speed. In contrast with the conventional gravitino problem, the spectrum of produced particles is dominated by those with momentum at the UV cutoff. This suggests a breakdown of effective field theory, which might be cured by new degrees of freedom that emerge in the UV. We study the UV completion of the Rarita-Schwinger field, namely ${\cal N}=1$, $d=4$, supergravity. We reproduce known results for models with a single superfield and models with an arbitrary number of chiral superfields, find a simple geometric expression for the sound speed in the latter case, and extend this to include nilpotent constrained superfields and orthogonal constrained superfields. We find supergravity models where the catastrophe is cured and models where it persists. Insofar as quantizing the gravitino is tantamount to quantizing gravity, as is the case in any UV completion of supergravity, the models exhibiting catastrophic production are prime examples of 4-dimensional effective field theories that become inconsistent when gravity is quantized, suggesting a possible link to the Swampland program. We propose the Gravitino Swampland Conjecture, which is consistent with and indeed follows from the KKLT and Large Volume scenarios for moduli stabilization in string theory.


title: A new strategy for matching observed and simulated lensing galaxies

abstract: The study of strong-lensing systems conventionally involves constructing a mass distribution that can reproduce the observed multiply-imaging properties. Such mass reconstructions are generically non-unique. Here, we present an alternative strategy: instead of modelling the mass distribution, we search cosmological galaxy-formation simulations for plausible matches. In this paper we test the idea on seven well-studied lenses from the SLACS survey. For each of these, we first pre-select a few hundred galaxies from the EAGLE simulations, using the expected Einstein radius as an initial criterion. Then, for each of these pre-selected galaxies, we fit for the source light distribution, while using MCMC for the placement and orientation of the lensing galaxy, so as to reproduce the multiple images and arcs. The results indicate that the strategy is feasible, and even yields relative posterior probabilities of two different galaxy-formation scenarios, though these are not statistically significant yet. Extensions to other observables, such as kinematics and colours of the stellar population in the lensing galaxy, is straightforward in principle, though we have not attempted it yet. Scaling to arbitrarily large numbers of lenses also appears feasible. This will be especially relevant for upcoming wide-field surveys, through which the number of galaxy lenses will rise possibly a hundredfold, which will overwhelm conventional modelling methods.


title: Root Bundles and Towards Exact Matter Spectra of F-theory MSSMs

abstract: Motivated by the appearance of fractional powers of line bundles in studies of vector-like spectra in 4d F-theory compactifications, we analyze the structure and origin of these bundles. Fractional powers of line bundles are also known as root bundles and can be thought of as generalizations of spin bundles. We explain how these root bundles are linked to inequivalent F-theory gauge potentials of a $G_4$-flux. While this observation is interesting in its own right, it is particularly valuable for F-theory Standard Model constructions. In aiming for MSSMs, it is desired to argue for the absence of vector-like exotics. We work out the root bundle constraints on all matter curves in the largest class of currently-known F-theory Standard Model constructions without chiral exotics and gauge coupling unification. On each matter curve, we conduct a systematic "bottom"-analysis of all solutions to the root bundle constraints and all spin bundles. Thereby, we derive a lower bound for the number of combinations of root bundles and spin bundles whose cohomologies satisfy the physical demand of absence of vector-like pairs. On a technical level, this systematic study is achieved by a well-known diagrammatic description of root bundles on nodal curves. We extend this description by a counting procedure, which determines the cohomologies of so-called limit root bundles on full blow-ups of nodal curves. By use of deformation theory, these results constrain the vector-like spectra on the smooth matter curves in the actual F-theory geometry.


title: ENISALA: II. Distinct Star Formation and Active Galactic Nucleus Activity in Merging and Relaxed Galaxy Clusters

abstract: The growth of galaxy clusters is energetic and may trigger and/or quench star formation and black hole activity. The ENISALA project is a collection of multiwavelength observations aimed at understanding how large-scale structure drives galaxy and black hole evolution. Here, we introduce optical spectroscopy of over 800 H$\alpha$ emission-line galaxies, selected in 14 z~0.15-0.31 galaxy clusters, spanning a range of masses and dynamical states. We investigate the nature of the emission lines in relation to the host galaxy properties, its location within the cluster, and the properties of the parent cluster. We uncover remarkable differences between mergers and relaxed clusters. The majority of H$\alpha$ emission-line galaxies in merging cluster fields are located within 3 Mpc of their center. A large fraction of these line-emitters in merging clusters are powered by star formation irrespective of cluster-centric radius, while the rest are powered by active galactic nuclei. Star-forming galaxies are rare within 3 Mpc of relaxed clusters and active galactic nuclei are most abundant at their outskirts (~1.5-3 Mpc). We discover a population of star-forming galaxies with large equivalent widths and blue UV-optical colors, found exclusively in the merging clusters in our sample. The widespread emission-line activity in merging clusters is likely supported by triggered activity in recently-accreted, gas-rich galaxies. By contrast, our observations for relaxed clusters match established models, in which black hole activity is enhanced at the virial radius and star-formation is quenched within the infall region. We conclude that emission-line galaxies experience distinct evolutionary paths in merging and relaxed clusters.


title: The Geometry of Cold, Metal-Enriched Gas Around Galaxies at $z\sim1.2$

abstract: We present the first results from a Hubble Space Telescope WFC3/IR program, which obtained direct imaging and grism observations of galaxies near quasar sightlines with a high frequency of uncorrelated foreground Mg II absorption. These highly efficient observations targeted 54 Mg II absorbers along the line of sight to nine quasars at $z_{qso}\sim2$. We find that 89% of the absorbers in the range $0.64< z < 1.6$ can be spectroscopically matched to at least one galaxy with an impact parameter less than 200 kpc and $|\Delta z|/(1+z)<0.006$. We have estimated the star formation rates and measured structural parameters for all detected galaxies with impact parameters in the range 7-200 kpc and star formation rates greater than 1.3 M$_{\odot}$ yr$^{-1}$. We find that galaxies associated with Mg II absorption have significantly higher mean star formation rates and marginally higher mean star formation rate surface densities compared to galaxies with no detected Mg II. Nearly half of the Mg II absorbers match to more than one galaxy, and the mean equivalent width of the Mg II absorption is found to be greater for groups, compared to isolated galaxies. Additionally, we observe a significant redshift evolution in the physical extent of Mg II-absorbing gas around galaxies and evidence of an enhancement of Mg II within 50 degrees of the minor axis, characteristic of outflows, which persists to 80 kpc around the galaxies, in agreement with recent predictions from simulations.


title: Challenges for a QCD Axion at the 10 MeV Scale

abstract: We report on an interesting realization of the QCD axion, with mass in the range $\mathcal{O}(10)$ MeV. It has previously been shown that although this scenario is stringently constrained from multiple sources, the model remains viable for a range of parameters that leads to an explanation of the Atomki experiment anomaly. In this article we study in more detail the additional constraints proceeding from recent low energy experiments and study the compatibility of the allowed parameter space with the one leading to consistency of the most recent measurements of the electron anomalous magnetic moment and the fine structure constant. We further provide an ultraviolet completion of this axion variant and show the conditions under which it may lead to the observed quark masses and CKM mixing angles, and remain consistent with experimental constraints on the extended scalar sector appearing in this Standard Model extension. In particular, the decay of the Standard Model-like Higgs boson into two light axions may be relevant and leads to a novel Higgs boson signature that may be searched for at the LHC in the near future.


title: Volterra equations driven by rough signals 2: higher order expansions

abstract: We extend the recently developed rough path theory for Volterra equations from (Harang and Tindel, 2019) to the case of more rough noise and/or more singular Volterra kernels. It was already observed in (Harang and Tindel, 2019) that the Volterra rough path introduced there did not satisfy any geometric relation, similar to that observed in classical rough path theory. Thus, an extension of the theory to more irregular driving signals requires a deeper understanding of the specific algebraic structure arising in the Volterra rough path. Inspired by the elements of "non-geometric rough paths" developed in (Gubinelli, 2010) and (Hairer and Kelly, 2015) we provide a simple description of the Volterra rough path and the controlled Volterra process in terms of rooted trees, and with this description we are able to solve rough volterra equations in driven by more irregular signals.


title: In-medium $k$-body reduction of $n$-body operators

abstract: The computational cost of ab initio nuclear structure calculations is rendered particularly acute by the presence of (at least) three-nucleon interactions. This feature becomes especially critical now that many-body methods aim at extending their reach beyond mid-mass nuclei. Consequently, state-of-the-art ab initio calculations are typically performed while approximating three-nucleon interactions in terms of effective, i.e. system-dependent, zero-, one- and two-nucleon operators. While straightforward in doubly closed-shell nuclei, existing approximation methods based on normal-ordering techniques involve either two- and three-body density matrices or a symmetry-breaking one-body density matrix in open-shell systems. In order to avoid such complications, a simple, flexible, universal and accurate approximation technique involving the convolution of the initial operator with a sole symmetry-invariant one-body matrix is presently formulated and tested numerically. Employed with a low-resolution Hamiltonian, the novel approximation method is shown to induce errors below $2-3\%$ across a large range of nuclei, observables and many-body methods.


title: Exploring the relationship between the faithfulness and entanglement of two qubits

abstract: A conceptually simple and experimentally prevalent class of entanglement witnesses, known as fidelity witnesses, detect entanglement via a state's fidelity with a pure reference state. While existence proofs guarantee that a suitable witness can be constructed for every entangled state, such assurances do not apply to fidelity witnesses. Recent results have found that entangled states that cannot be detected by a fidelity witness, known as unfaithful states, are exceedingly common among bipartite states. In this paper, we show that even among two-qubit states, the simplest of all entangled states, unfaithful states can be created through a suitable application of decoherence and filtering to a Bell state. We also show that the faithfulness is not monotonic to entanglement, as measured by the concurrence. Finally, we experimentally verify our predictions using polarization-entangled photons and specifically demonstrate a situation where an unfaithful state is brought to faithfulness at the expense of further reducing the entanglement of the state.


title: Coincident angle-resolved state-selective photoelectron spectroscopy of acetylene molecules: a candidate system for time-resolved dynamics

abstract: The acetylene-vinylidene system serves as a benchmark for investigations of ultrafast dynamical processes where the coupling of the electronic and nuclear degrees of freedom provides a fertile playground to explore the femto- and sub-femto-second physics with coherent extreme-ultraviolet (EUV) photon sources both on the table-top as well as free-electron lasers. We focus on detailed investigations of this molecular system in the photon energy range $19...40$ eV where EUV pulses can probe the dynamics effectively. We employ photoelectron-photoion coincidence (PEPICO) spectroscopy to uncover hitherto unrevealed aspects of this system. In this work, the role of excited states of the $C_{2}H_{2}^{+}$ cation, the primary photoion, is specifically addressed. From photoelectron energy spectra and angular distributions, the nature of the dissociation and isomerization channels is discerned. Exploiting the $4\pi$-collection geometry of velocity map imaging spectrometer, we not only probe pathways where the efficiency of photoionization is inherently high but also perform PEPICO spectroscopy on relatively weak channels.


title: Dark sector interactions and the curvature of the Universe in light of Planck's 2018 data

abstract: We investigate the observational viability of a class of interacting dark energy (iDE) models in the light of the latest Cosmic Microwave Background (CMB), type Ia supernovae (SNe) and SH0ES Hubble parameter measurements. Our analysis explores the assumption of a non-zero spatial curvature, the correlation between the interaction parameter $\alpha$ and the current expansion rate $H_0$, and updates the results reported in \cite{micol}. Initially, assuming a spatially flat universe, the results show that the best-fit of our joint analysis clearly favours a positive interaction, i.e., an energy flux from dark matter to dark energy, with $\alpha \approx 0.2$, while the non-interacting case, $\alpha = 0$, is ruled out by more than $3\sigma$ confidence level. On the other hand, considering a non-zero spatial curvature, we find a slight preference for a negative value of the curvature parameter, which seems to relax the correlation between the parameters $\alpha$ and $H_0$, as well as between $H_0$ and the normalization of the matter power spectrum on scales of 8$h^{-1}$ Mpc ($\sigma_8$). Finally, we discuss the influence of considering the SH$0$ES prior on $H_0$ in the joint analyses, and find that such a choice does not change considerably the standard cosmology predictions but has a significant influence on the results of the iDE model.


title: Amplitude Nanofriction Spectroscopy

abstract: Atomic scale friction, an indispensable element of nanotechnology, requires a direct access to, under actual growing shear stress, its successive live phases: from static pinning, to depinning and transient evolution, eventually ushering in steady state kinetic friction. Standard tip-based atomic force microscopy generally addresses the steady state, but the prior intermediate steps are much less explored. Here we present an experimental and simulation approach, where an oscillatory shear force of increasing amplitude leads to a one-shot investigation of all these successive aspects. Demonstration with controlled gold nanocontacts sliding on graphite uncovers phenomena that bridge the gap between initial depinning and large speed sliding, of potential relevance for atomic scale time and magnitude dependent rheology.


title: Viscosity, Reversibillity, Chaotic Hypothesis, Fluctuation Theorem and Lyapunov Pairing

abstract: Incompressible fluid equations are studied with UV cut-off and in periodic boundary conditions. Properties of the resulting ODEs holding uniformly in the cut-off are considered and, in particular, are conjectured to be equivalent to properties of other time reversible equations. Reversible equations with the same regularization and describing equivalently the fluid, and the fluctuations of large classes of observables, are examined in the context of the "Chaotic Hypothesis", "Axiom C" and the "Fluctuation Theorem".


title: The Low Redshift Circumgalactic Medium in Simba

abstract: We examine the properties of the low-redshift circumgalactic medium (CGM) around star-forming and quenched galaxies in the Simba cosmological hydrodynamic simulations, focusing on comparing HI and metal line absorption to observations from the COS-Halos and COS-Dwarfs surveys. Halo baryon fractions are generally $\lesssim 50\%$ of the cosmic fraction due to stellar feedback at low masses, and jet-mode AGN feedback at high masses. Baryons and metals in the CGM of quenched galaxies are $\gtrsim 90\%$ hot gas, while the CGM of star-forming galaxies is more multi-phase. Hot CGM gas has low metallicity, while warm and cool CGM gas have metallicity close to that of galactic gas. Equivalent widths, covering fractions and total path absorption of HI and selected metal lines (MgII, SiIII, CIV and OVI) around a matched sample of Simba star-forming galaxies are mostly consistent with COS-Halos and COS-Dwarfs observations to $\lesssim 0.4$~dex, depending on ion and assumed ionising background. Around matched quenched galaxies, absorption in all ions is lower, with HI absorption significantly under-predicted. Metal-line absorption is sensitive to choice of photo-ionising background; assuming recent backgrounds, Simba matches OVI but under-predicts low ions, while an older background matches low ions but under-predicts OVI. Simba reproduces the observed dichotomy of OVI absorption around star forming and quenched galaxies. CGM metals primarily come from stellar feedback, while jet-mode AGN feedback reduces absorption particularly for lower ions.


title: Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects

abstract: We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model. Crowbar implements behavioral symbolic execution: each method is symbolically executed, but specification and prior static analyses influence the shape of the symbolic execution tree. User interaction is realized through guided counterexamples, which present failed proof branches in terms of the input program. Crowbar has a clear interface to implement new specification languages and verification calculi in the Behavioral Program Logic and has been applied for the biggest verification case study of Active Objects.


title: Two-Point Voltage Fingerprinting: Increasing Detectability of ECU Masquerading Attacks

abstract: Automotive systems continuously increase their dependency on Electronic Control Units (ECUs) and become more interconnected to improve safety, comfort and Advanced Driving Assistance Systems (ADAS) functions to passengers and drivers. As a consequence of that trend, there is an expanding attack surface which may potentially expose vehicle's critical functions to cyberattacks. It is possible for an adversary to reach the underlying Control Area Network (CAN) through a compromised node or external-facing network interface, and launch masquerading attacks that can compromise road and passenger safety. Due to lack of native authentication in the CAN protocol, an approach to detect masquerading attacks is to use ECU voltage fingerprinting schemes to verify that the messages are sent by authentic ECUs. Though effective against simple masquerading attacks, prior work is unable to detect attackers such as hardware Trojans, which can mimic ECU voltages in addition to spoofing messages. We introduce a novel Two-point ECU Fingerprinting scheme and demonstrate efficacy in a controlled lab setting and on a moving vehicle. Our results show that our proposed two-point fingerprinting scheme is capable of an overall F1-score over 99.4%. The proposed approach raises the bar for attackers trying to compromise automotive security both remotely and physically, therefore improving security and safety of autonomous vehicles.


title: Coherent Integration for Targets with Constant Cartesian Velocities Based on Accurate Range Model

abstract: Long-time coherent integration (LTCI) is one of the most important techniques to improve radar detection performance of weak targets. However, for the targets moving with constant Cartesian velocities (CCV), the existing LTCI methods based on polynomial motion models suffer from limited integration time and coverage of target speed due to model mismatch. Here, a novel generalized Radon Fourier transform method for CCV targets is presented, based on the accurate range evolving model, which is a square root of a polynomial with terms up to the second order with target speed as the factor. The accurate model instead of approximate polynomial models used in the proposed method enables effective energy integration on characteristic invariant with feasible computational complexity. The target samplings are collected and the phase fluctuation among pulses is compensated according to the accurate range model. The high order range migration and complex Doppler frequency migration caused by the highly nonlinear signal are eliminated simultaneously. Integration results demonstrate that the proposed method can not only achieve effective coherent integration of CCV targets regardless of target speed and coherent processing interval, but also provide additional observation and resolution in speed domain.


title: Image Classification using CNN for Traffic Signs in Pakistan

abstract: The autonomous automotive industry is one of the largest and most conventional projects worldwide, with many technology companies effectively designing and orienting their products towards automobile safety and accuracy. These products are performing very well over the roads in developed countries. But can fail in the first minute in an underdeveloped country because there is much difference between a developed country environment and an underdeveloped country environment. The following study proposed to train these Artificial intelligence models in environment space in an underdeveloped country like Pakistan. The proposed approach on image classification uses convolutional neural networks for image classification for the model. For model pre-training German traffic signs data set was selected then fine-tuned on Pakistan's dataset. The experimental setup showed the best results and accuracy from the previously conducted experiments. In this work to increase the accuracy, more dataset was collected to increase the size of images in every class in the data set. In the future, a low number of classes are required to be further increased where more images for traffic signs are required to be collected to get more accuracy on the training of the model over traffic signs of Pakistan's most used and popular roads motorway and national highway, whose traffic signs color, size, and shapes are different from common traffic signs.


title: Scaling up DNA digital data storage by efficiently predicting DNA hybridisation using deep learning

abstract: Deoxyribonucleic acid (DNA) has shown great promise in enabling computational applications, most notably in the fields of DNA digital data storage and DNA computing. Information is encoded as DNA strands, which will naturally bind in solution, thus enabling search and pattern-matching capabilities. Being able to control and predict the process of DNA hybridisation is crucial for the ambitious future of Hybrid Molecular-Electronic Computing. Current tools are, however, limited in terms of throughput and applicability to large-scale problems. We present the first comprehensive study of machine learning methods applied to the task of predicting DNA hybridisation. For this purpose, we introduce an in silico-generated hybridisation dataset of over 2.5 million data points, enabling the use of deep learning. Depending on hardware, we achieve a reduction in inference time ranging from one to over two orders of magnitude compared to the state-of-the-art, while retaining high fidelity. We then discuss the integration of our methods in modern, scalable workflows.


title: Hamiltonian-Driven Shadow Tomography of Quantum States

abstract: Classical shadow tomography provides an efficient method for predicting functions of an unknown quantum state from a few measurements of the state. It relies on a unitary channel that efficiently scrambles the quantum information of the state to the measurement basis. Facing the challenge of realizing deep unitary circuits on near-term quantum devices, we explore the scenario in which the unitary channel can be shallow and is generated by a quantum chaotic Hamiltonian via time evolution. We provide an unbiased estimator of the density matrix for all ranges of the evolution time. We analyze the sample complexity of the Hamiltonian-driven shadow tomography. For Pauli observables, we find that it can be more efficient than the unitary-2-design-based shadow tomography in a sequence of intermediate time windows that range from an order-1 scrambling time to a time scale of $D^{1/6}$, given the Hilbert space dimension $D$. In particular, the efficiency of predicting diagonal Pauli observables is improved by a factor of $D$ without sacrificing the efficiency of predicting off-diagonal Pauli observables.


title: Abstracting data in distributed ledger systems for higher level analytics and visualizations

abstract: By design, distributed ledger technologies persist low-level data which makes conducting complex business analysis of the recorded operations challenging. Existing blockchain visualization and analytics tools such as block explorers tend to rely on this low-level data and complex interfacing to provide enriched level of analytics. The ability to derive richer analytics could be improved through the availability of a higher level abstraction of the data. This article proposes an abstraction layer architecture that enables the design of high-level analytics of distributed ledger systems and the decentralized applications that run on top. Based on the analysis of existing initiatives and identification of the relevant user requirements, this work aims to establish key insights and specifications to improve the auditability and intuitiveness of distributed ledger systems by leveraging the development of future user interfaces. To illustrate the benefits offered by the proposed abstraction layer architecture, a regulated sector use case is explored.


title: Ricci curvature, graphs and eigenvalues

abstract: We express the discrete Ricci curvature of a graph as the minimal eigenvalue of a family of matrices, one for each vertex of a graph whose entries depend on the local adjaciency structure of the graph. Using this method we compute or bound the Ricci curvature of Cayley graphs of finite Coxeter groups and affine Weyl groups. As an application we obtain an isoperimetric inequality that holds for all Cayley graphs of finite Coxeter groups.