title: Kepler-411 Differential Rotation from Three Transiting Planets

abstract: The differential rotation of the Sun is a crucial ingredient of the dynamo theory responsible for the generation of its magnetic field. Currently, the rotation profile of a star that hosts one or more transiting planets can be estimated. By detecting the same spot in a later transit, it is possible to infer the stellar rotation period at that latitude. In this work, we apply for the first time transit spot mapping to determine the differential rotation of Kepler-411, a K2V-type star with an average rotation period of 10.52 days, radius of 0.79 R$_\odot$ and mass of 0.83 M$_\odot$. Kepler-411 hosts at least four planets, the inner planet is a super-Earth with a radius of 1.88 R$_\oplus$ and an orbital period of 3.0051 days, whereas the two larger transiting planets are mini Neptunes with radii of 3.27 and 3.31 R$_\oplus$, and periods of 7.834435 and 58.0204 days, respectively. Their orbits are such that they transit the star at latitudes of -11$^{\circ}$, -21$^{\circ}$, and -49$^{\circ}$. Analysis of the transit light curves of the three planets resulted in the detection of a total of 198 spots. For each transit latitude, the rotation period of the star was estimated and the differential rotation pattern estimated independently. Then a solar like differential rotation profile was fit to the three rotation periods at the distinct latitudes, the result agreed extremely well with the previous ones, resulting in a differential shear of $0.0500\pm0.0006$ rd/d or a relative differential rotation of $8.4\pm0.1$\%.


title: Exchangeable Bernoulli distributions: high dimensional simulation, estimate and testing

abstract: We explore the class of exchangeable Bernoulli distributions building on their geometrical structure. Exchangeable Bernoulli probability mass functions are points in a convex polytope and we have found analytical expressions for their extremal generators. The geometrical structure turns out to be crucial to simulate high dimensional and negatively correlated binary data. Furthermore, for a wide class of statistical indices and measures of a probability mass function we are able to find not only their sharp bounds in the class, but also their distribution across the class. Estimate and testing are also addressed.


title: CoVaxxy: A Collection of English-language Twitter Posts About COVID-19 Vaccines

abstract: With a substantial proportion of the population currently hesitant to take the COVID-19 vaccine, it is important that people have access to accurate information. However, there is a large amount of low-credibility information about vaccines spreading on social media. In this paper, we present the CoVaxxy dataset, a growing collection of English-language Twitter posts about COVID-19 vaccines. Using one week of data, we provide statistics regarding the numbers of tweets over time, the hashtags used, and the websites shared. We also illustrate how these data might be utilized by performing an analysis of the prevalence over time of high- and low-credibility sources, topic groups of hashtags, and geographical distributions. Additionally, we develop and present the CoVaxxy dashboard, allowing people to visualize the relationship between COVID-19 vaccine adoption and U.S. geo-located posts in our dataset. This dataset can be used to study the impact of online information on COVID-19 health outcomes (e.g., vaccine uptake) and our dashboard can help with exploration of the data.


title: Twitter Subjective Well-Being Indicator During COVID-19 Pandemic: A Cross-Country Comparative Study

abstract: This study analyzes the impact of the COVID-19 pandemic on the subjective well-being as measured through Twitter data indicators for Japan and Italy. It turns out that, overall, the subjective well-being dropped by 11.7% for Italy and 8.3% for Japan in the first nine months of 2020 compared to the last two months of 2019 and even more compared to the historical mean of the indexes. Through a data science approach we try to identify the possible causes of this drop down by considering several explanatory variables including, climate and air quality data, number of COVID-19 cases and deaths, Facebook Covid and flu symptoms global survey, Google Trends data and coronavirus-related searches, Google mobility data, policy intervention measures, economic variables and their Google Trends proxies, as well as health and stress proxy variables based on big data. We show that a simple static regression model is not able to capture the complexity of well-being and therefore we propose a dynamic elastic net approach to show how different group of factors may impact the well-being in different periods, even over a short time length, and showing further country-specific aspects. Finally, a structural equation modeling analysis tries to address the causal relationships among the COVID-19 factors and subjective well-being showing that, overall, prolonged mobility restrictions,flu and Covid-like symptoms, economic uncertainty, social distancing and news about the pandemic have negative effects on the subjective well-being.


title: Translating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under Translation

abstract: Computing the similarity of two point sets is a ubiquitous task in medical imaging, geometric shape comparison, trajectory analysis, and many more settings. Arguably the most basic distance measure for this task is the Hausdorff distance, which assigns to each point from one set the closest point in the other set and then evaluates the maximum distance of any assigned pair. A drawback is that this distance measure is not translational invariant, that is, comparing two objects just according to their shape while disregarding their position in space is impossible. Fortunately, there is a canonical translational invariant version, the Hausdorff distance under translation, which minimizes the Hausdorff distance over all translations of one of the point sets. For point sets of size $n$ and $m$, the Hausdorff distance under translation can be computed in time $\tilde O(nm)$ for the $L_1$ and $L_\infty$ norm [Chew, Kedem SWAT'92] and $\tilde O(nm (n+m))$ for the $L_2$ norm [Huttenlocher, Kedem, Sharir DCG'93]. As these bounds have not been improved for over 25 years, in this paper we approach the Hausdorff distance under translation from the perspective of fine-grained complexity theory. We show (i) a matching lower bound of $(nm)^{1-o(1)}$ for $L_1$ and $L_\infty$ (and all other $L_p$ norms) assuming the Orthogonal Vectors Hypothesis and (ii) a matching lower bound of $n^{2-o(1)}$ for $L_2$ in the imbalanced case of $m = O(1)$ assuming the 3SUM Hypothesis.


title: Dynamics of quantum discord of two coupled spin-1/2 subjected to time-dependent magnetic fields

abstract: We describe the dynamics of quantum discord of two interacting spin-1/2 subjected to controllable time-dependent magnetic fields. The exact time evolution of discord is given for various input mixed states consisting of classical mixtures of two Bell states. The quantum discord manifests a complex oscillatory behaviour in time and is compared with that of quantum entanglement, measured by concurrence. The interplay of the action of the time-dependent magnetic fields and the spin-coupling mechanism in the occurrence and evolution of quantum correlations is examined in detail.


title: Dust storm-enhanced gravity wave activity in the Martian thermosphere observed by MAVEN and implication for atmospheric escape

abstract: Lower atmospheric global dust storms affect the small- and large-scale weather and variability of the whole Martian atmosphere. Analysis of the CO$_2$ density data from the Neutral Gas and Ion Mass Spectrometer instrument (NGIMS) on board NASA's Mars Atmosphere Volatile EvolutioN (MAVEN) spacecraft show a remarkable increase of GW-induced density fluctuations in the thermosphere during the 2018 major dust storm with distinct latitude and local time variability. The mean thermospheric GW activity increases by a factor of two during the storm event. The magnitude of relative density perturbations is around 20% on average and 40% locally. One and a half months later, the GW activity gradually decreases. Enhanced temperature disturbances in the Martian thermosphere can facilitate atmospheric escape. For the first time, we estimate that, for a 20% and 40% GW-induced disturbances, the net increase of Jeans escape flux of hydrogen is a factor of 1.3 and 2, respectively.

categories: physics.space-ph astro-ph.EP physics.ao-ph physics.flu-dyn


title: When are LIGO/Virgo's Big Black-Hole Mergers?

abstract: We study the evolution of the binary black hole (BBH) mass distribution across cosmic time. The second gravitational-wave transient catalog (GWTC-2) from LIGO/Virgo contains BBH events out to redshifts $z \sim 1$, with component masses in the range $\sim5$--$80\,M_\odot$. In this catalog, the biggest black holes, with $m_1 \gtrsim 45\,M_\odot$, are only found at the highest redshifts, $z \gtrsim 0.4$. We ask whether the absence of high-mass BBH observations at low redshift indicates that the astrophysical BBH mass distribution evolves: the biggest BBHs only merge at high redshift, and cease merging at low redshift. Alternatively, this feature might be explained by gravitational-wave selection effects. Modeling the BBH primary mass spectrum as a power law with a sharp maximum mass cutoff (Truncated model), we find that the cutoff increases with redshift ($> 99.9\%$ credibility). An abrupt cutoff in the mass spectrum is expected from (pulsational) pair instability supernova simulations; however, GWTC-2 is only consistent with a Truncated mass model if the location of the cutoff increases from $45^{+13}_{-5}\,M_\odot$ at $z < 0.4$ to $80^{+16}_{-13}\,M_\odot$ at $z > 0.4$. Alternatively, if the primary mass spectrum has a break in the power law (Broken power law) at ${38^{+15}_{-8}\,M_\odot}$, rather than a sharp cutoff, the data are consistent with a non-evolving mass distribution. In this case, the overall rate of mergers, at all masses, increases with increasing redshift. Future observations will confidently distinguish between a sharp maximum mass cutoff that evolves with redshift and a non-evolving mass distribution with a gradual taper, such as a Broken power law. After $\sim 100$ BBH merger observations, a continued absence of high-mass, low-redshift events would provide a clear signature that the mass distribution evolves with redshift.


title: Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

abstract: {log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a few subgoals automatically dischargeable by {log}. The purpose of this work is to present a prototype interactive theorem prover (ITP), called {log}-ITP, providing evidence that a proper integration of {log} into world-class ITP's can deliver a great deal of proof automation concerning FSTRA. An empirical evaluation based on 210 theorems from the TPTP and Coq's SSReflect libraries shows a noticeable reduction in the size and complexity of the proofs with respect to Coq.


title: Computing the exact number of periodic orbits for planar flows

abstract: In this paper, we consider the problem of determining the \emph{exact} number of periodic orbits for polynomial planar flows. This problem is a variant of Hilbert's 16th problem. Using a natural definition of computability, we show that the problem is noncomputable on the one hand and, on the other hand, computable uniformly on the set of all structurally stable systems defined on the unit disk. We also prove that there is a family of polynomial planar systems which does not have a computable sharp upper bound on the number of its periodic orbits.


title: High-Energy Neutrino Production in Clusters of Galaxies

abstract: Clusters of galaxies can potentially produce cosmic rays (CRs) up to very-high energies via large-scale shocks and turbulent acceleration. Due to their unique magnetic-field configuration, CRs with energy $\leq 10^{17}$ eV can be trapped within these structures over cosmological time scales, and generate secondary particles, including neutrinos and gamma rays, through interactions with the background gas and photons. In this work, we compute the contribution from clusters of galaxies to the diffuse neutrino background. We employ three-dimensional cosmological magnetohydrodynamical simulations of structure formation to model the turbulent intergalactic medium. We use the distribution of clusters within this cosmological volume to extract the properties of this population, including mass, magnetic field, temperature, and density. We propagate CRs in this environment using multi-dimensional Monte Carlo simulations across different redshifts (from $z \sim 5$ to $z =0$), considering all relevant photohadronic, photonuclear, and hadronuclear interaction processes. We find that, for CRs injected with a spectral index $\alpha = 1.5 - 2.7$ and cutoff energy $E_\text{max} = 10^{16} - 5\times10^{17} \; \text{eV}$, clusters contribute to a sizeable fraction to the diffuse flux observed by the IceCube Neutrino Observatory, but most of the contribution comes from clusters with $M \gtrsim 10^{14} \; M_{\odot}$ and redshift $ z \lesssim 0.3$. If we include the cosmological evolution of the CR sources, this flux can be even higher.


abstract: We prove that it is consistent that Club Stationary Reflection and the Special Aronszajn Tree Property simultaneously hold on $\omega_2$, thereby contributing to the study of the tension between compactness and incompactness in set theory. The poset which produces the final model follows the collapse of an ineffable cardinal first with an iteration of club adding (with anticipation) and second with an iteration specializing Aronszajn trees. In the first part of the paper, we prove a general theorem about specializing Aronszajn trees on $\omega_2$ after forcing with what we call $\mathcal{F}$-Strongly Proper posets, where $\mathcal{F}$ is either the weakly compact filter or the filter dual to the ineffability ideal. This type of poset, of which the Levy collapse is a degenerate example, uses systems of exact residue functions to create many strongly generic conditions. We prove a new result about stationary set preservation by quotients of this kind of poset; as a corollary, we show that the original Laver-Shelah model, which starts from a weakly compact cardinal, satisfies a strong stationary reflection principle, though it fails to satisfy the full Club Stationary Reflection. In the second part, we show that the composition of collapsing and club adding (with anticipation) is an $\mathcal{F}$-Strongly Proper poset. After proving a new result about Aronszajn tree preservation, we show how to obtain the final model.


title: Overlap of a spherical spin glass model with microscopic external field

abstract: We examine the behavior of the 2-spin spherical Sherrington-Kirkpatrick model with an external field by analyzing the overlap of a spin with the external field. Previous research has noted that, at low temperature, this overlap exhibits dramatically different behavior in the presence of an external field as compared to the model with no external field. The transition between those two settings was examined in a recent physics paper by Baik, Collins-Woodfin, Le Doussal, and Wu as well as a recent math paper by Landon and Sosoe. Both papers focus on the setting in which the external field strength, $h$, approaches zero as the dimension, $N$, approaches infinity. In particular, the paper of Baik et al studies the overlap with a microscopic external field ($h\sim N^{-1/2}$) but without a rigorous proof. This paper aims to give a proof of that result. The proof involves representing the generating function of the overlap as a ratio of contour integrals and then analyzing the asymptotics of those contour integrals using results from random matrix theory.


title: Interaction between optical pulse and tumor using finite element analysis

abstract: Photoacoustic imaging is an emerging technology based on the photoacoustic effect that has developed rapidly in recent years. It combines the high contrast of optical imaging and the high penetration and high resolution of acoustic imaging. As a non-destructive biological tissue imaging technology, photoacoustic imaging has important application value in the field of biomedicine. With its high efficiency bi-oimaging capabilities and excellent biosafety performance, it has been favored by researchers. The visualization of photoacoustic imaging has great research signifi-cance in the early diagnosis of some diseases, especially tumors. In photoacoustic imaging, light transmission and thermal effects are important processes. This article is based on COMSOL software and uses finite element analysis to construct a physi-cal model for simulation. Through laser pulses into the stomach tissue containing tumor, the physical process of light transmission and biological heat transfer was studied, and a photothermal model composed of two physical fields was built, and finally a series of visualization graphics were obtained. This work has certain theo-retical guiding significance for further promoting the application of photoacoustic imaging in the field of biomedicine.


title: Communication-Efficient Sampling for Distributed Training of Graph Convolutional Networks

abstract: Training Graph Convolutional Networks (GCNs) is expensive as it needs to aggregate data recursively from neighboring nodes. To reduce the computation overhead, previous works have proposed various neighbor sampling methods that estimate the aggregation result based on a small number of sampled neighbors. Although these methods have successfully accelerated the training, they mainly focus on the single-machine setting. As real-world graphs are large, training GCNs in distributed systems is desirable. However, we found that the existing neighbor sampling methods do not work well in a distributed setting. Specifically, a naive implementation may incur a huge amount of communication of feature vectors among different machines. To address this problem, we propose a communication-efficient neighbor sampling method in this work. Our main idea is to assign higher sampling probabilities to the local nodes so that remote nodes are accessed less frequently. We present an algorithm that determines the local sampling probabilities and makes sure our skewed neighbor sampling does not affect much the convergence of the training. Our experiments with node classification benchmarks show that our method significantly reduces the communication overhead for distributed GCN training with little accuracy loss.


title: On the least-energy solutions of the pure Neumann Lane-Emden equation

abstract: We study the pure Neumann Lane-Emden problem in a bounded domain \[ -\Delta u = |u|^{p-1} u \text{ in }\Omega, \qquad \partial_\nu u=0 \text{ on }\partial \Omega, \] in the subcritical, critical, and supercritical regimes. We show existence and convergence of least-energy (nodal) solutions (l.e.n.s.). In particular, we prove that l.e.n.s. converge to a l.e.n.s. of a problem with sign nonlinearity as $p\searrow 0$; to a l.e.n.s. of the critical problem as $p\nearrow 2^*$ (in particular, pure Neumann problems exhibit no blowup phenomena at the critical Sobolev exponent $2^*$); and we show that the limit as $p\to 1$ depends on the domain. Our proofs rely on different variational characterizations of solutions including a dual approach and a nonlinear eigenvalue problem. Finally, we also provide a qualitative analysis of l.e.n.s., including symmetry, symmetry-breaking, and monotonicity results for radial solutions.


title: Leveraging Peer Review in Visualization Education: A Proposal for a New Model

abstract: In visualization education, both science and humanities, the literature is often divided into two parts: the design aspect and the analysis of the visualization. However, we find limited discussion on how to motivate and engage visualization students in the classroom. In the field of Writing Studies, researchers develop tools and frameworks for student peer review of writing. Based on the literature review from the field of Writing Studies, this paper proposes a new framework to implement visualization peer review in the classroom to engage today's students. This framework can be customized for incremental and double-blind review to inspire students and reinforce critical thinking about visualization.


title: Multi-target detection with rotations

abstract: We consider the multi-target detection problem of estimating a two-dimensional target image from a large noisy measurement image that contains many randomly rotated and translated copies of the target image. Motivated by single-particle cryo-electron microscopy, we focus on the low signal-to-noise regime, where it is difficult to estimate the locations and orientations of the target images in the measurement. Our approach uses autocorrelation analysis to estimate rotationally and translationally invariant features of the target image. We demonstrate that, regardless of the level of noise, our technique can be used to recover the target image when the measurement is sufficiently large.


title: The effect of Hybrid Principal Components Analysis on the Signal Compression Functional Regression: With EEG-fMRI Application

abstract: Objective: In some situations that exist both scalar and functional data, called mixed and hybrid data, the hybrid PCA (HPCA) was introduced. Among the regression models for the hybrid data, we can count covariate-adjusted HPCA, the Semi-functional partial linear regression, function-on-function (FOF) regression with signal compression, and functional additive regression, models. In this article, we study the effects of HPCA decomposition of hybrid data on the prediction accuracy of the FOF regression with signal compressions. Method: We stated a two-step procedure for incorporating the HPCA in the functional regressions. The first step is reconstructing the data based on the HPCAs and the second step is merging data on the other dimensions and calculate the point-wise average of the desired functional dimension. We also choose the number of HPCA based on Mean Squared Perdition Error (MSPE). Result: In the two simulations, we show that the regression models with the first HPCA have the best accuracy prediction and model fit summaries among no HPCA and all HPCAs with a training/testing approach. Finally, we applied our methodology to the EEG-fMRI dataset. Conclusions: We conclude that our methodology improves the prediction of the experiments with the EEG datasets. And we recommend that instead of using the functional PCA on the desired dimension, reconstruct the data with HPCA and average it on the other two dimensions for functional regression models.


title: Resource Bisimilarity in Petri Nets is Decidable

abstract: Petri nets are a popular formalism for modeling and analyzing distributed systems. Tokens in Petri net models can represent the control flow state or resources produced/consumed by transition firings. We define a resource as a part (a submultiset) of Petri net markings and call two resources equivalent when replacing one of them with another in any marking does not change the observable Petri net behavior. We consider resource similarity and resource bisimilarity, two congruent restrictions of bisimulation equivalence on Petri net markings. Previously it was proved that resource similarity (the largest congruence included in bisimulation equivalence) is undecidable. Here we present an algorithm for checking resource bisimilarity, thereby proving that this relation (the largest congruence included in bisimulation equivalence that is a bisimulation) is decidable. We also give an example of two resources in a Petri net that are similar but not bisimilar.


title: Modelling of top quark decays in $t\bar{t}\gamma$ production at the LHC

abstract: In this proceedings we briefly report on the state-of-the-art NLO QCD computation for the $pp\to t\bar{t}\gamma$ process in the di-lepton channel. We describe higher-order corrections to the $e^+\nu_e \, \mu^- \bar{\nu}_\mu \, b\bar{b}\gamma$ final state at the LHC with $\sqrt{s}=13$ TeV. Off-shell top quarks, double-, single- as well as non-resonant top-quark contributions along with all interference effects are consistently incorporated at the matrix element level. Results are presented in the form of fiducial integrated and differential cross sections. The impact of top quark modelling is scrutinised by an explicit comparison with the results in the narrow-width approximation. Both types of predictions are now available in the HELAC-NLO framework.


title: Image Denoising using Attention-Residual Convolutional Neural Networks

abstract: During the image acquisition process, noise is usually added to the data mainly due to physical limitations of the acquisition sensor, and also regarding imprecisions during the data transmission and manipulation. In that sense, the resultant image needs to be processed to attenuate its noise without losing details. Non-learning-based strategies such as filter-based and noise prior modeling have been adopted to solve the image denoising problem. Nowadays, learning-based denoising techniques showed to be much more effective and flexible approaches, such as Residual Convolutional Neural Networks. Here, we propose a new learning-based non-blind denoising technique named Attention Residual Convolutional Neural Network (ARCNN), and its extension to blind denoising named Flexible Attention Residual Convolutional Neural Network (FARCNN). The proposed methods try to learn the underlying noise expectation using an Attention-Residual mechanism. Experiments on public datasets corrupted by different levels of Gaussian and Poisson noise support the effectiveness of the proposed approaches against some state-of-the-art image denoising methods. ARCNN achieved an overall average PSNR results of around 0.44dB and 0.96dB for Gaussian and Poisson denoising, respectively FARCNN presented very consistent results, even with slightly worsen performance compared to ARCNN.


title: Towards Facilitating Empathic Conversations in Online Mental Health Support: A Reinforcement Learning Approach

abstract: Online peer-to-peer support platforms enable conversations between millions of people who seek and provide mental health support. If successful, web-based mental health conversations could improve access to treatment and reduce the global disease burden. Psychologists have repeatedly demonstrated that empathy, the ability to understand and feel the emotions and experiences of others, is a key component leading to positive outcomes in supportive conversations. However, recent studies have shown that highly empathic conversations are rare in online mental health platforms. In this paper, we work towards improving empathy in online mental health support conversations. We introduce a new task of empathic rewriting which aims to transform low-empathy conversational posts to higher empathy. Learning such transformations is challenging and requires a deep understanding of empathy while maintaining conversation quality through text fluency and specificity to the conversational context. Here we propose PARTNER, a deep reinforcement learning agent that learns to make sentence-level edits to posts in order to increase the expressed level of empathy while maintaining conversation quality. Our RL agent leverages a policy network, based on a transformer language model adapted from GPT-2, which performs the dual task of generating candidate empathic sentences and adding those sentences at appropriate positions. During training, we reward transformations that increase empathy in posts while maintaining text fluency, context specificity and diversity. Through a combination of automatic and human evaluation, we demonstrate that PARTNER successfully generates more empathic, specific, and diverse responses and outperforms NLP methods from related tasks like style transfer and empathic dialogue generation. Our work has direct implications for facilitating empathic conversations on web-based platforms.


title: Meningioma segmentation in T1-weighted MRI leveraging global context and attention mechanisms

abstract: Meningiomas are the most common type of primary brain tumor, accounting for approximately 30% of all brain tumors. A substantial number of these tumors are never surgically removed but rather monitored over time. Automatic and precise meningioma segmentation is therefore beneficial to enable reliable growth estimation and patient-specific treatment planning. In this study, we propose the inclusion of attention mechanisms over a U-Net architecture: (i) Attention-gated U-Net (AGUNet) and (ii) Dual Attention U-Net (DAUNet), using a 3D MRI volume as input. Attention has the potential to leverage the global context and identify features' relationships across the entire volume. To limit spatial resolution degradation and loss of detail inherent to encoder-decoder architectures, we studied the impact of multi-scale input and deep supervision components. The proposed architectures are trainable end-to-end and each concept can be seamlessly disabled for ablation studies. The validation studies were performed using a 5-fold cross validation over 600 T1-weighted MRI volumes from St. Olavs University Hospital, Trondheim, Norway. For the best performing architecture, an average Dice score of 81.6% was reached for an F1-score of 95.6%. With an almost perfect precision of 98%, meningiomas smaller than 3ml were occasionally missed hence reaching an overall recall of 93%. Leveraging global context from a 3D MRI volume provided the best performances, even if the native volume resolution could not be processed directly. Overall, near-perfect detection was achieved for meningiomas larger than 3ml which is relevant for clinical use. In the future, the use of multi-scale designs and refinement networks should be further investigated to improve the performance. A larger number of cases with meningiomas below 3ml might also be needed to improve the performance for the smallest tumors.


title: Hilbert-Schmidt Separability Probabilities from Bures Ensembles and vice versa: Applications to Quantum Steering Ellipsoids and Monotone Metrics

abstract: We reexamine a recent analysis in which, using the volume of the associated quantum steering ellipsoid (QES) as a measure, we sought to estimate the probability that a two-qubit state is separable. In the estimation process, we, in effect, sought to attach to states random with respect to Hilbert-Schmidt (HS) measure, the corresponding QES volumes. However, a study of the relations between HS and Bures ensembles and their well-supported separability probabilities of $\frac{8}{33}$ and $\frac{25}{341}$, respectively, now lead us to explore as a possible alternative measure, the QES volume divided by the $\Pi_{j<k}^{1...4} (\lambda_j-\lambda_k)^2 $ term of the HS volume element (the $\lambda$'s being the four eigenvalues of the associated $4 \times 4$ density matrix $\rho$). This measure is applied to the members of a HS ensemble of random two-qubit states, yielding a QES separability probability estimate of 0.105458. Alternatively, weighting members of a Bures ensemble by the QES volume divided by the eigenvalue part $\frac{1}{\sqrt{\mbox{det} \rho}} \Pi_{j<k}^{1...4} \frac{(\lambda_j-\lambda_k)^2}{\lambda_j+\lambda_k}$ of the Bures volume element, gives a close estimate of 0.100223. We also weight members of a HS ensemble by the QES volume divided not only by the indicated HS eigenvalue term, but also by the unitary component $|\Pi_{j<k}^{1...4} \mbox{Re} (U^{-1}) \mbox{Im} (U^{-1})|$ of the volume element. For one hundred thirty (rather variable) independent separability probability estimates, we, then, obtain median and mean estimates of 0.0447729 and 0.117485 with variance 0.0381468.


title: Predicting Pneumonia and Region Detection from X-Ray Images using Deep Neural Network

abstract: Biomedical images are increasing drastically. Along the way, many machine learning algorithms have been proposed to predict and identify various kinds of diseases. One such disease is Pneumonia which is an infection caused by both bacteria and viruses through the inflammation of a person's lung air sacs. In this paper, an algorithm was proposed that receives x-ray images as input and verifies whether this patient is infected by Pneumonia as well as specific region of the lungs that the inflammation has occurred at. The algorithm is based on the transfer learning mechanism where pre-trained ResNet-50 (Convolutional Neural Network) was used followed by some custom layer for making the prediction. The model has achieved an accuracy of 90.6 percent which confirms that the model is effective and can be implemented for the detection of Pneumonia in patients. Furthermore, a class activation map is used for the detection of the infected region in the lungs. Also, PneuNet was developed so that users can access more easily and use the services.


title: Unified Robust Boosting

abstract: Boosting is a popular algorithm in supervised machine learning with wide applications in regression and classification problems. Boosting can combine a sequence of regression trees to obtain accurate prediction. In the presence of outliers, traditional boosting may show inferior results since the algorithm optimizes a convex loss function. Recent literature has proposed boosting algorithms to optimizing robust nonconvex loss functions. However, there is a lack of weighted estimation to indicate the outlier status of the observations. This article proposes an iteratively reweighted boosting algorithm combining robust loss optimization and weighted estimation, which is conveniently constructed with existing software. The output includes the weights as a valuable diagnostic to the outlier status of the observations. For practitioners interested in the boosting algorithm, the new algorithm can be interpreted as a method to tuning in observation weights, which can lead to a more accurate model. The R package irboost is demonstrated with publicly available data in various robust boosting approaches to generalized linear models, classification and survival data analysis.


title: Deep Feedback Inverse Problem Solver

abstract: We present an efficient, effective, and generic approach towards solving inverse problems. The key idea is to leverage the feedback signal provided by the forward process and learn an iterative update model. Specifically, at each iteration, the neural network takes the feedback as input and outputs an update on the current estimation. Our approach does not have any restrictions on the forward process; it does not require any prior knowledge either. Through the feedback information, our model not only can produce accurate estimations that are coherent to the input observation but also is capable of recovering from early incorrect predictions. We verify the performance of our approach over a wide range of inverse problems, including 6-DOF pose estimation, illumination estimation, as well as inverse kinematics. Comparing to traditional optimization-based methods, we can achieve comparable or better performance while being two to three orders of magnitude faster. Compared to deep learning-based approaches, our model consistently improves the performance on all metrics. Please refer to the project page for videos, animations, supplementary materials, etc.


title: Hyperdimensional computing as a framework for systematic aggregation of image descriptors

abstract: Image and video descriptors are an omnipresent tool in computer vision and its application fields like mobile robotics. Many hand-crafted and in particular learned image descriptors are numerical vectors with a potentially (very) large number of dimensions. Practical considerations like memory consumption or time for comparisons call for the creation of compact representations. In this paper, we use hyperdimensional computing (HDC) as an approach to systematically combine information from a set of vectors in a single vector of the same dimensionality. HDC is a known technique to perform symbolic processing with distributed representation in numerical vectors with thousands of dimensions. We present a HDC implementation that is suitable for processing the output of existing and future (deep-learning based) image descriptors. We discuss how this can be used as a framework to process descriptors together with additional knowledge by simple and fast vector operations. A concrete outcome is a novel HDC-based approach to aggregate a set of local image descriptors together with their image positions in a single holistic descriptor. The comparison to available holistic descriptors and aggregation methods on a series of standard mobile robotics place recognition experiments shows a 20% improvement in average performance compared to runner-up and 3.6x better worst-case performance.


title: A survey on shape-constraint deep learning for medical image segmentation

abstract: Since the advent of U-Net, fully convolutional deep neural networks and its many variants have completely changed the modern landscape of deep learning based medical image segmentation. However, the over dependence of these methods on pixel level classification and regression has been identified early on as a problem. Especially when trained on medical databases with sparse available annotation, these methods are prone to generate segmentation artifacts such as fragmented structures, topological inconsistencies and islands of pixel. These artefacts are especially problematic in medical imaging since segmentation is almost always a pre-processing step for some downstream evaluation. The range of possible downstream evaluations is rather big, for example surgical planning, visualization, shape analysis, prognosis, treatment planning etc. However, one common thread across all these downstream tasks is the demand of anatomical consistency. To ensure the segmentation result is anatomically consistent, approaches based on Markov/ Conditional Random Fields, Statistical Shape Models are becoming increasingly popular over the past 5 years. In this review paper, a broad overview of recent literature on bringing anatomical constraints for medical image segmentation is given, the shortcomings and opportunities of the proposed methods are thoroughly discussed and potential future work is elaborated. We review the most relevant papers published until the submission date. For quick access, important details such as the underlying method, datasets and performance are tabulated.


title: Aalto-1, multi-payload CubeSat: In-orbit results and lessons learned

abstract: The in-orbit results and lessons learned of the first Finnish satellite Aalto-1 are briefly presented in this paper. Aalto-1, a three-unit CubeSat which was launched in June 2017, performed AaSI (Aalto Spectral Imager), Radiation Monitor (RADMON), and Electrostatic Plasma Brake (EPB) missions. The satellite partly fulfilled its mission objectives and allowed to either perform or attempt the experiments. Although attitude control was partially functional, AaSI and RADMON were able to acquire valuable measurements. EPB was successfully commissioned but the tether deployment was not successful.


title: Fr\"{o}hlich Condensate of Phonons in Optomechanical Systems

abstract: We propose that the optomechanical systems can be potential platforms to implement the Fr\"{o}hlich condensate of phonons. We consider a one-dimensional array of membranes coupled to the cavity field via a quadratic interaction, and the cavity is pumped by an external laser. Analytical and numerical results predict that the high phonon occupancy of the lowest or highest mechanical mode is achievable depending on the detuning of the driving laser, the optomechnical strength, and the temperature. The decoherence of the Fr\"{o}hlich condensate can be largely suppressed by the large number of membranes. Our results shed light on narrow-linewidth phonon laser, energy conversion/transfer, and efficient multimode cooling.


title: Multiwavelength dissection of a massive heavily dust-obscured galaxy and its blue companion at z $\sim $2

abstract: In this work we study a system of two galaxies, Astarte and Adonis, at z $\sim $2 when the Universe was undergoing its peak of star formation activity. Astarte is a dusty star-forming galaxy at the massive-end of the main sequence (MS) and Adonis is a less-massive, bright in ultraviolet (UV), companion galaxy with an optical spectroscopic redshift. We analyse the physical properties of this system, and probe the gas mass of Astarte with its ALMA CO emission, to investigate whether this ultra-massive galaxy is quenching or not. We use CIGALE - a spectral energy distribution modeling code - to derive the key physical properties of Astarte and Adonis, mainly their star formation rates (SFRs), stellar masses, and dust luminosities. We inspect the variation of the physical parameters depending on the assumed dust attenuation law. We also estimate the molecular gas mass of Astarte from its CO emission, using different $\alpha_{CO}$ and transition ratios ($r_{31}$) and discuss the implication of the various assumptions on the gas mass derivation. We find that Astarte exhibits a MS-like star formation activity, while Adonis is undergoing a strong starburst (SB) phase. The molecular gas mass of Astarte is far below the gas fraction of typical star-forming galaxies at z=2. This low gas content and high SFR, result in a depletion time of $0.22\pm0.07$ Gyrs, slightly shorter than what is expected for a MS galaxy at this redshift. The CO luminosity versus the total IR luminosity suggests a MS-like activity assuming a galactic conversion factor and a low transition ratio. The SFR of Astarte is of the same order using different attenuation laws, unlike its stellar mass that increases using shallow attenuation laws. We discuss these properties and suggest that Astarte might be experiencing a recent decrease of star formation activity and is quenching through the MS following a SB epoch.


title: DeepTrust: A Deep Learning Approach for Measuring Social Media Users Trustworthiness

abstract: Veracity of data posted on the microblog platforms has in recent years been a subject of intensive study by professionals specializing in various fields of informatics as well as sociology, particularly in the light of increasing importance of online tools for news spreading. On Twitter and similar sites, it is possible to report on ongoing situations globally with minimal delay, while the cost of such reporting remains negligible. One of the most important features of this social network is that content delivery can be customized to allow users to focus only on news items covering subject matters they find interesting. With this in mind, it becomes necessary to create verification mechanisms that can ascertain whether the claims made on Twitter can be taken seriously and prevent false content from spreading too far. This study demonstrates an innovative System for verification of information that can fulfill the role described above. The System is comprised of four mutually connected modules: a legacy module, a trustworthiness classifier; a module managing user authority, and a ranking procedure. All of the modules function within an integrated framework and jointly contribute to an accurate classification of messages and authors. Effectiveness of the solution was evaluated empirically on a sample of Twitter users, with a strict 10-fold evaluation procedure applied for each module. The findings indicate that the solution successfully meets the primary objectives of the study and performs its function as expected.


title: Anticoncentration versus the number of subset sums

abstract: Let $\vec{w} = (w_1,\dots, w_n) \in \mathbb{R}^{n}$. We show that for any $n^{-2}\le\epsilon\le 1$, if \[\#\{\vec{\xi} \in \{0,1\}^{n}: \langle \vec{\xi}, \vec{w} \rangle = \tau\} \ge 2^{-\epsilon n}\cdot 2^{n}\] for some $\tau \in \mathbb{R}$, then \[\#\{\langle \vec{\xi}, \vec{w} \rangle : \vec{\xi} \in \{0,1\}^{n}\} \le 2^{O(\sqrt{\epsilon}n)}.\] This exponentially improves the $\epsilon$ dependence in a recent result of Nederlof, Pawlewicz, Swennenhuis, and W\k{e}grzycki and leads to a similar improvement in the parameterized (by the number of bins) runtime of bin packing.


title: Removing the Clock Machinery Lag from DCTCP/Prague

abstract: This report explains how DCTCP takes 2--3 rounds before it even starts to respond to congestion. This is due to the clocking machinery in its moving average of congestion feedback. Instead, per-ACK mechanisms are proposed, which cut out all the extra lag, leaving just the inherent single round of feedback delay. Even though clocking per ACK updates the average much more frequently, it is arranged to inherently smooth out variations over the same number of round trips, independent of the number of ACKs per round. Evaluation of the v02 algorithm found design errors. This version (v04) is published prior to evaluation, in order to elicit early feedback on the design.


title: The multiphase Muskat problem with equal viscosities in two dimensions

abstract: We study the two-dimensional multiphase Muskat problem describing the motion of three immiscible fluids with equal viscosities in a vertical homogeneous porous medium identified with $\mathbb{R}^2$ under the effect of gravity. We first formulate the governing equations as a strongly coupled evolution problem for the functions that parameterize the sharp interfaces between the fluids. Afterwards we prove that the problem is of parabolic type and establish its well-posedness together with two parabolic smoothing properties. For solutions that are not global we exclude, in a certain regime, that the interfaces come into contact along a curve segment.


title: On a classical solution to the Abelian Higgs model

abstract: A particular solution to the equations of motion of the Abelian Higgs model is given. The solution involves the Jacobi elliptic functions as well as the Heun functions.


title: A Unifying Generative Model for Graph Learning Algorithms: Label Propagation, Graph Convolutions, and Combinations

abstract: Semi-supervised learning on graphs is a widely applicable problem in network science and machine learning. Two standard algorithms -- label propagation and graph neural networks -- both operate by repeatedly passing information along edges, the former by passing labels and the latter by passing node features, modulated by neural networks. These two types of algorithms have largely developed separately, and there is little understanding about the structure of network data that would make one of these approaches work particularly well compared to the other or when the approaches can be meaningfully combined. Here, we develop a Markov random field model for the data generation process of node attributes, based on correlations of attributes on and between vertices, that motivates and unifies these algorithmic approaches. We show that label propagation, a linearized graph convolutional network, and their combination can all be derived as conditional expectations under our model, when conditioning on different attributes. In addition, the data model highlights deficiencies in existing graph neural networks (while producing new algorithmic solutions), serves as a rigorous statistical framework for understanding graph learning issues such as over-smoothing, creates a testbed for evaluating inductive learning performance, and provides a way to sample graphs attributes that resemble empirical data. We also find that a new algorithm derived from our data generation model, which we call a Linear Graph Convolution, performs extremely well in practice on empirical data, and provide theoretical justification for why this is the case.


title: TC-DTW: Accelerating Multivariate Dynamic Time Warping Through Triangle Inequality and Point Clustering

abstract: Dynamic time warping (DTW) plays an important role in analytics on time series. Despite the large body of research on speeding up univariate DTW, the method for multivariate DTW has not been improved much in the last two decades. The most popular algorithm used today is still the one developed seventeen years ago. This paper presents a solution that, as far as we know, for the first time consistently outperforms the classic multivariate DTW algorithm across dataset sizes, series lengths, data dimensions, temporal window sizes, and machines. The new solution, named TC-DTW, introduces Triangle Inequality and Point Clustering into the algorithm design on lower bound calculations for multivariate DTW. In experiments on DTW-based nearest neighbor finding, the new solution avoids as much as 98% (60% average) DTW distance calculations and yields as much as 25X (7.5X average) speedups.


title: Out-of-distribution Prediction with Invariant Risk Minimization: The Limitation and An Effective Fix

abstract: This work considers the out-of-distribution (OOD) prediction problem where (1)~the training data are from multiple domains and (2)~the test domain is unseen in the training. DNNs fail in OOD prediction because they are prone to pick up spurious correlations. Recently, Invariant Risk Minimization (IRM) is proposed to address this issue. Its effectiveness has been demonstrated in the colored MNIST experiment. Nevertheless, we find that the performance of IRM can be dramatically degraded under \emph{strong $\Lambda$ spuriousness} -- when the spurious correlation between the spurious features and the class label is strong due to the strong causal influence of their common cause, the domain label, on both of them (see Fig. 1). In this work, we try to answer the questions: why does IRM fail in the aforementioned setting? Why does IRM work for the original colored MNIST dataset? How can we fix this problem of IRM? Then, we propose a simple and effective approach to fix the problem of IRM. We combine IRM with conditional distribution matching to avoid a specific type of spurious correlation under strong $\Lambda$ spuriousness. Empirically, we design a series of semi synthetic datasets -- the colored MNIST plus, which exposes the problems of IRM and demonstrates the efficacy of the proposed method.


title: Palindromic and Colored Superdiagonal Compositions

abstract: A superdiagonal composition is one in which the $i$-th part or summand is of size greater than or equal to $i$. In this paper, we study the number of palindromic superdiagonal compositions and colored superdiagonal compositions. In particular, we give generating functions and explicit combinatorial formulas involving binomial coefficients and Stirling numbers of the first kind.


title: Multicolor continuous-variable quantum entanglement in the Kerr frequency comb

abstract: In a traveling wave microresonator, the cascaded four-wave mixing (FWM) between optical modes allows the generation of frequency combs, including intriguing dissipative Kerr solitons (DKS). In this study, we explore the quantum fluctuations of frequency combs and unveil the quantum features of solitons. The entanglement of DKS exhibits two distinct characteristics. For modes located at the spectral edge with a small number of excitations, different comb modes with multiple colors become entangled due to photon-pair generation and coherent photon conversion stimulated by the FWM. Notably, we observe a sudden disappearance of quantum entanglement in the center of the DKS spectrum, which is attributed to the self-locking phenomena in the FWM network. Our findings demonstrate the prominent quantum nature of DKS, which is of fundamental significance in quantum optics and has the potential to be utilized in quantum networking and distributed quantum sensing applications.


title: Metadata Analysis of Open Educational Resources

abstract: Open Educational Resources (OERs) are openly licensed educational materials that are widely used for learning. Nowadays, many online learning repositories provide millions of OERs. Therefore, it is exceedingly difficult for learners to find the most appropriate OER among these resources. Subsequently, the precise OER metadata is critical for providing high-quality services such as search and recommendation. Moreover, metadata facilitates the process of automatic OER quality control as the continuously increasing number of OERs makes manual quality control extremely difficult. This work uses the metadata of 8,887 OERs to perform an exploratory data analysis on OER metadata. Accordingly, this work proposes metadata-based scoring and prediction models to anticipate the quality of OERs. Based on the results, our analysis demonstrated that OER metadata and OER content qualities are closely related, as we could detect high-quality OERs with an accuracy of 94.6%. Our model was also evaluated on 884 educational videos from Youtube to show its applicability on other educational repositories.


title: Estimating black hole masses in obscured AGN using X-rays

abstract: Determining the black hole masses in active galactic nuclei (AGN) is of crucial importance to constrain the basic characteristics of their central engines and shed light on their growth and co-evolution with their host galaxies. While the black hole mass (MBH) can be robustly measured with dynamical methods in bright type 1 AGN, where the variable primary emission and the broad line region (BLR) are directly observed, a direct measurement is considerably more challenging if not impossible for the vast majority of heavily obscured type 2 AGN. In this work, we tested the validity of an X-ray-based scaling method to constrain the MBH in heavily absorbed AGN. To this end, we utilized a sample of type 2 AGN with good-quality hard X-ray data obtained by the nuSTAR satellite and with MBH dynamically constrained from megamaser measurements. Our results indicate that, when the X-ray broadband spectra are fitted with physically motivated self-consistent models that properly account for absorption, scattering, and emission line contributions from the putative torus and constrain the primary X-ray emission, then the X-ray scaling method yields MBH values that are consistent with those determined from megamaser measurements within their respective uncertainties. With this method we can therefore systematically determine the MBH in any type 2 AGN, provided that they possess good-quality X-ray data and accrete at a moderate to high rate.


title: Outage Probability Analysis of Uplink Cell-Free Massive MIMO Network with and without Pilot Contamination

abstract: This paper derives approximate outage probability (OP) expressions for uplink cell-free massive multiple-input-multiple-output (CF-mMIMO) systems with and without pilot contamination. The system's access points (APs) are considered to have imperfect channel state information (CSI). The signal-to-interference-plus-noise ratio (SINR) of the CF-mMIMO system is approximated via a Log-normal distribution using a two-step moment matching method. OP and ergodic rate expressions are derived with the help of the approximated Log-normal distribution. For the no-pilot contamination scenario, an exact expression is first derived using conditional expectations in terms of a multi-fold integral. Then, a novel dimension reduction method is used to approximate it by the sum of single-variable integrations. Both the approximations derived for the CF-mMIMO systems are also useful for single-cell collocated massive MIMO (mMIMO) systems and lead to closed-form expression. The derived expressions closely match the simulated numerical values for OP and ergodic rate.


title: Small Bodies of the Solar System Active at Large Heliocentric Distances: Studies with the 6-Meter Telescope of Sao Ras

abstract: A detailed study of comets active at large heliocentric distances (greater than 4 au) which enter the Solar System for the first time and are composed of matter in its elementary, unprocessed state, would help in our understanding of the history and evolution of the Solar System. In particular, contemporary giant planet formation models require the presence of accretion of volatile elements such as neon, argon, krypton, xenon and others, which initially could not survive at the distances where giant planets were formed. Nevertheless, the volatile components could be effectively delivered by the Kuiper-belt and Oort-cloud bodies, which were formed at temperatures below 30 K. This review is dedicated to the results of a multi-year comprehensive study of small bodies of the Solar System showing a comet-like activity at large heliocentric distances. The data were obtained from observations with the 6-meter telescope of SAO RAS equipped with multi-mode focal reducers SCORPIO and SCORPIO-2.


title: Criteria for Poisson process convergence with applications to inhomogeneous Poisson-Voronoi tessellations

abstract: This article employs the relation between probabilities of two consecutive values of a Poisson random variable to derive conditions for the weak convergence of point processes to a Poisson process. As applications, we consider the starting points of k-runs in a sequence of Bernoulli random variables and point processes constructed using inradii and circumscribed radii of inhomogeneous Poisson-Voronoi tessellations.


title: On the cohomology of GL(N) and adjoint Selmer groups

abstract: We prove -under certain conditions (local-global compatibility and vanishing of integral cohomology), a generalization of a theorem of Galatius and Venkatesh. We consider the case of GL(N) over a CM field and we relate the localization of penultimate non vanishing cuspidal cohomology group for a locally symmetric space to the Selmer group of the Tate dual of the adjoint representation. More precisely we construct a Hecke-equivariant injection from the divisible group associated to the first fundamental group of a derived deformation ring to the Selmer group of the twisted dual adjoint motive with divisible coefficients and we identify its cokernel as its first Tate-Shafarevich group. Actually, we also construct similar maps for higher homotopy groups with values in exterior powers of Selmer groups, although with less precise control on their kernel and cokernel. We generalize this to Hida families as well.


title: Quality assessment of in situ plasma etched diamond surfaces for CVD overgrowth

abstract: In situ plasma etching is a common method to prepare diamond substrates for epitaxial overgrowth to effectuate higher quality. However, there is no practical, direct, qualitative method established so far to assess the performance of the etching pretreatment. We propose an optimization of the pretreatment process on grounds of high-resolution X-ray diffraction measurements to judge the structural quality gain of the diamond substrates and the effectiveness of the polishing-induced subsurface damage removal. The obtained data shows, that parameters like thickness nor misorientation angle of the diamond substrates seem to influence the gain of the structural quality. The process duration, however, is an important key factor, when the amount of material removal and the arising roughness are discussed. Furthermore, the impact of the oxygen-to-hydrogen ratio is examined. And with rising oxygen percentage, the structural quality gain remains similar, only the overall as well as local mean roughness increases exponentially. Within the utilized reactor setup, the best results are obtained after a 20-minute in situ hydrogen plasma-etching step. The optimal pretreatment process, however, will always embody a tradeoff and needs to be optimized for each reactor type. Due to the introduced method a better evaluation and comparison of the achievements is accomplishable.


title: INGOT Wavefront Sensor: from the optical design to a preliminary laboratory test

abstract: The Ingot wavefront sensor is a novel pupil-plane wavefront sensor, specifically designed to cope with the elongation typical of the extended nature of the Laser Guide Star (LGS). In the framework of the ELT, we propose an optical solution suitable for a Laser launch telescope, located outside the telescope pupil. In this paper, we present the current optical design, based on a reflective roof-shaped prism, which, at the level of the focal plane, splits the light from an LGS producing three beams. The three images of the telescope pupils can be then used for the retrieval of the first derivative of the wavefront. The 3D nature of such a device requires new alignment techniques to be determined theoretically and verified in the real world. A possible fully automated procedure, relying solely on the illumination observed at the three pupils, to align the prism to the image of the LGS is discussed. Careful attention needs to be put both on the telecentricity of the system and on the reference systems of the Ingot adjustments in the 3D space. This is crucial in order to disentangle all the possible misalignment effects. In this context, we devised a test-bench able to reproduce, in a scaled manner, the 3D illumination that the Ingot will face at the ELT, in order to validate the design and to perform preliminary tests of phase retrieval.


title: The Issues of Mismodelling Gravitational-Wave Data for Parameter Estimation

abstract: Bayesian inference is used to extract unknown parameters from gravitational wave signals. Detector noise is typically modelled as stationary, although data from the LIGO and Virgo detectors is not stationary. We demonstrate that the posterior of estimated waveform parameters is no longer valid under the assumption of stationarity. We show that while the posterior is unbiased, the errors will be under- or overestimated compared to the true posterior. A formalism was developed to measure the effect of the mismodelling, and found the effect of any form of non-stationarity has an effect on the results, but are not significant in certain circumstances. We demonstrate the effect of short-duration Gaussian noise bursts and persistent oscillatory modulation of the noise on binary-black-hole-like signals. In the case of short signals, non-stationarity in the data does not have a large effect on the parameter estimation, but the errors from non-stationary data containing signals lasting tens of seconds or longer will be several times worse than if the noise was stationary. Accounting for this limiting factor in parameter sensitivity could be very important for achieving accurate astronomical results, including an estimation of the Hubble parameter. This methodology for handling the non-stationarity will also be invaluable for analysis of waveforms that last minutes or longer, such as those we expect to see with the Einstein Telescope.


title: Bursting Bubble in a Viscoplastic Medium

abstract: When a rising bubble in a Newtonian liquid reaches the liquid-air interface, it can burst, leading to the formation of capillary waves and a jet on the surface. Here, we numerically study this phenomenon in a yield stress fluid. We show how viscoplasticity controls the fate of these capillary waves and their interaction at the bottom of the cavity. Unlike Newtonian liquids, the free surface converges to a non-flat final equilibrium shape once the driving stresses inside the pool fall below the yield stress. Details of the dynamics, including the flow's energy budgets, are discussed. The work culminates in a regime map with four main regimes with different characteristic behaviours.


title: Feasibility of an experimental search for a resonance of a pion and a light nucleus

abstract: A hypothesis is proposed herein, suggesting that a pion-nuclear resonance may be observed in the $\alpha+d\to{}^6\mathrm{Li}(3.563)+\pi^0$ reaction. The resonance has a $\pi NN\alpha$ structure, containing $\alpha NN$ and $\pi NN$ subsystems. The former corresponds to the $A=6$ isotriplet ($^6\mathrm{He}_\text{g.s.}$, $^6\mathrm{Li}(3.563)$, $^6\mathrm{Be}_\text{g.s.}$), whereas the latter is a hypothetical $NN$-decoupled dibaryon. We propose an experiment to search for this resonance using the $^7\mathrm{Li}(p,d)$ reaction.


title: Tunable Coupling Architecture for Fixed-frequency Transmons

abstract: Implementation of high-fidelity two-qubit operations is a key ingredient for scalable quantum error correction. In superconducting qubit architectures tunable buses have been explored as a means to higher fidelity gates. However, these buses introduce new pathways for leakage. Here we present a modified tunable bus architecture appropriate for fixed-frequency qubits in which the adiabaticity restrictions on gate speed are reduced. We characterize this coupler on a range of two-qubit devices achieving a maximum gate fidelity of $99.85\%$. We further show the calibration is stable over one day.


title: Moir\'e-trapped interlayer trions in a charge-tunable WSe$_2$/MoSe$_2$ heterobilayer

abstract: Transition metal dichalcogenide heterobilayers offer attractive opportunities to realize lattices of interacting bosons with several degrees of freedom. Such heterobilayers can feature moir\'e patterns that modulate their electronic band structure, leading to spatial confinement of single interlayer excitons (IXs) that act as quantum emitters with $C_3$ symmetry. However, the narrow emission linewidths of the quantum emitters contrast with a broad ensemble IX emission observed in nominally identical heterobilayers, opening a debate regarding the origin of IX emission. Here we report the continuous evolution from a few trapped IXs to an ensemble of IXs with both triplet and singlet spin configurations in a gate-tunable $2H$-MoSe$_2$/WSe$_2$ heterobilayer. We observe signatures of dipolar interactions in the IX ensemble regime which, when combined with magneto-optical spectroscopy, reveal that the narrow quantum-dot-like and broad ensemble emission originate from IXs trapped in moir\'e potentials with the same atomic registry. Finally, electron doping leads to the formation of three different species of localised negative trions with contrasting spin-valley configurations, among which we observe both intervalley and intravalley IX trions with spin-triplet optical transitions. Our results identify the origin of IX emission in MoSe$_2$/WSe$_2$ heterobilayers and highlight the important role of exciton-exciton interactions and Fermi-level control in these highly tunable quantum materials.


title: Modulation of Cathodoluminescence Emission by Interference with External Light

abstract: Spontaneous processes triggered in a sample by free electrons are commonly regarded as incoherent, and therefore unable to interfere with external light sources. Here, we challenge this concept by showing through first-principles theory that light and free-electron pulses can interfere when interacting with a nanostructure, giving rise to a modulation in the spectral distribution of the cathodoluminescence light emission that is strongly dependent on the electron wave function. Specifically, for a temporally focused electron, cathodoluminescence can be cancelled upon illumination with a spectrally modulated dimmed laser that is phase-locked relative to the electron density profile. We illustrate this idea with realistic simulations under attainable conditions in currently available ultrafast electron microscopes. We further argue that the interference between excitations produced by light and free electrons opens a new window to manipulate the ultrafast materials response by combining the spectral and temporal selectivity of the light with the atomic resolution of electron beams.


title: Picard groups for some blocks with TI defect groups

abstract: We calculate the Picard groups for principal blocks $B$ with TI defect groups and cyclic inertial quotient. The methods used generalize results on self stable equivalences and take advantage of the existence of equivalences given by Green correspondence in this setting. In particular, we show that $\text{Pic}(B)=\mathcal{E}(B)$, giving more evidence for a conjecture on basic auto-Morita equivalences.


title: Information Theoretic Secure Aggregation with User Dropouts

abstract: In the robust secure aggregation problem, a server wishes to learn and only learn the sum of the inputs of a number of users while some users may drop out (i.e., may not respond). The identity of the dropped users is not known a priori and the server needs to securely recover the sum of the remaining surviving users. We consider the following minimal two-round model of secure aggregation. Over the first round, any set of no fewer than $U$ users out of $K$ users respond to the server and the server wants to learn the sum of the inputs of all responding users. The remaining users are viewed as dropped. Over the second round, any set of no fewer than $U$ users of the surviving users respond (i.e., dropouts are still possible over the second round) and from the information obtained from the surviving users over the two rounds, the server can decode the desired sum. The security constraint is that even if the server colludes with any $T$ users and the messages from the dropped users are received by the server (e.g., delayed packets), the server is not able to infer any additional information beyond the sum in the information theoretic sense. For this information theoretic secure aggregation problem, we characterize the optimal communication cost. When $U \leq T$, secure aggregation is not feasible, and when $U > T$, to securely compute one symbol of the sum, the minimum number of symbols sent from each user to the server is $1$ over the first round, and $1/(U-T)$ over the second round.


title: Time Evolution of Lepton Number Carried by Majorana Neutrinos

abstract: We revisit the time evolution of the lepton family number for a SU(2) doublet consisting of a neutrino and a charged lepton. The lepton family number is defined through the weak basis of the SU(2) doublet, where the charged lepton mass matrix is real and diagonal. The lepton family number carried by the neutrino is defined by the left-handed current of the neutrino family. For this work we assume the neutrinos have Majorana mass. This Majorana mass term is switched on at time $t=0$ and the lepton family number is evolved. Since the operator in the flavor eigenstate is continuously connected to that of the mass eigenstate, the creation and annihilation operators for the two eigenstates are related to each other. We compute the time evolution of all lepton family numbers by choosing a specific initial flavor eigenstate for a neutrino. The evolution is studied for relativistic and nonrelativistic neutrinos. The nonrelativistic region is of particular interest for the Cosmic Neutrino Background predicted from big bang models. In that region we find the lepton family numbers are sensitive to Majorana and Dirac phases, the absolute mass, and mass hierarchy of neutrinos.


title: Characterizing and Measuring the Similarity of Neural Networks with Persistent Homology

abstract: Characterizing the structural properties of neural networks is crucial yet poorly understood, and there are no well-established similarity measures between networks. In this work, we observe that neural networks can be represented as abstract simplicial complex and analyzed using their topological 'fingerprints' via Persistent Homology (PH). We then describe a PH-based representation proposed for characterizing and measuring similarity of neural networks. We empirically show the effectiveness of this representation as a descriptor of different architectures in several datasets. This approach based on Topological Data Analysis is a step towards better understanding neural networks and serves as a useful similarity measure.


title: Measurement of Branching Fraction and Search for $CP$ Violation in $B\to \phi \phi K$

abstract: We report the measurement of branching fractions and $CP$-violation asymmetries in $B\to \phi \phi K$ decays based on a $711\,{\rm fb}^{-1}$ data sample containing $772\times 10^6$ $B\bar{B}$ events. The data were recorded at the $\Upsilon (4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. For $B^+ \to \phi \phi K^+$, the branching fraction and $CP$-violation asymmetry measured below the $\eta_{c}$ threshold ($m_{\phi\phi}<2.85\,{\rm GeV}/c^2$) are $[3.43^{\,+\,0.48}_{\,-\,0.46}({\rm stat})\pm 0.22({\rm syst})] \times10^{-6}$ and $-0.02\pm0.11({\rm stat})\pm0.01({\rm syst})$, respectively. Similarly, the branching fraction obtained for $B^0 \to\phi\phi K^0$ below the $\eta_{c}$ threshold is $[3.02^{\,+\,0.75}_{\,-\,0.66} ({\rm stat})\pm \,0.20({\rm syst})]\times10^{-6}$. We also measure the $CP$-violation asymmetry for $B^+ \to\phi\phi K^+$ within the $\eta_{c}$ region ($m_{\phi\phi}\in [2.94,3.02]\,{\rm GeV}/c^2$) to be $+0.12\pm0.12({\rm stat})\pm0.01({\rm syst})$.


title: Feasibility of characterizing subsurface brines on Ceres by electromagnetic sounding

abstract: The ice-rich dwarf planet Ceres is the largest object in the main asteroid belt and is thought to have a brine or mud layer at a depth of tens of kilometers. Furthermore, recent surface deposits of brine-sourced material imply shallow feeder structures such as sills or dikes. Inductive sounding of Ceres can be performed using the solar wind as a source, as was done for the Moon during Apollo. However, the magnetotelluric method -- measuring both electric and magnetic fields at the surface -- is not sensitive to plasma effects that were experienced for Apollo, which used an orbit-to-surface magnetic transfer function. The highly conductive brine targets are readily separable from the resistive ice and rock interior, such that the depth to deep and shallow brines can be assessed simultaneously. The instrumentation will be tested on the Moon in 2023 and is ready for implementation on a Ceres landed mission.


title: Quantum Permutation Synchronization

abstract: We present QuantumSync, the first quantum algorithm for solving a synchronization problem in the context of computer vision. In particular, we focus on permutation synchronization which involves solving a non-convex optimization problem in discrete variables. We start by formulating synchronization into a quadratic unconstrained binary optimization problem (QUBO). While such formulation respects the binary nature of the problem, ensuring that the result is a set of permutations requires extra care. Hence, we: (I) show how to insert permutation constraints into a QUBO problem and (ii) solve the constrained QUBO problem on the current generation of the adiabatic quantum computers D-Wave. Thanks to the quantum annealing, we guarantee global optimality with high probability while sampling the energy landscape to yield confidence estimates. Our proof-of-concepts realization on the adiabatic D-Wave computer demonstrates that quantum machines offer a promising way to solve the prevalent yet difficult synchronization problems.


title: Motion Estimation of Connected and Automated Vehicles under Communication Delay and Packet Loss of V2X Communications

abstract: The emergence of the connected and automated vehicle (CAV) technology enables numerous advanced applications in our transportation system, benefiting our daily travels in terms of safety, mobility, and sustainability. However, vehicular communication technologies such as Dedicated Short-Range Communications (DSRC) or Cellular-Based Vehicle-to-Everything (C-V2X) communications unavoidably introduce issues like communication delay and packet loss, which will downgrade the performances of any CAV applications. In this study, we propose a consensus-based motion estimation methodology to estimate the vehicle motion when the vehicular communication environment is not ideal. This methodology is developed based on the consensus-based feedforward/feedback motion control algorithm, estimating the position and speed of a CAV in the presence of communication delay and packet loss. The simulation study is conducted in a traffic scenario of unsignalized intersections, where CAVs coordinate with each other through V2X communications and cross intersections without any full stop. Game engine-based human-in-the-loop simulation results shows the proposed motion estimation methodology can cap the position estimation error to 0.5 m during periodic packet loss and time-variant communication delay.


title: Magnification Generalization for Histopathology Image Embedding

abstract: Histopathology image embedding is an active research area in computer vision. Most of the embedding models exclusively concentrate on a specific magnification level. However, a useful task in histopathology embedding is to train an embedding space regardless of the magnification level. Two main approaches for tackling this goal are domain adaptation and domain generalization, where the target magnification levels may or may not be introduced to the model in training, respectively. Although magnification adaptation is a well-studied topic in the literature, this paper, to the best of our knowledge, is the first work on magnification generalization for histopathology image embedding. We use an episodic trainable domain generalization technique for magnification generalization, namely Model Agnostic Learning of Semantic Features (MASF), which works based on the Model Agnostic Meta-Learning (MAML) concept. Our experimental results on a breast cancer histopathology dataset with four different magnification levels show the proposed method's effectiveness for magnification generalization.


title: A bi-directional extensible interface between Lean and Mathematica

abstract: We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our connection allows for the exchange of arbitrary information between the two systems. We show how to make use of the Lean metaprogramming framework to verify certain Mathematica computations, so that the rigor of the proof assistant is not compromised. We also use Mathematica as an untrusted oracle to guide proof search in the proof assistant and interact with a Mathematica notebook from within a Lean session. In the other direction, we import and process Lean declarations from within Mathematica. The proof assistant library serves as a database of mathematical knowledge that the CAS can display and explore.


title: Cosmic Ray transport in mixed magnetic fields and their role on the observed anisotropies

abstract: There is a growing set of observational data demonstrating that cosmic rays exhibit small-scale anisotropies (5-30 deg) with amplitude deviations lying between 0.01-0.1 percent that of the average cosmic ray flux. A broad range of models have been proposed to explain these anisotropies ranging from finite-scale magnetic field structures to dark matter annihilation. The standard diffusion transport methods used in cosmic ray propagation do not capture the transport physics in a medium with finite-scale or coherent magnetic field structures. Here, we present a Monte Carlo transport method, applying it to a series of finite-scale magnetic field structures to determine the requirements of such fields in explaining the observed cosmic ray,small-scale anisotropies.


title: DKPRG or how to succeed in the Kolkata Paise Restaurant gamevia TSP

abstract: The Kolkata Paise Restaurant Problem is a challenging game, in which $n$ agents must decide where to have lunch during their lunch break. The game is very interesting because there are exactly $n$ restaurants and each restaurant can accommodate only one agent. If two or more agents happen to choose the same restaurant, only one gets served and the others have to return back to work hungry. In this paper we tackle this problem from an entirely new angle. We abolish certain implicit assumptions, which allows us to propose a novel strategy that results in greater utilization for the restaurants. We emphasize the spatially distributed nature of our approach, which, for the first time, perceives the locations of the restaurants as uniformly distributed in the entire city area. This critical change in perspective has profound ramifications in the topological layout of the restaurants, which now makes it completely realistic to assume that every agent has a second chance. Every agent now may visit, in case of failure, more than one restaurants, within the predefined time constraints.


title: The Coq Proof Script Visualiser (coq-psv)

abstract: In this work, we present a visualisation tool that is able to process Coq proof scripts and generate a table representation of the contained proofs as $\LaTeX$ or PDF files. This tool has the aim to support both education and review processes as all proof steps can be visualised. Thus, there is no need to use Coq in order to review proofs or use them as examples in teaching. In contrast to the usual approach of visualising proofs as hypertext or markdown documents, the generated files can be easily printed.


title: On the non-axisymmetric fragmentation of rings generated by the Secular Gravitational Instability

abstract: Ringed structures have been observed in a variety of protoplanetary discs. Among the processes that might be able to generate such features, the Secular Gravitational Instability (SGI) is a possible candidate. It has also been proposed that the SGI might lead to the formation of planetesimals during the non-linear phase of the instability. In this context, we employ two-fluid hydrodynamical simulations with self-gravity to study the non-axisymmetric, non-linear evolution of ringed perturbations that grow under the action of the SGI. We find that the non-linear evolution outcome of the SGI depends mainly on the initial linear growth rate. For SGI growth rates smaller than typically $\sigma \gtrsim 10^{-4}-10^{-5}\Omega$, dissipation resulting from dust feedback introduces a $m=1$ spiral wave in the gas, even for Toomre gas stability parameters $Q_g>2$ for which non-axisymmetric instabilities appear in a purely gaseous disc. This one-armed spiral subsequently traps dust particles until a dust-to-gas ratio $\epsilon \sim 1$ is achieved. For higher linear growth rates, the dust ring is found to undergo gravitational collapse until the bump in the surface density profile becomes strong enough to trigger the formation of dusty vortices through the Rossby Wave Instability (RWI). Enhancements in dust density resulting from this process are found to scale with the linear growth rate, and can be such that the dust density is higher than the Roche density, leading to the formation of bound clumps. Fragmentation of axisymmetric rings produced by the SGI might therefore appear as a possible process for the formation of planetesimals.


title: Reproducing the asymptotic behaviour of galaxy rotation curves by a novel constraint in general relativity

abstract: The cold dark matter paradigm has been posited as the standard explanation for the non-Keplerian behavior of galaxy rotation curves, where for galaxies satisfying the Tully-Fisher relation, the mass of the dark matter halo from a large class of universal dark matter profiles ought to roughly increase linearly with radial distance at large distances, $m(r) \sim r/nG$ ($G$ is the gravitational constant and $n$ is a dimensionless parameter which depends on the amount of baryonic matter $M$ within the galaxy). Despite numerous advances in modeling galaxy formation and evolution, a scientific consensus on the origin of the observed dependence of the dimensionless parameter $n = (GMa_{0})^{-1/2}$ on the mass of baryonic matter $M$ within the galaxy (the Tully-Fisher relation), and the connection of the cosmological constant $\Lambda$ to the parameter $a_{0} \sim (\Lambda/3)^{1/2}$ remains elusive. Here, we show that Einstein Field Equations can be remolded into $\nabla_{\nu}\mathcal{K}^{\nu}_{\,\,\mu} = 8\pi GM\Psi^{*}\mathcal{D}_{\mu}\Psi$, where $\mathcal{K}_{\mu\nu}$ is a complex Hermitian tensor, $\mathcal{D}_{\mu}$ is a covariant derivative and $\Psi$ is a complex-valued function. This avails a novel constraint, $\nabla_{\mu}\nabla_{\nu}\mathcal{K}^{\mu\nu} = 0$ not necessarily available in Einstein's General Relativity. In the weak-field regime, we can readily reproduce the Tully-Fisher relation using the usual charge-less pressure-less fluid. Moreover, our approach is equivalent to a Ginzburg-Landau theory of $n$ bosons, where the order parameter is normalized as $\int_{0}^{1/a_{0}} dr\,4\pi r^2\Psi^*\Psi = n$ and $1/a_{0} \sim (\Lambda/3)^{-1/2}$ is the cut-off length scale comparable to the size of the de Sitter universe. Our investigations provide a framework that reproduces the mass-asymptotic speed relation in galaxies within the cold dark matter paradigm.


title: Growth and site-specific organization of micron-scale biomolecular devices on living mammalian cells

abstract: Mesoscale molecular assemblies on the cell surface, such as cilia and filopodia, integrate information, control transport and amplify signals. Synthetic devices mimicking these structures could sensitively monitor these cellular functions and direct new ones. The challenges in creating such devices, however are that they must be integrated with cells in a precise kinetically controlled process and a device's structure and its precisely structured cell interface must then be maintained during active cellular function. Here we report the ability to integrate synthetic micro-scale filaments, DNA nanotubes, into a cell's architecture by anchoring them by their ends to specific receptors on the surfaces of mammalian cells. These filaments can act as shear stress meters: how anchored nanotubes bend at the cell surface quantitatively indicates the magnitude of shear stresses between 0-2 dyn per cm2, a regime important for cell signaling. Nanotubes can also grow while anchored to cells, thus acting as dynamic components of cells. This approach to cell surface engineering, in which synthetic biomolecular assemblies are organized within existing cellular architecture, could make it possible to build new types of sensors, machines and scaffolds that can interface with, control and measure properties of cells.


title: Exploring the next step in micro-solvation of CO in water: Infrared spectra and structural calculations of (H2O)4- CO and (D2O)4- CO

abstract: We extend studies of micro-solvation of carbon monoxide by a combination of high-resolution IR spectroscopy and ab initio calculations. Spectra of the (H2O)4-CO and (D2O)4-CO pentamers are observed in the C-O stretch fundamental region (~2150 cm-1). The H2O containing spectrum is broadened by predissociation, but that of D2O is sharp, enabling detailed analysis which gives a precise band origin and rotational parameters. Ab initio calculations are employed to confirm the assignment to (water)4-CO and to determine the structure, in which the geometry of the (water)4 fragment is a cyclic ring very similar to the isolated water tetramer. The CO fragment is located "above" the ring plane, with a partial hydrogen bond between the C atom and one of the "free" protons (deuterons) of the water tetramer. Together with previous results on D2O-CO, (D2O)2-CO, and (D2O)3-CO, this represents a probe of the four initial steps in the solvation of carbon monoxide at high resolution.


title: Cost-based feature selection for network model choice

abstract: Selecting a small set of informative features from a large number of possibly noisy candidates is a challenging problem with many applications in machine learning and approximate Bayesian computation. In practice, the cost of computing informative features also needs to be considered. This is particularly important for networks because the computational costs of individual features can span several orders of magnitude. We addressed this issue for the network model selection problem using two approaches. First, we adapted nine feature selection methods to account for the cost of features. We show for two classes of network models that the cost can be reduced by two orders of magnitude without considerably affecting classification accuracy (proportion of correctly identified models). Second, we selected features using pilot simulations with smaller networks. This approach reduced the computational cost by a factor of 50 without affecting classification accuracy. To demonstrate the utility of our approach, we applied it to three different yeast protein interaction networks and identified the best-fitting duplication divergence model.


title: Reconfigurable magnonic mode-hybridisation and spectral control in a bicomponent artificial spin ice

abstract: Strongly-interacting nanomagnetic arrays are finding increasing use as model host systems for reconfigurable magnonics. The strong inter-element coupling allows for stark spectral differences across a broad microstate space due to shifts in the dipolar field landscape. While these systems have yielded impressive initial results, developing rapid, scaleable means to access abroad range of spectrally-distinct microstates is an open research problem.We present a scheme whereby square artificial spin ice is modified by widening a 'staircase' subset of bars relative to the rest of the array, allowing preparation of any ordered vertex state via simple global-field protocols. Available microstates range from the system ground-state to high-energy 'monopole' states, with rich and distinct microstate-specific magnon spectra observed. Microstate-dependent mode-hybridisation and anticrossings are observed at both remanence and in-field with dynamic coupling strength tunable via microstate-selection. Experimental coupling strengths are found up to g / 2$\pi$ = 0.15 GHz. Microstate control allows fine mode-frequency shifting, gap creation and closing, and active mode number selection.


title: Assets in Software Engineering: What are they after all?

abstract: During the development and maintenance of software-intensive products or services, we depend on various artefacts. Some of those artefacts, we deem central to the feasibility of a project and the product's final quality. Typically, these central artefacts are referred to as assets. However, despite their central role in the software development process, little thought is yet invested into what eventually characterises as an asset, often resulting in many terms and underlying concepts being mixed and used inconsistently. A precise terminology of assets and related concepts, such as asset degradation, are crucial for setting up a new generation of cost-effective software engineering practices. In this position paper, we critically reflect upon the notion of assets in software engineering. As a starting point, we define the terminology and concepts of assets and extend the reasoning behind them. We explore assets' characteristics and discuss what asset degradation is as well as its various types and the implications that asset degradation might bring for the planning, realisation, and evolution of software-intensive products and services over time. We aspire to contribute to a more standardised definition of assets in software engineering and foster research endeavours and their practical dissemination in a common, more unified direction.


title: A System for Automated Open-Source Threat Intelligence Gathering and Management

abstract: To remain aware of the fast-evolving cyber threat landscape, open-source Cyber Threat Intelligence (OSCTI) has received growing attention from the community. Commonly, knowledge about threats is presented in a vast number of OSCTI reports. Despite the pressing need for high-quality OSCTI, existing OSCTI gathering and management platforms, however, have primarily focused on isolated, low-level Indicators of Compromise. On the other hand, higher-level concepts (e.g., adversary tactics, techniques, and procedures) and their relationships have been overlooked, which contain essential knowledge about threat behaviors that is critical to uncovering the complete threat scenario. To bridge the gap, we propose SecurityKG, a system for automated OSCTI gathering and management. SecurityKG collects OSCTI reports from various sources, uses a combination of AI and NLP techniques to extract high-fidelity knowledge about threat behaviors, and constructs a security knowledge graph. SecurityKG also provides a UI that supports various types of interactivity to facilitate knowledge graph exploration.


title: Developing and Evaluating Deep Neural Network-based Denoising for Nanoparticle TEM Images with Ultra-low Signal-to-Noise

abstract: A deep convolutional neural network has been developed to denoise atomic-resolution TEM image datasets of nanoparticles acquired using direct electron counting detectors, for applications where the image signal is severely limited by shot noise. The network was applied to a model system of CeO2-supported Pt nanoparticles. We leverage multislice image simulations to generate a large and flexible dataset for training and testing the network. The proposed network outperforms state-of-the-art denoising methods by a significant margin both on simulated and experimental test data. Factors contributing to the performance are identified, including most importantly (a) the geometry of the images used during training and (b) the size of the network's receptive field. Through a gradient-based analysis, we investigate the mechanisms learned by the network to denoise experimental images. This shows that the network exploits global and local information in the noisy measurements, for example, by adapting its filtering approach when it encounters atomic-level defects at the nanoparticle surface. Extensive analysis has been done to characterize the network's ability to correctly predict the exact atomic structure at the nanoparticle surface. Finally, we develop an approach based on the log-likelihood ratio test that provides a quantitative measure of the agreement between the noisy observation and the atomic-level structure in the network-denoised image.


title: Critical Risk Indicators (CRIs) for the electric power grid: A survey and discussion of interconnected effects

abstract: The electric power grid is a critical societal resource connecting multiple infrastructural domains such as agriculture, transportation, and manufacturing. The electrical grid as an infrastructure is shaped by human activity and public policy in terms of demand and supply requirements. Further, the grid is subject to changes and stresses due to solar weather, climate, hydrology, and ecology. The emerging interconnected and complex network dependencies make such interactions increasingly dynamic causing potentially large swings, thus presenting new challenges to manage the coupled human-natural system. This paper provides a survey of models and methods that seek to explore the significant interconnected impact of the electric power grid and interdependent domains. We also provide relevant critical risk indicators (CRIs) across diverse domains that may influence electric power grid risks, including climate, ecology, hydrology, finance, space weather, and agriculture. We discuss the convergence of indicators from individual domains to explore possible systemic risk, i.e., holistic risk arising from cross-domains interconnections. Our study provides an important first step towards data-driven analysis and predictive modeling of risks in the coupled interconnected systems. Further, we propose a compositional approach to risk assessment that incorporates diverse domain expertise and information, data science, and computer science to identify domain-specific CRIs and their union in systemic risk indicators.


title: Deterministic generation of multidimensional photonic cluster states using time-delay feedback

abstract: Cluster states are useful in many quantum information processing applications. In particular, universal measurement-based quantum computation (MBQC) utilizes 2D cluster states, and topologically fault-tolerant MBQC requires cluster states with three or higher dimensions. This work proposes a protocol to deterministically generate multidimensional photonic cluster states using a single atom-cavity system and time-delay feedback. The dimensionality of the cluster state increases linearly with the number of time-delay feedback. We firstly give a diagrammatic derivation of the tensor network states, which is valuable in simulating matrix product states and projected entangled pair states generated from sequential photons. Our method also provides a simple way to bridge and analyze the experimental imperfections and the logical errors of the generated states. In this method, we analyze the generated cluster states under realistic experimental conditions and address both one-qubit and two-qubit errors. Through numerical simulation, we observe an optimal atom-cavity cooperativity for the fidelity of the generated states, which is surprising given the prevailing assumption that higher cooperativity systems are inherently better for photonic applications.


title: Learning over Families of Sets -- Hypergraph Representation Learning for Higher Order Tasks

abstract: Graph representation learning has made major strides over the past decade. However, in many relational domains, the input data are not suited for simple graph representations as the relationships between entities go beyond pairwise interactions. In such cases, the relationships in the data are better represented as hyperedges (set of entities) of a non-uniform hypergraph. While there have been works on principled methods for learning representations of nodes of a hypergraph, these approaches are limited in their applicability to tasks on non-uniform hypergraphs (hyperedges with different cardinalities). In this work, we exploit the incidence structure to develop a hypergraph neural network to learn provably expressive representations of variable sized hyperedges which preserve local-isomorphism in the line graph of the hypergraph, while also being invariant to permutations of its constituent vertices. Specifically, for a given vertex set, we propose frameworks for (1) hyperedge classification and (2) variable sized expansion of partially observed hyperedges which captures the higher order interactions among vertices and hyperedges. We evaluate performance on multiple real-world hypergraph datasets and demonstrate consistent, significant improvement in accuracy, over state-of-the-art models.