title: Determining mass accretion and jet mass-loss rates in post-asymptotic giant branch binary systems

abstract: Aims. In this study, we determine the morphology and mass-loss rate of jets emanating from the companion in post-asymptotic giant branch (post-AGB) binary stars with a circumbinary disk. In doing so, we also determine the mass accretion rates on to the companion and investigate the source feeding the circum-companion accretion disk. Methods. We perform a spatio-kinematic modelling of the jet of two well-sampled post-AGB binaries, BD+46442 and IRAS19135+3937, by fitting the orbital phased time series of H-alpha spectra. Once the jet geometry, velocity and scaled density structure are computed, we carry out radiative transfer modelling of the jet for the first four Balmer lines to determine the jet densities, thus allowing us to compute the jet mass-loss rates and mass accretion rates. Results. The spatio-kinematic model of the jet reproduces the observed absorption feature in the H-alpha lines. In both objects, the jets have an inner region with extremely low density. Using our radiative transfer model, we find the full three-dimensional density structure of both jets. From these results, we can compute mass-loss rates of the jets, which are of the order of 10^-7 - 10^-5 M_sol/yr. We estimate mass accretion rates onto the companion of 10^-6 - 10^-4 M_sol/yr. Conclusions. Based on the mass accretion rates found for these two objects, we conclude that the circumbinary disk is most likely the source feeding the circum-companion accretion disk. This is in agreement with the observed depletion patterns in post-AGB binaries. The high accretion rates from the circumbinary disk imply that the lifetime of the disk will be short. Mass-transfer from the post-AGB star cannot be excluded in these systems, but it is unlikely to provide a sufficient mass-transfer rate to sustain the observed jet mass-loss rates.


title: A High Probability Analysis of Adaptive SGD with Momentum

abstract: Stochastic Gradient Descent (SGD) and its variants are the most used algorithms in machine learning applications. In particular, SGD with adaptive learning rates and momentum is the industry standard to train deep networks. Despite the enormous success of these methods, our theoretical understanding of these variants in the nonconvex setting is not complete, with most of the results only proving convergence in expectation and with strong assumptions on the stochastic gradients. In this paper, we present a high probability analysis for adaptive and momentum algorithms, under weak assumptions on the function, stochastic gradients, and learning rates. We use it to prove for the first time the convergence of the gradients to zero in high probability in the smooth nonconvex setting for Delayed AdaGrad with momentum.


title: Information Relaxation and A Duality-Driven Algorithm for Stochastic Dynamic Programs

abstract: We use the technique of information relaxation to develop a duality-driven iterative approach to obtaining and improving confidence interval estimates for the true value of finite-horizon stochastic dynamic programming problems. We show that the sequence of dual value estimates yielded from the proposed approach in principle monotonically converges to the true value function in a finite number of dual iterations. Aiming to overcome the curse of dimensionality in various applications, we also introduce a regression-based Monte Carlo algorithm for implementation. The new approach can be used not only to assess the quality of heuristic policies, but also to improve them if we find that their duality gap is large. We obtain the convergence rate of our Monte Carlo method in terms of the amounts of both basis functions and the sampled states. Finally, we demonstrate the effectiveness of our method in an optimal order execution problem with market friction and in an inventory management problem in the presence of lost sale and lead time. Both examples are well known in the literature to be difficult to solve for optimality. The experiments show that our method can significantly improve the heuristics suggested in the literature and obtain new policies with a satisfactory performance guarantee.


title: A systematic approach to identify and evaluate missing data patterns and mechanisms in multivariate educational, social, and behavioral research

abstract: Methods for addressing missing data have become much more accessible to applied researchers. However, little guidance exists to help researchers systematically identify plausible missing data mechanisms in order to ensure that these methods are appropriately applied. Two considerations motivate the present study. First, psychological research is typically characterized by a large number of potential response variables that may be observed across multiple waves of data collection. This situation makes it more challenging to identify plausible missing data mechanisms than is the case in other fields such as biostatistics where a small number of dependent variables is typically of primary interest and the main predictor of interest is statistically independent of other covariates. Second, there is growing recognition of the importance of systematic approaches to sensitivity analyses for treatment of missing data in psychological science. We develop and apply a systematic approach for reducing a large number of observed patterns and demonstrate how these can be used to explore potential missing data mechanisms within multivariate contexts. A large scale simulation study is used to guide suggestions for which approaches are likely to be most accurate as a function of sample size, number of factors, number of indicators per factor, and proportion of missing data. Three applications of this approach to data examples suggest that the method appears useful in practice.


title: Cooperative Internet of UAVs: Distributed Trajectory Design by Multi-agent Deep Reinforcement Learning

abstract: Due to the advantages of flexible deployment and extensive coverage, unmanned aerial vehicles (UAVs) have great potential for sensing applications in the next generation of cellular networks, which will give rise to a cellular Internet of UAVs. In this paper, we consider a cellular Internet of UAVs, where the UAVs execute sensing tasks through cooperative sensing and transmission to minimize the age of information (AoI). However, the cooperative sensing and transmission is tightly coupled with the UAVs' trajectories, which makes the trajectory design challenging. To tackle this challenge, we propose a distributed sense-and-send protocol, where the UAVs determine the trajectories by selecting from a discrete set of tasks and a continuous set of locations for sensing and transmission. Based on this protocol, we formulate the trajectory design problem for AoI minimization and propose a compound-action actor-critic (CA2C) algorithm to solve it based on deep reinforcement learning. The CA2C algorithm can learn the optimal policies for actions involving both continuous and discrete variables and is suited for the trajectory design. {Our simulation results show that the CA2C algorithm outperforms four baseline algorithms}. Also, we show that by dividing the tasks, cooperative UAVs can achieve a lower AoI compared to non-cooperative UAVs.


title: Enhanced Quantum Key Distribution using Hybrid Channels and Natural Random Numbers

abstract: Since the introduction of quantum computation by Richard Feynman in 1982, Quantum computation has shown exemplary results in various applications of computer science including unstructured database search, factorization, molecular simulations to name a few. Some of the recent developments include quantum machine learning, quantum neural networks, quantum walks on graphs, fault tolerant scalable quantum computers using error correction codes etc. One of the crucial modern applications of quantum information is quantum cryptography and secure key distribution over quantum channels which have several advantages over classical channels, especially detection of eavesdropping. Based on such properties of quantum systems and quantum channels, In this paper we propose three secure key distribution protocols based on a blend of classical and quantum channels. Also the proposed protocols exploits the property of quantum computers to generate natural random numbers that can be easily transmitted using a single qubit over a quantum channel and can be used for distributing keys to the involved parties in a communication network.


title: Accounting for missing actors in interaction network inference from abundance data

abstract: Network inference aims at unraveling the dependency structure relating jointly observed variables. Graphical models provide a general framework to distinguish between marginal and conditional dependency. Unobserved variables (missing actors) may induce apparent conditional dependencies.In the context of count data, we introduce a mixture of Poisson log-normal distributions with tree-shaped graphical models, to recover the dependency structure, including missing actors. We design a variational EM algorithm and assess its performance on synthetic data. We demonstrate the ability of our approach to recover environmental drivers on two ecological datasets. The corresponding R package is available from github.com/Rmomal/nestor.


title: High Energy Leptonic Collisions and Electroweak Parton Distribution Functions

abstract: In high-energy leptonic collisions well above the electroweak scale, the collinear splitting mechanism of the electroweak gauge bosons becomes the dominant phenomena via the initial state radiation and the final state showering. We point out that at future high-energy lepton colliders, such as a multi-TeV muon collider, the electroweak parton distribution functions (EW PDFs) should be adopted as the proper description for partonic collisions of the initial states. The leptons and electroweak gauge bosons are the EW partons, that evolve according to the unbroken Standard Model (SM) gauge group and that effectively resum potentially large collinear logarithms. We present a formalism for the EW PDFs at the Next-to-Leading-Log (NLL) accuracy. We calculate semi-inclusive cross sections for some important SM processes at a future multi-TeV muon collider. We conclude that it is appropriate to adopt the EW PDF formalism for future high-energy lepton colliders.


title: How to Investigate the Historical Roots and Evolution of Research Fields in China? A Case Study on iMetrics Using RootCite

abstract: This paper aimed to provide an approach to investigate the historical roots and evolution of research fields in China by extending the reference publication year spectroscopy (RPYS). RootCite, an open source software accepts raw data from both the Web of Science and the China Social Science Citation Index (CSSCI), was developed using python. We took iMetrics in China as the research case. 5,141 Chinese iMetrics related publications with 73,376 non-distinct cited references (CR) collected from the CSSCI were analyzed using RootCite. The results showed that the first CR in the field can be dated back to 1882 and written in English; but the majority (64.2%) of the CR in the field were Chinese publications. 17 peaks referring to 18 seminal works (13 in English and 5 in Chinese) were located during the period from 1900 to 2017. The field shared the same roots with that in the English world but has its own characteristics, and it was then shaped by contributions from both the English world and China. The five Chinese works have played irreplaceable and positive roles in the historical evolutionary path of the field, which should not be ignored, especially for the evolution of the field. This research demonstrated how RootCite aided the task of identifying the origin and evolution of research fields in China, which could be valuable for extending RPYS for countries with other languages.


title: Ethics of Artificial Intelligence in Surgery

abstract: Here we discuss the four key principles of bio-medical ethics from surgical context. We elaborate on the definition of 'fairness' and its implications in AI system design, with taxonomy of algorithmic biases in AI. We discuss the shifts in ethical paradigms as the degree of autonomy in AI systems continue to evolve. We also emphasize the need for continuous revisions of ethics in AI due to evolution and dynamic nature of AI systems and technologies.


title: Corrections and additions to my article "Dual and almost-dual homogeneous spaces"

abstract: There are some inaccuracies and errors in my article "Dual and almost-dual homogeneous spaces". Here I will describe in detail how to correct incorrect statements from this article and which statements there will have to be reformulated in a weaker form.


title: $G_\infty$-ring spectra and Moore spectra for $\beta$-rings

abstract: In this paper, we introduce the notion of $G_\infty$-ring spectra. These are globally equivariant homotopy types with a structured multiplication, giving rise to power operations on their equivariant homotopy and cohomology groups. We illustrate this structure by analysing when a Moore spectrum can be endowed with a $G_\infty$-ring structure. Such $G_\infty$-structures correspond to power operations on the underlying ring, indexed by the Burnside ring. We exhibit a close relation between these globally equivariant power operations and the structure of a $\beta$-ring, thus providing a new perspective on the theory of $\beta$-rings.


title: Sylvester's Conjecture and the Egyptian Fractions

abstract: This paper attempts to prove the Sylvester's conjecture using Egyptian Fractions with two key ingredients. First, creating a set of operators that completely generates all possible Egyptian fraction of 1. And second, to detect patterns in every operator that surely will generate a new number which are relatively prime to all that came before.


title: Primal or Dual Terminal Constraints in Economic MPC? -- Comparison and Insights

abstract: This chapter compares different formulations for Economic nonlinear Model Predictive Control (EMPC) which are all based on an established dissipativity assumption on the underlying Optimal Control Problem (OCP). This includes schemes with and without stabilizing terminal constraints, respectively, or with stabilizing terminal costs. We recall that a recently proposed approach based on gradient correcting terminal penalties implies a terminal constraint on the adjoints of the OCP. We analyze the feasibility implications of these dual/adjoint terminal constraints and we compare our findings to approaches with and without primal terminal constraints. Moreover, we suggest a conceptual framework for approximation of the minimal stabilizing horizon length. Finally, we illustrate our findings considering a chemical reactor as an example.


title: Twenty-Two New Approximate Proof Labeling Schemes (Full Version)

abstract: Introduced by Korman, Kutten, and Peleg (Distributed Computing 2005), a \emph{proof labeling scheme (PLS)} is a system dedicated to verifying that a given configuration graph satisfies a certain property. It is composed of a centralized \emph{prover}, whose role is to generate a proof for yes-instances in the form of an assignment of labels to the nodes, and a distributed \emph{verifier}, whose role is to verify the validity of the proof by local means and accept it if and only if the property is satisfied. To overcome lower bounds on the label size of PLSs for certain graph properties, Censor-Hillel, Paz, and Perry (SIROCCO 2017) introduced the notion of an \emph{approximate proof labeling scheme (APLS)} that allows the verifier to accept also some no-instances as long as they are not "too far" from satisfying the property.


title: A Graph Theory approach to assess nature's contribution to people at a global scale

abstract: Cultural Ecosystem Services (CES) assessment at large scales is crucial in marine ecosystems as they reflect key physical and cognitive interactions between humans and nature. The analysis of social media data with graph theory is a promising approach to provide global information on users' perceptions for different marine ecosystems. Fourteen areas were selected to illustrate the use of graph theory on social media data. The selected areas, known to protect key recreational, educational and heritage attributes of marine ecosystems, were investigated to identify variability in users' preferences. Instagram data (i.e., hashtags associated to photos) was extracted for each area allowing an in-depth assessment of the CES most appreciated by the users. Hashtags were analysed using network centrality measures to identify clusters of words, aspects not normally captured by traditional photo content analysis. The emergent properties of networks of hashtags were explored to characterise visitors' preferences (e.g., cultural heritage or nature appreciation), activities (e.g., diving or hiking), preferred habitats and species (e.g. forest, beach, penguins), and feelings (e.g., happiness or place identity). Network analysis on Instagram hashtags allowed delineating the users' discourse around a natural area, which provides crucial information for effective management of popular natural spaces for people.


title: Electron-phonon interaction in Kondo lattice systems

abstract: We study ground state properties of the Kondo lattice model with an electron-phonon interaction. The ground state is proved to be unique; in addition, the total spin of the ground state is determined according to the lattice structure. To prove the assertions, an extension of the method of spin reflection positivity is given in terms of order preserving operator inequalities.


title: Improving Results on Russian Sentiment Datasets

abstract: In this study, we test standard neural network architectures (CNN, LSTM, BiLSTM) and recently appeared BERT architectures on previous Russian sentiment evaluation datasets. We compare two variants of Russian BERT and show that for all sentiment tasks in this study the conversational variant of Russian BERT performs better. The best results were achieved by BERT-NLI model, which treats sentiment classification tasks as a natural language inference task. On one of the datasets, this model practically achieves the human level.


title: Static symmetric solutions of the semi-classical Einstein-Klein-Gordon system

abstract: We consider solutions of the semi-classical Einstein-Klein-Gordon system with a cosmological constant $\Lambda\in\mathbb{R}$, where the spacetime is given by Einstein's static metric on $\mathbb{R}\times\mathbb{S}^3$ with a round sphere of radius $a>0$ and the state of the scalar quantum field has a two-point distribution $\omega_2$ that respects all the symmetries of the metric. We assume that the mass $m\ge0$ and scalar curvature coupling $\xi\in\mathbb{R}$ of the field satisfy $m^2+\xi R>0$, which entails the existence of a ground state. We do not require states to be Hadamard or quasi-free, but the quasi-free solutions are characterised in full detail. The set of solutions of the semi-classical Einstein-Klein-Gordon system depends on the choice of the parameters $(a,\Lambda,m,\xi)$ and on the renormalisation constants in the renormalised stress tensor of the scalar field. We show that the set of solutions is either (i) the empty set, or (ii) the singleton set containing only the ground state, or (iii) a set with infinitely many elements. We characterise the ranges of the parameters and renormalisation constants where each of these alternatives occur. We also show that all quasi-free solutions are given by density matrices in the ground state representation and we show that in cases (ii) and (iii) there is a unique quasi-free solution which minimises the von Neumann entropy. When $m=0$ this unique state is a $\beta$-KMS state. We argue that all these conclusions remain valid in the reduced order formulation of the semi-classical Einstein equation.


title: Near horizon local instability and quantum thermality

abstract: We revisit our previous proposed conjecture -- horizon creates a local instability which acts as the source of quantum temperature of black hole. It is found that a chargesless massless particle moving along the null trajectory in Eddington-Finkelstein (EF) coordinates feels instability in the vicinity of the horizon. Such instability is observer independent for this particle motion. Moreover, an observer associated to EF coordinates finds the local Hamiltonian as $xp$ where $p$ is the canonical momentum corresponding the coordinate $x$. Finally, using this Hamiltonian we notice that at the quantum level this class of observers feel the horizon as thermal object with temperature is given by the Hawking expression. We provide this by using various techniques in quantum mechanics and thereby bolstered our earlier claim -- the automatic local instability can be a mechanism for emerging horizon as a thermal object. In this process, the present analysis provides another set of coordinates (namely EF frame), in addition to our earlier Painleve ones, in which the null trajectory of the massless particle is governed by $xp$ type Hamiltonian in near the horizon regime.

categories: gr-qc hep-th nlin.CD physics.class-ph quant-ph


title: Deep frequency principle towards understanding why deeper learning is faster

abstract: Understanding the effect of depth in deep learning is a critical problem. In this work, we utilize the Fourier analysis to empirically provide a promising mechanism to understand why feedforward deeper learning is faster. To this end, we separate a deep neural network, trained by normal stochastic gradient descent, into two parts during analysis, i.e., a pre-condition component and a learning component, in which the output of the pre-condition one is the input of the learning one. We use a filtering method to characterize the frequency distribution of a high-dimensional function. Based on experiments of deep networks and real dataset, we propose a deep frequency principle, that is, the effective target function for a deeper hidden layer biases towards lower frequency during the training. Therefore, the learning component effectively learns a lower frequency function if the pre-condition component has more layers. Due to the well-studied frequency principle, i.e., deep neural networks learn lower frequency functions faster, the deep frequency principle provides a reasonable explanation to why deeper learning is faster. We believe these empirical studies would be valuable for future theoretical studies of the effect of depth in deep learning.


title: On the Impact of Lossy Image and Video Compression on the Performance of Deep Convolutional Neural Network Architectures

abstract: Recent advances in generalized image understanding have seen a surge in the use of deep convolutional neural networks (CNN) across a broad range of image-based detection, classification and prediction tasks. Whilst the reported performance of these approaches is impressive, this study investigates the hitherto unapproached question of the impact of commonplace image and video compression techniques on the performance of such deep learning architectures. Focusing on the JPEG and H.264 (MPEG-4 AVC) as a representative proxy for contemporary lossy image/video compression techniques that are in common use within network-connected image/video devices and infrastructure, we examine the impact on performance across five discrete tasks: human pose estimation, semantic segmentation, object detection, action recognition, and monocular depth estimation. As such, within this study we include a variety of network architectures and domains spanning end-to-end convolution, encoder-decoder, region-based CNN (R-CNN), dual-stream, and generative adversarial networks (GAN). Our results show a non-linear and non-uniform relationship between network performance and the level of lossy compression applied. Notably, performance decreases significantly below a JPEG quality (quantization) level of 15% and a H.264 Constant Rate Factor (CRF) of 40. However, retraining said architectures on pre-compressed imagery conversely recovers network performance by up to 78.4% in some cases. Furthermore, there is a correlation between architectures employing an encoder-decoder pipeline and those that demonstrate resilience to lossy image compression. The characteristics of the relationship between input compression to output task performance can be used to inform design decisions within future image/video devices and infrastructure.


title: 3D Ising Model: a view from the Conformal Bootstrap Island

abstract: We explain how the axioms of Conformal Field Theory are used to make predictions about critical exponents of continuous phase transitions in three dimensions, via a procedure called the conformal bootstrap. The method assumes conformal invariance of correlation functions, and imposes some relations between correlation functions of different orders. Numerical analysis shows that these conditions are incompatible unless the critical exponents take particular values, or more precisely that they must belong to a small island in the parameter space.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.PR math.QA


title: Temperature dependent diamagnetic-paramagnetic transitions in metal/semiconductor quantum rings

abstract: We present theoretical studies of temperature dependent diamagnetic-paramagnetic transitions in thin quantum rings. Our studies show that the magnetic susceptibility of metal/semiconductor rings can exhibit multiple sign flips at intermediate and high temperatures depending on the number of conduction electrons in the ring ($N$) and whether or not spin effects are included. When the temperature is increased from absolute zero, the susceptibility begins to flip sign above a characteristic temperature that scales inversely with the number of electrons according to $N^{-1}$ or $N^{-1/2}$, depending on the presence of spin effects and the value of $N\,\mathrm{mod}\,4$. Analytical results are derived for the susceptibility in the low and high temperature limits, explicitly showing the spin effects on the ring Curie constant.


title: Analysis of large deflections of prominence-CME events during the rising phase of solar cycle 24

abstract: Motivated by the need to improve the ability to forecast whether a certain coronal mass ejection (CME) is to impact Earth, and by the insufficiency of statistical studies that analyze the whole erupting system with the focus on the governing conditions under CME deflections, we performed a careful analysis of 13 events along a one-year time interval showing large deflections from their source region. We used telescopes imaging the solar corona at different heights and wavelengths on board the Project for Onboard Autonomy 2 (PROBA2), Solar Dynamics Observatory (SDO), Solar TErrestrial RElations Observatory (STEREO), Solar and Heliospheric Observatory (SOHO) spacecraft and from National Solar Observatory (NSO). By taking advantage of the quadrature position of these spacecraft from October 2010 until September 2011, we inspected the 3D trajectory of CMEs and their associated prominences with respect to their solar sources by means of a tie-pointing tool and a forward model. Considering the coronal magnetic fields as computed from a potential field source surface model, we investigate the roles of magnetic energy distribution and kinematic features in the non-radial propagation of both structures. The magnetic environment present during the eruption is found to be crucial in determining the trajectory of CMEs, in agreement with previous reports.


title: CovMUNET: A Multiple Loss Approach towards Detection of COVID-19 from Chest X-ray

abstract: The recent outbreak of COVID-19 has halted the whole world, bringing a devastating effect on public health, global economy, and educational systems. As the vaccine of the virus is still not available, the most effective way to combat the virus is testing and social distancing. Among all other detection techniques, the Chest X-ray (CXR) based method can be a good solution for its simplicity, rapidity, cost, efficiency, and accessibility. In this paper, we propose CovMUNET, which is a multiple loss deep neural network approach to detect COVID-19 cases from CXR images. Extensive experiments are performed to ensure the robustness of the proposed algorithm and the performance is evaluated in terms of precision, recall, accuracy, and F1-score. The proposed method outperforms the state-of-the-art approaches with an accuracy of 96.97% for 3-class classification (COVID-19 vs normal vs pneumonia) and 99.41% for 2-class classification (COVID vs non-COVID). The proposed neural architecture also successfully detects the abnormality in CXR images.


title: Coding Practices and Recommendations of Spring Security for Enterprise Applications

abstract: Spring security is tremendously popular among practitioners for its ease of use to secure enterprise applications. In this paper, we study the application framework misconfiguration vulnerabilities in the light of Spring security, which is relatively understudied in the existing literature. Towards that goal, we identify 6 types of security anti-patterns and 4 insecure vulnerable defaults by conducting a measurement-based approach on 28 Spring applications. Our analysis shows that security risks associated with the identified security anti-patterns and insecure defaults can leave the enterprise application vulnerable to a wide range of high-risk attacks. To prevent these high-risk attacks, we also provide recommendations for practitioners. Consequently, our study has contributed one update to the official Spring security documentation while other security issues identified in this study are being considered for future major releases by Spring security community.


title: K-stability of cubic fourfolds

abstract: We prove that the K-moduli space of cubic fourfolds is identical to their GIT moduli space. More precisely, the K-(semi/poly)stability of cubic fourfolds coincide to the corresponding GIT stabilities, which was studied in detail by Laza. In particular, this implies that all smooth cubic fourfolds admit K\"ahler-Einstein metrics. Key ingredients are local volume estimates in dimension three due to Liu-Xu, and Ambro-Kawamata's non-vanishing theorem for Fano fourfolds.


title: Label-Only Membership Inference Attacks

abstract: Membership inference attacks are one of the simplest forms of privacy leakage for machine learning models: given a data point and model, determine whether the point was used to train the model. Existing membership inference attacks exploit models' abnormal confidence when queried on their training data. These attacks do not apply if the adversary only gets access to models' predicted labels, without a confidence measure. In this paper, we introduce label-only membership inference attacks. Instead of relying on confidence scores, our attacks evaluate the robustness of a model's predicted labels under perturbations to obtain a fine-grained membership signal. These perturbations include common data augmentations or adversarial examples. We empirically show that our label-only membership inference attacks perform on par with prior attacks that required access to model confidences. We further demonstrate that label-only attacks break multiple defenses against membership inference attacks that (implicitly or explicitly) rely on a phenomenon we call confidence masking. These defenses modify a model's confidence scores in order to thwart attacks, but leave the model's predicted labels unchanged. Our label-only attacks demonstrate that confidence-masking is not a viable defense strategy against membership inference. Finally, we investigate worst-case label-only attacks, that infer membership for a small number of outlier data points. We show that label-only attacks also match confidence-based attacks in this setting. We find that training models with differential privacy and (strong) L2 regularization are the only known defense strategies that successfully prevents all attacks. This remains true even when the differential privacy budget is too high to offer meaningful provable guarantees.


title: A Single-Letter Upper Bound on the Mismatch Capacity via Multicast Transmission

abstract: We introduce a new analysis technique to derive a single-letter upper bound on the mismatch capacity of a stationary, single-user, memoryless channel with a decoding metric $q$. Our bound is obtained by considering a multicast transmission over a two-user broadcast channel with decoding metrics $q$ and $\rho$ at the receivers, referred to as $(q,\rho)$-surely degraded. This channel has the property that the intersection event of correct $q$-decoding of receiver $1$ and erroneous $\rho$-decoding of receiver $2$ has zero probability for any fixed-composition codebook of a certain composition $P$. Our bound holds in the strong converse sense of an exponential decay of the probability of correct decoding at rates above the bound. Further, we refine the proof and present a bound that is at least as tight as that of any choice of $\rho$. Several examples that demonstrate the strict improvement of our bound compared to previous results are analyzed. Finally, we detect equivalence classes of isomorphic channel-metric pairs $(W,q)$ that share the same mismatch capacity. We prove that if the class contains a matched pair, then our bound is tight and the mismatch capacity of the entire class is fully characterized and is equal to the LM rate, which is achievable by random coding, and may be strictly lower that the matched capacity.


title: On the Stampfli point of some operators and matrices

abstract: The center of mass of an operator $A$ (denoted St($A$), and called in this paper as the {\em Stampfli point} of A) was introduced by Stampfli in his Pacific J. Math (1970) paper as the unique $\lambda\in\mathbb C$ delivering the minimum value of the norm of $A-\lambda I$. We derive some results concerning the location of St($A$) for several classes of operators, including 2-by-2 block operator matrices with scalar diagonal blocks and 3-by-3 matrices with repeated eigenvalues. We also show that for almost normal $A$ its Stampfli point lies in the convex hull of the spectrum, which is not the case in general. Some relations between the property St($A$)=0 and Roberts orthogonality of $A$ to the identity operator are established.


title: Arithmetic Progressions of Squares and Multiple Dirichlet Series

abstract: We study a Dirichlet series in two variables which counts primitive three-term arithmetic progressions of squares. We show that this multiple Dirichlet series has meromorphic continuation to $\mathbb{C}^2$ and use Tauberian methods to obtain counts for arithmetic progressions of squares and rational points on $x^2+y^2=2$.


title: Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints

abstract: This paper studies optimal motion planning subject to motion and environment uncertainties. By modeling the system as a probabilistic labeled Markov decision process (PL-MDP), the control objective is to synthesize a finite-memory policy, under which the agent satisfies complex high-level tasks expressed as linear temporal logic (LTL) with desired satisfaction probability. In particular, the cost optimization of the trajectory that satisfies infinite horizon tasks is considered, and the trade-off between reducing the expected mean cost and maximizing the probability of task satisfaction is analyzed. Instead of using traditional Rabin automata, the LTL formulas are converted to limit-deterministic B\"uchi automata (LDBA) with a reachability acceptance condition and a compact graph structure. The novelty of this work lies in considering the cases where LTL specifications can be potentially infeasible and developing a relaxed product MDP between PL-MDP and LDBA. The relaxed product MDP allows the agent to revise its motion plan whenever the task is not fully feasible and quantify the revised plan's violation measurement. A multi-objective optimization problem is then formulated to jointly consider the probability of task satisfaction, the violation with respect to original task constraints, and the implementation cost of the policy execution. The formulated problem can be solved via coupled linear programs. To the best of our knowledge, this work first bridges the gap between probabilistic planning revision of potential infeasible LTL specifications and optimal control synthesis of both plan prefix and plan suffix of the trajectory over the infinite horizons. Experimental results are provided to demonstrate the effectiveness of the proposed framework.


title: A survey of cardinality bounds on homogeneous topological spaces

abstract: In this survey we catalogue the many results of the past several decades concerning bounds on the cardinality of a topological space with homogeneous or homogeneous-like properties. These results include van Douwen's Theorem, which states $|X|\leq 2^{\pi w(X)}$ if $X$ is a power homogeneous Hausdorff space, and its improvements $|X|\leq d(X)^{\pi\chi(X)}$ and $|X|\leq 2^{c(X)\pi\chi(X)}$ for spaces $X$ with the same properties. We also discuss de la Vega's Theorem, which states that $|X|\leq 2^{t(X)}$ if $X$ is a homogeneous compactum, as well as its recent improvements and generalizations to other settings. This reference document also includes a table of strongest known cardinality bounds on spaces with homogeneous-like properties. The author has chosen to give some proofs if they exhibit typical or fundamental proof techniques. Finally, a few new results are given, notably (1) $|X|\leq d(X)^{\pi n\chi(X)}$ if $X$ is homogeneous and Hausdorff, and (2) $|X|\leq \pi\chi(X)^{c(X)q\psi(X)}$ if $X$ is a regular homogeneous space. The invariant $\pi n\chi(X)$, defined in this paper, has the property $\pi n\chi(X)\leq\pi\chi(X)$ and thus (1) improves the bound $d(X)^{\pi\chi(X)}$ for homogeneous Hausdorff spaces. The invariant $q\psi(X)$ has the properties $q\psi(X)\leq\pi\chi(X)$ and $q\psi(X)\leq\psi_c(X)$ if $X$ is Hausdorff, thus (2) improves the bound $2^{c(X)\pi\chi(X)}$ in the regular, homogeneous setting.


title: A homotopical Skolem--Noether theorem

abstract: The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector bundles. The Derived Skolem--Noether Theorem [Lieblich, 09] generalizes this result to weak algebras in the derived 1-category locally quasi-isomorphic to derived endomorphism algebras of perfect complexes. We show that in general for a co-family $\mathscr C^\otimes$ of presentable monoidal quasi-categories with descent over a quasi-category with a Grothendieck topology, there is a fibre sequence giving in particular the above correspondences. For a totally supported perfect complex $E$ over a quasi-compact and quasi-separated scheme $X$, the long exact sequence on homotopy group sheaves splits giving equalities $\pi_i(\mathop{\mathrm{Aut}}_{\mathop{\mathrm{Perf}}} E,\mathrm{id}_E)=\pi_i(\mathop{\mathrm{Aut}}_{\mathop{\mathrm{Alg}}\mathop{\mathrm{Perf}}}\mathop{\mathbf R\mathrm{End} E},\mathrm{id}_{\mathop{\mathbf R\mathrm{End} E}})$ for $i\ge1$. Further applications include complexes in Derived Algebraic Geometry, module spectra in Spectral Algebraic Geometry and ind-coherent sheaves and crystals in Derived Algeraic Geometry in characteristic 0.


title: A decomposition formula for fractional Heston jump diffusion models

abstract: We present an option pricing formula for European options in a stochastic volatility model. In particular, the volatility process is defined using a fractional integral of a diffusion process and both the stock price and the volatility processes have jumps in order to capture the market effect known as leverage effect. We show how to compute a martingale representation for the volatility process. Finally, using It\^o calculus for processes with discontinuous trajectories, we develop a first order approximation formula for option prices. There are two main advantages in the usage of such approximating formulas to traditional pricing methods. First, to improve computational effciency, and second, to have a deeper understanding of the option price changes in terms of changes in the model parameters.


title: On the use of GNSS for Automatic Detection of Attenuating Environments

abstract: When different radio applications share the same spectrum, the separation by attenuating material is a way to mitigate potential interference. The indoor restriction for WLAN devices in 5150-5350 MHz is an example for a regulatory measure that aims at having WLAN devices operating in an environment that provides sufficient attenuation to enable sharing with other services. In this paper we investigate whether an attenuating environment can be automatically detected without user interaction. Instead of detecting an indoor location, we are directly looking for a detection of an attenuating environment. The basic idea is that signals from global navigation satellite services (GNSS) can be received practically everywhere on earth where there is a view to the sky. Where these signals are attenuated, the receiving device is assumed to be in an attenuating environment. In order to characterize such environment, we evaluate the detectable GNSS satellites and their carrier-to-noise density. Example measurements show that GNSS raw data can help to distinguish between low-attenuating locations and higher-attenuating locations. These measurements were conducted with GNSS receiver in an off-the-shelf Android tablet in order to show the feasibility of the approach.


title: An Ensemble Scheme for Proactive Data Allocation in Distributed Datasets

abstract: The advent of the Internet of Things (IoT) gives the opportunity to numerous devices to interact with their environment, collect and process data. Data are transferred, in an upwards mode, to the Cloud through the Edge Computing (EC) infrastructure. A high number of EC nodes become the hosts of distributed datasets where various processing activities can be realized in close distance with end users. This approach can limit the latency in the provision of responses. In this paper, we focus on a model that proactively decides where the collected data should be stored in order to maximize the accuracy of datasets present at the EC infrastructure. We consider that the accuracy is defined by the solidity of datasets exposed as the statistical resemblance of data. We argue upon the similarity of the incoming data with the available datasets and select the most appropriate of them to store the new information. For alleviating processing nodes from the burden of a continuous, complicated statistical processing, we propose the use of synopses as the subject of the similarity process. The incoming data are matched against the available synopses based on an ensemble scheme, then, we select the appropriate host to store them and perform the update of the corresponding synopsis. We provide the description of the problem and the formulation of our solution. Our experimental evaluation targets to reveal the performance of the proposed approach.


title: Sensitivity reach of gamma-ray measurements for strong cosmological magnetic fields

abstract: A primordial magnetic field with the strength in the 1-10 pG range can resolve the tension between different measurements of the Hubble constant and provide an explanation for the excess opacity in the 21 cm line at redshift $15<z<20$, if it is present during the recombination and reionization epochs. This field can also survive in the voids of the large-scale Structure in the present day universe. We study the sensitivity reach of the gamma-ray technique for measurement of such relatively strong cosmological magnetic field using deep exposure(s) of the nearest hard spectrum blazar(s) with CTA telescopes. We show that the gamma-ray measurement method can sense the primordial magnetic field with a strength of up to $10^{-11}$~G. Combination of the cosmic microwave background and gamma-ray constraints can thus sense the full range of possible cosmological magnetic fields to confirm or rule out their relevance to the problem of the origin of cosmic magnetic fields, as well as their influence on recombination and reionization epochs.


title: Nonorientable surfaces bounded by knots: a geography problem

abstract: The nonorientable 4-genus is an invariant of knots which has been studied by many authors, including Gilmer and Livingston, Batson, and Ozsv\'{a}th, Stipsicz, and Szab\'{o}. Given a nonorientable surface $F \subset B^4$ with $\partial F = K\subset S^3$ a knot, an analysis of the existing methods for bounding and computing the nonorientable 4-genus reveals relationships between the first Betti number $\beta_1$ of $F$ and the normal Euler class $e$ of $F$. This relationship yields a geography problem: given a knot $K$, what is the set of realizable pairs $(e(F), \beta_1(F))$ where $F\subset B^4$ is a nonorientable surface bounded by $K$? We explore this problem for families of torus knots. In addition, we use the Ozsv\'ath-Szab\'o $d$-invariant of two-fold branched covers to give finer information on the geography problem. We present an infinite family of knots where this information provides an improvement upon the bound given by Ozsv\'ath, Stipsicz, and Szab\'o using the Upsilon invariant.


title: A Hybrid Approach to Audio-to-Score Alignment

abstract: Audio-to-score alignment aims at generating an accurate mapping between a performance audio and the score of a given piece. Standard alignment methods are based on Dynamic Time Warping (DTW) and employ handcrafted features. We explore the usage of neural networks as a preprocessing step for DTW-based automatic alignment methods. Experiments on music data from different acoustic conditions demonstrate that this method generates robust alignments whilst being adaptable at the same time.


title: Rigidity of compact Fuchsian manifolds with convex boundary

abstract: A compact Fuchsian manifold with boundary is a hyperbolic 3-manifold homeomorphic to $S_g \times [0; 1]$ such that the boundary component $S_g \times \{ 0\}$ is geodesic. We prove that a compact Fuchsian manifold with convex boundary is uniquely determined by the induced path metric on $S_g \times \{1\}$. We do not put further restrictions on the boundary except convexity.


title: Constraints on the distance duality relation with standard sirens

abstract: We use gravitational wave (GW) standard sirens, in addition to Type Ia supernovae (SNIa) and baryon acoustic oscillation (BAO) mock data, to forecast constraints on the electromagnetic and gravitational distance duality relations (DDR). We make use of a parameterised approach based on a specific DDR violation model, along with a machine learning reconstruction method based on the Genetic Algorithms. We find that GW provide an alternative to the use of BAO data to constrain violations of the DDR, reaching $3\%$ constraints on the violation parameter we consider when combined with SNIa, which is only improved by a factor of $\approx1.4$ if one instead considers the combination of BAO and SNIa. We also investigate the possibility that a neglected modification of gravity might lead to a false detection of DDR violations, even when screening mechanisms are active. We find that such a false detection can be extremely significant, up to $\approx10\sigma$ for very extreme modified gravity scenarios, while this reduces to $\approx4\sigma$ in a more realistic case. False detections can also provide a smoking gun for the modified gravity mechanism at play, as a result of the tension introduced between the SNIa+GW and SNIa+BAO combinations.


title: Mining Time-Stamped Electronic Health Records Using Referenced Sequences

abstract: Electronic Health Records (EHRs) are typically stored as time-stamped encounter records. Observing temporal relationship between medical records is an integral part of interpreting the information. Hence, statistical analysis of EHRs requires that clinically informed time-interdependent analysis variables (TIAV) be created. Often, formulation and creation of these variables are iterative and requiring custom codes. We describe a technique of using sequences of time-referenced entities as the building blocks for TIAVs. These sequences represent different aspects of patient's medical history in a contiguous fashion. To illustrate the principles and applications of the method, we provide examples using Veterans Health Administration's research databases. In the first example, sequences representing medication exposure were used to assess patient selection criteria for a treatment comparative effectiveness study. In the second example, sequences of Charlson Comorbidity conditions and clinical settings of inpatient or outpatient were used to create variables with which data anomalies and trends were revealed. The third example demonstrated the creation of an analysis variable derived from the temporal dependency of medication exposure and comorbidity. Complex time-interdependent analysis variables can be created from the sequences with simple, reusable codes, hence enable unscripted or automation of TIAV creation.


title: On the structure of parasitic gravity-capillary waves in the small surface tension limit

abstract: In this paper, we examine the formation of small capillary waves (parasitic ripples) on the surface of steep steadily-travelling gravity waves. Previously, authors have developed ad-hoc analytical procedures for describing the formation of such parasitic ripples in potential flows; however, it has not been clear whether the small-surface tension limit is well-posed -- that is, whether it is possible for an appropriate travelling gravity-capillary wave to be continuously deformed to the classic Stokes wave in the limit of vanishing surface tension. The work of Chen & Saffman (1980) had suggested smooth continuation was not possible. In this paper, we numerically explore the low surface tension limit of the steep gravity-capillary travelling-wave problem. Our results allow for a classification of the bifurcation structure that arises, and serve to unify a number of previous numerical studies. Crucially, we demonstrate that different choices of solution amplitude can lead to subtle restrictions on the continuation procedure; the use of wave energy as an amplitude condition allows solution branches to be continuously deformed to the zero surface tension limit.


title: Quantifying the efficiency of state preparation via quantum variational eigensolvers

abstract: Recently, there has been much interest in the efficient preparation of complex quantum states using low-depth quantum circuits, such as Quantum Approximate Optimization Algorithm (QAOA). While it has been numerically shown that such algorithms prepare certain correlated states of quantum spins with surprising accuracy, a systematic way of quantifying the efficiency of QAOA in general classes of models has been lacking. Here, we propose that the success of QAOA in preparing ordered states is related to the interaction distance of the target state, which measures how close that state is to the manifold of all Gaussian states in an arbitrary basis of single-particle modes. We numerically verify this for several examples of non-integrable quantum models, including Ising models with two- and three-spin interactions and the cluster model in an external field. Our results suggest that the structure of the entanglement spectrum, as witnessed by the interaction distance, correlates with the success of QAOA state preparation, and that this correlation also contains information about different phases present in the model. We conclude that QAOA typically finds a solution that perturbs around the closest free-fermion state.


title: The Satisfactory Partition Problem

abstract: The Satisfactory Partition problem consists in deciding if the set of vertices of a given undirected graph can be partitioned into two nonempty parts such that each vertex has at least as many neighbours in its part as in the other part. This problem was introduced by Gerber and Kobler [European J. Oper. Res. 125 (2000) 283-291] and further studied by other authors, but its parameterized complexity remains open until now. It is known that the Satisfactory Partition problem, as well as a variant where the parts are required to be of the same cardinality, are NP-complete. We enhance our understanding of the problem from the viewpoint of parameterized complexity by showing that (1) the problem is FPT when parameterized by the neighbourhood diversity of the input graph, (2) it can be solved in $O(n^{8 {\tt cw}})$ where ${\tt cw}$ is the clique-width,(3) a generalized version of the problem is W[1]-hard when parameterized by the treewidth.


title: Automation and control of laser wakefield accelerators using Bayesian optimisation

abstract: Laser wakefield accelerators promise to revolutionise many areas of accelerator science. However, one of the greatest challenges to their widespread adoption is the difficulty in control and optimisation of the accelerator outputs due to coupling between input parameters and the dynamic evolution of the accelerating structure. Here, we use machine learning techniques to automate a 100 MeV-scale accelerator, which optimised its outputs by simultaneously varying up to 6 parameters including the spectral and spatial phase of the laser and the plasma density and length. Most notably, the model built by the algorithm enabled optimisation of the laser evolution that might otherwise have been missed in single-variable scans. Subtle tuning of the laser pulse shape caused an 80% increase in electron beam charge, despite the pulse length changing by just 1%.


title: Thermodynamics of interacting single-domain superparamagnetic nanoparticles frozen in the nodes of a regular cubic lattice

abstract: In this work, we study the effect of dipole-dipole interparticle interactions on the static thermodynamic and magnetic properties of an ensemble of immobilized monodisperse superparamagnetic nanoparticles. We assume that magnetic nanoparticles are embedded in the nodes of a regular cubic lattice, so that the particle translational degrees of freedom are turned off. The relaxation of the magnetic moments of the nanoparticles occurs by the Neel mechanism. The easy axes are aligned (i) parallel or (ii) perpendicular to the direction of an external field. These models are investigated using theory and computer simulation, taking microscopic discrete structure explicitly into account. The analytical expressions of the Helmholtz free energy, the static magnetization, and the initial magnetic susceptibility are derived for both configurations (i) and (ii) as functions of the height of the magnetic crystallographic anisotropy energy barrier, measured by parameter $\sigma$, and the intensity of the dipole-dipole interparticle interactions measured by $\lambda_e$. A good agreement between the theory and the results of MC simulations in the region of low and moderate values of $\lambda_e$ and $\sigma$ is obtained. For high values of $\lambda_e$ and $\sigma$, the structuring of magnetic moments in regularly orientated structures was found from MC simulations for configuration (i).


title: Harvesting Energy from Sun, Outer Space, and Soil

abstract: While solar power systems have offered a wide variety of electricity generation approaches including photovoltaics, solar thermal power systems, and solar thermoelectric generators, the ability of generating electricity at both the daytime and nighttime with no necessity of energy storage still remains challenging. Here, we propose and verify a strategy of harvesting solar energy by solar heating during the daytime and harnessing the coldness of the outer space through radiative cooling to produce electricity at night using a commercial thermoelectric module. It enables electricity generation for 24 hours a day. We experimentally demonstrate a peak power density of 37 mW/m2 at night and a peak value of 723 mW/m2 during the daytime. A theoretical model that accurately predicts the performance of the device is developed and validated. The feature of 24-hour electricity generation shows great potential energy applications of off-grid and battery-free lighting and sensing.


title: A projected super-penalty method for the $C^1$-coupling of multi-patch isogeometric Kirchhoff plates

abstract: This work focuses on the development of a super-penalty strategy based on the $L^2$-projection of suitable coupling terms to achieve $C^1$-continuity between non-conforming multi-patch isogeometric Kirchhoff plates. In particular, the choice of penalty parameters is driven by the underlying perturbed saddle point problem from which the Lagrange multipliers are eliminated and is performed to guarantee the optimal accuracy of the method. Moreover, by construction, the method does not suffer from locking also on very coarse meshes. We demonstrate the applicability of the proposed coupling algorithm to Kirchhoff plates by studying several benchmark examples discretized by non-conforming meshes. In all cases, we recover the optimal rates of convergence achievable by B-splines where we achieve a substantial gain in accuracy per degree-of-freedom compared to other choices of the penalty parameters.


title: Differential exponential topological fields

abstract: We axiomatize a class of existentially closed exponential fields equipped with an $E$-derivation. We apply our results to the field of real numbers endowed with $exp(x)$ the classical exponential function defined by its power series expansion and to the field of p-adic numbers endowed with the function $exp(px)$ defined on the $p$-adic integers where $p$ is a prime number strictly bigger than $2$ (or with $exp(4x)$ when $p=2$).


title: Lattice Theoretic Properties of Aprroximating Ideals

abstract: It is proved that a finite intersection of special preenveloping ideals in an exact category $({\mathcal A}; {\mathcal E})$ is a special preenveloping ideal. Dually, a finite intersection of special precovering ideals is a special precovering ideal. A counterexample of Happel and Unger shows that the analogous statement about special preenveloping subcategories does not hold in classical approximation theory. If the exact category has exact coproducts, resp., exact products, these results extend to intersections of infinite families of special peenveloping, resp., special precovering, ideals. These techniques yield the Bongartz-Eklof-Trlifaj Lemma: if $a \colon A \to B$ is a morphism in ${\mathcal A},$ then the ideal $a^{\perp}$ is special preenveloping. This is an ideal version of the Eklof-Trlifaj Lemma, but the proof is based on that of Bongartz' Lemma. The main consequence is that the ideal cotorsion pair generated by a small ideal is complete.


title: Algorithmic Fractal Dimensions in Geometric Measure Theory

abstract: The development of algorithmic fractal dimensions in this century has had many fruitful interactions with geometric measure theory, especially fractal geometry in Euclidean spaces. We survey these developments, with emphasis on connections with computable functions on the reals, recent uses of algorithmic dimensions in proving new theorems in classical (non-algorithmic) fractal geometry, and directions for future research.


title: Blackbody-cavity Ideal Solar Absorbers

abstract: Spectrally selective solar absorbers (SSAs), harvesting sunlight into heat, are the key to the concentrated solar thermal systems. Current SSAs' designs using photonic crystals, metamaterials, or cermets are either cost-inefficient or have limited applicability due to complicated nanofabrication methods and poor thermal stability at high temperatures. We present a scalable-manufactured blackbody cavity solar absorber design with nearly ideal properties. The unity solar absorptivity and nearly zero infrared emissivity allow for a stagnation temperature of 880C under 10 suns. The performance surpasses those state-of-the-art SSAs manufactured by nanofabrication methods. This design relies on traditional fabricating methods, such as machining, casting, and polishing. This makes it easy for large-scale industrial applications, and the "blackbody cavity" feature enables its fast-integration to existing concentrated solar thermal systems.


title: SN 2018zd: An Unusual Stellar Explosion as Part of the Diverse Type II Supernova Landscape

abstract: We present extensive observations of SN 2018zd covering the first $\sim450$\,d after the explosion. This SN shows a possible shock-breakout signal $\sim3.6$\,hr after the explosion in the unfiltered light curve, and prominent flash-ionisation spectral features within the first week. The unusual photospheric temperature rise (rapidly from $\sim 12,000$\,K to above 18,000\,K) within the earliest few days suggests that the ejecta were continuously heated. Both the significant temperature rise and the flash spectral features can be explained with the interaction of the SN ejecta with the massive stellar wind ($0.18^{+0.05}_{-0.10}\, \rm M_{\odot}$), which accounts for the luminous peak ($L_{\rm max} = [1.36\pm 0.63] \times 10^{43}\, \rm erg\,s^{-1}$) of SN 2018zd. The luminous peak and low expansion velocity ($v \approx 3300$ km s$^{-1}$) make SN 2018zd to be like a member of the LLEV (luminous SNe II with low expansion velocities) events originated due to circumstellar interaction. The relatively fast post-peak decline allows a classification of SN 2018zd as a transition event morphologically linking SNe~IIP and SNe~IIL. In the radioactive-decay phase, SN 2018zd experienced a significant flux drop and behaved more like a low-luminosity SN~IIP both spectroscopically and photometrically. This contrast indicates that circumstellar interaction plays a vital role in modifying the observed light curves of SNe~II. Comparing nebular-phase spectra with model predictions suggests that SN 2018zd arose from a star of $\sim 12\,\rm M_{\odot}$. Given the relatively small amount of $^{56}$Ni ($0.013 - 0.035 \rm M_{\odot}$), the massive stellar wind, and the faint X-ray radiation, the progenitor of SN 2018zd could be a massive asymptotic giant branch star which collapsed owing to electron capture.


title: Unbounded operators having self-adjoint or normal powers and some related results

abstract: We show that a densely defined closable operator $A$ such that the resolvent set of $A^2$ is not empty is necessarily closed. This result is then extended to the case of a polynomial $p(A)$. We also generalize a recent result by Sebesty\'en-Tarcsay concerning the converse of a result by J. von Neumann. Other interesting consequences are also given, one of them being a proof that if $T$ is a quasinormal (unbounded) operator such that $T^n$ is normal for some $n\geq2$, then $T$ is normal. By a recent result by Pietrzycki-Stochel, we infer that a closed subnormal operator such that $T^n$ is normal, must be normal. Another remarkable result is the fact that a hyponormal operator $A$, bounded or not, such that $A^p$ and $A^q$ are self-adjoint for some co-prime numbers $p$ and $q$, is self-adjoint. It is also shown that an invertible operator (bounded or not) $A$ for which $A^p$ and $A^q$ are normal for some co-prime numbers $p$ and $q$, is normal. These two results are shown using B\'{e}zout's theorem in arithmetic.


title: Dive Deeper Into Box for Object Detection

abstract: Anchor free methods have defined the new frontier in state-of-the-art object detection researches where accurate bounding box estimation is the key to the success of these methods. However, even the bounding box has the highest confidence score, it is still far from perfect at localization. To this end, we propose a box reorganization method(DDBNet), which can dive deeper into the box for more accurate localization. At the first step, drifted boxes are filtered out because the contents in these boxes are inconsistent with target semantics. Next, the selected boxes are broken into boundaries, and the well-aligned boundaries are searched and grouped into a sort of optimal boxes toward tightening instances more precisely. Experimental results show that our method is effective which leads to state-of-the-art performance for object detection.


title: Autosegmental Neural Nets: Should Phones and Tones be Synchronous or Asynchronous?

abstract: Phones, the segmental units of the International Phonetic Alphabet (IPA), are used for lexical distinctions in most human languages; Tones, the suprasegmental units of the IPA, are used in perhaps 70%. Many previous studies have explored cross-lingual adaptation of automatic speech recognition (ASR) phone models, but few have explored the multilingual and cross-lingual transfer of synchronization between phones and tones. In this paper, we test four Connectionist Temporal Classification (CTC)-based acoustic models, differing in the degree of synchrony they impose between phones and tones. Models are trained and tested multilingually in three languages, then adapted and tested cross-lingually in a fourth. Both synchronous and asynchronous models are effective in both multilingual and cross-lingual settings. Synchronous models achieve lower error rate in the joint phone+tone tier, but asynchronous training results in lower tone error rate.


title: Multi-level Cross-modal Interaction Network for RGB-D Salient Object Detection

abstract: Depth cues with affluent spatial information have been proven beneficial in boosting salient object detection (SOD), while the depth quality directly affects the subsequent SOD performance. However, it is inevitable to obtain some low-quality depth cues due to limitations of its acquisition devices, which can inhibit the SOD performance. Besides, existing methods tend to combine RGB images and depth cues in a direct fusion or a simple fusion module, which makes they can not effectively exploit the complex correlations between the two sources. Moreover, few methods design an appropriate module to fully fuse multi-level features, resulting in cross-level feature interaction insufficient. To address these issues, we propose a novel Multi-level Cross-modal Interaction Network (MCINet) for RGB-D based SOD. Our MCI-Net includes two key components: 1) a cross-modal feature learning network, which is used to learn the high-level features for the RGB images and depth cues, effectively enabling the correlations between the two sources to be exploited; and 2) a multi-level interactive integration network, which integrates multi-level cross-modal features to boost the SOD performance. Extensive experiments on six benchmark datasets demonstrate the superiority of our MCI-Net over 14 state-of-the-art methods, and validate the effectiveness of different components in our MCI-Net. More important, our MCI-Net significantly improves the SOD performance as well as has a higher FPS.


title: Magnetic ordering of random dense packings of freely rotating dipoles

abstract: We study random dense packings of Heisenberg dipoles by numerical simulation. The dipoles are at the centers of identical spheres that occupy fixed random positions in space and fill a fraction $\Phi$ of the spatial volume. The parameter $\Phi$ ranges from rather low values, typical of amorphous ensembles, to the maximum $\Phi$=0.64 that occurs in the random-close-packed limit. We assume that the dipoles can freely rotate and have no local anisotropies. As well as the usual thermodynamical variables, the physics of such systems depends on $\Phi$. Concretely, we explore the magnetic ordering of these systems in order to depict the phase diagram in the temperature-$\Phi$ plane. For $\Phi \gtrsim0.49$ we find quasi-long-range ferromagnetic order coexisting with strong long-range spin-glass order. For $\Phi \lesssim0.49$ the ferromagnetic order disappears giving way to a spin-glass phase similar to the ones found for Ising dipolar systems with strong frozen disorder.


title: Detection and Segmentation of Custom Objects using High Distraction Photorealistic Synthetic Data

abstract: We show a straightforward and useful methodology for performing instance segmentation using synthetic data. We apply this methodology on a basic case and derived insights through quantitative analysis. We created a new public dataset: The Expo Markers Dataset intended for detection and segmentation tasks. This dataset contains 5,000 synthetic photorealistic images with their corresponding pixel-perfect segmentation ground truth. The goal is to achieve high performance on manually-gathered and annotated real-world data of custom objects. We do that by creating 3D models of the target objects and other possible distraction objects and place them within a simulated environment. Expo Markers were chosen for this task, fitting our requirements of a custom object due to the exact texture, size and 3D shape. An additional advantage is the availability of this object in offices around the world for easy testing and validation of our results. We generate the data using a domain randomization technique that also simulates other photorealistic objects in the scene, known as distraction objects. These objects provide visual complexity, occlusions, and lighting challenges to help our model gain robustness in training. We are also releasing our manually-gathered datasets used for comparison and evaluation of our synthetic dataset. This white-paper provides strong evidence that photorealistic simulated data can be used in practical real world applications as a more scalable and flexible solution than manually-captured data. Code is available at the following address: https://github.com/DataGenResearchTeam/expo_markers


title: A staggered-projection Godunov-type method for the Baer-Nunziato two-phase model

abstract: When describing the deflagration-to-detonation transition in solid granular explosives mixed with gaseous products of combustion, a well-developed two-phase mixture model is the compressible Baer-Nunziato (BN) model, containing solid and gas phases. If this model is numerically simulated by a conservative Godunov-type scheme, spurious oscillations are likely to generate from porosity interfaces, which may result from the average process of conservative variables that violates the continuity of Riemann invariants across porosity interfaces. In order to suppress the oscillations, this paper proposes a staggered-projection Godunov-type scheme over a fixed gas-solid staggered grid, by enforcing that solid contacts with porosity jumps are always inside gaseous grid cells and other discontinuities appear at gaseous cell interfaces. This scheme is based on a standard Godunov scheme for the Baer-Nunziato model on gaseous cells and guarantees the continuity of the Riemann invariants associated with the solid contact discontinuities across porosity jumps. While porosity interfaces are moving, a projection process fully takes into account the continuity of associated Riemann invariants and ensure that porosity jumps remain inside gaseous cells. This staggered-projection Godunov-type scheme is well-balanced with good numerical performance not only on suppressing spurious oscillations near porosity interfaces but also capturing strong discontinuities such as shocks.


title: Temperature scaling in nonequilibrium relaxation in three-dimensional Heisenberg model in the Swendsen-Wang and Metropolis algorithms

abstract: Recently, the present authors proposed the nonequilibrium-to-equilibrium scaling (NE-ES) scheme for critical Monte Carlo relaxation process, which scales relaxation data in the whole simulation-time regions regardless of functional forms, namely both for the stretched-exponential critical relaxation in cluster algorithms and for the power-law critical relaxation in local-update algorithms. In the present study, we generalize this scheme to off-critical relaxation process, and scale relaxation data for various temperatures in the whole simulation-time regions. This is the first proposal of the off-critical scaling in cluster algorithms, which cannot be described by the dynamical finite-size scaling theory based on the power-law critical relaxation. As an example, we investigate the three-dimensional Heisenberg model previously analyzed with the NE-ES [Y. Nonomura and Y. Tomita, Phys. Rev. E 93, 012101 (2016)] in the Swendsen-Wang and Metropolis algorithms.


title: Derivation of OTFS Modulation from First Principles

abstract: Orthogonal Time Frequency Space (OTFS) modulation has been recently proposed to be robust to channel induced Doppler shift in high mobility wireless communication systems. However, to the best of our knowledge, none of the prior works on OTFS have derived it from first principles. In this paper, using the ZAK representation of time-domain (TD) signals, we rigorously derive an orthonormal basis of approximately time and bandwidth limited signals which are also localized in the delay-Doppler (DD) domain. We then consider DD domain modulation based on this orthonormal basis, and derive OTFS modulation. To the best of our knowledge, this is the first paper to rigorously derive OTFS modulation from first principles. We show that irrespective of the amount of Doppler shift, the received DD domain basis signals are localized in a small interval of size roughly equal to the inverse time duration along the Doppler domain and of size roughly equal to the inverse bandwidth along the delay domain (time duration refers to the length of the time-interval where the TD transmit signal has been limited). With sufficiently large time duration and bandwidth, there is little interference between information symbols modulated on different basis signals, which allows for joint DD domain equalization of all information symbols. This explains the inherent robustness of DD domain modulation to channel induced Doppler shift when compared with Orthogonal Frequency Division Multiplexing (OFDM). The degree of localization of the DD domain basis signals is inversely related to the time duration of the transmit signal, which explains the trade-off between robustness to Doppler shift and latency.


title: Faster Game Solving via Predictive Blackwell Approachability: Connecting Regret Matching and Mirror Descent

abstract: Blackwell approachability is a framework for reasoning about repeated games with vector-valued payoffs. We introduce predictive Blackwell approachability, where an estimate of the next payoff vector is given, and the decision maker tries to achieve better performance based on the accuracy of that estimator. In order to derive algorithms that achieve predictive Blackwell approachability, we start by showing a powerful connection between four well-known algorithms. Follow-the-regularized-leader (FTRL) and online mirror descent (OMD) are the most prevalent regret minimizers in online convex optimization. In spite of this prevalence, the regret matching (RM) and regret matching+ (RM+) algorithms have been preferred in the practice of solving large-scale games (as the local regret minimizers within the counterfactual regret minimization framework). We show that RM and RM+ are the algorithms that result from running FTRL and OMD, respectively, to select the halfspace to force at all times in the underlying Blackwell approachability game. By applying the predictive variants of FTRL or OMD to this connection, we obtain predictive Blackwell approachability algorithms, as well as predictive variants of RM and RM+. In experiments across 18 common zero-sum extensive-form benchmark games, we show that predictive RM+ coupled with counterfactual regret minimization converges vastly faster than the fastest prior algorithms (CFR+, DCFR, LCFR) across all games but two of the poker games, sometimes by two or more orders of magnitude.


title: Robustly estimating the COVID19 epidemic curve in northern Italy using all-cause mortality

abstract: Background: Northern Italy was one of the most impacted areas by COVID. It is now widely assumed that the virus was silently spreading for at least 2 weeks before the first patient was identified. During this silent phase, and in the following weeks when the hospital system was overburdened, data collection was not performed in an accurate enough way to estimate an epidemic curve. With the aim of assessing both the dynamics of the introduction of the virus and the effectiveness of containment measures introduced, we try to reconstruct the epidemic curve using all cause mortality data. Methods: we collected all cause mortality data stratified by age from the national institute of statistics, together with COVID-related deaths data released by other government structures. Using a SEIR model together with estimates of the exposure to death time distribution, we fitted the reproduction number in different phases of the spread at regional level. Results: We estimate a reproduction number of 2.6+/-0.1 before case 1 was identified. School closures in Lombardy lowered it to 1.3. Soft lockdown measures resulted in R<0.8 and no further reductions were observed when a hard lockdown was introduced (e.g. Emilia-Romagna soft lockdown 0.67 +/-0.07, hard lockdown 0.69+/-0.071). Reproduction number for the >75 age range during hard lockdown are consistently higher than for the rest of the population (e.g. 0.98 vs 0.71 in Milan province), suggesting outbreaks in retirement facilities. Reproduction numbers in Bergamo and Brescia provinces starting from March 7th are markedly lower than in other areas with the same strict lockdown measures (Nearby provinces: 0.73, Brescia: 0.52, Bergamo 0.43) supporting the hypothesis that in those provinces a large percentage of the population had already been infected by the beginning of March.


title: On Inverses of Discrete Rough Hilbert Transforms

abstract: We describe the structure of the resolvent of the discrete rough truncated Hilbert transform under the critical exponent. This extends the results obtained in [8].


title: Assessing Risks of Biases in Cognitive Decision Support Systems

abstract: Recognizing, assessing, countering, and mitigating the biases of different nature from heterogeneous sources is a critical problem in designing a cognitive Decision Support System (DSS). An example of such a system is a cognitive biometric-enabled security checkpoint. Biased algorithms affect the decision-making process in an unpredictable way, e.g. face recognition for different demographic groups may severely impact the risk assessment at a checkpoint. This paper addresses a challenging research question on how to manage an ensemble of biases? We provide performance projections of the DSS operational landscape in terms of biases. A probabilistic reasoning technique is used for assessment of the risk of such biases. We also provide a motivational experiment using face biometric component of the checkpoint system which highlights the discovery of an ensemble of biases and the techniques to assess their risks.


title: Cloud-cloud collision as drivers of the chemical complexity in Galactic Centre molecular clouds

abstract: G+0.693-0.03 is a quiescent molecular cloud located within the Sagittarius B2 (Sgr B2) star-forming complex. Recent spectral surveys have shown that it represents one of the most prolific repositories of complex organic species in the Galaxy. The origin of such chemical complexity, along with the small-scale physical structure and properties of G+0.693-0.03, remains a mystery. In this paper, we report the study of multiple molecules with interferometric observations in combination with single-dish data in G+0.693-0.03. Despite the lack of detection of continuum source, we find small-scale (0.2 pc) structures within this cloud. The analysis of the molecular emission of typical shock tracers such as SiO, HNCO, and CH$_3$OH unveiled two molecular components, peaking at velocities of 57 and 75 km s$^{-1}$. They are found to be interconnected in both space and velocity. The position-velocity diagrams show features that match with the observational signatures of a cloud-cloud collision. Additionally, we detect three series of class \rom{1} methanol masers known to appear in shocked gas, supporting the cloud-cloud collision scenario. From the maser emission we provide constraints on the gas kinetic temperatures ($\sim$30-150 K) and H$_2$ densities (10$^4$-10$^5$ cm$^{-2}$). These properties are similar to those found for the starburst galaxy NGC253 also using class \rom{1} methanol masers, suggested to be associated with a cloud-cloud collision. We conclude that shocks driven by the possible cloud-cloud collision is likely the most important mechanism responsible for the high level of chemical complexity observed in G+0.693-0.03.


title: Squeezing function corresponding to polydisk

abstract: In the present article, we define squeezing function corresponding to polydisk and study its properties. We investigate relationship between squeezing fuction and squeezing function corresponding to polydisk.


title: (Non equilibrium) Thermodynamics of Integrable models: The Generalized Gibbs Ensemble description of the classical Neumann Model

abstract: We study a classical integrable (Neumann) model describing the motion of a particle on the sphere, subject to harmonic forces. We tackle the problem in the infinite dimensional limit by introducing a soft version in which the spherical constraint is imposed only on average over initial conditions. We show that the Generalized Gibbs Ensemble captures the long-time averages of the soft model. We reveal the full dynamic phase diagram with extended, quasi-condensed, coordinate-, and coordinate and momentum-condensed phases. The scaling properties of the fluctuations allow us to establish in which cases the strict and soft spherical constraints are equivalent, confirming the validity of the GGE hypothesis for the Neumann model on a large portion of the dynamic phase diagram.


title: Tractably Modelling Dependence in Networks Beyond Exchangeability

abstract: We propose a general framework for modelling network data that is designed to describe aspects of non-exchangeable networks. Conditional on latent (unobserved) variables, the edges of the network are generated by their finite growth history (with latent orders) while the marginal probabilities of the adjacency matrix are modeled by a generalization of a graph limit function (or a graphon). In particular, we study the estimation, clustering and degree behavior of the network in our setting. We determine (i) the minimax estimator of a composite graphon with respect to squared error loss; (ii) that spectral clustering is able to consistently detect the latent membership when the block-wise constant composite graphon is considered under additional conditions; and (iii) we are able to construct models with heavy-tailed empirical degrees under specific scenarios and parameter choices. This explores why and under which general conditions non-exchangeable network data can be described by a stochastic block model. The new modelling framework is able to capture empirically important characteristics of network data such as sparsity combined with heavy tailed degree distribution, and add understanding as to what generative mechanisms will make them arise. Keywords: statistical network analysis, exchangeable arrays, stochastic block model, nonlinear stochastic processes.


title: RadarNet: Exploiting Radar for Robust Perception of Dynamic Objects

abstract: We tackle the problem of exploiting Radar for perception in the context of self-driving as Radar provides complementary information to other sensors such as LiDAR or cameras in the form of Doppler velocity. The main challenges of using Radar are the noise and measurement ambiguities which have been a struggle for existing simple input or output fusion methods. To better address this, we propose a new solution that exploits both LiDAR and Radar sensors for perception. Our approach, dubbed RadarNet, features a voxel-based early fusion and an attention-based late fusion, which learn from data to exploit both geometric and dynamic information of Radar data. RadarNet achieves state-of-the-art results on two large-scale real-world datasets in the tasks of object detection and velocity estimation. We further show that exploiting Radar improves the perception capabilities of detecting faraway objects and understanding the motion of dynamic objects.


title: Electrostatic pair-interaction of nearby metal or metal-coated colloids at fluid interfaces

abstract: In this paper, we theoretically study the electrostatic interaction between a pair of identical colloids with constant surface potentials sitting in close vicinity of each other at a fluid interface. By employing a simplified yet reasonable model system, the problem is solved within the framework of classical density functional theory and linearized as well as nonlinear Poisson-Boltzmann (PB) theory. Apart from providing a sound theoretical framework generally applicable to any such problem, our novel findings, all of which contradict common beliefs, include the following: first, quantitative as well as qualitative differences between the interactions obtained within the linear and the nonlinear PB theories; second, the importance of the electrostatic interaction between the omnipresent three-phase contact lines in interfacial systems; and third, the occurrence of an attractive electrostatic interaction between a pair of identical metal colloids. The unusual attraction we report on largely stems from an attractive line interaction which although scales linearly with the size of the particle, can compete with the surface interactions and can be strong enough to alter the nature of the total electrostatic interaction. Our results should find applications in metal or metal-coated particle-stabilized emulsions where densely packed particle arrays are not only frequently observed but are sometimes required.


title: A Simple Sublinear Algorithm for Gap Edit Distance

abstract: We study the problem of estimating the edit distance between two $n$-character strings. While exact computation in the worst case is believed to require near-quadratic time, previous work showed that in certain regimes it is possible to solve the following {\em gap edit distance} problem in sub-linear time: distinguish between inputs of distance $\le k$ and $>k^2$. Our main result is a very simple algorithm for this benchmark that runs in time $\tilde O(n/\sqrt{k})$, and in particular settles the open problem of obtaining a truly sublinear time for the entire range of relevant $k$. Building on the same framework, we also obtain a $k$-vs-$k^2$ algorithm for the one-sided preprocessing model with $\tilde O(n)$ preprocessing time and $\tilde O(n/k)$ query time (improving over a recent $\tilde O(n/k+k^2)$-query time algorithm for the same problem [GRS'20].


title: Pinning of Andreev bound states to zero energy in two-dimensional superconductor-semiconductor Rashba heterostructures

abstract: We consider a two-dimensional electron gas with Rashba spin-orbit interaction (SOI) partially covered by an s-wave superconductor, where the uncovered region remains normal but is exposed to an effective Zeeman field applied perpendicular to the plane. We find analytically and numerically Andreev bound states (ABSs) formed in the normal region and show that, due to SOI and by tuning the parameters of the system deeply into the topologically trivial phase, one can reach a regime where the energy of the lowest ABS becomes pinned close to zero as a function of Zeeman field. The energy of such an ABS is shown to decay as an inverse power-law in Zeeman field. We also consider a superconductor-semiconductor heterostructure with a superconducting vortex at the center and in the presence of strong SOI, and find again ABSs that can get pinned close to zero energy in the non-topological phase.


title: Macro-to-micro quantum mapping and the emergence of nonlinearity

abstract: As a universal theory of physics, quantum mechanics must assign states to every level of description of a system -- from a full microscopic description, all the way up to an effective macroscopic characterization -- and also to describe the interconnections among them. Assuming that we only have a coarse-grained access to a physical system, here we show how to assign to it a microscopic description that abides by all macroscopic constraints. In order to do that, we employ general coarse-graining maps, allowing our approach to be used even when the split between system and environment is not obvious. As a by-product, we show how effective nonlinear dynamics can emerge from the linear quantum evolution, and we readily apply it to a state discrimination task.


title: STOMP: A Tool for Evaluation of Scheduling Policies in Heterogeneous Multi-Processors

abstract: The proliferation of heterogeneous chip multiprocessors in recent years has reached unprecedented levels. Traditional homogeneous platforms have shown fundamental limitations when it comes to enabling high-performance yet-ultra-low-power computing, in particular in application domains with real-time execution deadlines or criticality constraints. By combining the right set of general purpose cores and hardware accelerators together, along with proper chip interconnects and memory technology, heterogeneous chip multiprocessors have become an effective high-performance and low-power computing alternative. One of the challenges of heterogeneous architectures relates to efficient scheduling of application tasks (processes, threads) across the variety of options in the chip. As a result, it is key to provide tools to enable early-stage prototyping and evaluation of new scheduling policies for heterogeneous platforms. In this paper, we present STOMP (Scheduling Techniques Optimization in heterogeneous Multi-Processors), a simulator for fast implementation and evaluation of task scheduling policies in multi-core/multi-processor systems with a convenient interface for "plugging" in new scheduling policies in a simple manner. Thorough validation of STOMP exhibits small relative errors when compared against closed-formed equivalent models during steady-state analysis.


title: Diagnosing Concept Drift with Visual Analytics

abstract: Concept drift is a phenomenon in which the distribution of a data stream changes over time in unforeseen ways, causing prediction models built on historical data to become inaccurate. While a variety of automated methods have been developed to identify when concept drift occurs, there is limited support for analysts who need to understand and correct their models when drift is detected. In this paper, we present a visual analytics method, DriftVis, to support model builders and analysts in the identification and correction of concept drift in streaming data. DriftVis combines a distribution-based drift detection method with a streaming scatterplot to support the analysis of drift caused by the distribution changes of data streams and to explore the impact of these changes on the model's accuracy. A quantitative experiment and two case studies on weather prediction and text classification have been conducted to demonstrate our proposed tool and illustrate how visual analytics can be used to support the detection, examination, and correction of concept drift.


title: Dust in the Wolf-Rayet Nebula M1-67

abstract: The Wolf-Rayet nebula M1-67 around WR124 is located above the Galactic plane in a region mostly empty of interstellar medium, which makes it the perfect target to study the mass-loss episodes associated with the late stages of massive star evolution. Archive photometric observations from WISE, Spitzer (MIPS) and Herschel (PACS and SPIRE) are used to construct the spectral energy distribution (SED) of the nebula in the wavelength range of 12-500$\mu$m. The infrared (photometric and spectroscopic) data and nebular optical data from the literature are modeled simultaneously using the spectral synthesis code Cloudy, where the free parameters are the gas density distribution and the dust grain size distribution. The infrared SED can be reproduced by dust grains with two size distributions: a MRN power-law distribution with grain sizes between 0.005 and 0.05$\mu$m and a population of large grains with representative size 0.9$ \mu$m. The latter points towards an eruptive origin for the formation of M1-67. The model predicts a nebular ionized gas mass of $M_\mathrm{ion} = 9.2^{+1.6}_{-1.5}~\mathrm{M}_\odot$ and the estimated mass-loss rate during the dust-formation period is $\dot{M} \approx 6 \times 10^{-4} \mathrm{M}_\odot$yr$^{-1}$. We discuss the implications of our results in the context of single and binary stellar evolution and propose that M1-67 represents the best candidate for a post-common envelope scenario in massive stars.


title: Accelerating Federated Learning over Reliability-Agnostic Clients in Mobile Edge Computing Systems

abstract: Mobile Edge Computing (MEC), which incorporates the Cloud, edge nodes and end devices, has shown great potential in bringing data processing closer to the data sources. Meanwhile, Federated learning (FL) has emerged as a promising privacy-preserving approach to facilitating AI applications. However, it remains a big challenge to optimize the efficiency and effectiveness of FL when it is integrated with the MEC architecture. Moreover, the unreliable nature (e.g., stragglers and intermittent drop-out) of end devices significantly slows down the FL process and affects the global model's quality Xin such circumstances. In this paper, a multi-layer federated learning protocol called HybridFL is designed for the MEC architecture. HybridFL adopts two levels (the edge level and the cloud level) of model aggregation enacting different aggregation strategies. Moreover, in order to mitigate stragglers and end device drop-out, we introduce regional slack factors into the stage of client selection performed at the edge nodes using a probabilistic approach without identifying or probing the state of end devices (whose reliability is agnostic). We demonstrate the effectiveness of our method in modulating the proportion of clients selected and present the convergence analysis for our protocol. We have conducted extensive experiments with machine learning tasks in different scales of MEC system. The results show that HybridFL improves the FL training process significantly in terms of shortening the federated round length, speeding up the global model's convergence (by up to 12X) and reducing end device energy consumption (by up to 58%).


title: Structure-based inhibitor screening of natural products against NSP15 of SARS- CoV-2 revealed Thymopentin and Oleuropein as potent inhibitors

abstract: Coronaviruses are enveloped, non-segmented positive-sense RNA viruses that have the largest genome among RNA viruses. The genome contains a large replicase ORF encodes nonstructural proteins (NSPs), structural and accessory genes. NSP15 is a nidoviral RNA uridylate-specific endoribonuclease (NendoU) has C-terminal catalytic domain. The endoribonuclease activity of NSP15 interferes with the innate immune response of the host. Here, we screened Selleckchem Natural product database of compounds against the NSP15, Thymopentin and Oleuropein showed highest binding energies. The binding of these molecules was further validated by Molecular dynamic simulation and found very stable complexes. These drugs might serve as effective counter molecules in the reduction of virulence of this virus. Future validation of both these inhibitors are worth consideration for patients being treated for COVID -19.


title: Code-Verification Techniques for Hypersonic Reacting Flows in Thermochemical Nonequilibrium

abstract: The study of hypersonic flows and their underlying aerothermochemical reactions is particularly important in the design and analysis of vehicles exiting and reentering Earth's atmosphere. Computational physics codes can be employed to simulate these phenomena; however, verification of these codes is necessary to certify their credibility. To date, few approaches have been presented for verifying codes that simulate hypersonic flows, especially flows reacting in thermochemical nonequilibrium. In this paper, we present our code-verification techniques for verifying the spatial accuracy and thermochemical source term in hypersonic reacting flows in thermochemical nonequilibrium. We demonstrate the effectiveness of these techniques on the Sandia Parallel Aerodynamics and Reentry Code (SPARC).


title: Injective hulls of various graph classes

abstract: A graph is Helly if its disks satisfy the Helly property, i.e., every family of pairwise intersecting disks in G has a common intersection. It is known that for every graph G, there exists a unique smallest Helly graph H(G) into which G isometrically embeds; H(G) is called the injective hull of G. Motivated by this, we investigate the structural properties of the injective hulls of various graph classes. We say that a class of graphs $\mathcal{C}$ is closed under Hellification if $G \in \mathcal{C}$ implies $H(G) \in \mathcal{C}$. We identify several graph classes that are closed under Hellification. We show that permutation graphs are not closed under Hellification, but chordal graphs, square-chordal graphs, and distance-hereditary graphs are. Graphs that have an efficiently computable injective hull are of particular interest. A linear-time algorithm to construct the injective hull of any distance-hereditary graph is provided and we show that the injective hull of several graphs from some other well-known classes of graphs are impossible to compute in subexponential time. In particular, there are split graphs, cocomparability graphs, bipartite graphs G such that H(G) contains $\Omega(a^{n})$ vertices, where $n=|V(G)|$ and $a>1$.