title: Marginal Contrastive Correspondence for Guided Image Generation

abstract: Exemplar-based image translation establishes dense correspondences between a conditional input and an exemplar (from two different domains) for leveraging detailed exemplar styles to achieve realistic image translation. Existing work builds the cross-domain correspondences implicitly by minimizing feature-wise distances across the two domains. Without explicit exploitation of domain-invariant features, this approach may not reduce the domain gap effectively which often leads to sub-optimal correspondences and image translation. We design a Marginal Contrastive Learning Network (MCL-Net) that explores contrastive learning to learn domain-invariant features for realistic exemplar-based image translation. Specifically, we design an innovative marginal contrastive loss that guides to establish dense correspondences explicitly. Nevertheless, building correspondence with domain-invariant semantics alone may impair the texture patterns and lead to degraded texture generation. We thus design a Self-Correlation Map (SCM) that incorporates scene structures as auxiliary information which improves the built correspondences substantially. Quantitative and qualitative experiments on multifarious image translation tasks show that the proposed method outperforms the state-of-the-art consistently.


title: Differentiating small-scale subhalo distributions in CDM and WDM models using persistent homology

abstract: The spatial distribution of galaxies at sufficiently small scales will encode information about the identity of the dark matter. We develop a novel description of the halo distribution using persistent homology summaries, in which collections of points are decomposed into clusters, loops and voids. We apply these methods, together with a set of hypothesis tests, to dark matter haloes in MW-analog environment regions of the cold dark matter (CDM) and warm dark matter (WDM) Copernicus Complexio $N$-body cosmological simulations. The results of the hypothesis tests find statistically significant differences (p-values $\leq$ 0.001) between the CDM and WDM structures, and the functional summaries of persistence diagrams detect differences at scales that are distinct from the comparison spatial point process functional summaries considered (including the two-point correlation function). The differences between the models are driven most strongly at filtration scales $\sim100$~kpc, where CDM generates larger numbers of unconnected halo clusters while WDM instead generates loops. This study was conducted on dark matter haloes generally; future work will involve applying the same methods to realistic galaxy catalogues.


title: A Gaia view on the star formation in the Monoceros OB1 and R1 associations

abstract: Stellar kinematics provides the key to understanding star formation process. In this respect, we present a kinematic study of the Monoceros OB1 (Mon OB1) and R1 (Mon R1) associations using the recent Gaia data and radial velocities of stars derived from high-resolution spectroscopy and the literature. A total of 728 members are selected using the criteria based on the intrinsic properties of young stars, parallaxes, and proper motions. The spatial distribution and kinematic properties of members show that these associations have distinct substructures. In Mon OB1, we find one northern group and two southern groups. Mon R1 is composed of three small stellar groups that are spatially and kinematically distinct. Some stars are found in a halo around these two associations. We detect patterns of expansion for most stellar groups in the associations. In addition, two stellar groups in Mon OB1 show the signature of rotation, which provides an important constraint on cluster formation. The star formation history of Mon OB1 is slightly revised. Star formation first occurred in the southern region and subsequently in the northern region. Recent star-forming events ignited deeper into the southern region, while some stars are escaping from Mon OB1, forming a halo. Mon R1 might have formed at the same epoch as the formation of the northern group in Mon OB1. Given that star formation is taking place on different scales along a large arc-like structure, Mon OB1 and Mon R1 may be the results of hierarchical star formation.


title: Alternative solution to a quantum-mechanical four-particle system in one dimension

abstract: We propose an alternative solution to a quantum-mechanical four-particle system in one dimension with two- and three-particle interactions. The solution of the eigenvalue equation in center-of-mass and Jacobi coordinates is considerably simpler than a procedure proposed recently based on spherical coordinates.


title: Modeling the signatures of interaction in Type II supernovae: UV emission, high-velocity features, broad-boxy profiles

abstract: Because mass loss is a fundamental phenomenon in massive stars, interaction with circumstellar material (CSM) should be universal in core-collapse supernovae (SNe). Leaving aside the extreme CSM density, extent, or mass typically encountered in Type IIn SNe, we investigate the diverse long-term radiative signatures of interaction between a Type II SN ejecta and CSM corresponding to mass loss rates up to 10$^{-3}$ $M_{\odot}$ yr$^{-1}$. Because these CSM are relatively tenuous and optically-thin to electron-scattering beyond a few stellar radii, radiation hydrodynamics is not essential and one may treat the interaction directly as an additional power source in the non-local thermodynamic equilibrium radiative transfer problem. The CSM accumulated since shock breakout forms a dense shell in the outer ejecta and leads to high-velocity absorption features in spectral lines, even for negligible shock power. Besides Balmer lines, such features may appear in NaID, HeI lines etc. A stronger interaction strengthens the continuum flux (preferentially in the UV), quenches the absorption of P-Cygni profiles, boosts the MgII $\lambda\lambda$ $2795,2802$ doublet, and fosters the production of a broad boxy H$\alpha$ emission component. The rise in ionization in the outer ejecta may quench some lines (e.g., the CaII near-infrared triplet). The interaction power emerges preferentially in the UV, in particular at later times, shifting the optical color to the blue, but increasing modestly the optical luminosity. Strong thermalization and clumping seem to be required to make an interaction superluminous in the optical. The UV range contains essential signatures that provide critical constraints to infer the mass loss history and inner workings of core-collapse SN progenitors at death.


title: Human Evaluation and Correlation with Automatic Metrics in Consultation Note Generation

abstract: In recent years, machine learning models have rapidly become better at generating clinical consultation notes; yet, there is little work on how to properly evaluate the generated consultation notes to understand the impact they may have on both the clinician using them and the patient's clinical safety. To address this we present an extensive human evaluation study of consultation notes where 5 clinicians (i) listen to 57 mock consultations, (ii) write their own notes, (iii) post-edit a number of automatically generated notes, and (iv) extract all the errors, both quantitative and qualitative. We then carry out a correlation study with 18 automatic quality metrics and the human judgements. We find that a simple, character-based Levenshtein distance metric performs on par if not better than common model-based metrics like BertScore. All our findings and annotations are open-sourced.


title: Zero-Shot Cross-lingual Aphasia Detection using Automatic Speech Recognition

abstract: Aphasia is a common speech and language disorder, typically caused by a brain injury or a stroke, that affects millions of people worldwide. Detecting and assessing Aphasia in patients is a difficult, time-consuming process, and numerous attempts to automate it have been made, the most successful using machine learning models trained on aphasic speech data. Like in many medical applications, aphasic speech data is scarce and the problem is exacerbated in so-called "low resource" languages, which are, for this task, most languages excluding English. We attempt to leverage available data in English and achieve zero-shot aphasia detection in low-resource languages such as Greek and French, by using language-agnostic linguistic features. Current cross-lingual aphasia detection approaches rely on manually extracted transcripts. We propose an end-to-end pipeline using pre-trained Automatic Speech Recognition (ASR) models that share cross-lingual speech representations and are fine-tuned for our desired low-resource languages. To further boost our ASR model's performance, we also combine it with a language model. We show that our ASR-based end-to-end pipeline offers comparable results to previous setups using human-annotated transcripts.


title: An image classification approach for hole detection in wireless sensor networks

abstract: Hole detection is a crucial task for monitoring the status of wireless sensor networks (WSN) which often consist of low-capability sensors. Holes can form in WSNs due to the problems during placement of the sensors or power/hardware failure. In these situations, sensing or transmitting data could be affected and can interrupt the normal operation of the WSNs. It may also decrease the lifetime of the network and sensing coverage of the sensors. The problem of hole detection is especially challenging in WSNs since the exact location of the sensors is often unknown. In this paper, we propose a novel hole detection approach called FD-CNN which is based on Force-directed (FD) Algorithm and Convolutional Neural Network (CNN). In contrast to existing approaches, FD-CNN is a centralized approach and is able to detect holes from WSNs without relying on the information related to the location of the sensors. The proposed approach also alleviates the problem of high computational complexity in distributed approaches. The proposed approach accepts the network topology of a WSN as an input and generates the identity of the nodes surrounding each detected hole in the network as the final output. In the proposed approach, an FD algorithm is used to generate the layout of the wireless sensor networks followed by the identification of the holes in the layouts using a trained CNN model. In order to prepare labeled datasets for training the CNN model, an unsupervised pre-processing method is also proposed in this paper. After the holes are detected by the CNN model, two algorithms are proposed to identify the regions of the holes and corresponding nodes surrounding the regions. Extensive experiments are conducted to evaluate the proposed approach based on different datasets. Experimental results show that FD-CNN can achieve 80% sensitivity and 93% specificity in less than 2 minutes.


title: Measuring and Characterizing International Collaboration Patterns in Indian Scientific Research

abstract: Scientific collaboration at international level has increased manifolds during last two decades. Collaboration is not only associated with higher research productivity but has also been found to be positively correlated with impact. Considering the benefits and advantages of international collaboration for the national science and technology systems of a country, policymakers in different countries have designed programs to promote international collaboration in science. This paper attempts to measure and characterize the international collaboration patterns in Indian scientific research. Research publication data for the last 20 years (2001-2020), obtained from Web of Science, is analysed for the purpose. Analytical results show that India's international collaboration has grown at a rate of 12.27% during this period, rising from only 20.73% internationally collaborated papers in 2001 to 32.35% internationally collaborated papers in 2020. USA, Germany, England, South Korea and China are found to be the top collaborating partners for India during his period, however, some subject area-wise variations are also seen. Among the internationally collaborated papers, about 50% papers have an Indian researcher as lead (first) author, and more than 50% authors of such internationally collaborated papers are from India. The internationally collaborated papers from India are also found to have a slight advantage in terms of citation impact and social media visibility. The probable factors shaping the Indian international collaboration and the major policy implications are discussed.


title: Online force-directed algorithms for visualization of dynamic graphs

abstract: Force-directed (FD) algorithms can be used to explore relationships in social networks, visualize money markets, and analyze transaction networks. However, FD algorithms are mainly designed for visualizing static graphs in which the topology of the networks remains constant throughout the calculation. In contrast to static graphs, nodes and edges in dynamic graphs can be added or removed as time progresses. In these situations, existing FD algorithms do not scale well, since any changes in the topology will trigger these algorithms to completely restart the entire computation. To alleviate this problem, we propose a design and implementation of five online FD algorithms to visualize dynamic graphs while maintaining their native force models. The online FD algorithms developed in this paper are able to reuse the force models of existing FD algorithms without significant modifications. To evaluate the effectiveness of the proposed approach, online FD algorithms are compared against static FD algorithms for visualizing dynamic graphs. Experimental results show that among the five algorithms evaluated, the online FD algorithm achieves the best number of edge crossings and the standard deviation of edge lengths for visualizing dynamic graphs.


title: Vision Transformer with Cross-attention by Temporal Shift for Efficient Action Recognition

abstract: Feature shifts have been shown to be useful for action recognition with CNN-based models since Temporal Shift Module (TSM) was proposed. It is based on frame-wise feature extraction with late fusion, and layer features are shifted along the time direction for the temporal interaction. TokenShift, a recent model based on Vision Transformer (ViT), also uses the temporal feature shift mechanism, which, however, does not fully exploit the structure of Multi-head Self-Attention (MSA) in ViT. In this paper, we propose Multi-head Self/Cross-Attention (MSCA), which fully utilizes the attention structure. TokenShift is based on a frame-wise ViT with features temporally shifted with successive frames (at time t+1 and t-1). In contrast, the proposed MSCA replaces MSA in the frame-wise ViT, and some MSA heads attend to successive frames instead of the current frame. The computation cost is the same as the frame-wise ViT and TokenShift as it simply changes the target to which the attention is taken. There is a choice about which of key, query, and value are taken from the successive frames, then we experimentally compared these variants with Kinetics400. We also investigate other variants in which the proposed MSCA is used along the patch dimension of ViT, instead of the head dimension. Experimental results show that a variant, MSCA-KV, shows the best performance and is better than TokenShift by 0.1% and then ViT by 1.2%.


title: Optimal Management of a Smart Port with Shore-Connection and Hydrogen Supplying by Stochastic Model Predictive Control

abstract: The paper proposes an optimal management strategy for a Smart Port equipped with renewable generation and composed by an electrified quay, operating Cold-Ironing, and a Hydrogen-based quay, supplying Zero-Emission Ships. One Battery Energy Storage System and one Hydrogen Energy Storage System are used to manage renewable energy sources and to supply electric and hydrogen-fueled ships. A model predictive control based algorithm is designed to define the best economic strategy to be followed during operations. The control algorithm takes into account the uncertainties of renewable energy generation using stochastic optimization. The performance of the approach is tested on a potential future Smart Port equipped with wind and photovoltaic generation.


title: Impact of System Correlation Matrix Bordering on the MU-MIMO Ergodic Sum-Rate Capacity in the Presence of the Multipath Fading Channel

abstract: The research analyzes the problem of capacity analysis of the multi-user massive multi-input multi-output systems with a banded correlation model. The presented study impacts the analytical statistical description with closed form expression of the ergodic sum-rate capacity of the system functioning in presence of multipath fading channel with complex Nakagami-m statistics of the complex transmission coefficients. Numerical verification of the derived expressions was performed and demonstrated excellent correspondence with simulation. The research demonstrated that the system correlation matrix (in case when exponential model is considered) can be bordered up to pentadiagonal structure without introducing any discrepancies in to the sum-rate capacity.


title: Digital Mentor: towards a conversational bot to identify hypotheses for software startups

abstract: Software startups develop innovative, software-intensive product and services. This context leads to uncertainty regarding the software they are building. Experimentation, a process of testing hypotheses about the product, helps these companies to reduce uncertainty through different evidence-based approaches. The first step in experimentation is to identify the hypotheses to be tested. HyMap is a technique where a facilitator helps a software startup founder to draw a cognitive map representing her understanding of the context and, based on that, create hypotheses about the software to be built. In this paper, we present the Digital Mentor, an working-in-progress conversational bot to help creating a HyMap without the need of a human facilitator. We report the proposed solution consisting of a web application with the backend of a natural language understanding system, the current state of development, the challenges we faced so far and the next steps we plan to move forward.


title: Strategyproof and Proportional Chore Division for Piecewise Uniform Preferences

abstract: Chore division is the problem of fairly dividing some divisible, undesirable bad, such as a set of chores, among a number of players. Each player has their own valuation of the chores, and must be satisfied they did not receive more than their fair share. In this paper, I consider the problem of strategyproof chore division, in which the algorithm must ensure that each player cannot benefit from mis-representing their position. I present an algorithm that performs proportional and strategyproof chore division for any number of players given piecewise uniform valuation functions.


title: Atomic Filter: a Weak Form of Shift Operator for Graph Signals

abstract: The shift operation plays a crucial role in the classical signal processing. It is the generator of all the filters and the basic operation for time-frequency analysis, such as windowed Fourier transform and wavelet transform. With the rapid development of internet technology and big data science, a large amount of data are expressed as signals defined on graphs. In order to establish the theory of filtering, windowed Fourier transform and wavelet transform in the setting of graph signals, we need to extend the shift operation of classical signals to graph signals. It is a fundamental problem since the vertex set of a graph is usually not a vector space and the addition operation cannot be defined on the vertex set of the graph. In this paper, based on our understanding on the core role of shift operation in classical signal processing we propose the concept of atomic filters, which can be viewed as a weak form of the shift operator for graph signals. Then, we study the conditions such that an atomic filter is norm-preserving, periodic, or real-preserving. The property of real-preserving holds naturally in the classical signal processing, but no the research has been reported on this topic in the graph signal setting. With these conditions we propose the concept of normal atomic filters for graph signals, which degenerates into the classical shift operator under mild conditions if the graph is circulant. Typical examples of graphs that have or have not normal atomic filters are given. Finally, as an application, atomic filters are utilized to construct time-frequency atoms which constitute a frame of the graph signal space.


title: Evaluation of Fake News Detection with Knowledge-Enhanced Language Models

abstract: Recent advances in fake news detection have exploited the success of large-scale pre-trained language models (PLMs). The predominant state-of-the-art approaches are based on fine-tuning PLMs on labelled fake news datasets. However, large-scale PLMs are generally not trained on structured factual data and hence may not possess priors that are grounded in factually accurate knowledge. The use of existing knowledge bases (KBs) with rich human-curated factual information has thus the potential to make fake news detection more effective and robust. In this paper, we investigate the impact of knowledge integration into PLMs for fake news detection. We study several state-of-the-art approaches for knowledge integration, mostly using Wikidata as KB, on two popular fake news datasets - LIAR, a politics-based dataset, and COVID-19, a dataset of messages posted on social media relating to the COVID-19 pandemic. Our experiments show that knowledge-enhanced models can significantly improve fake news detection on LIAR where the KB is relevant and up-to-date. The mixed results on COVID-19 highlight the reliance on stylistic features and the importance of domain-specific and current KBs.


title: The Validity Window of Space-Charge-Limited Current Measurements of Metal Halide Perovskite Devices

abstract: Space-charge-limited current (SCLC) measurements are used to estimate charge carrier mobilities and electronic trap densities of semiconductors by analysing the current density-voltage (JV) relationship for unipolar devices predicted by the Mott-Gurney (MG) law. However, the interpretation of SCLC measurements for metal-halide perovskites is problematic due to mobile ionic defects which redistribute to screen electrostatic fields in devices during measurements. To overcome this, an SCLC measurement protocol was recently suggested that minimises ionic charge redistribution by probing the current during millisecond voltage pulses superimposed on a background bias. Here, we use drift-diffusion simulations with mobile ions to assess the validity of the MG law for analysing both the standard and new protocol JV measurements. We simulated idealised perovskite devices with differing mobile ion densities and compared them with simulations and measurements of devices with typical contact materials. We found the validity region for the MG law is limited to perovskites with mobile ion densities lower than the device's equilibrium charge carrier density (<10^17 cm-3 for 400 nm thick methylammonium lead iodide films) and contacts with injection/extraction barriers <=0.1 eV. The latter limitation can be partially overcome by increasing the device thickness, whereas the former limitation cannot. This restricts the range of perovskite layer compositions and viable contact materials that can be reliably analysed with the MG law. Approaches such as estimating trap densities from the apparent voltage onset to trap-free SCLC regime should also be critically reviewed since they rely on the same potentially invalid assumptions as the MG law. Our results demonstrate that extracting meaningful and accurate values for metal halide perovskite material properties from SCLC maybe challenging, or often not possible.


title: A novel formulation for the study of the ascending aortic fluid dynamics with in vivo data

abstract: Numerical simulations to evaluate thoracic aortic hemodynamics include a computational fluid dynamic (CFD) approach or fluid-structure interaction (FSI) approach. While CFD neglects the arterial deformation along the cardiac cycle by applying a rigid wall simplification, on the other side the FSI simulation requires a lot of assumptions for the material properties definition and high computational costs. The aim of this study is to investigate the feasibility of a new strategy, based on Radial Basis Functions (RBF) mesh morphing technique and transient simulations, able to introduce the patient-specific changes in aortic geometry during the cardiac cycle. Starting from medical images, aorta models at different phases of cardiac cycle were reconstructed and a transient shape deformation was obtained by proper activating incremental RBF solutions during the simulation process. The results, in terms of main hemodynamic parameters, were compared with two performed CFD simulations for the aortic model at minimum and maximum volume. Our implemented strategy copes the actual arterial variation during cardiac cycle with high accuracy, capturing the impact of geometrical variations on fluid dynamics, overcoming the complexity of a standard FSI approach.


title: Precision Requirements for Monte Carlo Sums within Hierarchical Bayesian Inference

abstract: Hierarchical Bayesian inference is often conducted with estimates of the target distribution derived from Monte Carlo sums over samples from separate analyses of parts of the hierarchy or from mock observations used to estimate sensitivity to a target population. We investigate requirements on the number of Monte Carlo samples needed to guarantee the estimator of the target distribution is precise enough that it does not affect the inference. We consider probabilistic models of how Monte Carlo samples are generated, showing that the finite number of samples introduces additional uncertainty as they act as an imperfect encoding of the components of the hierarchical likelihood. Additionally, we investigate the behavior of estimators marginalized over approximate measures of the uncertainty, comparing their performance to the Monte Carlo point estimate. We find that correlations between the estimators at nearby points in parameter space are crucial to the precision of the estimate. Approximate marginalization that neglects these correlations will either introduce a bias within the inference or be more expensive (require more Monte Carlo samples) than an inference constructed with point estimates. We therefore recommend that hierarchical inferences with empirically estimated target distributions use point estimates.


title: Hochschild homology, and a persistent approach via connectivity digraphs

abstract: We introduce a persistent Hochschild homology framework for directed graphs. Hochschild homology groups of (path algebras of) directed graphs vanish in degree $i\geq 2$. To extend them to higher degrees, we introduce the notion of connectivity digraphs and analyse two main examples; the first, arising from Atkin's $q$-connectivity, and the second, here called $n$-path digraphs, generalising the classical notion of line graphs. Based on a categorical setting for persistent homology, we propose a stable pipeline for computing persistent Hochschild homology groups. This pipeline is also amenable to other homology theories; for this reason, we complement our work with a survey on homology theories of digraphs.


title: Boundedness of Bergman projectors on homogeneous Siegel domains

abstract: In this paper we study the boundedness of Bergman projectors on weighted Bergman spaces on homogeneous Siegel domains of Type II. As it appeared to be a natural approach in the special case of tube domains over irreducible symmetric cones, we study such boundedness on the scale of mixed-norm weighted Lebesgue spaces. The sharp range for the boundedness of such operators is essentially known only in the case of tube domains over Lorentz cones. In this paper we prove that the boundedness of such Bergman projectors is equivalent to variuos notions of atomic decomposition, duality, and characterization of boundary values of the mixed-norm weighted Bergman spaces, extending results moslty known only in the case of tube domains over irreducible symmetric cones. Some of our results are new even in the latter simpler context. We also study the simpler, but still quite interesting, case of the "positive" Bergman projectors, the integral operator in which the Bergman kernel is replaced by its absolute value. We provide a useful characterization which was previously known for tube domains.


title: Differential Liquidity Provision in Uniswap v3 and Implications for Contract Design

abstract: Decentralized exchanges (DEXs) provide a means for users to trade pairs of assets on-chain without the need for a trusted third party to effectuate a trade. Amongst these, constant function market maker DEXs such as Uniswap handle the most volume of trades between ERC-20 tokens. With the introduction of Uniswap v3, liquidity providers can differentially allocate liquidity to trades that occur within specific price intervals. In this paper, we formalize the profit and loss that liquidity providers can earn when providing specific liquidity allocations to a v3 contract. We give a convex stochastic optimization problem for computing optimal liquidity allocation for a liquidity provider who holds a belief on how prices will evolve over time and use this to study the design question regarding how v3 contracts should partition the price space for permissible liquidity allocations. Our results show that making a greater diversity of price-space partitions available to a contract designer can simultaneously benefit both liquidity providers and traders.


title: Deep Neural Convolutive Matrix Factorization for Articulatory Representation Decomposition

abstract: Most of the research on data-driven speech representation learning has focused on raw audios in an end-to-end manner, paying little attention to their internal phonological or gestural structure. This work, investigating the speech representations derived from articulatory kinematics signals, uses a neural implementation of convolutive sparse matrix factorization to decompose the articulatory data into interpretable gestures and gestural scores. By applying sparse constraints, the gestural scores leverage the discrete combinatorial properties of phonological gestures. Phoneme recognition experiments were additionally performed to show that gestural scores indeed code phonological information successfully. The proposed work thus makes a bridge between articulatory phonology and deep neural networks to leverage informative, intelligible, interpretable,and efficient speech representations.


title: Improved Soft-aided Decoding of Product Codes with Dynamic Reliability Scores

abstract: Products codes (PCs) are conventionally decoded with efficient iterative bounded-distance decoding (iBDD) based on hard-decision channel outputs which entails a performance loss compared to a soft-decision decoder. Recently, several hybrid algorithms have been proposed aimed to improve the performance of iBDD decoders via the aid of a certain amount of soft information while keeping the decoding complexity similarly low as in iBDD. We propose a novel hybrid low-complexity decoder for PCs based on error-and-erasure (EaE) decoding and dynamic reliability scores (DRSs). This decoder is based on a novel EaE component code decoder, which is able to decode beyond the designed distance of the component code but suffers from an increased miscorrection probability. The DRSs, reflecting the reliability of a codeword bit, are used to detect and avoid miscorrections. Simulation results show that this policy can reduce the miscorrection rate significantly and improves the decoding performance. The decoder requires only ternary message passing and a slight increase of computational complexity compared to iBDD, which makes it suitable for high-speed communication systems. Coding gains of up to 1.2 dB compared to the conventional iBDD decoder are observed.


title: Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things

abstract: The Industrial Internet of Things (IIoT) promises to bring many benefits, including increased productivity, reduced costs, and increased safety to new generation manufacturing plants. The main ingredients of IIoT are the connected, communicating devices directly located in the workshop floor (far edge devices), as well as edge gateways that connect such devices to the Internet and, in particular, to cloud servers. The field of Edge Computing advocates that keeping computations as close as possible to the sources of data can be an effective means of reducing latency, preserving privacy, and improve the overall efficiency of the system, although building systems where (far) edge and cloud nodes cooperate is quite challenging. In the present work we propose the adoption of the Aggregate Programming (AP) paradigm (and, in particular, the "aggregate process" construct) as a way to simplify building distributed, intelligent services at the far edge of an IIoT architecture. We demonstrate the feasibility and efficacy of the approach with simulated experiments on FCPP (a C++ library for AP), and with some basic experiments on physical IIoT boards running an ad-hoc porting of FCPP.


title: A Flexible and Parsimonious Modelling Strategy for Clustered Data Analysis

abstract: Statistical modelling strategy is the key for success in data analysis. The trade-off between flexibility and parsimony plays a vital role in statistical modelling. In clustered data analysis, in order to account for the heterogeneity between the clusters, certain flexibility is necessary in the modelling, yet parsimony is also needed to guard against the complexity and account for the homogeneity among the clusters. In this paper, we propose a flexible and parsimonious modelling strategy for clustered data analysis. The strategy strikes a nice balance between flexibility and parsimony, and accounts for both heterogeneity and homogeneity well among the clusters, which often come with strong practical meanings. In fact, its usefulness has gone beyond clustered data analysis, it also sheds promising lights on transfer learning. An estimation procedure is developed for the unknowns in the resulting model, and asymptotic properties of the estimators are established. Intensive simulation studies are conducted to demonstrate how well the proposed methods work, and a real data analysis is also presented to illustrate how to apply the modelling strategy and associated estimation procedure to answer some real problems arising from real life.


title: A measurement decoupling based fast algorithm for super-resolving point sources with multi-cluster structure

abstract: We consider the problem of resolving closely spaced point sources in one dimension from their Fourier data in a bounded domain. Classical subspace methods (e.g., MUSIC algorithm, Matrix Pencil method, etc.) show great superiority in resolving closely spaced sources, but their computational cost is usually heavy. This is especially the case for point sources with a multi-cluster structure which requires processing large-sized data matrix resulted from highly sampled measurements. To address this issue, we propose a fast algorithm termed D-MUSIC, based on a measurement decoupling strategy. We demonstrate theoretically that for point sources with a known cluster structure, their measurement can be decoupled into local measurements of each of the clusters by solving a system of linear equations that are obtained by using a multipole basis. We further develop a subsampled MUSIC algorithm to detect the cluster structure and utilize it to decouple the global measurement. In the end, the MUSIC algorithm was applied to each local measurement to resolve point sources therein. Compared to the standard MUSIC algorithm, the proposed algorithm has comparable super-resolving capability while having a much lower computational complexity.


title: Continuous Integration of Data Histories into Consistent Namespaces

abstract: We describe a policy-based approach to the scaling of shared data services, using a hierarchy of calibrated data pipelines to automate the continuous integration of data flows. While there is no unique solution to the problem of time order, we show how to use a fair interleaving to reproduce reliable `latest version' semantics in a controlled way, by trading locality for temporal resolution. We thus establish an invariant global ordering from a spanning tree over all shards, with controlled scalability. This forms a versioned coordinate system (or versioned namespace) with consistent semantics and self-protecting rate-limited versioning, analogous to publish-subscribe addressing schemes for Content Delivery Network (CDN) or Name Data Networking (NDN) schemes.


title: Uncertainty Determines the Adequacy of the Mode and the Tractability of Decoding in Sequence-to-Sequence Models

abstract: In many natural language processing (NLP) tasks the same input (e.g. source sentence) can have multiple possible outputs (e.g. translations). To analyze how this ambiguity (also known as intrinsic uncertainty) shapes the distribution learned by neural sequence models we measure sentence-level uncertainty by computing the degree of overlap between references in multi-reference test sets from two different NLP tasks: machine translation (MT) and grammatical error correction (GEC). At both the sentence- and the task-level, intrinsic uncertainty has major implications for various aspects of search such as the inductive biases in beam search and the complexity of exact search. In particular, we show that well-known pathologies such as a high number of beam search errors, the inadequacy of the mode, and the drop in system performance with large beam sizes apply to tasks with high level of ambiguity such as MT but not to less uncertain tasks such as GEC. Furthermore, we propose a novel exact $n$-best search algorithm for neural sequence models, and show that intrinsic uncertainty affects model uncertainty as the model tends to overly spread out the probability mass for uncertain tasks and sentences.


title: Computational exfoliation of atomically thin 1D materials with application to Majorana bound states

abstract: We introduce a computational database with calculated structural, thermodynamic, electronic, magnetic, and optical properties of 820 one-dimensional materials. The materials are systematically selected and exfoliated from experimental databases of crystal structures based on a dimensionality scoring parameter. The database is furthermore expanded by chemical element substitution in the materials. The materials are investigated in both their bulk form and as isolated one-dimensional components. We discuss the methodology behind the database, give an overview of some of the calculated properties, and look at patterns and correlations in the data. The database is furthermore applied in computational screening to identify materials, which could exhibit Majorana bound states.


title: Finite Sample Inference in Incomplete Models

abstract: We propose confidence regions for the parameters of incomplete models with exact coverage of the true parameter in finite samples. Our confidence region inverts a test, which generalizes Monte Carlo tests to incomplete models. The test statistic is a discrete analogue of a new optimal transport characterization of the sharp identified region. Both test statistic and critical values rely on simulation drawn from the distribution of latent variables and are computed using solutions to discrete optimal transport, hence linear programming problems. We also propose a fast preliminary search in the parameter space with an alternative, more conservative yet consistent test, based on a parameter free critical value.


title: Distributed Filtering with Value of Information Censoring

abstract: This work presents a distributed estimation algorithm that efficiently uses the available communication resources. The approach is based on Bayesian filtering that is distributed across a network by using the logarithmic opinion pool operator. Communication efficiency is achieved by having only agents with high Value of Information (VoI) share their estimates, and the algorithm provides a tunable trade-off between communication resources and estimation error. Under linear-Gaussian models the algorithm takes the form of a censored distributed Information filter, which guarantees the consistency of agent estimates. Importantly, consistent estimates are shown to play a crucial role in enabling the large reductions in communication usage provided by the VoI censoring approach. We verify the performance of the proposed method via complex simulations in a dynamic network topology and by experimental validation over a real ad-hoc wireless communication network. The results show the validity of using the proposed method to drastically reduce the communication costs of distributed estimation tasks.


title: Characterization of a CdZnTe detector for a low-power CubeSat application

abstract: We report spectral and imaging performance of a pixelated CdZnTe detector custom designed for the \emph{MeVCube} project: a small Compton telescope on a CubeSat platform. \emph{MeVCube} is expected to cover the energy range between $200\;\mathrm{keV}$ and $4\;\mathrm{MeV}$, with performance comparable to the last generation of larger satellites. In order to achieve this goal, an energy resolution of few percent in full width at half maximum (FWHM) and a $3$-D spatial resolution of few millimeters for the individual detectors are needed. The severe power constraints present in small satellites require very low power read-out electronics for the detector. Our read-out is based on the VATA450.3 ASIC developed by \emph{Ideas}, with a power consumption of only $0.25\;\mathrm{mW/channel}$, which exhibits good performance in terms of dynamic range, noise and linearity. A $2.0\;\mathrm{cm} \times 2.0\;\mathrm{cm} \times 1.5\;\mathrm{cm}$ CdZnTe detector, with a custom $8 \times 8$ pixel anode structure read-out by a VATA450.3 ASIC, has been tested. A preliminary read-out system for the cathode, based on a discrete \emph{Amptek} A250F charge sensitive pre-amplifier and a DRS4 ASIC, has been implemented. An energy resolution around $3\%$ FWHM has been measured at a gamma energy of $662\;\mathrm{keV}$; at $200\;\mathrm{keV}$ the average energy resolution is $6.5\%$, decreasing to $\lesssim 2\%$ at energies above $1\;\mathrm{MeV}$. A $3$-D spatial resolution of $\approx 2\,\mathrm{mm}$ is achieved.


title: Optimal quantum parametric feedback cooling

abstract: We propose an optimal protocol using phase-preserving quantum measurements and phase-dependent modulations of the trapping potential at parametric resonance to cool a quantum oscillator to an occupation number of less than one quantum. We derive the optimal phase relationship and duration for the parametric modulations, and compute the lowest-possible occupation number in the steady state. The protocol is robust against moderate amounts of dissipation and phase errors in the feedback loop. Our work has implications for the cooling of levitated mechanical resonators in the quantum regime.


title: Autonomous crater detection on asteroids using a fully-convolutional neural network

abstract: This paper shows the application of autonomous Crater Detection using the U-Net, a Fully-Convolutional Neural Network, on Ceres. The U-Net is trained on optical images of the Moon Global Morphology Mosaic based on data collected by the LRO and manual crater catalogues. The Moon-trained network will be tested on Dawn optical images of Ceres: this task is accomplished by means of a Transfer Learning (TL) approach. The trained model has been fine-tuned using 100, 500 and 1000 additional images of Ceres. The test performance was measured on 350 never before seen images, reaching a testing accuracy of 96.24%, 96.95% and 97.19%, respectively. This means that despite the intrinsic differences between the Moon and Ceres, TL works with encouraging results. The output of the U-Net contains predicted craters: it will be post-processed applying global thresholding for image binarization and a template matching algorithm to extract craters positions and radii in the pixel space. Post-processed craters will be counted and compared to the ground truth data in order to compute image segmentation metrics: precision, recall and F1 score. These indices will be computed, and their effect will be discussed for tasks such as automated crater cataloguing and optical navigation.


title: Hierarchies of Critical Points of a Landau-de Gennes Free Energy on Three-Dimensional Cuboids

abstract: We investigate critical points of a Landau-de Gennes (LdG) free energy in three-dimensional (3D) cuboids, that model nematic equilibria. We develop a hybrid saddle dynamics-based algorithm to efficiently compute solution landscapes of these 3D systems. Our main results concern (a) the construction of 3D LdG critical points from a database of 2D LdG critical points and (b) studies of the effects of cross-section size and cuboid height on solution landscapes. In doing so, we discover multiple-layer 3D LdG critical points constructed by stacking 3D critical points on top of each other, novel pathways between distinct energy minima mediated by 3D LdG critical points and novel metastable escaped solutions, all of which can be tuned for tailor-made static and dynamic properties of confined nematic liquid crystal systems in 3D.


title: Unified Collision Model of Coherent and Measurement-based Quantum Feedback

abstract: We introduce a general framework, based on collision models and discrete CP-maps, to describe on an equal footing coherent and measurement-based feedback control of quantum mechanical systems. We apply our framework to prominent tasks in quantum control, ranging from cooling to Hamiltonian control. Unlike other proposed comparisons, where coherent feedback always proves superior, we find that either measurements or coherent manipulations of the controller can be advantageous depending on the task at hand. Measurement-based feedback is typically superior in cooling, whilst coherent feedback is better at assisting quantum operations. Furthermore, we show that both coherent and measurement-based feedback loops allow one to simulate arbitrary Hamiltonian evolutions, and discuss their respective effectiveness in this regard.


title: Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems

abstract: When Deep Neural Networks (DNNs) are used in safety-critical systems, engineers should determine the safety risks associated with failures (i.e., erroneous outputs) observed during testing. For DNNs processing images, engineers visually inspect all failure-inducing images to determine common characteristics among them. Such characteristics correspond to hazard-triggering events (e.g., low illumination) that are essential inputs for safety analysis. Though informative, such activity is expensive and error-prone. To support such safety analysis practices, we propose SEDE, a technique that generates readable descriptions for commonalities in failure-inducing, real-world images and improves the DNN through effective retraining. SEDE leverages the availability of simulators, which are commonly used for cyber-physical systems. It relies on genetic algorithms to drive simulators towards the generation of images that are similar to failure-inducing, real-world images in the test set; it then employs rule learning algorithms to derive expressions that capture commonalities in terms of simulator parameter values. The derived expressions are then used to generate additional images to retrain and improve the DNN. With DNNs performing in-car sensing tasks, SEDE successfully characterized hazard-triggering events leading to a DNN accuracy drop. Also, SEDE enabled retraining leading to significant improvements in DNN accuracy, up to 18 percentage points.


title: Extracting information on black hole horizons

abstract: We present some features of Kerr black hole horizons that are replicated on orbits accessible to outside observers. We use the concepts of horizon confinement and replicas to show that outside the outer horizon there exist photon orbits whose frequencies contain information about the inner horizon and that can, in principle, be detected through the emission spectra of black holes. It is shown that such photon orbits exist close to the rotation axis of the Kerr geometry. We argue that these results could be used to recognize and further investigate black holes and their horizons


title: Classical Newtonian Monte-Carlo Calculation of Ionization of Atomic Hydrogen by Protons in Energy Range 0.05 to 1.0 MeV

abstract: We have designed a Euler approximation Monte-Carlo code for the calculation of the ionization of atomic hydrogen by protons with energies between 0.05 and 1.0 MeV. This code is used to calculate the total ionization cross sections s(E), the angular distribution double differential cross sections d2s/ (dW - dE) for electrons with energies of 150 eV ionized by 300 keV protons and the energy distribution d2s/ (dW - dE) for the ionized electrons emitted at 10o by protons of energy 300 keV. Our calculations are compared to experimental values of these quantities as well as independent calculations. We find excellent agreement of our calculated cross section and reasonable agreement of our calculated double differential cross section with independent calculations and measurements.


title: Highly Radiating Charged Particles in a Strong Electromagnetic Field

abstract: We consider highly radiating ultra-relativistic electrons in a strong external electromagnetic field. High intensity radiative losses and consequent $e^+e^-$-pair production, appearing in the frame of quantum electrodynamics, determine indirectly mass operator of electrons in the strong field. We calculate a leading term of the mass operator at asymptotically high energies of electrons in a strong constant field. We do not use any perturbation theory based on a low ratio of this mass operator to the electron mass $m_e$, but only the original small parameter of quantum electrodynamics, the fine structure constant, $\alpha$. The analogous %but less nontrivial result is obtained for the polarization operator for photon propagator. These results resolve at least partially a very long-lasted controversy originating from traditional and straightforward application of perturbative approaches for description of highly radiating ultra-relativistic charged particles in a very strong electromagnetic fields.


title: Proper Reuse of Image Classification Features Improves Object Detection

abstract: A common practice in transfer learning is to initialize the downstream model weights by pre-training on a data-abundant upstream task. In object detection specifically, the feature backbone is typically initialized with Imagenet classifier weights and fine-tuned on the object detection task. Recent works show this is not strictly necessary under longer training regimes and provide recipes for training the backbone from scratch. We investigate the opposite direction of this end-to-end training trend: we show that an extreme form of knowledge preservation -- freezing the classifier-initialized backbone -- consistently improves many different detection models, and leads to considerable resource savings. We hypothesize and corroborate experimentally that the remaining detector components capacity and structure is a crucial factor in leveraging the frozen backbone. Immediate applications of our findings include performance improvements on hard cases like detection of long-tail object classes and computational and memory resource savings that contribute to making the field more accessible to researchers with access to fewer computational resources.


title: Nonlinear interactions of dipolar excitons and polaritons in MoS2 bilayers

abstract: Nonlinear interactions between excitons strongly coupled to light are key for accessing quantum many-body phenomena in polariton systems. Atomically-thin two-dimensional semiconductors provide an attractive platform for strong light-matter coupling owing to many controllable excitonic degrees of freedom. Among these, the recently emerged exciton hybridization opens access to unexplored excitonic species, with a promise of enhanced interactions. Here, we employ hybridized interlayer excitons (hIX) in bilayer MoS2 to achieve highly nonlinear excitonic and polaritonic effects. Such interlayer excitons possess an out-of-plane electric dipole as well as an unusually large oscillator strength allowing observation of dipolar polaritons(dipolaritons) in bilayers in optical microcavities. Compared to excitons and polaritons in MoS2 monolayers, both hIX and dipolaritons exhibit about 8 times higher nonlinearity, which is further strongly enhanced when hIX and intralayer excitons, sharing the same valence band, are excited simultaneously. This gives rise to a highly nonlinear regime which we describe theoretically by introducing a concept of hole crowding. The presented insight into many-body interactions provides new tools for accessing few-polariton quantum correlations.


title: GEB+: A Benchmark for Generic Event Boundary Captioning, Grounding and Retrieval

abstract: Cognitive science has shown that humans perceive videos in terms of events separated by the state changes of dominant subjects. State changes trigger new events and are one of the most useful among the large amount of redundant information perceived. However, previous research focuses on the overall understanding of segments without evaluating the fine-grained status changes inside. In this paper, we introduce a new dataset called Kinetic-GEB+. The dataset consists of over 170k boundaries associated with captions describing status changes in the generic events in 12K videos. Upon this new dataset, we propose three tasks supporting the development of a more fine-grained, robust, and human-like understanding of videos through status changes. We evaluate many representative baselines in our dataset, where we also design a new TPD (Temporal-based Pairwise Difference) Modeling method for visual difference and achieve significant performance improvements. Besides, the results show there are still formidable challenges for current methods in the utilization of different granularities, representation of visual difference, and the accurate localization of status changes. Further analysis shows that our dataset can drive developing more powerful methods to understand status changes and thus improve video level comprehension. The dataset is available at https://github.com/showlab/GEB-Plus


title: Robust and Accurate -- Compositional Architectures for Randomized Smoothing

abstract: Randomized Smoothing (RS) is considered the state-of-the-art approach to obtain certifiably robust models for challenging tasks. However, current RS approaches drastically decrease standard accuracy on unperturbed data, severely limiting their real-world utility. To address this limitation, we propose a compositional architecture, ACES, which certifiably decides on a per-sample basis whether to use a smoothed model yielding predictions with guarantees or a more accurate standard model without guarantees. This, in contrast to prior approaches, enables both high standard accuracies and significant provable robustness. On challenging tasks such as ImageNet, we obtain, e.g., $80.0\%$ natural accuracy and $28.2\%$ certifiable accuracy against $\ell_2$ perturbations with $r=1.0$. We release our code and models at https://github.com/eth-sri/aces.


title: GrADyS-GS -- A ground station for managing field experiments with Autonomous Vehicles and Wireless Sensor Networks

abstract: In many kinds of research, collecting data is tailored to individual research. It is usual to use dedicated and not reusable software to collect data. GrADyS Ground Station framework (GrADyS-GS) aims to collect data in a reusable manner with dynamic background tools. This technical report describes GrADyS-GS, a ground station software designed to connect with various technologies to control, monitor, and store results of Mobile Internet of Things field experiments with Autonomous Vehicles (UAV) and Sensor Networks (WSN). In the GrADyS project GrADyS-GS is used with ESP32-based IoT devices on the ground and Unmanned Aerial Vehicles (quad-copters) in the air. The GrADyS-GS tool was created to support the design, development and testing of simulated movement coordination algorithms for the AVs, testing of customized Bluetooth Mesh variations, and overall communication, coordination, and context-awareness field experiments planed in the GraDyS project. Nevertheless, GrADyS-GS is also a general purpose tool, as it relies on a dynamic and easy-to-use Python and JavaScript framework that allows easy customization and (re)utilization in another projects and field experiments with other kinds of IoT devices, other WSN types and protocols, and other kinds of mobile connected flying or ground vehicles. So far, GrADyS-GS has been used to start UAV flights and collects its data in s centralized manner inside GrADyS project.


title: Accelerating Federated Edge Learning via Topology Optimization

abstract: Federated edge learning (FEEL) is envisioned as a promising paradigm to achieve privacy-preserving distributed learning. However, it consumes excessive learning time due to the existence of straggler devices. In this paper, a novel topology-optimized federated edge learning (TOFEL) scheme is proposed to tackle the heterogeneity issue in federated learning and to improve the communication-and-computation efficiency. Specifically, a problem of jointly optimizing the aggregation topology and computing speed is formulated to minimize the weighted summation of energy consumption and latency. To solve the mixed-integer nonlinear problem, we propose a novel solution method of penalty-based successive convex approximation, which converges to a stationary point of the primal problem under mild conditions. To facilitate real-time decision making, an imitation-learning based method is developed, where deep neural networks (DNNs) are trained offline to mimic the penalty-based method, and the trained imitation DNNs are deployed at the edge devices for online inference. Thereby, an efficient imitate-learning based approach is seamlessly integrated into the TOFEL framework. Simulation results demonstrate that the proposed TOFEL scheme accelerates the federated learning process, and achieves a higher energy efficiency. Moreover, we apply the scheme to 3D object detection with multi-vehicle point cloud datasets in the CARLA simulator. The results confirm the superior learning performance of the TOFEL scheme over conventional designs with the same resource and deadline constraints.


title: Time evolution of quantum correlations in presence of state dependent bath

abstract: The emerging quantum technologies heavily rely on the understanding of dynamics in open quantum systems. In the Born approximation, the initial system-bath correlations are often neglected which can be violated in the strong coupling regimes and quantum state preparation. In order to understand the influence of initial system-bath correlations, we study the extent to which these initial correlations and the distance of separation between qubits influence the dynamics of quantum entanglement and coherence. It is shown that at low temperatures, the initial correlations have no role to play while at high temperatures, these correlations strongly influence the dynamics. Furthermore, we have shown that distance of separation between the qubits in presence of collective bath helps to maintain entanglement and coherence at long times.


title: FrequencyLowCut Pooling -- Plug & Play against Catastrophic Overfitting

abstract: Over the last years, Convolutional Neural Networks (CNNs) have been the dominating neural architecture in a wide range of computer vision tasks. From an image and signal processing point of view, this success might be a bit surprising as the inherent spatial pyramid design of most CNNs is apparently violating basic signal processing laws, i.e. Sampling Theorem in their down-sampling operations. However, since poor sampling appeared not to affect model accuracy, this issue has been broadly neglected until model robustness started to receive more attention. Recent work [17] in the context of adversarial attacks and distribution shifts, showed after all, that there is a strong correlation between the vulnerability of CNNs and aliasing artifacts induced by poor down-sampling operations. This paper builds on these findings and introduces an aliasing free down-sampling operation which can easily be plugged into any CNN architecture: FrequencyLowCut pooling. Our experiments show, that in combination with simple and fast FGSM adversarial training, our hyper-parameter free operator significantly improves model robustness and avoids catastrophic overfitting.


title: Provable concept learning for interpretable predictions using variational autoencoders

abstract: In safety-critical applications, practitioners are reluctant to trust neural networks when no interpretable explanations are available. Many attempts to provide such explanations revolve around pixel-based attributions or use previously known concepts. In this paper we aim to provide explanations by provably identifying \emph{high-level, previously unknown ground-truth concepts}. To this end, we propose a probabilistic modeling framework to derive (C)oncept (L)earning and (P)rediction (CLAP) -- a VAE-based classifier that uses visually interpretable concepts as predictors for a simple classifier. Assuming a generative model for the ground-truth concepts, we prove that CLAP is able to identify them while attaining optimal classification accuracy. Our experiments on synthetic datasets verify that CLAP identifies distinct ground-truth concepts on synthetic datasets and yields promising results on the medical Chest X-Ray dataset.


title: A Global Modeling Approach for Load Forecasting in Distribution Networks

abstract: Efficient load forecasting is needed to ensure better observability in the distribution networks, whereas such forecasting is made possible by an increasing number of smart meter installations. Because distribution networks include a large amount of different loads at various aggregation levels, such as individual consumers, transformer stations and feeders loads, it is impractical to develop individual (or so-called local) forecasting models for each load separately. Furthermore, such local models ignore the strong dependencies between different loads that might be present due to their spatial proximity and the characteristics of the distribution network. To address these issues, this paper proposes a global modeling approach based on deep learning for efficient forecasting of a large number of loads in distribution networks. In this way, the computational burden of training a large amount of local forecasting models can be largely reduced, and the cross-series information shared among different loads can be utilized. Additionally, an unsupervised localization mechanism and optimal ensemble construction strategy are also proposed to localize/personalize the forecasting model to different groups of loads and to improve the forecasting accuracy further. Comprehensive experiments are conducted on real-world smart meter data to demonstrate the superiority of the proposed approach compared to competing methods.


title: Wavelength-by-wavelength temperature-independent thermal radiation utilizing an insulator-metal transition

abstract: Both the magnitude and spectrum of the blackbody-radiation distribution change with temperature. Here, we designed the temperature-dependent spectral emissivity of a coating to counteract all the changes in the blackbody-radiation distribution over a certain temperature range, enabled by the nonhysteretic insulator-to-metal phase transition of SmNiO3. At each wavelength within the long-wave infrared atmospheric-transparency window, the thermal radiance of our coating remains nearly constant over a temperature range of at least 20 {\deg}C. Our approach can conceal thermal gradients and transient temperature changes from infrared imaging systems, including those that discriminate by wavelength, such as multispectral and hyperspectral cameras.

categories: physics.optics cond-mat.mtrl-sci cond-mat.str-el physics.app-ph


title: Physics Informed Shallow Machine Learning for Wind Speed Prediction

abstract: The ability to predict wind is crucial for both energy production and weather forecasting. Mechanistic models that form the basis of traditional forecasting perform poorly near the ground. In this paper, we take an alternative data-driven approach based on supervised learning. We analyze a massive dataset of wind measured from anemometers located at 10 m height in 32 locations in two central and north west regions of Italy (Abruzzo and Liguria). We train supervised learning algorithms using the past history of wind to predict its value at a future time (horizon). Using data from a single location and time horizon we compare systematically several algorithms where we vary the input/output variables, the memory of the input and the linear vs non-linear learning model. We then compare performance of the best algorithms across all locations and forecasting horizons. We find that the optimal design as well as its performance vary with the location. We demonstrate that the presence of a reproducible diurnal cycle provides a rationale to understand this variation. We conclude with a systematic comparison with state of the art algorithms and show that, when the model is accurately designed, shallow algorithms are competitive with more complex deep architectures.


title: Partitioning a 2-edge-coloured graph of minimum degree $2n/3 + o(n)$ into three monochromatic cycles

abstract: Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomass\'e. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjecture of Balogh, Bar\'{a}t, Gerbner, Gy\'arf\'as and S\'ark\"ozy. This degree condition is asymptotically tight. Here we continue this line of research, by proving that for every red and blue edge-colouring of an $n$-vertex graph of minimum degree at least $2n/3 + o(n)$, there is a partition of the vertex set into three monochromatic cycles. This approximately verifies a conjecture of Pokrovskiy and is essentially tight.


title: Separate and conquer heuristic allows robust mining of contrast sets in classification, regression, and survival data

abstract: Identifying differences between groups is one of the most important knowledge discovery problems. The procedure, also known as contrast sets mining, is applied in a wide range of areas like medicine, industry, or economics. In the paper we present RuleKit-CS, an algorithm for contrast set mining based on separate and conquer - a well established heuristic for decision rule induction. Multiple passes accompanied with an attribute penalization scheme provide contrast sets describing same examples with different attributes, distinguishing presented approach from the standard separate and conquer. The algorithm was also generalized for regression and survival data allowing identification of contrast sets whose label attribute/survival prognosis is consistent with the label/prognosis for the predefined contrast groups. This feature, not provided by the existing approaches, further extends the usability of RuleKit-CS. Experiments on over 130 data sets from various areas and detailed analysis of selected cases confirmed RuleKit-CS to be a useful tool for discovering differences between defined groups. The algorithm was implemented as a part of the RuleKit suite available at GitHub under GNU AGPL 3 licence (https://github.com/adaa-polsl/RuleKit). Keywords: contrast sets, separate and conquer, regression, survival


title: Evaluating the Text-to-SQL Capabilities of Large Language Models

abstract: We perform an empirical evaluation of Text-to-SQL capabilities of the Codex language model. We find that, without any finetuning, Codex is a strong baseline on the Spider benchmark; we also analyze the failure modes of Codex in this setting. Furthermore, we demonstrate on the GeoQuery and Scholar benchmarks that a small number of in-domain examples provided in the prompt enables Codex to perform better than state-of-the-art models finetuned on such few-shot examples.


title: Two-level system hyperpolarization using a quantum Szilard engine

abstract: The innate complexity of solid state physics exposes superconducting quantum circuits to interactions with uncontrolled degrees of freedom degrading their coherence. By using a simple stabilization sequence we show that a superconducting fluxonium qubit is coupled to a two-level system (TLS) environment of unknown origin, with a relatively long energy relaxation time exceeding $50\,\text{ms}$. Implementing a quantum Szilard engine with an active feedback control loop allows us to decide whether the qubit heats or cools its TLS environment. The TLSs can be cooled down resulting in a four times lower qubit population, or they can be heated to manifest themselves as a negative temperature environment corresponding to a qubit population of $\sim 80\,\%$. We show that the TLSs and the qubit are each other's dominant loss mechanism and that the qubit relaxation is independent of the TLS populations. Understanding and mitigating TLS environments is therefore not only crucial to improve qubit lifetimes but also to avoid non-Markovian qubit dynamics.


title: ASAS-SN follow-up of IceCube high-energy neutrino alerts

abstract: We report on the search for optical counterparts to IceCube neutrino alerts released between April 2016 and August 2021 with the All-Sky Automated Survey for SuperNovae (ASAS-SN). Despite the discovery of a diffuse astrophysical high-energy neutrino flux in 2013, the source of those neutrinos remains largely unknown. Since 2016, IceCube has published likely-astrophysical neutrinos as public realtime alerts. Through a combination of normal survey and triggered target-of-opportunity observations, ASAS-SN obtained images within 1 hour of the neutrino detection for 20% (11) of all observable IceCube alerts and within one day for another 57% (32). For all observable alerts, we obtained images within at least two weeks from the neutrino alert. ASAS-SN provides the only optical follow-up for about 17% of IceCube's neutrino alerts. We recover the two previously claimed counterparts to neutrino alerts, the flaring-blazar TXS 0506+056 and the tidal disruption event AT2019dsg. We investigate the light curves of previously-detected transients in the alert footprints, but do not identify any further candidate neutrino sources. We also analysed the optical light curves of Fermi 4FGL sources coincident with high-energy neutrino alerts, but do not identify any contemporaneous flaring activity. Finally, we derive constraints on the luminosity functions of neutrino sources for a range of assumed evolution models.


title: Characterization of Passive CMOS Strip Sensors

abstract: Recent advances in CMOS imaging sensor technology , e.g. in CMOS pixel sensors, have proven that the CMOS process is radiation tolerant enough to cope with certain radiation levels required for tracking layers in hadron collider experiments. With the ever-increasing area covered by silicon tracking detectors cost effective alternatives to the current silicon sensors and more integrated designs are desirable. This article describes results obtained from laboratory measurements of silicon strip sensors produced in a passive p-CMOS process. Electrical characterization and charge collection measurements with a 90Sr source and a laser with infrared wavelength showed no effect of the stitching process on the performance of the sensor.


title: Convergence Rate Bounds for the Mirror Descent Method: IQCs and the Bregman Divergence

abstract: This paper is concerned with convergence analysis for the mirror descent (MD) method, a well-known algorithm in convex optimization. An analysis framework via integral quadratic constraints (IQCs) is constructed to analyze the convergence rate of the MD method with strongly convex objective functions in both continuous-time and discrete-time. We formulate the problem of finding convergence rates of the MD algorithms into feasibility problems of linear matrix inequalities (LMIs) in both schemes. In particular, in continuous-time, we show that the Bregman divergence function, which is commonly used as a Lyapunov function for this algorithm, is a special case of the class of Lyapunov functions associated with the Popov criterion, when the latter is applied to an appropriate reformulation of the problem. Thus, applying the Popov criterion and its combination with other IQCs, can lead to convergence rate bounds with reduced conservatism. We also illustrate via examples that the convergence rate bounds derived can be tight.


title: Neutrino Driven Explosions aided by Axion Cooling in Multidimensional Simulations of Core-Collapse Supernovae

abstract: In this study, we present the first multidimensional core-collapse supernovae (CCSNe) simulations including QCD axions in order to assess the impact on the CCSN explosion mechanism. We include axions in our simulations through the nucleon-nucleon bremsstrahlung emission channel and as a pure energy-sink term under the assumption that the axions free-stream after being emitted. We perform both spherically symmetric (1D) and axisymmetric (2D) simulations. In 1D, we utilize a parameterized heating scheme to achieve explosions, whereas in 2D we self-consistently realize explosions through the neutrino heating mechanism. Our 2D results for a $20 M_\odot$ progenitor show an impact of the axion emission on the shock behavior and the explosion time when considering values of the Peccei-Quinn energy scale $f_a \leq 2 \times 10^8$ GeV. The strong cooling due to the axion emission accelerates the contraction of the core and leads to more efficient neutrino heating and earlier explosions. For the axion emission formalism utilized, the values of $f_a$ that impact the explosion are close to, but in tension with current limits based on the neutrinos detected from SN1987A. However, given the non-linear behavior of the emission and the multidimensional nature of CCSNe, we suggest that a self-consistent, multidimensional approach to simulating CCSNe, including any late time accretion and cooling, is needed to fully explore the axion bounds from supernovae and the impact on the CCSN explosion mechanism.


title: Three-manifolds with non-negatively pinched Ricci curvature

abstract: We show that every complete non-compact three-manifold with non-negatively pinched Ricci curvature admits a complete Ricci flow solution for all positive time, with scale-invariant curvature decay and preservation of pinching. Combining with recent work of Lott and Deruelle-Schulze-Simon gives a proof of Hamilton's pinching conjecture without additional hypotheses.


title: Multi Jet Fusion of Nylon-12: A Viable Method to 3D-print Concentric Tube Robots?

abstract: In this paper, we present a study on the viability of fabricating Concentric Tube Robots using Multi Jet Fusion (MJF) of Nylon-12, a type of elastic polymer commonly used in additive manufacturing. We note that Nylon-12 was already evaluated for the purpose of building CTRs in prior work, but fabrication was performed with Selective Laser Sintering (SLS), which produced unsatisfactory results. Our study is the first study to evaluate the suitability of MJF to 3Dprint CTRs.


title: Biocomputing Model Using Tripartite Synapses Provides Reliable Neuronal Logic Gating with Spike Pattern Diversity

abstract: Biocomputing technologies exploit biological communication mechanisms involving cell-cell signal propagation to perform computations. Researchers recently worked toward realising logic gates made by neurons to develop novel devices such as organic neuroprostheses or brain implants made by cells, herein termed living implants. Several challenges arise from this approach, mainly associated with the stochastic nature and noise of neuronal communication. Since astrocytes play a crucial role in the regulation of neurons activity, there is a possibility whereby astrocytes can be engineered to control synapses favouring reliable biocomputing. This work proposes a mathematical model of neuronal logic gates involving neurons and astrocytes, realising OR and AND gating. We use a shallow coupling of both the Izhikevich and Postnov models to characterise gating responses with spike pattern variability and astrocyte synaptic regulation. Logic operation error ratio and accuracy assess the AND and OR gates' performances at different synaptic Gaussian noise levels. Our results demonstrate that the astrocyte regulating activity can effectively be used as a denoising mechanism, paving the way for highly reliable biocomputing implementations.


title: Deep Learning in Spiking Phasor Neural Networks

abstract: Spiking Neural Networks (SNNs) have attracted the attention of the deep learning community for use in low-latency, low-power neuromorphic hardware, as well as models for understanding neuroscience. In this paper, we introduce Spiking Phasor Neural Networks (SPNNs). SPNNs are based on complex-valued Deep Neural Networks (DNNs), representing phases by spike times. Our model computes robustly employing a spike timing code and gradients can be formed using the complex domain. We train SPNNs on CIFAR-10, and demonstrate that the performance exceeds that of other timing coded SNNs, approaching results with comparable real-valued DNNs.


title: Local cyclic homology for nonarchimedean Banach algebras

abstract: Let V be a complete discrete valuation ring with uniformiser p. We introduce an invariant of Banach V-algebras called local cyclic homology. This invariant is related to analytic cyclic homology for complete, bornologically torsionfree V-algebras. It is shown that local cyclic homology only depends on the reduction mod p of a Banach V-algebra and that it is homotopy invariant, matricially stable, and excisive.


title: Relative quantum cohomology under birational transformations

abstract: We study how relative quantum cohomology, defined by Tseng--You and Fan--Wu--You, varies under birational transformations. For toric complete intersections with simple normal crossings divisors that contain the loci of indeterminacy, we prove that their respective relative $I$-functions can be directly identified. For toric complete intersections with smooth divisors, we prove that their respective relative $I$-functions are related by analytic continuation. We also study some connections with extremal transitions and FJRW theory.


title: Chemical evolution of $^{26}$Al and $^{60}$Fe in the Milky Way

abstract: We present theoretical mass estimates of $^{26}$Al and $^{60}$Fe throughout the Galaxy, performed with a numerical chemical evolution model including detailed nucleosynthesis prescriptions for stable and radioactive nuclides. We compared the results for several sets of stellar yields taken from the literature, for massive, low and intermediate mass stars, nova systems (only for $^{26}$Al) and supernovae Type Ia.We then computed the total masses of $^{26}$Al and $^{60}$Fe in the Galaxy. We studied the bulge and the disc of the Galaxy in a galactocentric radius range 0-22 kpc. We assumed that the bulge region (within 2 kpc) evolved quickly suffering a strong star formation burst, while the disc formed more slowly and inside-out. We compared our results with the $^{26}$Al mass observed by the $\gamma$-ray surveys COMPTEL and INTEGRAL to select the best model. Concerning $^{60}$Fe, we do not have any observed mass value so we just performed a theoretical prediction for future observations. In conclusion, low, intermediate mass stars and Type Ia supernovae contribute negligibly to the two isotopes, while massive stars are the dominant source. The nova contribution is, however, necessary to reproduce the observations of $^{26}$Al. Our best model predicts $2.12$ M$_{\odot}$ of $^{26}$Al, in agreement with observations, while for $^{60}$Fe our best mass estimate is $\sim 1.05$ M$_{\odot}$. We also predicted the present injection rate of $^{26}$Al and $^{60}$Fe in the Galaxy and compared it with previous results, and we found a larger present time injection rate along the disc.


title: Learning Disentangled Representations of Negation and Uncertainty

abstract: Negation and uncertainty modeling are long-standing tasks in natural language processing. Linguistic theory postulates that expressions of negation and uncertainty are semantically independent from each other and the content they modify. However, previous works on representation learning do not explicitly model this independence. We therefore attempt to disentangle the representations of negation, uncertainty, and content using a Variational Autoencoder. We find that simply supervising the latent representations results in good disentanglement, but auxiliary objectives based on adversarial learning and mutual information minimization can provide additional disentanglement gains.


title: A Compositional Approach to Safety-Critical Resilient Control for Systems with Coupled Dynamics

abstract: Complex, interconnected Cyber-physical Systems (CPS) are increasingly common in applications including smart grids and transportation. Ensuring safety of interconnected systems whose dynamics are coupled is challenging because the effects of faults and attacks in one sub-system can propagate to other sub-systems and lead to safety violations. In this paper, we study the problem of safety-critical control for CPS with coupled dynamics when some sub-systems are subject to failure or attack. We first propose resilient-safety indices (RSIs) for the faulty or compromised sub-systems that bound the worst-case impacts of faulty or compromised sub-systems on a set of specified safety constraints. By incorporating the RSIs, we provide a sufficient condition for the synthesis of control policies in each failure- and attack- free sub-systems. The synthesized control policies compensate for the impacts of the faulty or compromised sub-systems to guarantee safety. We formulate sum-of-square optimization programs to compute the RSIs and the safety-ensuring control policies. We present a case study that applies our proposed approach on the temperature regulation of three coupled rooms. The case study demonstrates that control policies obtained using our algorithm guarantee system's safety constraints.


title: An Arduino based heartbeat detection device (ArdMob-ECG) for real-time ECG analysis

abstract: This technical paper provides a tutorial to build a low-cost (10-100 USD) and easy to assemble ECG device (ArdMob-ECG) that can be easily used for a variety of different scientific studies. The advantage of this device is that it automatically stores the data and has a built-in detection algorithm for heartbeats. Compared to a clinical ECG, this device entails a serial interface that can send triggers via USB directly to a computer and software (e.g. Unity, Matlab) with minimal delay due to its architecture. Its software and hardware is open-source and publicly available. The performance of the device regarding sensitivity and specificity is comparable to a professional clinical ECG and is assessed in this paper. Due to the open-source software, a variety of different research questions and individual alterations can be adapted using this ECG. The code as well as the circuit is publicly available and accessible for everyone to promote a better health system in remote areas, Open Science, and to boost scientific progress and the development of new paradigms that ultimately foster innovation.


title: An Analytical Framework for Control Synthesis of Cyber-Physical Systems with Safety Guarantee

abstract: Cyber-physical systems (CPS) are required to operate safely under fault and malicious attacks. The simplex architecture and the recently proposed cyber resilient architectures, e.g., Byzantine fault tolerant++ (BFT++), provide safety for CPS under faults and malicious cyber attacks, respectively. However, these existing architectures make use of different timing parameters and implementations to provide safety, and are seemingly unrelated. In this paper, we propose an analytical framework to represent the simplex, BFT++ and other practical cyber resilient architectures (CRAs). We construct a hybrid system that models CPS adopting any of these architectures. We derive sufficient conditions via our proposed framework under which a control policy is guaranteed to be safe. We present an algorithm to synthesize the control policy. We validate the proposed framework using a case study on lateral control of a Boeing 747, and demonstrate that our proposed approach ensures safety of the system.


title: Balanced Clique Computation in Signed Networks: Concepts and Algorithms

abstract: Clique is one of the most fundamental models for cohesive subgraph mining in network analysis. Existing clique model mainly focuses on unsigned networks. However, in real world, many applications are modeled as signed networks with positive and negative edges. As the signed networks hold their own properties different from the unsigned networks, the existing clique model is inapplicable for the signed networks. Motivated by this, we propose the balanced clique model that considers the most fundamental and dominant theory, structural balance theory, for signed networks. Following the balanced clique model, we study the maximal balanced clique enumeration problem (MBCE) which computes all the maximal balanced cliques in a given signed network and the maximum balanced clique search problem (MBCS) which computes the balanced clique with maximum size. We show that MBCE problem and MBCS problem are both NP-Hard. For the MBCE problem, a straightforward solution is to treat the signed network as two unsigned networks and leverage the off-the-shelf techniques for unsigned networks. However, such a solution is inefficient for large signed networks. To address this problem, in this paper, we first propose a new maximal balanced clique enumeration algorithm by exploiting the unique properties of signed networks. Based on the new proposed algorithm, we devise two optimization strategies to further improve the efficiency of the enumeration. For the MBCS problem, we propose a new search framework based on search space partition. To further improve the efficiency of the new framework, we propose multiple optimization strategies regarding to redundant search branches and invalid candidates. We conduct extensive experiments on large real datasets. The experimental results demonstrate the efficiency, effectiveness and scalability of our proposed algorithms for MBCE problem and MBCS problem.


title: Rational Hodge isometries of hyper-Kahler varieties of K3[n]-type are algebraic

abstract: Let X and Y be compact hyper-Kahler manifolds deformation equivalence to the Hilbert scheme of length n subschemes of a K3 surface. A cohomology class in their product XxY is an analytic correspondence, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let f be a Hodge isometry of their second rational cohomologies with respect to the Beauville-Bogomolov-Fujiki pairings. We prove that f is induced by an analytic correspondence. We furthermore lift f to an analytic correspondence F between their total rational cohomologies, which is a Hodge isometry with respect to the Mukai pairings, and which preserves the gradings up to sign. When X and Y are projective the correspondences f and F are algebraic.


title: Properly Proximal von Neumann Algebras

abstract: We introduce the notion of proper proximality for finite von Neumann algebras, which naturally extends the notion of proper proximality for groups. Apart from the group von Neumann algebras of properly proximal groups, we provide a number of additional examples, including examples in the settings of free products, crossed products, and compact quantum groups. Using this notion, we answer a question of Popa by showing that the group von Neumann algebra of a nonamenable inner amenable group cannot embed into a free group factor. We also introduce a notion of proper proximality for probability measure preserving actions, which gives an invariant for the orbit equivalence relation. This gives a new approach for establishing strong ergodicity type properties, and we use this in the setting of Gaussian actions to expand on solid ergodicity results first established by Chifan and Ioana, and later generalized by Boutonnet. The techniques developed also allow us to answer a problem left open by Anantharaman-Delaroche in 1995, by showing the equivalence between the Haagerup property and the compact approximation property for II$_1$ factors.


title: The K\"othe dual of mixed Morrey spaces and applications

abstract: In this paper, we study the separable and weak convergence of mixed-norm Lebesgue spaces. Furthermore, we prove that the block space $\mathcal{B}_{\vec{p}\,'}^{p'_0}(\mathbb{R}^n)$ is the K\"othe dual of the mixed Morrey space $\mathcal{M}_{\vec{p}}^{p_0}(\mathbb{R}^n)$ by the Fatou property of these block spaces. The boundedness of the Hardy--Littlewood maximal function is further obtained on the block space $\mathcal{B}_{\vec{p}\,'}^{p'_0}(\mathbb{R}^n)$. As applications, the characterizations of $BMO(\mathbb{R}^n)$ via the commutators of the fractional integral operator $I_{\alpha}$ on mixed Morrey spaces are proved as well as the block space $\mathcal{B}_{\vec{p}\,'}^{p'_0}(\mathbb{R}^n)$.


title: Size distribution of primary submicron particles and larger aggregates in solvent induced asphaltene precipitation

abstract: Asphaltene precipitation is a crucial phase separation phenomenon in the oil industry, especially in paraffinic froth treatment to extract bitumen from oil sands ores. This work reveals the formation of particles at 0.2 to 0.4 um in radius, defined as a primary sub-micron particle (PSMP), which is ubiquitous from diffusive mixing between asphaltene solution and any of 23 types of precipitants examined in our experiments. The yield and quantity of asphaltene particles are affected not only by the Hildebrand solubility parameter of the precipitants but also by the diffusion coefficients of the asphaltene solution and the precipitant. The Population Balance Model (PBM) with the Hildebrand solubility parameter has been used to model particle size distribution. Good agreement has been achieved between numerical predictions and the experimental data. It indicates that the colloid theory can describe the size distribution of PSMP and larger aggregates. Therefore, this study provides new insight into the mechanism for the dependence of yield and size distribution of the precipitated asphaltene particles on the composition of precipitants and adding inhibitors. Controlling of asphaltene yield and size distribution may be applied to the process of hydrocarbon separation or asphaltene precipitation prevention.


title: Ab-initio study of the effect of bromide mixing into RbPbI$_3$ on the structural, electronic and optical properties

abstract: The ultra-high efficiency and cost-effective photovoltaics based on halide preovskites have brought a revolution to ongoing photovoltaic research, surpassing the expectations of the scientific community. However, structural stability is a severe issue that hinders their wide-scale integration at the device level. Compositional engineering with the halide mixing has become an efficient way to deal with this issue without compromising device efficiency. Herein, the structural, electronic and optical properties of the bromide mixed orthorhombic $\rm{{RbPb(I_{1-x}Br_x)_3}}$ (where, $\rm{x}=0.25$, $0.50$ and $0.75$) are calculated using the density functional theory. The electronic bandstructure and density of states (DOS) are calculated using both PBE (Perdew-Burke-Ernzerhof) and TB-mBJ (Tran Blaha modified Becke Johnson) potential. The lowest energy bandgaps of $2.288$ and $2.986$ eV for bromide mixing of $\rm{x}=0.50$ are obtained using PBE and TB-mBJ, respectively. In contrast, the mixed bromide phases possess a smaller effective mass, facilitating a better carrier transport through the mixed halide. Using PBE, the excitons appear to be the Mott-Wannier type. However, the TB-mBJ predicts the exciton to be Frenkel type for bromide mixing of $\rm{x}=0.75$ and a Mott-Wannier type for all other mixing under study. The spectroscopic limited maximum efficiency (SLME) is observed to be at the highest values of $14.0$\% and $4.1$\% for the equal admixture of I and Br using PBE and TB-mBJ, respectively. The calculated properties are consistent with the reported data of the similar structures.


title: Comment on "First-order methods almost always avoid strict saddle points"

abstract: The analysis on the global stability of Riemannian gradient descent method in manifold optimization (i.e., it avoids strict saddle points for almost all initializations) due to Lee et al. (Math. Program. 176:311-337) is corrected. Moreover, an explicit bound on the step-size is presented by the newly introduced retraction L-smooth property.


title: Birth places of extreme ultraviolet waves driven by impingement of solar jets upon coronal loops

abstract: Solar extreme ultraviolet (EUV) waves are large-scale propagating disturbances in the corona. It is generally believed that the vital key for the formation of EUV waves is the rapid expansion of the loops that overlie erupting cores in solar eruptions, such as coronal mass ejections (CMEs) and solar jets. However, the details of the interaction between the erupting cores and overlying loops are not clear, because that the overlying loops are always instantly opened after the energetic eruptions. Here, we present three typical jet-driven EUV waves without CME to study the interaction between the jets and the overlying loops that remained closed during the events. All three jets emanated from magnetic flux cancelation sites in source regions. Interestingly, after the interactions between jets and overlying loops, three EUV waves respectively formed ahead of the top, the near end (close to the jet source), and the far (another) end of the overlying loops. According to the magnetic field distribution of the loops extrapolated from Potential Field Source Surface method, it is confirmed that the birth places of three jet-driven EUV waves were around the weakest magnetic field strength part of the overlying loops. We suggest that the jet-driven EUV waves preferentially occur at the weakest part of the overlying loops, and the location can be subject to the magnetic field intensity around the ends of the loops.


title: Estimating the Jacobian matrix of an unknown multivariate function from sample values by means of a neural network

abstract: We describe, implement and test a novel method for training neural networks to estimate the Jacobian matrix $J$ of an unknown multivariate function $F$. The training set is constructed from finitely many pairs $(x,F(x))$ and it contains no explicit information about $J$. The loss function for backpropagation is based on linear approximations and on a nearest neighbor search in the sample data. We formally establish an upper bound on the uniform norm of the error, in operator norm, between the estimated Jacobian matrix provided by the algorithm and the actual Jacobian matrix, under natural assumptions on the function, on the training set and on the loss of the neural network during training. The Jacobian matrix of a multivariate function contains a wealth of information about the function and it has numerous applications in science and engineering. The method given here represents a step in moving from black-box approximations of functions by neural networks to approximations that provide some structural information about the function in question.


title: The characteristic polynomial of sums of random permutations and regular digraphs

abstract: Let $A_n$ be the sum of $d$ permutation matrices of size $n\times n$, each drawn uniformly at random and independently. We prove that the normalized characteristic polynomial $\frac{1}{\sqrt{d}}\det(I_n - z A_n/\sqrt{d})$ converges when $n\to \infty$ towards a random analytic function on the unit disk. As an application, we obtain an elementary proof of the spectral gap of random regular digraphs. Our results are valid both in the regime where $d$ is fixed and for $d$ slowly growing with $n$.


title: Givens Rotations for QR Decomposition, SVD and PCA over Database Joins

abstract: This article introduces Figaro, an algorithm for computing the upper-triangular matrix in the QR decomposition of the matrix defined by the natural join over relational data. Figaro's main novelty is that it pushes the QR decomposition past the join. This leads to several desirable properties. For acyclic joins, it takes time linear in the database size and independent of the join size. Its execution is equivalent to the application of a sequence of Givens rotations proportional to the join size. Its number of rounding errors relative to the classical QR decomposition algorithms is on par with the database size relative to the join output size. The QR decomposition lies at the core of many linear algebra computations including the singular value decomposition (SVD) and the principal component analysis (PCA). We show how Figaro can be used to compute the orthogonal matrix in the QR decomposition, the SVD and the PCA of the join output without the need to materialize the join output. A suite of experiments validate that Figaro can outperform both in runtime performance and numerical accuracy the LAPACK library Intel MKL by a factor proportional to the gap between the sizes of the join output and input.