title: UAVs for Industries and Supply Chain Management

abstract: This work aims at showing that it is feasible and safe to use a swarm of Unmanned Aerial Vehicles (UAVs) indoors alongside humans. UAVs are increasingly being integrated under the Industry 4.0 framework. UAV swarms are primarily deployed outdoors in civil and military applications, but the opportunities for using them in manufacturing and supply chain management are immense. There is extensive research on UAV technology, e.g., localization, control, and computer vision, but less research on the practical application of UAVs in industry. UAV technology could improve data collection and monitoring, enhance decision-making in an Internet of Things framework and automate time-consuming and redundant tasks in the industry. However, there is a gap between the technological developments of UAVs and their integration into the supply chain. Therefore, this work focuses on automating the task of transporting packages utilizing a swarm of small UAVs operating alongside humans. MoCap system, ROS, and unity are used for localization, inter-process communication and visualization. Multiple experiments are performed with the UAVs in wander and swarm mode in a warehouse like environment.


title: Analysis of the Lifting Graph

abstract: The lifting graph $L(G,s,k)$ is an auxiliary graph, useful in edge-connectivity proofs, defined via an operation called \textit{lifting} performed on pairs of edges incident with a vertex $s$ in a graph $G$. It encodes the information of whether a pair of edges incident with $s$ forms a good lift in the sense that lifting them preserves a certain prescribed local edge-connectivity $k$ between the pairs of vertices different from $s$. Lifting was studied by Lov\'asz \cite{Lovasz} and Mader and they proved the first two significant results about it in 1976 and 1978 respectively, showing the existence of one good lift under certain conditions. Later in 1992 lifting was investigated further by Frank, who proved that there are $\lfloor deg(s)/2 \rfloor $ many good lifts. Thomassen showed in 2016 that if $G$ is Eulerian, then the complement of $L(G,s,k)$ is disconnected. This was extended in the same year by Ok, Richter, and Thomassen to graphs $G$ where only $deg(s)$ and $k$ are required to be even, and they began the first detailed study of the structure of the lifting graph for a general $G$. Here we give a more comprehensive analysis of the structure of the lifting graph $L(G,s,k)$, studied through the interaction of its maximal independent sets, which is a new approach revealing more of the structure than seen in the inductive proof by Ok, Richter, and Thomassen. We prove specific structures for the lifting graph depending on the different possibilities for the parities of $deg(s)$ and $k$. An important consequence is the description of the structure of a graph in case its lifting graph has a connected complement. The graph $G-s$ consists of a path or cycle of $((k+1)/2)$-edge-connected blobs, with consecutive blobs joined by precisely $(k-1)/2$ edges except in the case when the structure is a path of length $2$ of blobs.


title: Quantum Worst-Case to Average-Case Reductions for All Linear Problems

abstract: We study the problem of designing worst-case to average-case reductions for quantum algorithms. For all linear problems, we provide an explicit and efficient transformation of quantum algorithms that are only correct on a small (even sub-constant) fraction of their inputs into ones that are correct on all inputs. This stands in contrast to the classical setting, where such results are only known for a small number of specific problems or restricted computational models. En route, we obtain a tight $\Omega(n^2)$ lower bound on the average-case quantum query complexity of the Matrix-Vector Multiplication problem. Our techniques strengthen and generalise the recently introduced additive combinatorics framework for classical worst-case to average-case reductions (STOC 2022) to the quantum setting. We rely on quantum singular value transformations to construct quantum algorithms for linear verification in superposition and learning Bogolyubov subspaces from noisy quantum oracles. We use these tools to prove a quantum local correction lemma, which lies at the heart of our reductions, based on a noise-robust probabilistic generalisation of Bogolyubov's lemma from additive combinatorics.


title: Formal Modeling and Analysis of Legal Contracts using ContractCheck

abstract: We describe a method and tool called \textit{ContractCheck} that allows for the consistency analysis of legal contracts, in particular Sales Purchase Agreements (SPAs). The analysis relies on an encoding of the premises for the execution of the clauses of an SPA as well as the proposed consistency constraints using decidable fragments of first-order logic. Textual SPAs are first encoded in a structured natural language format, called blocks. \textit{ContractCheck} interprets these blocks and constraints and translates them in first-oder logic assertions. It then invokes a Satisfiability Modulo Theories (SMT) solver in order to establish the executability of a considered contract by either providing a satisfying model, or by providing evidence of contradictory clauses that impede the execution of the contract. We illustrate the application of \textit{ContractCheck} and conclude by proposing directions for future research.


title: Field-assisted birefringent Compton scattering

abstract: Motivated by experimental initiatives such as the Helmholtz International Beamline for Extreme Fields (HIBEF), we study Compton scattering of x-rays at electrons in a strong external field (e.g., a strong optical laser) with special emphasis on the polarization-changing (i.e., birefringent) contribution on the amplitude level. Apart from being a potential background process for the planned vacuum birefringence experiments, this effect could be used for diagnostic purposes. Since the birefringent signal from free electrons (i.e., without the external field) vanishes in forward direction, the ratio of the birefringent and the normal (polarization conserving) contribution yields information about the field strength at the interaction point.


title: The long-term effect of childhood exposure to technology using surrogates

abstract: We study how childhood exposure to technology at ages 5-15 via the occupation of the parents affects the ability to climb the social ladder in terms of income at ages 45-49 using the Danish micro data from years 1961-2019. Our measure of technology exposure covers the degree to which using computers (hardware and software) is required to perform an occupation, and it is created by merging occupational codes with detailed data from O*NET. The challenge in estimating this effect is that long-term outcome is observed over a different time horizon than our treatment of interest. We therefore adapt the surrogate index methodology, linking the effect of our childhood treatment on intermediate surrogates, such as income and education at ages 25-29, to the effect on adulthood income. We estimate that a one standard error increase in exposure to technology increases the income rank by 2\%-points, which is economically and statistically significant and robust to cluster-correlation within families. The derived policy recommendation is to update the educational curriculum to expose children to computers to a higher degree, which may then act as a social leveler.


title: Complex Dynamics of the Implicit Maps Derived from Iteration of Newton and Euler Method

abstract: Special exotic class of dynamical systems~ -- the implicit maps~ -- is considered. Such maps, particularly, can appear as a result of using of implicit and semi-implicit iterative numerical methods. In the present work we propose the generalization of the well-known Newton-Cayley problem. Newtonian Julia set is a fractal boundary on the complex plane, which divides areas of convergence to different roots of cubic nonlinear complex equation when it is solved with explicit Newton method. We consider similar problem for the relaxed, or damped, Newton method, and obtain the implicit map, which is non-invertible both time-forward and time-backward. It is also possible to obtain the same map in the process of solving of certain nonlinear differential equation via semi-implicit Euler method. The nontrivial phenomena, appearing in such implicit maps, can be considered, however, not only as numerical artifacts, but also independently. From the point of view of theoretical nonlinear dynamics they seem to be very interesting object for investigation. Earlier it was shown that implicit maps can combine properties of dissipative non-invertible and Hamiltonian systems. In the present paper strange invariant sets and mixed dynamics of the obtained implicit map are analyzed.


title: Dissipative symmetry breaking in non-equilibrium steady states

abstract: The connection between dissipation and symmetry breaking is a long-standing enigma in statistical physics. It is intimately connected to the quest of a non-equilibrium functional whose minimization gives the non-equilibrium steady state (NESS). Writing down such a functional, we show that, in the presence of additive noise, any NESS is characterized by the minimum entropy production compatible with the maximum dissipation along cycles in the trajectory space. This result sheds light on the excess entropy production principle and the onset of chiral symmetry breaking out-of-equilibrium, indicating that the housekeeping dissipation is connected with the tendency of performing cycles in a preferential direction. Finally, when multiplicative noise is present, we find that the non-equilibrium functional has two dissipative symmetry-breaking contributions, one stemming from cycles and the other from a thermophoresis-like effect. Our framework paves the way to understand selection phenomena as symmetry-breaking processes driven by non-equilibrium dissipation.


title: HADAS: Hardware-Aware Dynamic Neural Architecture Search for Edge Performance Scaling

abstract: Dynamic neural networks (DyNNs) have become viable techniques to enable intelligence on resource-constrained edge devices while maintaining computational efficiency. In many cases, the implementation of DyNNs can be sub-optimal due to its underlying backbone architecture being developed at the design stage independent of both: (i) the dynamic computing features, e.g. early exiting, and (ii) the resource efficiency features of the underlying hardware, e.g., dynamic voltage and frequency scaling (DVFS). Addressing this, we present HADAS, a novel Hardware-Aware Dynamic Neural Architecture Search framework that realizes DyNN architectures whose backbone, early exiting features, and DVFS settings have been jointly optimized to maximize performance and resource efficiency. Our experiments using the CIFAR-100 dataset and a diverse set of edge computing platforms have seen HADAS dynamic models achieve up to 57% energy efficiency gains compared to the conventional dynamic ones while maintaining the desired level of accuracy scores. Our code is available at https://github.com/HalimaBouzidi/HADAS


title: The Rise of Age-Friendly Jobs

abstract: In 1990, one in five U.S. workers were aged over 50 years whereas today it is one in three. One possible explanation for this is that occupations have become more accommodating to the preferences of older workers. We explore this by constructing an "age-friendliness" index for occupations. We use Natural Language Processing to measure the degree of overlap between textual descriptions of occupations and characteristics which define age-friendliness. Our index provides an approximation to rankings produced by survey participants and has predictive power for the occupational share of older workers. We find that between 1990 and 2020 around three quarters of occupations have seen their age-friendliness increase and employment in above-average age-friendly occupations has risen by 49 million. However, older workers have not benefited disproportionately from this rise, with substantial gains going to younger females and college graduates and with male non-college educated workers losing out the most. These findings point to the need to frame the rise of age-friendly jobs in the context of other labour market trends and imperfections. Purely age-based policies are insufficient given both heterogeneity amongst older workers as well as similarities between groups of older and younger workers. The latter is especially apparent in the overlapping appeal of specific occupational characteristics.


title: Interlaced scan patterns based on progressive hexagonal grids

abstract: Progressive acquisition of slowly-scanned images is desirable for drift correction and real-time visualization. Interlacing methods are common approaches to storing and transmitting data on rectilinear grids, and here we propose using them for acquisition in scanning-mode image modalities. Especially in these cases, it is essential to make optimal use of sample points to speed up the scan and reduce damage to the subject. It has long been known that optimal sampling of band-limited signals is achieved using hexagonal scanning grids. In this note, we demonstrate two new methods for interlacing hexagonal grids, which enable early full field-of-view imaging with optimal sampling and resolution doubling.


title: Contactless Oxygen Monitoring with Gated Transformer

abstract: With the increasing popularity of telehealth, it becomes critical to ensure that basic physiological signals can be monitored accurately at home, with minimal patient overhead. In this paper, we propose a contactless approach for monitoring patients' blood oxygen at home, simply by analyzing the radio signals in the room, without any wearable devices. We extract the patients' respiration from the radio signals that bounce off their bodies and devise a novel neural network that infers a patient's oxygen estimates from their breathing signal. Our model, called \emph{Gated BERT-UNet}, is designed to adapt to the patient's medical indices (e.g., gender, sleep stages). It has multiple predictive heads and selects the most suitable head via a gate controlled by the person's physiological indices. Extensive empirical results show that our model achieves high accuracy on both medical and radio datasets.


title: Multipolar interactions and magnetic excitation gap in d$^3$ spin-orbit Mott insulators

abstract: In Mott insulators with a half-filled $t_{2g}$ shell the Hund's rule coupling induces a spin-3/2 orbital-singlet ground state. The spin-orbit interaction is not expected to qualitatively impact low-energy degrees of freedom in such systems. Indeed, $d^3$ cubic double perovskites (DP) of heavy transition metals are believed to exhibit conventional collinear magnetic orders. However, their inelastic neutron scattering spectra feature large gaps of unclear origin. Here we derive first-principles low-energy Hamiltonians for the cubic DP Ba$_2$Y$B'$O$_6$ ($B'=$ Os, Ru) and show that they include significant multipolar - dipole-octupolar - intersite exchange terms. These terms break continuous symmetry of the spin-3/2 Hamiltonian opening an excitation gap. The calculated gap magnitudes are in good agreement with experiment. The dipole-octupolar intersite exchange is induced due to excited states of the $t_{2g}^3$ manifold that are admixed by the spin-orbit interaction into the spin-3/2 ground state.


title: Relationships Between Bounded Languages, Counter Machines, Finite-Index Grammars, Ambiguity, and Commutative Regularity

abstract: It is shown that for every language family that is a trio containing only semilinear languages, all bounded languages in it can be accepted by one-way deterministic reversal-bounded multicounter machines (DCM). This implies that for every semilinear trio (where these properties are effective), it is possible to decide containment, equivalence, and disjointness concerning its bounded languages. A condition is also provided for when the bounded languages in a semilinear trio coincide exactly with those accepted by DCM machines, and it is used to show that many grammar systems of finite index -- such as finite-index matrix grammars and finite-index ETOL -- have identical bounded languages as DCM. Then connections between ambiguity, counting regularity, and commutative regularity are made, as many machines and grammars that are unambiguous can only generate/accept counting regular or commutatively regular languages. Thus, such a system that can generate/accept a non-counting regular or non-commutatively regular language implies the existence of inherently ambiguous languages over that system. In addition, it is shown that every language generated by an unambiguous finite-index matrix grammar has a rational characteristic series in commutative variables, and is counting regular. This result plus the connections are used to demonstrate that finite-index matrix grammars and finite-index ETOL can generate inherently ambiguous languages (over their grammars), as do several machine models. It is also shown that all bounded languages generated by these two grammar systems (those in any semilinear trio) can be generated unambiguously within the systems. Finally, conditions on languages generated by finite-index matrix grammars and finite-index ETOL implying commutative regularity are obtained. In particular, it is shown that every finite-index EDOL language is commutatively regular.


title: Screening with Persuasion

abstract: We consider a general nonlinear pricing environment with private information. The seller can control both the signal that the buyers receive about their value and the selling mechanism. We characterize the optimal menu and information structure that jointly maximize the seller's profits. The optimal screening mechanism has finitely many items even with a continuum of values. We identify sufficient conditions under which the optimal mechanism has a single item. Thus the seller decreases the variety of items below the efficient level as a by-product of reducing the information rents of the buyer.


title: Domain Translation via Latent Space Mapping

abstract: In this paper, we investigate the problem of multi-domain translation: given an element $a$ of domain $A$, we would like to generate a corresponding $b$ sample in another domain $B$, and vice versa. Acquiring supervision in multiple domains can be a tedious task, also we propose to learn this translation from one domain to another when supervision is available as a pair $(a,b)\sim A\times B$ and leveraging possible unpaired data when only $a\sim A$ or only $b\sim B$ is available. We introduce a new unified framework called Latent Space Mapping (\model) that exploits the manifold assumption in order to learn, from each domain, a latent space. Unlike existing approaches, we propose to further regularize each latent space using available domains by learning each dependency between pairs of domains. We evaluate our approach in three tasks performing i) synthetic dataset with image translation, ii) real-world task of semantic segmentation for medical images, and iii) real-world task of facial landmark detection.


title: Exact Phase Transitions for Stochastic Block Models and Reconstruction on Trees

abstract: In this paper we continue to rigorously establish the predictions in ground breaking work in statistical physics by Decelle, Krzakala, Moore, Zdeborov\'a (2011) regarding the block model, in particular in the case of $q=3$ and $q=4$ communities. We prove that for $q=3$ and $q=4$ there is no computational-statistical gap if the average degree is above some constant by showing it is information theoretically impossible to detect below the Kesten-Stigum bound. The proof is based on showing that for the broadcast process on Galton-Watson trees, reconstruction is impossible for $q=3$ and $q=4$ if the average degree is sufficiently large. This improves on the result of Sly (2009), who proved similar results for regular trees for $q=3$. Our analysis of the critical case $q=4$ provides a detailed picture showing that the tightness of the Kesten-Stigum bound in the antiferromagnetic case depends on the average degree of the tree. We also prove that for $q\geq 5$, the Kestin-Stigum bound is not sharp. Our results prove conjectures of Decelle, Krzakala, Moore, Zdeborov\'a (2011), Moore (2017), Abbe and Sandon (2018) and Ricci-Tersenghi, Semerjian, and Zdeborov{\'a} (2019). Our proofs are based on a new general coupling of the tree and graph processes and on a refined analysis of the broadcast process on the tree.


title: Few-Shot Preference Learning for Human-in-the-Loop RL

abstract: While reinforcement learning (RL) has become a more popular approach for robotics, designing sufficiently informative reward functions for complex tasks has proven to be extremely difficult due their inability to capture human intent and policy exploitation. Preference based RL algorithms seek to overcome these challenges by directly learning reward functions from human feedback. Unfortunately, prior work either requires an unreasonable number of queries implausible for any human to answer or overly restricts the class of reward functions to guarantee the elicitation of the most informative queries, resulting in models that are insufficiently expressive for realistic robotics tasks. Contrary to most works that focus on query selection to \emph{minimize} the amount of data required for learning reward functions, we take an opposite approach: \emph{expanding} the pool of available data by viewing human-in-the-loop RL through the more flexible lens of multi-task learning. Motivated by the success of meta-learning, we pre-train preference models on prior task data and quickly adapt them for new tasks using only a handful of queries. Empirically, we reduce the amount of online feedback needed to train manipulation policies in Meta-World by 20$\times$, and demonstrate the effectiveness of our method on a real Franka Panda Robot. Moreover, this reduction in query-complexity allows us to train robot policies from actual human users. Videos of our results and code can be found at https://sites.google.com/view/few-shot-preference-rl/home.


title: Binary-level Software Compatibility Tool Agreement

abstract: Application Binary Interface (ABI) compatibility is essential for system or software updates to ensure that libraries continue to function. Tools that can assess a binary or library ABI can thus be used to make predictions about compatibility, and predict downstream bugs by informing developers and users about issues. In this work, we are interested in describing a set of well-known tools for assessing ABI, and testing them in a controlled set experiments to assess tool agreement. We run 7660 smaller experiments across tools (N=30,640 total results) to evaluate not only predictions, but also each tool's ability to provide detail about underlying issues. In this work, along with highlighting the problem of assessing ABI compatibility and critiquing the pros and cons of currently available tools, we provide guidance to developers interested to test ABI based on our empirical results and suggestions for future work.


title: A Statistical Framework for Domain Shape Estimation in Stokes Flows

abstract: We develop and implement a Bayesian approach for the estimation of the shape of a two dimensional annular domain enclosing a Stokes flow from sparse and noisy observations of the enclosed fluid. Our setup includes the case of direct observations of the flow field as well as the measurement of concentrations of a solute passively advected by and diffusing within the flow. Adopting a statistical approach provides estimates of uncertainty in the shape due both to the non-invertibility of the forward map and to error in the measurements. When the shape represents a design problem of attempting to match desired target outcomes, this "uncertainty" can be interpreted as identifying remaining degrees of freedom available to the designer. We demonstrate the viability of our framework on three concrete test problems. These problems illustrate the promise of our framework for applications while providing a collection of test cases for recently developed Markov Chain Monte Carlo (MCMC) algorithms designed to resolve infinite dimensional statistical quantities.


title: Further analysis of multilevel Stein variational gradient descent with an application to the Bayesian inference of glacier ice models

abstract: Multilevel Stein variational gradient descent is a method for particle-based variational inference that leverages hierarchies of surrogate target distributions with varying costs and fidelity to computationally speed up inference. The contribution of this work is twofold. First, an extension of a previous cost complexity analysis is presented that applies even when the exponential convergence rate of single-level Stein variational gradient descent depends on iteration-varying parameters. Second, multilevel Stein variational gradient descent is applied to a large-scale Bayesian inverse problem of inferring discretized basal sliding coefficient fields of the Arolla glacier ice. The numerical experiments demonstrate that the multilevel version achieves orders of magnitude speedups compared to its single-level version.


title: Comparison of Spontaneous Emission in Trapped Ion Multiqubit Gates at High Magnetic Fields

abstract: Penning traps have been used for performing quantum simulations and sensing with hundreds of ions and provide a promising route toward scaling up trapped ion quantum platforms because of the ability to trap and control up to thousands of ions in 2D and 3D crystals. A leading source of decoherence in laser-based multiqubit operations on trapped ions is off-resonant spontaneous emission. While many trapped ion quantum computers or simulators utilize clock qubits, other systems rely on Zeeman qubits, which require a more complex calculation of this decoherence. We examine theoretically the impacts of spontaneous emission on quantum gates performed with trapped ions in a high magnetic field. We consider two types of gates -- light-shift and Molmer-Sorensen gates -- and compare the decoherence errors in each. We also compare different detunings, polarizations, and required intensities of the laser beams used to drive the gates. We show that both gates can have similar performance at their optimal operating conditions and examine the experimental feasibility of various operating points. By examining the magnetic field dependence of each gate, we demonstrate that when the $P$ state fine structure splitting is large compared to the Zeeman splittings, the theoretical performance of the Molmer-Sorensen gate is significantly better than that of the light-shift gate. Additionally, for the light-shift gate, we make an approximate comparison between the fidelities that can be achieved at high fields with the fidelities of state-of-the-art two-qubit trapped ion quantum gates. We show that, with regard to spontaneous emission, the achievable infidelity of our current configuration is about an order of magnitude larger than that of the best low-field gates, but we also discuss alternative configurations with potential error rates that are comparable with state-of-the-art trapped ion gates.


title: Sub-10 ps time tagging of electromagnetic showers with scintillating glasses and SiPMs

abstract: The high energy physics community has recently identified an $e^+e^-$ Higgs factory as one of the next-generation collider experiments, following the completion of the High Luminosity LHC program at CERN.The moderate radiation levels expected at such colliders compared to hadron colliders, enable the use of less radiation tolerant but cheaper technologies for the construction of the particle detectors. This opportunity has triggered a renewed interest in the development of scintillating glasses for the instrumentation of large detector volumes such as homogeneous calorimeters. While the performance of such scintillators remains typically inferior in terms of light yield and radiation tolerance compared to that of many scintillating crystals, substantial progress has been made over the recent years. In this paper we discuss the time resolution of cerium-doped Alkali Free Fluorophosphate scintillating glasses, read-out with silicon photo-multipliers in detecting single charged tracks and at different positions along the longitudinal development of an electromagnetic shower, using respectively 150~GeV pions and 100~GeV electron beams at the CERN SPS H2 beam line. A single sensor time resolution of 14.4~ps and 5-7~ps was measured respectively in the two cases. With such a performance the present technology has the potential to address an emerging requirement of future detectors at collider experiments: measuring the time-of-flight of single charged particles as well as that of neutral particles showering inside the calorimeter and the time development of showers.


title: Exploring Randomly Wired Neural Networks for Climate Model Emulation

abstract: Exploring the climate impacts of various anthropogenic emissions scenarios is key to making informed decisions for climate change mitigation and adaptation. State-of-the-art Earth system models can provide detailed insight into these impacts, but have a large associated computational cost on a per-scenario basis. This large computational burden has driven recent interest in developing cheap machine learning models for the task of climate model emulation. In this manuscript, we explore the efficacy of randomly wired neural networks for this task. We describe how they can be constructed and compare them to their standard feedforward counterparts using the ClimateBench dataset. Specifically, we replace the serially connected dense layers in multilayer perceptrons, convolutional neural networks, and convolutional long short-term memory networks with randomly wired dense layers and assess the impact on model performance for models with 1 million and 10 million parameters. We find that models with less complex architectures see the greatest performance improvement with the addition of random wiring (up to 30.4% for multilayer perceptrons). Furthermore, out of 24 different model architecture, parameter count, and prediction task combinations, only one saw a statistically significant performance deficit in randomly wired networks compared to their standard counterparts, with 14 cases showing statistically significant improvement. We also find no significant difference in prediction speed between networks with standard feedforward dense layers and those with randomly wired layers. These findings indicate that randomly wired neural networks may be suitable direct replacements for traditional dense layers in many standard models.


title: Probabilistic Shape Completion by Estimating Canonical Factors with Hierarchical VAE

abstract: We propose a novel method for 3D shape completion from a partial observation of a point cloud. Existing methods either operate on a global latent code, which limits the expressiveness of their model, or autoregressively estimate the local features, which is highly computationally extensive. Instead, our method estimates the entire local feature field by a single feedforward network by formulating this problem as a tensor completion problem on the feature volume of the object. Due to the redundancy of local feature volumes, this tensor completion problem can be further reduced to estimating the canonical factors of the feature volume. A hierarchical variational autoencoder (VAE) with tiny MLPs is used to probabilistically estimate the canonical factors of the complete feature volume. The effectiveness of the proposed method is validated by comparing it with the state-of-the-art method quantitatively and qualitatively. Further ablation studies also show the need to adopt a hierarchical architecture to capture the multimodal distribution of possible shapes.


title: KATSum: Knowledge-aware Abstractive Text Summarization

abstract: Text Summarization is recognised as one of the NLP downstream tasks and it has been extensively investigated in recent years. It can assist people with perceiving the information rapidly from the Internet, including news articles, social posts, videos, etc. Most existing research works attempt to develop summarization models to produce a better output. However, advent limitations of most existing models emerge, including unfaithfulness and factual errors. In this paper, we propose a novel model, named as Knowledge-aware Abstractive Text Summarization, which leverages the advantages offered by Knowledge Graph to enhance the standard Seq2Seq model. On top of that, the Knowledge Graph triplets are extracted from the source text and utilised to provide keywords with relational information, producing coherent and factually errorless summaries. We conduct extensive experiments by using real-world data sets. The results reveal that the proposed framework can effectively utilise the information from Knowledge Graph and significantly reduce the factual errors in the summary.


title: Real-time rapid leakage estimation for deep space habitats using exponentially-weighted adaptively-refined search

abstract: The recent accelerated growth in space-related research and development activities makes the near-term need for long-term extraterrestrial habitats evident. Such habitats must operate under continuous disruptive conditions arising from extreme environments like meteoroid impacts, extreme temperature fluctuations, galactic cosmic rays, destructive dust, and seismic events. Loss of air or atmospheric leakage from a habitat poses safety challenges that demand proper attention. Such leakage may arise from micro-meteoroid impacts, crack growth, bolt/rivet loosening, and seal deterioration. In this paper, leakage estimation in deep space habitats is posed as an inverse problem. A forward pressure-based dynamical model is formulated for atmospheric leakage. Experiments are performed on a small-scaled pressure chamber where different leakage scenarios are emulated and corresponding pressure values are measured. An exponentially-weighted adaptively-refined search (EWARS) algorithm is developed and validated for the inverse problem of real-time leakage estimation. It is demonstrated that the proposed methodology can achieve real-time estimation and tracking of constant and variable leaks with accuracy.


title: Achieving Transparency in Distributed Machine Learning with Explainable Data Collaboration

abstract: Transparency of Machine Learning models used for decision support in various industries becomes essential for ensuring their ethical use. To that end, feature attribution methods such as SHAP (SHapley Additive exPlanations) are widely used to explain the predictions of black-box machine learning models to customers and developers. However, a parallel trend has been to train machine learning models in collaboration with other data holders without accessing their data. Such models, trained over horizontally or vertically partitioned data, present a challenge for explainable AI because the explaining party may have a biased view of background data or a partial view of the feature space. As a result, explanations obtained from different participants of distributed machine learning might not be consistent with one another, undermining trust in the product. This paper presents an Explainable Data Collaboration Framework based on a model-agnostic additive feature attribution algorithm (KernelSHAP) and Data Collaboration method of privacy-preserving distributed machine learning. In particular, we present three algorithms for different scenarios of explainability in Data Collaboration and verify their consistency with experiments on open-access datasets. Our results demonstrated a significant (by at least a factor of 1.75) decrease in feature attribution discrepancies among the users of distributed machine learning.


title: Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines

abstract: Understanding the dynamics of a system is important in many scientific and engineering domains. This problem can be approached by learning state transition rules from observations using machine learning techniques. Such observed time-series data often consist of sequences of many continuous variables with noise and ambiguity, but we often need rules of dynamics that can be modeled with a few essential variables. In this work, we propose a method for extracting a small number of essential hidden variables from high-dimensional time-series data and for learning state transition rules between these hidden variables. The proposed method is based on the Restricted Boltzmann Machine (RBM), which treats observable data in the visible layer and latent features in the hidden layer. However, real-world data, such as video and audio, include both discrete and continuous variables, and these variables have temporal relationships. Therefore, we propose Recurrent Temporal GaussianBernoulli Restricted Boltzmann Machine (RTGB-RBM), which combines Gaussian-Bernoulli Restricted Boltzmann Machine (GB-RBM) to handle continuous visible variables, and Recurrent Temporal Restricted Boltzmann Machine (RT-RBM) to capture time dependence between discrete hidden variables. We also propose a rule-based method that extracts essential information as hidden variables and represents state transition rules in interpretable form. We conduct experiments on Bouncing Ball and Moving MNIST datasets to evaluate our proposed method. Experimental results show that our method can learn the dynamics of those physical systems as state transition rules between hidden variables and can predict unobserved future states from observed state transitions.


title: General multi-fidelity surrogate models: Framework and active learning strategies for efficient rare event simulation

abstract: Estimating the probability of failure for complex real-world systems using high-fidelity computational models is often prohibitively expensive, especially when the probability is small. Exploiting low-fidelity models can make this process more feasible, but merging information from multiple low-fidelity and high-fidelity models poses several challenges. This paper presents a robust multi-fidelity surrogate modeling strategy in which the multi-fidelity surrogate is assembled using an active learning strategy using an on-the-fly model adequacy assessment set within a subset simulation framework for efficient reliability analysis. The multi-fidelity surrogate is assembled by first applying a Gaussian process correction to each low-fidelity model and assigning a model probability based on the model's local predictive accuracy and cost. Three strategies are proposed to fuse these individual surrogates into an overall surrogate model based on model averaging and deterministic/stochastic model selection. The strategies also dictate which model evaluations are necessary. No assumptions are made about the relationships between low-fidelity models, while the high-fidelity model is assumed to be the most accurate and most computationally expensive model. Through two analytical and two numerical case studies, including a case study evaluating the failure probability of Tristructural isotropic-coated (TRISO) nuclear fuels, the algorithm is shown to be highly accurate while drastically reducing the number of high-fidelity model calls (and hence computational cost).


title: Improving Deep Localized Level Analysis: How Game Logs Can Help

abstract: Player modelling is the field of study associated with understanding players. One pursuit in this field is affect prediction: the ability to predict how a game will make a player feel. We present novel improvements to affect prediction by using a deep convolutional neural network (CNN) to predict player experience trained on game event logs in tandem with localized level structure information. We test our approach on levels based on Super Mario Bros. (Infinite Mario Bros.) and Super Mario Bros.: The Lost Levels (Gwario), as well as original Super Mario Bros. levels. We outperform prior work, and demonstrate the utility of training on player logs, even when lacking them at test time for cross-domain player modelling.


title: GaitVibe+: Enhancing Structural Vibration-based Footstep Localization Using Temporary Cameras for In-home Gait Analysis

abstract: In-home gait analysis is important for providing early diagnosis and adaptive treatments for individuals with gait disorders. Existing systems include wearables and pressure mats, but they have limited scalability. Recent studies have developed vision-based systems to enable scalable, accurate in-home gait analysis, but it faces privacy concerns due to the exposure of people's appearances. Our prior work developed footstep-induced structural vibration sensing for gait monitoring, which is device-free, wide-ranged, and perceived as more privacy-friendly. Although it has succeeded in temporal gait event extraction, it shows limited performance for spatial gait parameter estimation due to imprecise footstep localization. In particular, the localization error mainly comes from the estimation error of the wave arrival time at the vibration sensors and its error propagation to wave velocity estimations. Therefore, we present GaitVibe+, a vibration-based footstep localization method fused with temporarily installed cameras for in-home gait analysis. Our method has two stages: fusion and operating. In the fusion stage, both cameras and vibration sensors are installed to record only a few trials of the subject's footstep data, through which we characterize the uncertainty in wave arrival time and model the wave velocity profiles for the given structure. In the operating stage, we remove the camera to preserve privacy at home. The footstep localization is conducted by estimating the time difference of arrival (TDoA) over multiple vibration sensors, whose accuracy is improved through the reduced uncertainty and velocity modeling during the fusion stage. We evaluate GaitVibe+ through a real-world experiment with 50 walking trials. With only 3 trials of multi-modal fusion, our approach has an average localization error of 0.22 meters, which reduces the spatial gait parameter error from 111% to 27%.


title: PigV$^2$: Monitoring Pig Vital Signs through Ground Vibrations Induced by Heartbeat and Respiration

abstract: Pig vital sign monitoring (e.g., estimating the heart rate (HR) and respiratory rate (RR)) is essential to understand the stress level of the sow and detect the onset of parturition. It helps to maximize peri-natal survival and improve animal well-being in swine production. The existing approach mainly relies on manual measurement, which is labor-intensive and only provides a few points of information. Other sensing modalities such as wearables and cameras are developed to enable more continuous measurement, but are still limited due to animal discomfort, data transfer, and storage challenges. In this paper, we introduce PigV$^2$, the first system to monitor pig heart rate and respiratory rate through ground vibrations. Our approach leverages the insight that both heartbeat and respiration generate ground vibrations when the sow is lying on the floor. We infer vital information by sensing and analyzing these vibrations. The main challenge in developing PigV$^2$ is the overlap of vital- and non-vital-related information in the vibration signals, including pig movements, pig postures, pig-to-sensor distances, and so on. To address this issue, we first characterize their effects, extract their current status, and then reduce their impact by adaptively interpolating vital rates over multiple sensors. PigV$^2$ is evaluated through a real-world deployment with 30 pigs. It has 3.4% and 8.3% average errors in monitoring the HR and RR of the sows, respectively.


title: A construction of intersection cohomology from a simplicial version of the Deligne axioms

abstract: Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive at intersection cohomology by classifying sheaves that satisfy what are called Deligne axioms. We stablish an abstract manifestation of the Deligne axioms, to then apply it on a simplicial complex environment, for a category of simplicial sheaves inspired on the works of D. Chataur, D. Tanr\'e and M. Saralegi-Araguren. For a stablished topology on a triangulation of a stratified pseudomanifold, we find a family of sheaves satisfying the simplicial Deligne axioms, giving us a way to construct intersection cohomology from simplicial sheaves.


title: Visualizing and manipulating chiral interface states in a moir\'e quantum anomalous Hall insulator

abstract: Moir\'e systems made from stacked two-dimensional materials host novel correlated and topological states that can be electrically controlled via applied gate voltages. We have used this technique to manipulate Chern domains in an interaction-driven quantum anomalous Hall insulator made from twisted monolayer-bilayer graphene (tMBLG). This has allowed the wavefunction of chiral interface states to be directly imaged using a scanning tunneling microscope (STM). To accomplish this tMBLG carrier concentration was tuned to stabilize neighboring domains of opposite Chern number, thus providing topological interfaces completely devoid of any structural boundaries. STM tip pulse-induced quantum dots were utilized to induce new Chern domains and thereby create new chiral interface states with tunable chirality at predetermined locations. Theoretical analysis confirms the chiral nature of observed interface states and enables the determination of the characteristic length scale of valley polarization reversal across neighboring tMBLG Chern domains. tMBLG is shown to be a useful platform for imaging the exotic topological properties of correlated moir\'e systems.


title: On the largest prime factor of quartic polynomial values: the cyclic and dihedral cases

abstract: Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.


title: Asymptotic Theory for Directed Transport of Suspended Ferromagnetic Nanoparticles

abstract: Using the rigid dipole model, we study the translational and rotational motions of single-domain fer-romagnetic nanoparticles in a dilute suspension induced by the harmonically oscillating gradient magnetic field in the presence of a time-independent uniform magnetic field. Our approach is based on a set of the first-order differential equations that describe the time dependencies of the particle coordinate and mag-netization angle. We find the asymptotic solutions of this set of equations at small and large times and, by applying the matched asymptotic expansions for discrete times, derive analytical expressions for the aver-age particle coordinate and velocity.


title: Last Mile of Blockchains: RPC and Node-as-a-service

abstract: While much research focuses on different methods to secure blockchain, information on the chain needs to be accessed by end-users to be useful. This position paper surveys different ways that end-users may access blockchains. We observe that between the two extremes of running a full node and fully utilizing a trusted third-party service, many solutions regarding light nodes are emerging. We analyze these solutions based on three basic properties of web communication: integrity, availability and privacy. We conclude that currently, the best way to access a blockchain while maintaining these three properties is still to run a full node. We consider it essential that future blockchain accessibility services should be built while considering these three expectations.


title: DroneAttention: Sparse Weighted Temporal Attention for Drone-Camera Based Activity Recognition

abstract: Human activity recognition (HAR) using drone-mounted cameras has attracted considerable interest from the computer vision research community in recent years. A robust and efficient HAR system has a pivotal role in fields like video surveillance, crowd behavior analysis, sports analysis, and human-computer interaction. What makes it challenging are the complex poses, understanding different viewpoints, and the environmental scenarios where the action is taking place. To address such complexities, in this paper, we propose a novel Sparse Weighted Temporal Attention (SWTA) module to utilize sparsely sampled video frames for obtaining global weighted temporal attention. The proposed SWTA is comprised of two parts. First, temporal segment network that sparsely samples a given set of frames. Second, weighted temporal attention, which incorporates a fusion of attention maps derived from optical flow, with raw RGB images. This is followed by a basenet network, which comprises a convolutional neural network (CNN) module along with fully connected layers that provide us with activity recognition. The SWTA network can be used as a plug-in module to the existing deep CNN architectures, for optimizing them to learn temporal information by eliminating the need for a separate temporal stream. It has been evaluated on three publicly available benchmark datasets, namely Okutama, MOD20, and Drone-Action. The proposed model has received an accuracy of 72.76%, 92.56%, and 78.86% on the respective datasets thereby surpassing the previous state-of-the-art performances by a margin of 25.26%, 18.56%, and 2.94%, respectively.


title: QCD topology with electromagnetic fields and the axion-photon coupling

abstract: The introduction of non-orthogonal electric and magnetic fields in the QCD vacuum enhances the weight of topological sectors with a nonzero topological charge. For weak fields, there is a linear response for the expectation value of the topological charge. We study this linear response and relate it to the QCD correction to the axion-photon coupling. We also analyse the magnetic field dependence of the topological susceptibility for a range of temperatures around $T_c$. In this work we use lattice simulations with improved staggered quarks at physical masses, including background magnetic and (imaginary) electric fields.


title: Artin's Conjecture for Abelian Varieties with Frobenius Condition

abstract: $A$ be an abelian variety over a number field $K$ of dimension $r$, $a_1, \dots, a_g \in A(K)$ and $F/K$ a finite Galois extension. We consider the density of primes $\frak p$ of $K$ such that the quotient $\bar{A}(k({\frak p}))/\langle \bar{a}_1,\dots,\bar{a}_g\rangle$ has at most $2r-1$ cyclic components and $\frak p$ satisfies a Frobenius condition with respect to $F/K$, where $\bar{A}$ is the reduction of $A$ modulo $\frak p$, $k(\frak p)$ is the residue class field of $\frak p$ and $\langle \bar{a}_1,\dots,\bar{a}_g\rangle$ is the subgroup generated by the reductions $\bar{a}_1,\dots,\bar{a}_g$. We develop a general framework to prove the existence of the density under the Generalized Riemann Hypothesis.


title: Generating Real-Time Strategy Game Units Using Search-Based Procedural Content Generation and Monte Carlo Tree Search

abstract: Real-Time Strategy (RTS) game unit generation is an unexplored area of Procedural Content Generation (PCG) research, which leaves the question of how to automatically generate interesting and balanced units unanswered. Creating unique and balanced units can be a difficult task when designing an RTS game, even for humans. Having an automated method of designing units could help developers speed up the creation process as well as find new ideas. In this work we propose a method of generating balanced and useful RTS units. We draw on Search-Based PCG and a fitness function based on Monte Carlo Tree Search (MCTS). We present ten units generated by our system designed to be used in the game microRTS, as well as results demonstrating that these units are unique, useful, and balanced.


title: Determination of Optimal Size and Number of Movable Energy Resources for Distribution System Resilience Enhancement

abstract: This paper proposes an approach based on graph theory and combinatorial enumeration for sizing of movable energy resources (MERs) to improve the resilience of the electric power supply. The proposed approach determines the size and number of MERs to be deployed in a distribution system to ensure the quickest possible recovery of the distribution system following an extreme event. The proposed approach starts by generating multiple line outage scenarios based on fragility curves of distribution lines. The generated scenarios are reduced using the k-means method. The distribution network is modeled as a graph where distribution network reconfiguration is performed for each reduced line outage scenario. The combinatorial enumeration technique is used to compute all combinations of total MER by size and number. The expected load curtailment (ELC) corresponding to each locational combination of MERs is determined. The minimum ELCs of all combinations of total MER are used to construct a minimum ELC matrix, which is later utilized to determine optimal size and number of MERs. The proposed approach is validated through a case study performed on a 33-node distribution test system.


title: The Prime Graphs of Groups With Arithmetically Small Composition Factors

abstract: We continue the study of prime graphs of finite groups, also known as Gruenberg-Kegel graphs. The vertices of the prime graph of a finite group are the prime divisors of the group order, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in the group. Prime graphs of solvable groups have been characterized in graph theoretical terms only, as have been the prime graphs of groups whose only nonsolvable composition factor is $A_5$. In this paper we classify the prime graphs of all groups whose composition factors have arithmetically small orders, that is, have no more than three prime divisors in their orders. We find that all such graphs have $3$-colorable complements, and we provide full characterizations of the prime graphs of such groups based on the exact type and multiplicity of the nonabelian composition factors of the group.


title: A Temporal Graph Neural Network for Cyber Attack Detection and Localization in Smart Grids

abstract: This paper presents a Temporal Graph Neural Network (TGNN) framework for detection and localization of false data injection and ramp attacks on the system state in smart grids. Capturing the topological information of the system through the GNN framework along with the state measurements can improve the performance of the detection mechanism. The problem is formulated as a classification problem through a GNN with message passing mechanism to identify abnormal measurements. The residual block used in the aggregation process of message passing and the gated recurrent unit can lead to improved computational time and performance. The performance of the proposed model has been evaluated through extensive simulations of power system states and attack scenarios showing promising performance. The sensitivity of the model to intensity and location of the attacks and model's detection delay versus detection accuracy have also been evaluated.


title: Robo-Chargers: Optimal Operation and Planning of a Robotic Charging System to Alleviate Overstay

abstract: Charging infrastructure availability is a major concern for plug-in electric vehicle users. Nowadays, the limited public chargers are commonly occupied by vehicles which have already been fully charged. Such phenomenon, known as overstay, hinders other vehicles' accessibility to charging resources. In this paper, we analyze a charging facility innovation to tackle the challenge of overstay, leveraging the idea of Robo-chargers - automated chargers that can rotate in a charging station and proactively plug or unplug plug-in electric vehicles. We formalize an operation model for stations incorporating Fixed-chargers and Robo-chargers. Optimal scheduling can be solved with the recognition of the combinatorial nature of vehicle-charger assignments, charging dynamics, and customer waiting behaviors. Then, with operation model nested, we develop a planning model to guide economical investment on both types of chargers so that the total cost of ownership is minimized. In the planning phase, it further considers charging demand variances and service capacity requirements. In this paper, we provide systematic techno-economical methods to evaluate if introducing Robo-chargers is beneficial given a specific application scenario. Comprehensive sensitivity analysis based on real-world data highlights the advantages of Robo-chargers, especially in a scenario where overstay is severe. Validations also suggest the tractability of operation model and robustness of planning results for real-time application under reasonable model mismatches, uncertainties and disturbances.


title: Optical Transmission Characterization of Fused Silica Materials Irradiated at the CERN Large Hadron Collider

abstract: The Target Absorbers for Neutrals (TANs) represent one of the most radioactive regions in the Large Hadron Collider (LHC). Seven 40 cm long fused silica rods with different dopant specifications, manufactured by Heraeus, were irradiated in one of the TANs located around the ATLAS experiment by the Beam RAte of Neutrals (BRAN) detector group. This campaign took place during the Run 2 p+p data taking, which occurred between 2016 and 2018. This paper reports a complete characterization of optical transmission per unit length of irradiated fused silica materials as a function of wavelength (240 nm - 1500 nm), dose (up to 18 MGy), and level of OH and H$_2$ dopants introduced in the manufacturing process. The dose delivered to the rods was estimated using Monte Carlo simulations performed by the CERN FLUKA team.


title: Dynamical regimes and clustering of small neutrally buoyant inertial particles in stably stratified turbulence

abstract: Inertial particles in stably stratified flows play a fundamental role in geophysics, from the dynamics of nutrients in the ocean to the dispersion of pollutants in the atmosphere. We consider the Maxey-Riley equation for small neutrally buoyant inertial particles in the Boussinesq approximation, and discuss its limits of validity. We show that particles behave as forced damped oscillators, with different regimes depending on the particles Stokes number and the fluid Brunt-V\"ais\"al\"a frequency. Using direct numerical simulations we study the particles dynamics and we show that small neutrally buoyant particles in these flows tend to cluster in regions of low local vorticity. The particles, albeit small, behave fundamentally differently than tracers.


title: Extending Utility Functions on Arbitrary Sets

abstract: We consider the problem of extending a function $f^{}_P$ defined on a subset $P$ of an arbitrary set $X$ to $X$ strictly monotonically with respect to a preorder $\succcurlyeq$ defined on $X$, without imposing continuity constraints. We show that whenever $\succcurlyeq$ has a utility representation, $f^{}_P$ is extendable if and only if it is gap-safe increasing. A class of extensions involving an arbitrary utility representation of $\succcurlyeq$ is proposed and investigated. Connections to related topological results are discussed. The condition of extendability and the form of the extension are simplified when $P$ is a Pareto set.


title: Restoring the reciprocity invariance in nonlinear systems with broken mirror symmetry

abstract: Circumventing the reciprocity invariance has posed an interesting challenge in the design of modern devices for wave engineering. In passive devices, operating the device in the nonlinear response regime is a common means for realizing nonreciprocity. Because mirror-symmetric systems are trivially reciprocal, breaking the mirror symmetry is a necessary requirement for nonreciprocal dynamics to exist in nonlinear systems. However, the response of an asymmetric nonlinear system is not necessarily nonreciprocal. In this work, we report on the existence of stable, steady-state nonlinear reciprocal dynamics in coupled asymmetric systems subject to external harmonic excitation. We restore reciprocity in the asymmetric system by tuning two symmetry-breaking parameters simultaneously. We identify response regimes in the vicinity of the primary resonances of the system where the steady-state left-to-right transmission characteristics are identical to the right-to-left characteristics in terms of frequency, amplitude and phase. We interpret these regimes of reciprocal dynamics in the context of phase nonreciprocity, wherein incident waves undergo a nonreciprocal phase shift depending on their direction of travel. We hope these findings help design devices with new functionalities for controlling and steering of elastic waves.


title: Learning to Select Prototypical Parts for Interpretable Sequential Data Modeling

abstract: Prototype-based interpretability methods provide intuitive explanations of model prediction by comparing samples to a reference set of memorized exemplars or typical representatives in terms of similarity. In the field of sequential data modeling, similarity calculations of prototypes are usually based on encoded representation vectors. However, due to highly recursive functions, there is usually a non-negligible disparity between the prototype-based explanations and the original input. In this work, we propose a Self-Explaining Selective Model (SESM) that uses a linear combination of prototypical concepts to explain its own predictions. The model employs the idea of case-based reasoning by selecting sub-sequences of the input that mostly activate different concepts as prototypical parts, which users can compare to sub-sequences selected from different example inputs to understand model decisions. For better interpretability, we design multiple constraints including diversity, stability, and locality as training objectives. Extensive experiments in different domains demonstrate that our method exhibits promising interpretability and competitive accuracy.


title: Criterion for the resemblance between the mother and the model distribution

abstract: If the probability distribution model aims to approximate the hidden mother distribution, it is imperative to establish a useful criterion for the resemblance between the mother and the model distributions. This study proposes a criterion that measures the Hellinger distance between discretized (quantized) samples from both distributions. Unlike information criteria such as AIC, this criterion does not require the probability density function of the model distribution, which cannot be explicitly obtained for a complicated model such as a deep learning machine. Second, it can draw a positive conclusion (i.e., both distributions are sufficiently close) under a given threshold, whereas a statistical hypothesis test, such as the Kolmogorov-Smirnov test, cannot genuinely lead to a positive conclusion when the hypothesis is accepted. In this study, we establish a reasonable threshold for the criterion deduced from the Bayes error rate and also present the asymptotic bias of the estimator of the criterion. From these results, a reasonable and easy-to-use criterion is established that can be directly calculated from the two sets of samples from both distributions.


title: Analysis and Utilization of Entrainment on Acoustic and Emotion Features in User-agent Dialogue

abstract: Entrainment is the phenomenon by which an interlocutor adapts their speaking style to align with their partner in conversations. It has been found in different dimensions as acoustic, prosodic, lexical or syntactic. In this work, we explore and utilize the entrainment phenomenon to improve spoken dialogue systems for voice assistants. We first examine the existence of the entrainment phenomenon in human-to-human dialogues in respect to acoustic feature and then extend the analysis to emotion features. The analysis results show strong evidence of entrainment in terms of both acoustic and emotion features. Based on this findings, we implement two entrainment policies and assess if the integration of entrainment principle into a Text-to-Speech (TTS) system improves the synthesis performance and the user experience. It is found that the integration of the entrainment principle into a TTS system brings performance improvement when considering acoustic features, while no obvious improvement is observed when considering emotion features.


title: Utilizing Source Code Syntax Patterns to Detect Bug Inducing Commits using Machine Learning Models

abstract: Detecting Bug Inducing Commit (BIC) or Just in Time (JIT) defect prediction using Machine Learning (ML) based models requires tabulated feature values extracted from the source code or historical maintenance data of a software system. Existing studies have utilized meta-data from source code repositories (we named them GitHub Statistics or GS), n-gram-based source code text processing, and developer's information (e.g., the experience of a developer) as the feature values in ML-based bug detection models. However, these feature values do not represent the source code syntax styles or patterns that a developer might prefer over available valid alternatives provided by programming languages. This investigation proposed a method to extract features from its source code syntax patterns to represent software commits and investigate whether they are helpful in detecting bug proneness in software systems. We utilize six manually and two automatically labeled datasets from eight open-source software projects written in Java, C++, and Python programming languages. Our datasets contain 642 manually labeled and 4,014 automatically labeled buggy and non-buggy commits from six and two subject systems, respectively. The subject systems contain a diverse number of revisions, and they are from various application domains. Our investigation shows the inclusion of the proposed features increases the performance of detecting buggy and non-buggy software commits using five different machine learning classification models. Our proposed features also perform better in detecting buggy commits using the Deep Belief Network generated features and classification model. This investigation also implemented a state-of-the-art tool to compare the explainability of predicted buggy commits using our proposed and traditional features and found that our proposed features provide better reasoning about buggy.....


title: Dispersion of Ultra-Relativistic Tardyonic and Tachyonic Wave Packets on Cosmic Scales

abstract: We investigate the time propagation of tachyonic (superluminal) and tardyonic (subluminal, ordinary) massive wave packets on cosmic scales. A normalizable wave packet cannot be monochromatic in momentum space and thus acquires a positional uncertainty (or packet width) that increases with travel distance. We investigate the question of how this positional uncertainty affects the uncertainty in the detection time for cosmic radiation on Earth. In the ultrarelativistic limit, we find a unified result, $\delta x(t)/c^3 = m^2 \delta p t /p_0^3$, where $\delta x(t)$ is the positional uncertainty, $m$ is the mass parameter, $\delta p$ is the initial momentum spread of the wave function, and $p_0$ is the central momentum of the wave packet, which, in the ultrarelativistic limit, is equal to its energy. This result is valid for tachyons and tardyons; its interpretation is being discussed.


title: MIMO-DBnet: Multi-channel Input and Multiple Outputs DOA-aware Beamforming Network for Speech Separation

abstract: Recently, many deep learning based beamformers have been proposed for multi-channel speech separation. Nevertheless, most of them rely on extra cues known in advance, such as speaker feature, face image or directional information. In this paper, we propose an end-to-end beamforming network for direction guided speech separation given merely the mixture signal, namely MIMO-DBnet. Specifically, we design a multi-channel input and multiple outputs architecture to predict the direction-of-arrival based embeddings and beamforming weights for each source. The precisely estimated directional embedding provides quite effective spatial discrimination guidance for the neural beamformer to offset the effect of phase wrapping, thus allowing more accurate reconstruction of two sources' speech signals. Experiments show that our proposed MIMO-DBnet not only achieves a comprehensive decent improvement compared to baseline systems, but also maintain the performance on high frequency bands when phase wrapping occurs.


title: Nonclassical correlated optical multistability at low photon level for cavity electromagnetically induced transparency

abstract: We study the nonequilibrium dynamic behaviors in a driven-dissipative single-atom cavity electromagnetically induced transparency. The optical bistability and multistability beyond a Kerr nonlinearity are observed utilizing the optical Stark shift induced strong nonlinearity. We show that the nonequilibrium dynamical phase transition between bistability and multistability is highly tunable by the system parameters in a large parameter region. The first-order dissipative optical bistability (multistability) always corresponds to the photon-bunching quantum statistics, which indicates that the quantum fluctuations and correlations play important roles in nonequilibrium dynamics.Interestingly, bistability and multistability with photon-bunching quantum statistics occurring at extremely low steady-state cavity photon number are observed, even under a very strong cavity driven field. Furthermore, we demonstrate that the unique cavity steady-state solution of the full quantum calculation is excellently consistent with the lowest solution based on the semiclassical mean-field approach in bistability and multistability regimes when the cavity photon number is much less than unity, albeit these nonclassical quantum states should possess strong quantum fluctuations in this parameter regime. Our results pave the way to exploring nonclassical correlated optical multistability in quantum regime, which may bring exciting opportunities for potential applications from quantum information processing to quantum metrology.


title: Generation of primordial black holes from an inflation model with modified dispersion relation

abstract: A primordial black hole (PBH) is interesting to people for its ability of explaining dark matter as well as supermassive astrophysical objects. In the normal inflation scenario, the generation of PBHs usually requires an enhanced power spectrum of scalar perturbation at the end of inflation era, which is expected when the dispersion relation of the inflaton field gets modified. In this work, we study a kind of inflation model called {the \it Dirac-Born-Infeld-inspired nonminimal kinetic coupling (DINKIC)} model, where the dispersion relation is modified by a square root existing in the field Lagrangian. We discuss the enhancement of scalar power spectrum due to the modified dispersion relation, as well as the abundance of PBHs produced by the Press-Schechter collapse mechanism. We also discuss the formation of scalar-induced gravitational waves by linear scalar perturbations.


title: Towards using Few-Shot Prompt Learning for Automating Model Completion

abstract: We propose a simple yet a novel approach to improve completion in domain modeling activities. Our approach exploits the power of large language models by using few-shot prompt learning without the need to train or fine-tune those models with large datasets that are scarce in this field. We implemented our approach and tested it on the completion of static and dynamic domain diagrams. Our initial evaluation shows that such an approach is effective and can be integrated in different ways during the modeling activities.


title: The radiation theory of radial solutions to 3D energy critical wave equations

abstract: In this work we consider a wide range of energy critical wave equation in 3-dimensional space with radial data. We are interested in exterior scattering phenomenon, in which the asymptotic behaviour of a solutions $u$ to the non-linear wave equation is similar to that of a linear free wave $v_L$ in an exterior region $\{x: |x|>R+|t|\}$, i.e. \[ \lim_{t\rightarrow \pm \infty} \int_{|x|>R+|t|} (|\nabla(u-v_L)|^2 + |u_t-\partial_t v_L|^2) dx = 0. \] We classify all such solutions for a given linear free wave $v_L$ in this work. We also give some applications of our theory on the global behaviours of radial solutions to this kind of equations. In particular we show the scattering of all finite-energy radial solutions to the defocusing energy critical wave equations.


title: SSDNeRF: Semantic Soft Decomposition of Neural Radiance Fields

abstract: Neural Radiance Fields (NeRFs) encode the radiance in a scene parameterized by the scene's plenoptic function. This is achieved by using an MLP together with a mapping to a higher-dimensional space, and has been proven to capture scenes with a great level of detail. Naturally, the same parameterization can be used to encode additional properties of the scene, beyond just its radiance. A particularly interesting property in this regard is the semantic decomposition of the scene. We introduce a novel technique for semantic soft decomposition of neural radiance fields (named SSDNeRF) which jointly encodes semantic signals in combination with radiance signals of a scene. Our approach provides a soft decomposition of the scene into semantic parts, enabling us to correctly encode multiple semantic classes blending along the same direction -- an impossible feat for existing methods. Not only does this lead to a detailed, 3D semantic representation of the scene, but we also show that the regularizing effects of the MLP used for encoding help to improve the semantic representation. We show state-of-the-art segmentation and reconstruction results on a dataset of common objects and demonstrate how the proposed approach can be applied for high quality temporally consistent video editing and re-compositing on a dataset of casually captured selfie videos.


title: The Type Ibn Supernova 2019kbj -- Indications for Diversity in Type Ibn Supernova Progenitors

abstract: Type Ibn supernovae (SNe) are a rare class of stellar explosions whose progenitor systems are not yet well determined. We present and analyze observations of the Type Ibn SN 2019kbj, and model its light curve in order to constrain its progenitor and explosion parameters. SN 2019kbj shows roughly constant temperature during the first month after peak, indicating a power source (likely circumstellar material interaction) that keeps the continuum emission hot at ~15,000K. Indeed, we find that the radioactive decay of Ni56 is disfavored as the sole power source of the bolometric light curve. A radioactive decay + circumstellar-material (CSM) interaction model, on the other hand, does reproduce the bolometric emission well. The fits prefer a uniform-density CSM shell rather than CSM due to a steady mass-loss wind, similar to what is seen in other Type Ibn SNe. The uniform-density CSM shell model requires ~0.1 solar masses of Ni56 and ~1 solar mass of total ejecta to reproduce the light curve. SN 2019kbj differs in this manner from another Type Ibn SN with derived physical parameters, SN 2019uo, for which an order of magnitude lower Ni56 mass and larger ejecta mass were derived. This points towards a possible diversity in SN Ibn progenitor systems and explosions.


title: Selector-Enhancer: Learning Dynamic Selection of Local and Non-local Attention Operation for Speech Enhancement

abstract: Attention mechanisms, such as local and non-local attention, play a fundamental role in recent deep learning based speech enhancement (SE) systems. However, natural speech contains many fast-changing and relatively brief acoustic events, therefore, capturing the most informative speech features by indiscriminately using local and non-local attention is challenged. We observe that the noise type and speech feature vary within a sequence of speech and the local and non-local operations can respectively extract different features from corrupted speech. To leverage this, we propose Selector-Enhancer, a dual-attention based convolution neural network (CNN) with a feature-filter that can dynamically select regions from low-resolution speech features and feed them to local or non-local attention operations. In particular, the proposed feature-filter is trained by using reinforcement learning (RL) with a developed difficulty-regulated reward that is related to network performance, model complexity, and "the difficulty of the SE task". The results show that our method achieves comparable or superior performance to existing approaches. In particular, Selector-Enhancer is potentially effective for real-world denoising, where the number and types of noise are varies on a single noisy mixture.


title: Achieving Bright Organic Light Emitting Field Effect Transistors with Sustained Efficiency through Hybrid Contact Design

abstract: Organic light emitting field effect transistors (OLEFETs) with bilayer structures have been widely studied due to their potential to integrate high-mobility organic transistors and efficient organic light emitting diodes. However, these devices face a major challenge of imbalance charge transport leading to severe efficiency roll-off at high brightness. Here, we propose a solution to this challenge by introducing a transparent organic/inorganic hybrid contact with specially designed electronic structures. Our design aims to steadily accumulate the electrons injected to the emissive polymer, allowing the light emitting interface to effectively capture more holes even when hole current increases. Our numerical simulations show that the capture efficiency of these steady electrons will dominate charge recombination and lead to a sustained external quantum efficiency of 0.23% over 3 orders of magnitude of brightness (4 to 7700 cd/m2) and current density (1.2 to 2700 mA/cm2) from -4 to -100 V. The same enhancement is retained even after increasing EQE to ~0.51%. The high and tunable brightness with stable efficiency offered by hybrid-contact OLEFETs make them ideal light emitting devices for various applications. These devices have the potential to revolutionize the field of organic electronics by overcoming the fundamental challenge of imbalance charge transport.


title: SAIH: A Scalable Evaluation Methodology for Understanding AI Performance Trend on HPC Systems

abstract: Novel artificial intelligence (AI) technology has expedited various scientific research, e.g., cosmology, physics and bioinformatics, inevitably becoming a significant category of workload on high performance computing (HPC) systems. Existing AI benchmarks tend to customize well-recognized AI applications, so as to evaluate the AI performance of HPC systems under predefined problem size, in terms of datasets and AI models. Due to lack of scalability on the problem size, static AI benchmarks might be under competent to help understand the performance trend of evolving AI applications on HPC systems, in particular, the scientific AI applications on large-scale systems. In this paper, we propose a scalable evaluation methodology (SAIH) for analyzing the AI performance trend of HPC systems with scaling the problem sizes of customized AI applications. To enable scalability, SAIH builds a set of novel mechanisms for augmenting problem sizes. As the data and model constantly scale, we can investigate the trend and range of AI performance on HPC systems, and further diagnose system bottlenecks. To verify our methodology, we augment a cosmological AI application to evaluate a real HPC system equipped with GPUs as a case study of SAIH.


title: A Flexible Nadaraya-Watson Head Can Offer Explainable and Calibrated Classification

abstract: In this paper, we empirically analyze a simple, non-learnable, and nonparametric Nadaraya-Watson (NW) prediction head that can be used with any neural network architecture. In the NW head, the prediction is a weighted average of labels from a support set. The weights are computed from distances between the query feature and support features. This is in contrast to the dominant approach of using a learnable classification head (e.g., a fully-connected layer) on the features, which can be challenging to interpret and can yield poorly calibrated predictions. Our empirical results on an array of computer vision tasks demonstrate that the NW head can yield better calibration with comparable accuracy compared to its parametric counterpart, particularly in data-limited settings. To further increase inference-time efficiency, we propose a simple approach that involves a clustering step run on the training set to create a relatively small distilled support set. Furthermore, we explore two means of interpretability/explainability that fall naturally from the NW head. The first is the label weights, and the second is our novel concept of the ``support influence function,'' which is an easy-to-compute metric that quantifies the influence of a support element on the prediction for a given query. As we demonstrate in our experiments, the influence function can allow the user to debug a trained model. We believe that the NW head is a flexible, interpretable, and highly useful building block that can be used in a range of applications.


abstract: The security of artificial intelligence (AI) is an important research area towards safe, reliable, and trustworthy AI systems. To accelerate the research on AI security, the Artificial Intelligence Security Competition (AISC) was organized by the Zhongguancun Laboratory, China Industrial Control Systems Cyber Emergency Response Team, Institute for Artificial Intelligence, Tsinghua University, and RealAI as part of the Zhongguancun International Frontier Technology Innovation Competition (https://www.zgc-aisc.com/en). The competition consists of three tracks, including Deepfake Security Competition, Autonomous Driving Security Competition, and Face Recognition Security Competition. This report will introduce the competition rules of these three tracks and the solutions of top-ranking teams in each track.


title: Entanglement swapping and swapped entanglement

abstract: Entanglement swapping is gaining widespread attention due to its application in entanglement distribution among different parts of quantum appliances. We investigate the entanglement swapping for pure and noisy systems, and argue different entanglement quantifiers for quantum states. We explore the relationship between the entanglement of initial states and the average entanglement of final states in terms of concurrence and negativity. We find that if initial quantum states are maximally entangled and we make measurements in the Bell basis, then average concurrence and average negativity of final states give similar results. In this case, we simply obtain the average concurrence (average negativity) of the final states by taking the product of concurrences (negativities) of the initial states. However, the measurement in non-maximally entangled basis during entanglement swapping degrades the average swapped entanglement. Further, the product of the entanglement of the initial mixed states provides an upper bound to the average swapped entanglement of final states obtained after entanglement swapping. The average concurrence of finally obtained states provides an upper bound to the average negativity of these states. We also discuss how successfully the output state can be used as a channel for the teleportation of an unknown qubit.


title: DREAM: A Dynamic Scheduler for Dynamic Real-time Multi-model ML Workloads

abstract: Emerging real-time multi-model ML (RTMM) workloads such as AR/VR and drone control involve dynamic behaviors in various granularity; task, model, and layers within a model. Such dynamic behaviors introduce new challenges to the system software in an ML system since the overall system load is not completely predictable, unlike traditional ML workloads. In addition, RTMM workloads require real-time processing, involve highly heterogeneous models, and target resource-constrained devices. Under such circumstances, developing an effective scheduler gains more importance to better utilize underlying hardware considering the unique characteristics of RTMM workloads. Therefore, we propose a new scheduler, DREAM, which effectively handles various dynamicity in RTMM workloads targeting multi-accelerator systems. DREAM quantifies the unique requirements for RTMM workloads and utilizes the quantified scores to drive scheduling decisions, considering the current system load and other inference jobs on different models and input frames. DREAM utilizes tunable parameters that provide fast and effective adaptivity to dynamic workload changes. In our evaluation of five scenarios of RTMM workload, DREAM reduces the overall UXCost, which is an equivalent metric of the energy-delay product (EDP) for RTMM defined in the paper, by 32.2% and 50.0% in the geometric mean (up to 80.8% and 97.6%) compared to state-of-the-art baselines, which shows the efficacy of our scheduling methodology.


title: Slimmable Pruned Neural Networks

abstract: Slimmable Neural Networks (S-Net) is a novel network which enabled to select one of the predefined proportions of channels (sub-network) dynamically depending on the current computational resource availability. The accuracy of each sub-network on S-Net, however, is inferior to that of individually trained networks of the same size due to its difficulty of simultaneous optimization on different sub-networks. In this paper, we propose Slimmable Pruned Neural Networks (SP-Net), which has sub-network structures learned by pruning instead of adopting structures with the same proportion of channels in each layer (width multiplier) like S-Net, and we also propose new pruning procedures: multi-base pruning instead of one-shot or iterative pruning to realize high accuracy and huge training time saving. We also introduced slimmable channel sorting (scs) to achieve calculation as fast as S-Net and zero padding match (zpm) pruning to prune residual structure in more efficient way. SP-Net can be combined with any kind of channel pruning methods and does not require any complicated processing or time-consuming architecture search like NAS models. Compared with each sub-network of the same FLOPs on S-Net, SP-Net improves accuracy by 1.2-1.5% for ResNet-50, 0.9-4.4% for VGGNet, 1.3-2.7% for MobileNetV1, 1.4-3.1% for MobileNetV2 on ImageNet. Furthermore, our methods outperform other SOTA pruning methods and are on par with various NAS models according to our experimental results on ImageNet. The code is available at https://github.com/hideakikuratsu/SP-Net.


title: On Spectral Bias Reduction of Multi-scale Neural Networks for Regression Problems

abstract: In this paper, we derive diffusion equation models in the spectral domain for the evolution of training errors of two-layer multi-scale deep neural networks (MscaleDNN) \cite{caixu2019,liu2020multi}, designed to reduce the spectral bias of fully connected deep neural networks in approximating oscillatory functions. The diffusion models are obtained from the spectral form of the error equation of the MscaleDNN, derived with a neural tangent kernel approach and gradient descent training and a sine activation function, assuming a vanishing learning rate and infinite network width and domain size. The involved diffusion coefficients are shown to have larger supports if more scales are used in the MscaleDNN, and thus, the proposed diffusion equation models in the frequency domain explain the MscaleDNN's spectral bias reduction capability. Numerical results of the diffusion models for a two-layer MscaleDNN training match with the error evolution of actual gradient descent training with a reasonably large network width, thus validating the effectiveness of the diffusion models. Meanwhile, the numerical results for MscaleDNN show error decay over a wide frequency range and confirm the advantage of using the MscaleDNN in approximating functions with a wide range of frequencies.


title: Privacy protection and service evaluation methods for location-based services in edge computing environments

abstract: This paper proposes a privacy protection and evaluation method for location services based on edge computing environment. By constructing the site service data protection and system evaluation system in the edge computing environment, based on the existing user privacy protection work, the data processing module and service evaluation module are constructed, and the evaluation algorithm is designed. NPE evaluation model and POE evaluation model are designed according to relevant research recommended by IPE. Specifically, in the NPE evaluation model, we regard each user's decision as a group of factors, and propose a method to integrate learning factors. In the poe evaluation model, users' hidden intentions for the next action are understood by unifying metadata information, two time contexts and other different factors. The experiment verifies the effectiveness and feasibility of this method.


title: Generalized Lindemann-Weierstrass and Gelfond-Schneider-Baker Theorems

abstract: We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are applicable for cryptography (\cite{G}, \cite{K}, \cite{V}). Since we are able to make many tables of random numbers, the new transcendental numbers will be applicable for encryption and decryption in this work (\cite{V}, \cite{Z}).


title: JamPatoisNLI: A Jamaican Patois Natural Language Inference Dataset

abstract: JamPatoisNLI provides the first dataset for natural language inference in a creole language, Jamaican Patois. Many of the most-spoken low-resource languages are creoles. These languages commonly have a lexicon derived from a major world language and a distinctive grammar reflecting the languages of the original speakers and the process of language birth by creolization. This gives them a distinctive place in exploring the effectiveness of transfer from large monolingual or multilingual pretrained models. While our work, along with previous work, shows that transfer from these models to low-resource languages that are unrelated to languages in their training set is not very effective, we would expect stronger results from transfer to creoles. Indeed, our experiments show considerably better results from few-shot learning of JamPatoisNLI than for such unrelated languages, and help us begin to understand how the unique relationship between creoles and their high-resource base languages affect cross-lingual transfer. JamPatoisNLI, which consists of naturally-occurring premises and expert-written hypotheses, is a step towards steering research into a traditionally underserved language and a useful benchmark for understanding cross-lingual NLP.


title: What Happens When Pneu-Net Soft Robotic Actuators Get Fatigued?

abstract: Soft actuators have attracted a great deal of interest in the context of rehabilitative and assistive robots for increasing safety and lowering costs as compared to rigid-body robotic systems. During actuation, soft actuators experience high levels of deformation, which can lead to microscale fractures in their elastomeric structure, which fatigues the system over time and eventually leads to macroscale damages and eventually failure. This paper reports finite element modeling (FEM) of pneu-nets at high angles, along with repetitive experimentation at high deformation rates, in order to study the effect and behavior of fatigue in soft robotic actuators, which would result in deviation from the ideal behavior. Comparing the FEM model and experimental data, we show that FEM can model the performance of the actuator before fatigue to a bending angle of 167 degrees with ~96% accuracy. We also show that the FEM model performance will drop to 80% due to fatigue after repetitive high-angle bending. The results of this paper objectively highlight the emergence of fatigue over cyclic activation of the system and the resulting deviation from the computational FEM model. Such behavior can be considered in future controllers to adapt the system with time-variable and non-autonomous response dynamics of soft robots.


title: Capturing the Flow of Art History

abstract: Do we really understand how machine classifies art styles? Historically, art is perceived and interpreted by human eyes and there are always controversial discussions over how people identify and understand art. Historians and general public tend to interpret the subject matter of art through the context of history and social factors. Style, however, is different from subject matter. Given the fact that Style does not correspond to the existence of certain objects in the painting and is mainly related to the form and can be correlated with features at different levels.(Ahmed Elgammal et al. 2018), which makes the identification and classification of the characteristics artwork's style and the "transition" - how it flows and evolves - remains as a challenge for both human and machine. In this work, a series of state-of-art neural networks and manifold learning algorithms are explored to unveil this intriguing topic: How does machine capture and interpret the flow of Art History?


title: Generalized Companion Subresultants of Several Univariate Polynomials in Newton Basis

abstract: In this paper, the concept of companion subresultant for polynomials in power basis is extended to that for polynomials in Newton basis and an explicit formula in the form of determinental polynomial is developed for the generalized companion subresultant. It is noted that the resulting subresultant is expressed with the same Newton basis as the input polynomials and it shares the essential property with the subresultant in power basis.


title: Learn to Explore: on Bootstrapping Interactive Data Exploration with Meta-learning

abstract: Interactive data exploration (IDE) is an effective way of comprehending big data, whose volume and complexity are beyond human abilities. The main goal of IDE is to discover user interest regions from a database through multi-rounds of user labelling. Existing IDEs adopt active-learning framework, where users iteratively discriminate or label the interestingness of selected tuples. The process of data exploration can be viewed as the process of training a classifier, which determines whether a database tuple is interesting to a user. An efficient exploration thus takes very few iterations of user labelling to reach the data region of interest. In this work, we consider the data exploration as the process of few-shot learning, where the classifier is learned with only a few training examples, or exploration iterations. To this end, we propose a learning-to-explore framework, based on meta-learning, which learns how to learn a classifier with automatically generated meta-tasks, so that the exploration process can be much shortened. Extensive experiments on real datasets show that our proposal outperforms existing explore-by-example solutions in terms of accuracy and efficiency.


title: The Low theorem for diffractive bremsstrahlung and the soft photon puzzle

abstract: The anomalous excess of small-kT photons radiated along with multi-hadron production, is challenging the physics community over four decades, but no solution has been proposed so far. We argue that the problem is rooted in the comparison with an incorrect model, usually called bremsstrahlung model. It is believed to be an extension of the Low theorem from the 2 -> 2+gamma process to radiative multi-particle production 2 -> n+gamma, where either initial, or final charged hadrons participate in radiation. We demonstrate that this breaks down unitarity of the S-matrix, so contradicts the optical theorem.


title: Macrospicules and Their Connection to Magnetic Reconnection in the Lower Atmosphere

abstract: Solar macrospicules are beam-like cool plasma ejections of size in-between spicules and coronal jets, which can elucidate potential connections between plasma jetting activity at different scales. With high-resolution observations from the {\em New Vacuum Solar Telescope} and Solar Dynamic Observatory, we investigate the origin of five groups of recurrent active-region macrospicules. Before the launch of each macrospicule, we detect a compact bright patch (BP) at its base where a newly emerging dipole contacts and cancel with the pre-existing ambient field. The spectral diagnosis from the {\em Interface Region Imaging Spectrograph} at one of BPs reveals signatures of reconnection at the lower atmosphere. Multiwavelength imaging of these BPs show that they mainly occur at the rising phase of the flux emergence and slowly ascend from the lower to the upper chromosphere. Remarkable macrospicules occur and fade out once the BPs appear and decay from the AIA 304 A images, respectively. We suggest that these macrospicules and related BPs form in a common reconnection process, in which the increasing reconnection height between the emerging dipole and the ambient field results in the observed variations from BPs to macrospicules. Interestingly, most macrospicules show similar characteristics to larger-scale coronal jets and/or smaller-scale spicules, i.e., the rotating motions, the presence of minifilaments and BPs before the eruptions, and magnetic flux emergence and cancellation. We conclude that the formation mechanism of macrospicules should be the same as spicules and coronal jets, i.e., solar jetting phenomena at different scales share the same physical mechanism in association with magnetic reconnection.