title: Multigrid as an exact solver

abstract: We provide an alternative Fourier analysis for multigrid applied to the Poisson problem in 1D, based on explicit derivation of spectra of the iteration matrix. The new Fourier analysis has advantages over the existing one. It is easy to understand and enables us to write the error equation in terms of the eigenvector of the stiffness matrix. When weighted-Jacobi is used as a smoother with two different weights, multigrid is an exact solver.


title: Pure gravity traveling quasi-periodic water waves with constant vorticity

abstract: We prove the existence of small amplitude time quasi-periodic solutions of the pure gravity water waves equations with constant vorticity, for a bidimensional fluid over a flat bottom delimited by a space periodic free interface. Using a Nash-Moser implicit function iterative scheme we construct traveling nonlinear waves which pass through each other slightly deforming and retaining forever a quasiperiodic structure. These solutions exist for any fixed value of depth and gravity and restricting the vorticity parameter to a Borel set of asymptotically full Lebesgue measure.


title: A Fixed Point Theorem On Fuzzy Locally Convex Spaces

abstract: Let $X$ be a linear space over a field $\mathbb{K}$ and $(X, \rho, *)$ a fuzzy seminorm space where $(\rho, *)$ a fuzzy seminorm with $*$ a continuous $t$-norm. We give a fixed point theorem for Fuzzy Locally Convex Space.


title: Investors Embrace Gender Diversity, Not Female CEOs: The Role of Gender in Startup Fundraising

abstract: The allocation of venture capital is one of the primary factors determining who takes products to market, which startups succeed or fail, and as such who gets to participate in the shaping of our collective economy. While gender diversity contributes to startup success, most funding is allocated to male-only entrepreneurial teams. In the wake of COVID-19, 2020 is seeing a notable decline in funding to female and mixed-gender teams, giving raise to an urgent need to study and correct the longstanding gender bias in startup funding allocation. We conduct an in-depth data analysis of over 48,000 companies on Crunchbase, comparing funding allocation based on the gender composition of founding teams. Detailed findings across diverse industries and geographies are presented. Further, we construct machine learning models to predict whether startups will reach an equity round, revealing the surprising finding that the CEO's gender is the primary determining factor for attaining funding. Policy implications for this pressing issue are discussed.


title: A Peculiar ICME Event in August 2018 Observed with the Global Muon Detector Network

abstract: We demonstrate that global observations of high-energy cosmic rays contribute to understanding unique characteristics of a large-scale magnetic flux rope causing a magnetic storm in August 2018. Following a weak interplanetary shock on 25 August 2018, a magnetic flux rope caused an unexpectedly large geomagnetic storm. It is likely that this event became geoeffective because the flux rope was accompanied by a corotating interaction region and compressed by high-speed solar wind following the flux rope. In fact, a Forbush decrease was observed in cosmic-ray data inside the flux rope as expected, and a significant cosmic-ray density increase exceeding the unmodulated level before the shock was also observed near the trailing edge of the flux rope. The cosmic-ray density increase can be interpreted in terms of the adiabatic heating of cosmic rays near the trailing edge of the flux rope, as the corotating interaction region prevents free expansion of the flux rope and results in the compression near the trailing edge. A northeast-directed spatial gradient in the cosmic-ray density was also derived during the cosmic-ray density increase, suggesting that the center of the heating near the trailing edge is located northeast of Earth. This is one of the best examples demonstrating that the observation of high-energy cosmic rays provides us with information that can only be derived from the cosmic ray measurements to observationally constrain the three-dimensional macroscopic picture of the interaction between coronal mass ejections and the ambient solar wind, which is essential for prediction of large magnetic storms.

categories: physics.space-ph astro-ph.EP astro-ph.HE astro-ph.SR


title: Modeling Spatial Nonstationarity via Deformable Convolutions for Deep Traffic Flow Prediction

abstract: Deep neural networks are being increasingly used for short-term traffic flow prediction, which can be generally categorized as convolutional (CNNs) or graph neural networks (GNNs). CNNs are preferable for region-wise traffic prediction by taking advantage of localized spatial correlations, whilst GNNs achieves better performance for graph-structured traffic data. When applied to region-wise traffic prediction, CNNs typically partition an underlying territory into grid-like spatial units, and employ standard convolutions to learn spatial dependence among the units. However, standard convolutions with fixed geometric structures cannot fully model the nonstationary characteristics of local traffic flows. To overcome the deficiency, we introduce deformable convolution that augments the spatial sampling locations with additional offsets, to enhance the modeling capability of spatial nonstationarity. On this basis, we design a deep deformable convolutional residual network, namely DeFlow-Net, that can effectively model global spatial dependence, local spatial nonstationarity, and temporal periodicity of traffic flows. Furthermore, to better fit with convolutions, we suggest to first aggregate traffic flows according to pre-conceived regions or self-organized regions based on traffic flows, then dispose to sequentially organized raster images for network input. Extensive experiments on real-world traffic flows demonstrate that DeFlow-Net outperforms GNNs and existing CNNs using standard convolutions, and spatial partition by pre-conceived regions or self-organized regions further enhances the performance. We also demonstrate the advantage of DeFlow-Net in maintaining spatial autocorrelation, and reveal the impacts of partition shapes and scales on deep traffic flow prediction.

categories: physics.soc-ph cs.CV cs.DB cs.LG cs.SY eess.SY


title: COVID-19 propagation by diffusion -- a two-dimensional approach for Germany

abstract: Diffusion comes anytime and everywhere. If there is a gradient or a potential difference of a quantity a diffusion process happens and this ends if an equilibrium is reached only. The concentration of a species maybe such quantity, or the voltage. An electric currant will be driven by a voltage difference for example. In this COVID-19 pandemic one observes both regions with low incidence and other ones with high incidence. The local different people density could be a reason for that. In populous areas like big cities or congested urban areas higher COVID-19 incidences could be observed than in rural regions. The aim of this paper consists in the application of a diffusion concept to describe one possible issue of the the COVID-19 propagation. This will be discussed for the German situation based on the quite different incidence data for the different federal states of Germany.


title: Dynamic formation of spherical voids crossing linear defects

abstract: A predictive model for the evolution of porous Ge layer upon thermal treatment is reported. We represent an idealized etched dislocation core as an axially symmetric elongated hole and computed its dynamics during annealing. Numerical simulations of the shape change of a completely spherical void via surface diffusion have been performed. Simulations and experiments show individual large spherical voids, aligned along the dislocation core. The creation of voids could facilitate interactions between dislocations, enabling the dislocation network to change its connectivity in a way that facilitates the subsequent annihilation of dislocation segments. This confirms that thermally activated processes such as state diffusion of porous materials provide mechanisms whereby the defects are removed or arranged in configurations of lower energy. This model is intended to be indicative, and more detailed experimental characterization of process parameters such as annealing temperature and time, and could estimate the annealing time for given temperatures, or vice versa, with the right parameters.


title: Holographic Entanglement Entropy in flat limit of the Generalized Minimal Massive Gravity model

abstract: Previously we have studied the Generalized Minimal Massive Gravity (GMMG) in asymptotically $AdS_3$ background, and have shown that the theory is free of negative-energy bulk modes. Also we have shown GMMG avoids the aforementioned bulk-boundary unitarity clash. Here instead of $AdS_3$ space we consider asymptotically flat space, and study this model in the flat limit. The dual field theory of GMMG in the flat limit is a $BMS_3$ invariant field theory, dubbed (BMSFT) and we have BMS algebra asymptotically instead of Virasoro algebra. In fact here we present an evidence for this claim. Entanglement entropy of GMMG is calculated in the background in the flat null infinity. Our evidence for mentioned claim is the result for entanglement entropy in filed theory side and in the bulk (in the gravity side). At first using Cardy formula and Rindler transformation, we calculate entanglement entropy of BMSFT in three different cases. Zero temperature on the plane and on the cylinder, and non-zero temperature case. Then we obtain the entanglement entropy in the bulk. Our results in gravity side are exactly in agreement with field theory calculations.


title: An experimental investigation of adhesive wear extension in fretting interface: application of the contact oxygenation concept

abstract: This paper investigates the transition from abrasive to adhesive wear in gross-slip fretting assuming contact oxygenation concept which suggests that adhesion appears in the inner part of the interface if the di-oxygen partial pressure is below a threshold value. In the lateral sides, where di-oxygen molecules are sufficient, oxidation and abrasion prevail. To assess this phenomenon, 34NiCrMo16 flat-on-flat contacts are tested. Contact oxygenation is quantified using the ''oxygen-distance, '' parameter defined as the averaged width of the external abrasion corona. Confirming this concept, decreases with contact pressure and frequency but remains constant versus sliding amplitude, fretting cycles and contact area. evolution is formalized using a power law formulation which allowed predicting wear transitions for plain and macro-textured surfaces.


title: BERTa\'u: Ita\'u BERT for digital customer service

abstract: In the last few years, three major topics received increased interest: deep learning, NLP and conversational agents. Bringing these three topics together to create an amazing digital customer experience and indeed deploy in production and solve real-world problems is something innovative and disruptive. We introduce a new Portuguese financial domain language representation model called BERTa\'u. BERTa\'u is an uncased BERT-base trained from scratch with data from the Ita\'u virtual assistant chatbot solution. Our novel contribution is that BERTa\'u pretrained language model requires less data, reached state-of-the-art performance in three NLP tasks, and generates a smaller and lighter model that makes the deployment feasible. We developed three tasks to validate our model: information retrieval with Frequently Asked Questions (FAQ) from Ita\'u bank, sentiment analysis from our virtual assistant data, and a NER solution. All proposed tasks are real-world solutions in production on our environment and the usage of a specialist model proved to be effective when compared to Google BERT multilingual and the DPRQuestionEncoder from Facebook, available at Hugging Face. The BERTa\'u improves the performance in 22% of FAQ Retrieval MRR metric, 2.1% in Sentiment Analysis F1 score, 4.4% in NER F1 score and can also represent the same sequence in up to 66% fewer tokens when compared to "shelf models".


title: Baseline Pruning-Based Approach to Trojan Detection in Neural Networks

abstract: This paper addresses the problem of detecting trojans in neural networks (NNs) by analyzing systematically pruned NN models. Our pruning-based approach consists of three main steps. First, detect any deviations from the reference look-up tables of model file sizes and model graphs. Next, measure the accuracy of a set of systematically pruned NN models following multiple pruning schemas. Finally, classify a NN model as clean or poisoned by applying a mapping between accuracy measurements and NN model labels. This work outlines a theoretical and experimental framework for finding the optimal mapping over a large search space of pruning parameters. Based on our experiments using Round 1 and Round 2 TrojAI Challenge datasets, the approach achieves average classification accuracy of 69.73 % and 82.41% respectively with an average processing time of less than 60 s per model. For both datasets random guessing would produce 50% classification accuracy. Reference model graphs and source code are available from GitHub.


title: A Fully Rigorous Proof of the Derivation of Xavier and He's Initialization for Deep ReLU Networks

abstract: A fully rigorous proof of the derivation of Xavier/He's initialization for ReLU nets is given.


title: A note on the complexity of k-Metric Dimension

abstract: Two vertices $u, v \in V$ of an undirected connected graph $G=(V,E)$ are resolved by a vertex $w$ if the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A set $R \subseteq V$ of vertices is a $k$-resolving set for $G$ if for each pair of vertices $u, v \in V$ there are at least $k$ distinct vertices $w_1,\ldots,w_k \in R$ such that each of them resolves $u$ and $v$. The $k$-Metric Dimension of $G$ is the size of a smallest $k$-resolving set for $G$. The decision problem $k$-Metric Dimension is the question whether G has a $k$-resolving set of size at most $r$, for a given graph $G$ and a given number $r$. In this paper, we proof the NP-completeness of $k$-Metric Dimension for bipartite graphs and each $k \geq 2$.


title: Rescattering mechanism of weak decays of double-charm baryons

abstract: The doubly charmed baryon $\Xi_{cc}^{++}$ was recently observed by LHCb via the decay processes of $\Xi_{cc}^{++}\to \Lambda_c^+ K^-\pi^+\pi^+$ and $\Xi_c^+\pi^+$. These discovery channels were successfully predicted in the framework that the short-distance contributions are calculated under the factorization hypothesis and the long-distance contributions are estimated using the rescattering mechanism for the final-state-interaction effects. In this paper, we illustrate the above framework in details by systematic studies on the two-body baryonic decays $\mathcal{B}_{cc}\to\mathcal{B}_{c}P$ involving the doubly charmed baryons $\mathcal{B}_{cc}=(\Xi_{cc}^{++} , \Xi_{cc}^+,\Omega_{cc}^+)$, the singly charmed baryons $\mathcal{B}_{c}=(\mathcal{B}_{\bar{3}}, \mathcal{B}_{6})$ and the light pseudoscalar mesons $P=(\pi,K,\eta_{1,8})$.


title: (Stochastic) Model Predictive Control -- a Simulation Example

abstract: This brief introduction to Model Predictive Control specifically addresses stochastic Model Predictive Control, where probabilistic constraints are considered. A simple linear system subject to uncertainty serves as an example. The Matlab code for this stochastic Model Predictive Control example is available online.


title: Fluid-elastic coefficients in single phase cross flow: dimensional analysis, direct and indirect experimental methods

abstract: The importance of fluid-elastic forces in tube bundle vibrations can hardly be over-emphasized, in view of their damaging potential. In the last decades, advanced models for representing fluid-elastic coupling have therefore been developed by the community of the domain. Those models are nowadays embedded in the methodologies that are used on a regular basis by both steam generators providers and operators, in order to prevent the risk of a tube failure with adequate safety margins. From an R&D point of view however, the need still remains for more advanced models of fluid-elastic coupling, in order to fully decipher the physics underlying the observed phenomena. As a consequence, new experimental flow-coupling coefficients are also required to specifically feed and validate those more sophisticated models. Recent experiments performed at CEA-Saclay suggest that the fluid stiffness and damping coefficients depend on further dimensionless parameters beyond the reduced velocity. In this work, the problem of data reduction is first revisited, in the light of dimensional analysis. For single-phase flows, it is underlined that the flow-coupling coefficients depend at least on two dimensionless parameters, namely the Reynolds number $Re$ and the Stokes number $Sk$. Therefore, reducing the experimental data in terms of the compound dimensionless quantity $V_r=Re/Sk$ necessarily leads to impoverish results, hence the data dispersion. In a second step, experimental data are presented using the dimensionless numbers $Re$ and $Sk$. We report experiments, for a 3x5 square tube bundle subjected to water transverse flow. The bundle is rigid, except for the central tube which is mounted on a flexible suspension allowing for translation motions in the lift direction.


title: Detection of supernova remnants in NGC 4030

abstract: MUSE-based emission-line maps of the spiral galaxy NGC 4030 reveal the existence of unresolved sources with forbidden line emission enhanced with respect to those seen in its own HII regions. This study reports our efforts to detect and isolate these objects and identify their nature. Candidates are first detected as unresolved sources on an image of the second principal component of the Hb, [OIII]5007, Ha, [NII]6584, [SII]6716, 6731 emission-line data cube, where they stand out clearly against both the dominant HII region population and the widespread diffuse emission. The intrinsic emission is then extracted accounting for the highly inhomogeneous emission-line "background" throughout the field of view. Collisional to recombination line ratios like [SII]/Ha, [NII]/Ha, and [OI]/Ha tend to increase when the background emission is corrected for. We find that many (but not all) sources detected with the principal component analysis have properties compatible with supernova remnants (SNRs). Applying a combined [SII]/Ha and [NII]/Ha classification criterion leads to a list of 59 sources with SNR-like emission lines. Many of them exhibit conspicuous spectral signatures of SNRs around 7300 Angs, and a stacking analysis shows that these features are also present, except weaker, in other cases. At nearly 30 Mpc, these are the most distant SNRs detected by optical means to date. We further report the serendipitous discovery of a luminous (M_V ~ -12.5), blue, and variable source, possibly associated with a supernova impostor.


title: First full cool down of the SPIRAL 2 superconducting LINAC

abstract: SPIRAL 2 is a high intensity heavy ions beams accelerator project that has been going on for more than 10 years now. Countless efforts in different disciplines made it what it is today. One of the most important steps after the set up of the different equipments has been the very first full cool down of the superconducting cavities in an accelerator operation type configuration. While this has been a major achievement for the SPIRAL 2 teams, it also hi-lighted new challenges and constraints that would have to be addressed in order to have a high availability rate of the beam from the cryogenics side. This paper retraces this particular episode.


title: Modeling Ground-to-Air Path Loss for Millimeter Wave UAV Networks

abstract: Path loss is a significant component of wireless communication channel design and analysis and reflects the reduction in a transmitted signal's power density. Due to the differences in the propagation conditions, wireless aerial channels' features differ from those of terrestrial wireless channels; therefore, unmanned aerial vehicle path loss models are often different from conventional terrestrial wireless channel path loss models. A mathematical propagation model is proposed in this paper to estimate the Ground-to-Air path loss between a wireless device and a low-altitude platform using the frequency bands of the millimeter wave. The suggested model of Ground-to-Air path loss will assist academic researchers in formulating several vital problems.


title: Characterization of Non-Deterministic Chaos in Two-Dimensional Non-Smooth Vector Fields

abstract: Our context is Filippov systems defined on two-dimensional manifolds having a finite number of tangency points. We prove that topological transitivity is a necessary and sufficient condition for the occurrence of non-deterministic chaos when the Filippov system has non-empty sliding or escaping regions. A fundamental result for continuous flows is the equivalence of topological transitivity and existence of a dense orbit. We prove in our setting that topological transitivity for Filippov systems is indeed equivalent to the existence of a dense Filippov orbit, although, in contrast to the continuous case, we are not able to garantee that the dense orbit implies the existence of a residual set of dense orbits. Finally we prove that, in this context, topological transitivity implies strictly positive topological entropy for the Filippov system. This calculation is made using techniques similar to those from symbolic dynamics.


title: Optimal transportation of grain boundaries: A forward model for predicting migration mechanisms

abstract: It has been hypothesized that the most likely atomic rearrangement mechanism during grain boundary (GB) migration is the one that minimizes the lengths of atomic displacements in the dichromatic pattern. In this work, we recast the problem of atomic displacement minimization during GB migration as an optimal transport (OT) problem. Under the assumption of a small potential energy barrier for atomic rearrangement, the principle of stationary action applied to GB migration is reduced to the determination of the Wasserstein metric for two point sets. In order to test the minimum distance hypothesis, optimal displacement patterns predicted on the basis of a regularized OT based forward model are compared to molecular dynamics (MD) GB migration data for a variety of GB types and temperatures. Limits of applicability of the minimum distance hypothesis and interesting consequences of the OT formulation are discussed in the context of MD data analysis for twist GBs, general {\Sigma}3 twin boundaries and a tilt GB that exhibits shear coupling. The forward model may be used to predict atomic displacement patterns for arbitrary disconnection modes and a variety of metastable states, facilitating the analysis of multimodal GB migration data.


title: A transformer based approach for fighting COVID-19 fake news

abstract: The rapid outbreak of COVID-19 has caused humanity to come to a stand-still and brought with it a plethora of other problems. COVID-19 is the first pandemic in history when humanity is the most technologically advanced and relies heavily on social media platforms for connectivity and other benefits. Unfortunately, fake news and misinformation regarding this virus is also available to people and causing some massive problems. So, fighting this infodemic has become a significant challenge. We present our solution for the "Constraint@AAAI2021 - COVID19 Fake News Detection in English" challenge in this work. After extensive experimentation with numerous architectures and techniques, we use eight different transformer-based pre-trained models with additional layers to construct a stacking ensemble classifier and fine-tuned them for our purpose. We achieved 0.979906542 accuracy, 0.979913119 precision, 0.979906542 recall, and 0.979907901 f1-score on the test dataset of the competition.


title: Heavy quark expansion of $\Lambda_b\to\Lambda^*(1520)$ form factors beyond leading order

abstract: I review the parametrisation of the full set of $\Lambda_b\to\Lambda^* (1520)$ form factors in the framework of Heavy Quark Expansion, including next-to-leading-order $\mathcal{O}(\alpha_s)$ and, for the first time, next-to-leading-power $\mathcal{O}(1/m_b)$ corrections. The unknown hadronic parameters are obtained by performing a fit to recent lattice QCD calculations. I investigate the compatibility of the Heavy Quark Expansion and the current lattice data, finding tension between these two approaches in the case of tensor and pseudo-tensor form factors, whose origin could come from an underestimation of the current lattice QCD uncertainties and higher order terms in the Heavy Quark Expansion.


title: Type-Based Analysis of Logarithmic Amortised Complexity

abstract: We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist's method of amortised analysis, and is potential-based. The type system makes use of logarithmic potential functions and is the first such system to exhibit *logarithmic amortised complexity*. With our approach we target the automated analysis of self-adjusting data structures, like splay trees, which so far have only manually been analysed in the literature. In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of *splaying*, once the type annotations are fixed.


title: Aggregation functions on n-dimensional ordered vectors equipped with an admissible order and an application in multi-criteria group decision-making

abstract: $n$-Dimensional fuzzy sets are a fuzzy set extension where the membership values are n-tuples of real numbers in the unit interval [0,1] increasingly ordered, called n-dimensional intervals. The set of n-dimensional intervals is denoted by $L_n([0,1])$. This paper aims to investigate semi-vector spaces over a weak semifield and aggregation functions concerning an admissible order on the set of $n$-dimensional intervals and the construction of aggregation functions on $L_n([0,1])$ based on the operations of the semi-vector spaces. In particular, extensions of the family of OWA and weighted average aggregation functions are investigated. Finally, we develop a multi-criteria group decision-making method based on n-dimensional aggregation functions with respect to an admissible order and give an illustrative example.


title: Robust Android Malware Detection System against Adversarial Attacks using Q-Learning

abstract: The current state-of-the-art Android malware detection systems are based on machine learning and deep learning models. Despite having superior performance, these models are susceptible to adversarial attacks. Therefore in this paper, we developed eight Android malware detection models based on machine learning and deep neural network and investigated their robustness against adversarial attacks. For this purpose, we created new variants of malware using Reinforcement Learning, which will be misclassified as benign by the existing Android malware detection models. We propose two novel attack strategies, namely single policy attack and multiple policy attack using reinforcement learning for white-box and grey-box scenario respectively. Putting ourselves in the adversary's shoes, we designed adversarial attacks on the detection models with the goal of maximizing fooling rate, while making minimum modifications to the Android application and ensuring that the app's functionality and behavior do not change. We achieved an average fooling rate of 44.21% and 53.20% across all the eight detection models with a maximum of five modifications using a single policy attack and multiple policy attack, respectively. The highest fooling rate of 86.09% with five changes was attained against the decision tree-based model using the multiple policy approach. Finally, we propose an adversarial defense strategy that reduces the average fooling rate by threefold to 15.22% against a single policy attack, thereby increasing the robustness of the detection models i.e. the proposed model can effectively detect variants (metamorphic) of malware. The experimental analysis shows that our proposed Android malware detection system using reinforcement learning is more robust against adversarial attacks.


title: Multi-wavelength observations and modelling of a quiescent cloud LDN1512

abstract: Light scattering at near-infrared wavelengths has been used to study the optical properties of the interstellar dust grains, but these studies are limited by the assumptions on the strength of the radiation field. On the other hand, thermal dust emission can be used to constrain the properties of the radiation field, although this is hampered by uncertainty about the dust emissivity. We test if current dust models allow us to model a molecular cloud simultaneously in the near infrared (NIR) and far infrared (FIR) wavelengths and compare the results with observations. Our aim is to place constraints on the properties of the dust grains and the strength of the radiation field. We present computations of dust emission and scattered light of a quiescent molecular cloud LDN1512. We construct radiative transfer models for LDN1512 that include an anisotropic radiation field and a three-dimensional cloud model. We are able to reproduce the observed FIR observations, with a radiation field derived from the DIRBE observations, with all of the tested dust models. However, with the same density distribution and the assumed radiation field, the models fail to reproduce the observed NIR scattering in all cases except for models that take into account dust evolution via coagulation and mantle formation. We find that the column densities derived from our radiative transfer modelling can differ by a factor of up to two, compared to the column densities derived from the observations with modified blackbody fits. The discrepancy in the column densities is likely caused because of temperature difference between a modified blackbody fit and the real spectra. We show that the observed dust emission can be reproduced with several different assumptions about the properties of the dust grains. However, in order to reproduce the observed scattered surface brightness dust evolution must be taken into account.


title: Free agency and determinism: is there a sensible definition of computational sourcehood?

abstract: Can free agency be compatible with determinism? Compatibilists argue that the answer is yes, and it has been suggested that the computer science principle of "computational irreducibility" sheds light on this compatibility. It implies that there cannot in general be shortcuts to predict the behavior of agents, explaining why deterministic agents often appear to act freely. In this paper, we introduce a variant of computational irreducibility that intends to capture more accurately aspects of actual (as opposed to apparent) free agency: computational sourcehood, i.e. the phenomenon that the successful prediction of a process' behavior must typically involve an almost-exact representation of the relevant features of that process, regardless of the time it takes to arrive at the prediction. We argue that this can be understood as saying that the process itself is the source of its actions, and we conjecture that many computational processes have this property. The main contribution of this paper is technical: we analyze whether and how a sensible formal definition of computational sourcehood is possible. While we do not answer the question completely, we show how it is related to finding a particular simulation preorder on Turing machines, we uncover concrete stumbling blocks towards constructing such a definition, and demonstrate that structure-preserving (as opposed to merely simple or efficient) functions between levels of simulation play a crucial role.


title: Ellipse Combining with Unknown Cross Ellipse Correlations

abstract: We discuss the combining of measurements where single measurement covariances are given but the joint measurement covariance is unknown. For this paper we assume the mapping of a single measurement to the solution space is the identity matrix. We examine the solution when it is assumed all measurements are uncorrelated. We then present a way to parameter joint measurement covariance based on pairwise correlation coefficients. Finally, we discuss how to use this parameterization to combine the measurements.


title: There exist transitive piecewise smooth vector fields on $\mathbb{S}^2$ but not robustly transitive

abstract: It is well known that smooth (or continuous) vector fields cannot be topologically transitive on the sphere $\S^2$. Piecewise-smooth vector fields, on the other hand, may present non-trivial recurrence even on $\S^2$. Accordingly, in this paper the existence of topologically transitive piecewise-smooth vector fields on $\S^2$ is proved, see Theorem \ref{teorema-principal}. We also prove that transitivity occurs alongside the presence of some particular portions of the phase portrait known as {\it sliding region} and {\it escaping region}. More precisely, Theorem \ref{main:transitivity} states that, under the presence of transitivity, trajectories must interchange between sliding and escaping regions through tangency points. In addition, we prove that every transitive piecewise-smooth vector field is neither robustly transitive nor structural stable on $\S^2$, see Theorem \ref{main:no-transitive}. We finish the paper proving Theorem \ref{main:general} addressing non-robustness on general compact two-dimensional manifolds.


title: PatrIoT: IoT Automated Interoperability and Integration Testing Framework

abstract: With the rapid growth of the contemporary Internet of Things (IoT) market, the established systems raise a number of concerns regarding the reliability and the potential presence of critical integration defects. In this paper, we present a PatrIoT framework that aims to provide flexible support to construct an effective IoT system testbed to implement automated interoperability and integration testing. The framework allows scaling from a pure physical testbed to a simulated environment using a number of predefined modules and elements to simulate an IoT device or part of the tested infrastructure. PatrIoT also contains a set of reference example testbeds and several sets of example automated tests for a smart street use case.


title: BENDR: using transformers and a contrastive self-supervised learning task to learn from massive amounts of EEG data

abstract: Deep neural networks (DNNs) used for brain-computer-interface (BCI) classification are commonly expected to learn general features when trained across a variety of contexts, such that these features could be fine-tuned to specific contexts. While some success is found in such an approach, we suggest that this interpretation is limited and an alternative would better leverage the newly (publicly) available massive EEG datasets. We consider how to adapt techniques and architectures used for language modelling (LM), that appear capable of ingesting awesome amounts of data, towards the development of encephalography modelling (EM) with DNNs in the same vein. We specifically adapt an approach effectively used for automatic speech recognition, which similarly (to LMs) uses a self-supervised training objective to learn compressed representations of raw data signals. After adaptation to EEG, we find that a single pre-trained model is capable of modelling completely novel raw EEG sequences recorded with differing hardware, and different subjects performing different tasks. Furthermore, both the internal representations of this model and the entire architecture can be fine-tuned to a variety of downstream BCI and EEG classification tasks, outperforming prior work in more task-specific (sleep stage classification) self-supervision.


title: From pixels to notes: a computational implementation of synaesthesia for cultural artefacts

abstract: Synaesthesia is a condition that enables people to sense information in the form of several senses at once. This work describes a Python implementation of a simulation of synaesthesia between listening to music and viewing a painting. Based on Scriabin's definition, we developed a deterministic process to produce a melody after processing a painting, mimicking the production of notes from colours in the field of view of persons experiencing synaesthesia.


title: Critical Phenomena and Reentrant Phase Transition of Asymptotically Reissner-Nordstrom Black Holes

abstract: By considering a small correction to the Maxwell field, we show that the resultant black hole solutions (also known as the asymptotically Reissner--Nordstr\"{o}m black holes) undergo the reentrant phase transition and can have a novel phase behavior. We also show that such a small nonlinear correction of the Reissner--Nordstr\"{o}m black holes has high effects on the phase structure of the solutions. It leads to a new classification in the canonical ensemble of extended phase space providing the values of the nonlinearity parameter $\alpha$ being $\alpha \lesseqqgtr 4q^{2}/7$. We shall study these three classes and investigate deviations from those of the standard Reissner--Nordstr\"{o}m solutions. Interestingly, we find that there is the reentrant phase transition for $\alpha <4q^{2}/7$, and for the case of $\alpha =4q^{2}/7$ there is no phase transition below (at) the critical point. For the last case, one finds that small and large black holes are thermodynamically distinguishable for temperatures and pressures higher than the critical ones.


title: A parametrized Kalman filter for fast track fitting at LHCb

abstract: We present an alternative implementation of the Kalman filter employed for track fitting within the LHCb experiment. It uses simple parametrizations for the extrapolation of particle trajectories in the field of the LHCb dipole magnet and for the effects of multiple scattering in the detector material. A speedup of more than a factor of four is achieved while maintaining the quality of the estimated track quantities. This Kalman filter implementation could be used in the purely software-based trigger of the LHCb upgrade.


title: Uncertainty aware and explainable diagnosis of retinal disease

abstract: Deep learning methods for ophthalmic diagnosis have shown considerable success in tasks like segmentation and classification. However, their widespread application is limited due to the models being opaque and vulnerable to making a wrong decision in complicated cases. Explainability methods show the features that a system used to make prediction while uncertainty awareness is the ability of a system to highlight when it is not sure about the decision. This is one of the first studies using uncertainty and explanations for informed clinical decision making. We perform uncertainty analysis of a deep learning model for diagnosis of four retinal diseases - age-related macular degeneration (AMD), central serous retinopathy (CSR), diabetic retinopathy (DR), and macular hole (MH) using images from a publicly available (OCTID) dataset. Monte Carlo (MC) dropout is used at the test time to generate a distribution of parameters and the predictions approximate the predictive posterior of a Bayesian model. A threshold is computed using the distribution and uncertain cases can be referred to the ophthalmologist thus avoiding an erroneous diagnosis. The features learned by the model are visualized using a proven attribution method from a previous study. The effects of uncertainty on model performance and the relationship between uncertainty and explainability are discussed in terms of clinical significance. The uncertainty information along with the heatmaps make the system more trustworthy for use in clinical settings.


title: Lax pair and first integrals for two of nonlinear coupled oscillators

abstract: The system of two nonlinear coupled oscillators is studied. As partial case this system of equation is reduced to the Duffing oscillator which has many applications for describing physical processes. It is well known that the inverse scattering transform is one of the most powerful methods for solving the Cauchy problems of partial differential equations. To solve the Cauchy problem for nonlinear differential equations we can use the Lax pair corresponding to this equation. The Lax pair for ordinary differential or systems or for system ordinary differential equations allows us to find the first integrals, which also allow us to solve the question of integrability for differential equations. In this report we present the Lax pair for the system of coupled oscillators. Using the Lax pair we get two first integrals for the system of equations. The considered system of equations can be also reduced to the fourth-order ordinary differential equation and the Lax pair can be used for the ordinary differential equation of fourth order. Some special cases of the system of equations are considered.


title: Equilibrium and Socially optimal of a double-sided queueing system with two-mass point matching time

abstract: We study a passenger-taxi double-ended queue with impatient passengers and two-point matching time in this paper. The system considered in this paper is different from those considered in the existing literature, which fully considers the matching time between passengers and taxis, and the taxi capacity of the system. The objective is to get the equilibrium joining strategy and the socially optimal strategy under two information levels. For the practical consideration of the airport terminal scenario, two different information levels are considered. The theoretical results show that the passenger utility function in the partially observable case is monotonic. For the complex form of social welfare function of the partially observable case, we use a split derivation. The equilibrium strategy and socially optimal strategy of the observable case are threshold-type. Furthermore, some representative numerical scenarios are used to visualize the theoretical results. The numerical scenarios illustrate the influence of parameters on the equilibrium strategy and socially optimal strategy under two information levels. Finally, the optimal social welfare for the two information levels with the same parameters are compared.


title: Contrastive analysis for scatterplot-based representations of dimensionality reduction

abstract: Cluster interpretation after dimensionality reduction (DR) is a ubiquitous part of exploring multidimensional datasets. DR results are frequently represented by scatterplots, where spatial proximity encodes similarity among data samples. In the literature, techniques support the understanding of scatterplots' organization by visualizing the importance of the features for cluster definition with layout enrichment strategies. However, current approaches usually focus on global information, hampering the analysis whenever the focus is to understand the differences among clusters. Thus, this paper introduces a methodology to visually explore DR results and interpret clusters' formation based on contrastive analysis. We also introduce a bipartite graph to visually interpret and explore the relationship between the statistical variables employed to understand how the data features influence cluster formation. Our approach is demonstrated through case studies, in which we explore two document collections related to news articles and tweets about COVID-19 symptoms. Finally, we evaluate our approach through quantitative results to demonstrate its robustness to support multidimensional analysis.


title: Compositional Game Theory, Compositionally

abstract: We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules, and operators to build new Arrows from old. We model equilibria as a bimodule over an Arrow and define an operator to build a new Arrow from such a bimodule over an existing Arrow. We also model strategies as graded Arrows and define an operator which builds a new Arrow by taking the colimit of a graded Arrow. A final operator builds a graded Arrow from a graded bimodule. We use this compositional approach to CGT to show how known and previously unknown variants of open games can be proven to form symmetric monoidal categories.


title: Wiring diagrams as normal forms for computing in symmetric monoidal categories

abstract: Applications of category theory often involve symmetric monoidal categories (SMCs), in which abstract processes or operations can be composed in series and parallel. However, in 2020 there remains a dearth of computational tools for working with SMCs. We present an "unbiased" approach to implementing symmetric monoidal categories, based on an operad of directed, acyclic wiring diagrams. Because the interchange law and other laws of a SMC hold identically in a wiring diagram, no rewrite rules are needed to compare diagrams. We discuss the mathematics of the operad of wiring diagrams, as well as its implementation in the software package Catlab.


title: Measuring Intelligence and Growth Rate: Variations on Hibbard's Intelligence Measure

abstract: In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard's idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard's intelligence measure is based on the latter growth-rate-measuring method, we survey other methods for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs).


title: Beating the Standard Quantum Limit under Ambient Conditions with Solid-State Spins

abstract: Precision measurement plays a crucial role in all fields of science. The use of entangled sensors in quantum metrology improves the precision limit from the standard quantum limit (SQL) to the Heisenberg limit (HL). To date, most experiments beating the SQL are performed on the sensors which are well isolated under extreme conditions. However, it has not been realized in solid-state spin systems at ambient conditions, owing to its intrinsic complexity for the preparation and survival of pure and entangled quantum states. Here we show a full interferometer sequence beating the SQL by employing a hybrid multi-spin system, namely the nitrogen-vacancy (NV) defect in diamond. The interferometer sequence starts from a deterministic and joint initialization, undergoes entanglement and disentanglement of multiple spins, and ends up with projective measurement. In particular, the deterministic and joint initialization of NV negative state, NV electron spin, and two nuclear spins is realized at room temperature for the first time. By means of optimal control, non-local gates are implemented with an estimated fidelity above the threshold for fault-tolerant quantum computation. With these techniques combined, we achieve two-spin interference with a phase sensitivity of 1.79 \pm 0.06 dB beyond the SQL and three-spin 2.77 \pm 0.10 dB. Moreover, the deviations from the HL induced by experimental imperfections are completely accountable. The techniques used here are of fundamental importance for quantum sensing and computing, and naturally applicable to other solid-state spin systems.


title: A $~75\%$ Occurrence Rate of Debris Discs around F stars in the $\beta$ Pic Moving Group

abstract: Only 20\% of old field stars have detectable debris discs, leaving open the question of what disc, if any, is present around the remaining 80\%. Young moving groups allow to probe this population, since discs are expected to have been brighter early on. This paper considers the population of F~stars in the 23~Myr-old BPMG where we find that 9/12 targets possess discs. We also analyse archival ALMA data to derive radii for 4 of the discs, presenting the first image of the 63au radius disc of HD~164249. Comparing the BPMG results to disc samples from $\sim45$~Myr and $\sim150$~Myr-old moving~groups, and to discs found around field stars, we find the disc incidence rate in young moving~groups is comparable to that of the BPMG and significantly higher than that of field~stars. The BPMG discs tend to be smaller than those around field~stars. However, this difference is not statistically significant due to the small number of targets. Yet, by analysing the fractional luminosity vs disc radius parameter space we find that the fractional luminosities in the populations considered drop by two orders of magnitude within the first 100~Myr. This is much faster than expected by collisional evolution, implying a decay equivalent to $1/\text{age}^2$. We attribute this depletion to embedded planets which would be around 170~$M_\text{earth}$ to cause a depletion on the appropriate timescale. However, we cannot rule out that different birth environments of nearby young clusters result in brighter debris discs than the progenitors of field~stars which likely formed in a more dense environment.


title: VAE^2: Preventing Posterior Collapse of Variational Video Predictions in the Wild

abstract: Predicting future frames of video sequences is challenging due to the complex and stochastic nature of the problem. Video prediction methods based on variational auto-encoders (VAEs) have been a great success, but they require the training data to contain multiple possible futures for an observed video sequence. This is hard to be fulfilled when videos are captured in the wild where any given observation only has a determinate future. As a result, training a vanilla VAE model with these videos inevitably causes posterior collapse. To alleviate this problem, we propose a novel VAE structure, dabbed VAE-in-VAE or VAE$^2$. The key idea is to explicitly introduce stochasticity into the VAE. We treat part of the observed video sequence as a random transition state that bridges its past and future, and maximize the likelihood of a Markov Chain over the video sequence under all possible transition states. A tractable lower bound is proposed for this intractable objective function and an end-to-end optimization algorithm is designed accordingly. VAE$^2$ can mitigate the posterior collapse problem to a large extent, as it breaks the direct dependence between future and observation and does not directly regress the determinate future provided by the training data. We carry out experiments on a large-scale dataset called Cityscapes, which contains videos collected from a number of urban cities. Results show that VAE$^2$ is capable of predicting diverse futures and is more resistant to posterior collapse than the other state-of-the-art VAE-based approaches. We believe that VAE$^2$ is also applicable to other stochastic sequence prediction problems where training data are lack of stochasticity.


title: Edge Federated Learning Via Unit-Modulus Over-The-Air Computation

abstract: Edge federated learning (FL) is an emerging paradigm that trains a global parametric model from distributed datasets based on wireless communications. This paper proposes a unit-modulus over-the-air computation (UMAirComp) framework to facilitate efficient edge federated learning, which simultaneously uploads local model parameters and updates global model parameters via analog beamforming. The proposed framework avoids sophisticated baseband signal processing, leading to low communication delays and implementation costs. Training loss bounds of UMAirComp FL systems are derived and two low-complexity large-scale optimization algorithms, termed penalty alternating minimization (PAM) and accelerated gradient projection (AGP), are proposed to minimize the nonconvex nonsmooth loss bound. Simulation results show that the proposed UMAirComp framework with PAM algorithm achieves a smaller mean square error of model parameters' estimation, training loss, and test error compared with other benchmark schemes. Moreover, the proposed UMAirComp framework with AGP algorithm achieves satisfactory performance while reduces the computational complexity by orders of magnitude compared with existing optimization algorithms. Finally, we demonstrate the implementation of UMAirComp in a vehicle-to-everything autonomous driving simulation platform. It is found that autonomous driving tasks are more sensitive to model parameter errors than other tasks since the neural networks for autonomous driving contain sparser model parameters.


title: On the Lagrangian structure of transport equations: relativistic Vlasov systems

abstract: We study the Lagrangian structure of relativistic Vlasov systems, such as the relativistic Vlasov-Poisson and the relativistic quasi-eletrostatic limit of Vlasov-Maxwell equations. We show that renormalized solutions of these systems are Lagrangian and that these notions of solution, in fact, coincide. As a consequence, finite-energy solutions are shown to be transported by a global flow. Moreover, we extend the notion of generalized solution for "effective" densities and we prove its existence. Finally, under a higher integrability assumption of the initial condition, we show that solutions have every energy bounded, even in the gravitational case. These results extend to our setting those obtained by Ambrosio, Colombo, and Figalli \cite{vlasovpoisson} for the Vlasov-Poisson system; here, we analyse relativistic systems and we consider the contribution of the magnetic force into the evolution equation.


title: Poisson-Lie transformations and Generalized Supergravity Equations

abstract: In this paper we investigate Poisson-Lie transformation of dilaton and vector field J appearing in Generalized Supergravity Equations. While the formulas appearing in literature work well for isometric sigma models, we present examples for which Generalized Supergravity Equations are not preserved. Therefore, we suggest modification of these formulas.


title: Stagnation Detection with Randomized Local Search

abstract: Recently a mechanism called stagnation detection was proposed that automatically adjusts the mutation rate of evolutionary algorithms when they encounter local optima. The so-called $SD-(1+1)EA$ introduced by Rajabi and Witt (GECCO 2020) adds stagnation detection to the classical $(1+1)EA$ with standard bit mutation, which flips each bit independently with some mutation rate, and raises the mutation rate when the algorithm is likely to have encountered local optima. In this paper, we investigate stagnation detection in the context of the $k$-bit flip operator of randomized local search that flips $k$ bits chosen uniformly at random and let stagnation detection adjust the parameter $k$. We obtain improved runtime results compared to the $SD-(1+1)EA$ amounting to a speed-up of up to $e=2.71\dots$ Moreover, we propose additional schemes that prevent infinite optimization times even if the algorithm misses a working choice of $k$ due to unlucky events. Finally, we present an example where standard bit mutation still outperforms the local $k$-bit flip with stagnation detection.


title: Influence of interaction softness in phase separation of active particles

abstract: Using a minimal model of active Brownian discs, we study the effect of a crucial parameter, namely the softness of the inter-particle repulsion, on motility-induced phase separation. We show that an increase in particle softness reduces the ability of the system to phase-separate and the system exhibit a delayed transition. After phase separation, the system state properties can be explained by a single relevant lengthscale, the effective inter-particle distance. We estimate this lengthscale analytically and use it to rescale the state properties at dense phase for systems with different interaction softness. Using this lengthscale, we provide a scaling relation for the time taken to phase separate which shows a high sensitivity to the interaction softness.


title: Enhancing Sequence-to-Sequence Neural Lemmatization with External Resources

abstract: We propose a novel hybrid approach to lemmatization that enhances the seq2seq neural model with additional lemmas extracted from an external lexicon or a rule-based system. During training, the enhanced lemmatizer learns both to generate lemmas via a sequential decoder and copy the lemma characters from the external candidates supplied during run-time. Our lemmatizer enhanced with candidates extracted from the Apertium morphological analyzer achieves statistically significant improvements compared to baseline models not utilizing additional lemma information, achieves an average accuracy of 97.25% on a set of 23 UD languages, which is 0.55% higher than obtained with the Stanford Stanza model on the same set of languages. We also compare with other methods of integrating external data into lemmatization and show that our enhanced system performs considerably better than a simple lexicon extension method based on the Stanza system, and it achieves complementary improvements w.r.t. the data augmentation method.


title: Principality of prime ideals of algebraic number fields

abstract: We discuss principality of prime ideals of finite algebraic number fields $L=K(\theta)$ over an algebraic number field $K ([K:\mathbb{Q}]<\infty)$ defined by irreducible polynomials $f(x)\in \mathfrak{O}_{K}[x]$ and $f(\theta)=0$. Our main Theorem says that if a principal prime ideal $(\pi)\subset \mathfrak{O}_{K}$ is relatively prime to conductor $\mathfrak{F} =\{\alpha\in \mathfrak{O}_{L}|$ a principal ideal $(\alpha)$ of $\mathfrak{O}_{L}\subset \mathfrak{O}_{K}[\theta]\}$ and splits completely over $L$: $(\pi)\mathfrak{O}_{L}=\prod \mathfrak{p}_{i}$, then $\mathfrak{p}_{i}$ is a principal ideal of $\mathfrak{O}_{L}$ for all $i$, where $\mathfrak{O}_{L}= L \cap \overline{\mathbb{Z}}$ is integer ring of $L$. We use Jacobian Varieties of non-singular projective curve model of super elliptic curves $y^{l}=f(x)$ to show the main Theorem, where $l$ is a large enough prime number which is relatively prime to degree of $f(x)$ and $(\pi)$.


title: Radio properties of ten nearby ultraluminous infrared galaxies with signatures of luminous buried active galactic nuclei

abstract: We present the results of our multifrequency observations for 10 ultraluminous infrared galaxies (ULIRGs) made by the Karl G. Jansky Very Large Array at 1.4, 5.5, 9.0, and 14.0 GHz. Our sample is selected from ULIRGs whose active galactic nuclei (AGNs) are not found at optical wavelengths ($\sim$70% of the entire ULIRGs), but whose presence is suggested by mid-infrared or submillimetre observations ($>50$% of the non-AGN ULIRGs at optical wavelengths). The statistical properties of the targets are similar to those of the entire ULIRG sample, which implies that ULIRGs have common radiative processes regardless of the presence of optical AGNs, and thus AGNs might equally contribute to the radio emission of every ULIRG. Although their spectra are mainly explained by starbursts and/or merger activity, some individual sources suggest contributions from AGNs. IRAS 00188$-$0856, whose optical morphology is not disturbed, shows a large nonthermal fraction and a spectral break at high frequency, which can be explained by synchrotron ageing of nonthermal plasma emitted from AGNs. In addition, we find 100-kpc scale extended emission associated with IRAS 01004$-$2237. The two-sided morphology and absence of extended X-ray emission suggest that this system is not induced by a merger in a cluster but originates from AGN activity.


title: VX2TEXT: End-to-End Learning of Video-Based Text Generation From Multimodal Inputs

abstract: We present \textsc{Vx2Text}, a framework for text generation from multimodal inputs consisting of video plus text, speech, or audio. In order to leverage transformer networks, which have been shown to be effective at modeling language, each modality is first converted into a set of language embeddings by a learnable tokenizer. This allows our approach to perform multimodal fusion in the language space, thus eliminating the need for ad-hoc cross-modal fusion modules. To address the non-differentiability of tokenization on continuous inputs (e.g., video or audio), we utilize a relaxation scheme that enables end-to-end training. Furthermore, unlike prior encoder-only models, our network includes an autoregressive decoder to generate open-ended text from the multimodal embeddings fused by the language encoder. This renders our approach fully generative and makes it directly applicable to different "video+$x$ to text" problems without the need to design specialized network heads for each task. The proposed framework is not only conceptually simple but also remarkably effective: experiments demonstrate that our approach based on a single architecture outperforms the state-of-the-art on three video-based text-generation tasks -- captioning, question answering and audio-visual scene-aware dialog.


title: Counting regions of the boxed threshold arrangement

abstract: In this paper we consider the hyperplane arrangement in $\mathbb{R}^n$ whose hyperplanes are $\{x_i + x_j = 1\mid 1\leq i < j\leq n\}\cup \{x_i=0,1\mid 1\leq i\leq n\}$. We call it the \emph{boxed threshold arrangement} since we show that the bounded regions of this arrangement are contained in an $n$-cube and are in one-to-one correspondence with the labeled threshold graphs on $n$ vertices. The problem of counting regions of this arrangement was studied earlier by Joungmin Song. He determined the characteristic polynomial of this arrangement by relating its coefficients to the count of certain graphs. Here, we provide bijective arguments to determine the number of regions. In particular, we construct certain signed partitions of the set $\{-n,\dots, n\}\setminus\{0\}$ and also construct colored threshold graphs on $n$ vertices and show that both these objects are in bijection with the regions of the boxed threshold arrangement. We independently count these objects and provide closed form formula for the number of regions.


title: Permutations Avoiding Certain Partially-ordered Patterns

abstract: A permutation $\pi$ contains a pattern $\sigma$ if and only if there is a subsequence in $\pi$ with its letters are in the same relative order as those in $\sigma$. Partially ordered patterns (POPs) provide a convenient way to denote patterns in which the relative order of some of the letters does not matter. This paper elucidates connections between the avoidance sets of a few POPs with other combinatorial objects, directly answering five open questions posed by Gao and Kitaev \cite{gao-kitaev-2019}. This was done by thoroughly analysing the avoidance sets and developing recursive algorithms to derive these sets and their corresponding combinatorial objects in parallel, which yielded a natural bijection. We also analysed an avoidance set whose simple permutations are enumerated by the Fibonacci numbers and derived an algorithm to obtain them recursively.


title: Aharonov-Bohm Effect in Three-dimensional Higher-order Topological Insulator

abstract: Hinge states are the hallmark of the 3D higher-order topological insulator(HOTI). Here, we show that chiral hinge states can be identified by the magnetic field induced Aharonov-Bohm(AB) oscillation of the electron conductance in the interferometer constructed by HOTI and normal metal. Unlike AB interferometer of 3D topological insulator(TI), we find that there are different AB oscillation frequencies for a given direction of magnetic field in 3D HOTI. And the oscillation frequencies are also strongly depending on the direction of magnetic field. The main conclusion in our work is that there exists a universal linear relation between different oscillation frequencies. Here, by constructing an interference model of hinge states loops, we show both analytically and numerically that the linear relation is fulfilled in the HOTI effective model. The four basic frequencies in the work are labeled as $\omega_x$, $\omega_y$, $\omega_{x+y}$, $\omega_{x-y}$ and the main linear relations we demonstrate here are $\omega_{x\pm y}=\omega_x \pm \omega_y$. These results provide an effective way for the identification of the chiral hinge states, and the oscillation signatures are stable with different sample size and bias.


title: Quantitative Resilience of Linear Driftless Systems

abstract: This paper introduces the notion of quantitative resilience of a control system. Following prior work, we study systems enduring a loss of control authority over some of their actuators. Such a malfunction results in actuators producing possibly undesirable inputs over which the controller has real-time readings but no control. By definition, a system is resilient if it can still reach a target after a loss of control authority. However, after a malfunction a resilient system might be significantly slower to reach a target compared to its initial capabilities. We quantify this loss of performance through the new concept of quantitative resilience. We define this metric as the maximal ratio of the minimal times required to reach any target for the initial and malfunctioning systems. Na\"ive computation of quantitative resilience directly from the definition is a time-consuming task as it requires solving four nested, possibly nonlinear, optimization problems. The main technical contribution of this work is to provide an efficient method to compute quantitative resilience. Relying on control theory and on three novel geometric results we reduce the computation of quantitative resilience to a single linear optimization problem. We illustrate our method on two numerical examples: an opinion dynamics scenario and a trajectory controller for low-thrust spacecrafts.


title: Local Coherence of Hearts Associated with Thomason Filtrations

abstract: Any Thomason filtration of a commutative ring yields (at least) two t-structures in the derived category of the ring, one of which is compactly generated [Hrb20,HHZ21]. We study the hearts of these two t-structures and prove that they coincide in case of a weakly bounded below filtration. Prompted by [SS20], in which it is proved that the heart of a compactly generated t-structure in a triangulated category with coproduct is a locally finitely presented Grothendieck category, we study the local coherence of the hearts associated with a weakly bounded below Thomason filtration, achieving a useful recursive characterisation in case of a finite length filtration. Low length cases involve hereditary torsion classes of finite type of the ring, and even their Happel-Reiten-Smalo hearts; in these cases, the relevant characterisations are given by few module-theoretic conditions.


title: Critical Level Statistics at the Many-Body Localization Transition Region

abstract: We study the critical level statistics at the many-body localization (MBL) transition region in random spin systems. By employing the inter-sample randomness as indicator, we manage to locate the MBL transition point in both orthogonal and unitary models. We further count the $n$-th order gap ratio distributions at the transition region up to $n=4$, and find they fit well with the short-range plasma model (SRPM) with inverse temperature $\beta =1$ for orthogonal model and $\beta =2$ for unitary. These critical level statistics are argued to be universal by comparing results from systems both with and without total $S_{z}$ conservation. We also point out that these critical distributions can emerge from the spectrum of a Poisson ensemble, which indicates the thermal-MBL transition point is more affected by the MBL phase rather than thermal phase.


title: Some aspects of the cosmological dynamics in Einstein-Gauss-Bonnet gravity

abstract: We study some aspects of dynamical compactification scenario where stabilisation of extra dimensions occurs due to presence the Gauss-Bonnet term and non-zero spatial curvature. In the framework of the model under consideration there exists two-stages scenario of evolution of a Universe: on the first stage, the space evolves from a totally anisotropic state to the state with 3-dimensional (corresponding to our "real", world) expanding and $D$-dimensional contracting isotropic subspaces; on the second stage, constant curvature of extra dimensions begins to play role and provide compactification of extra dimensions. It is already known that such a scenario is realizable when constant curvature of extra dimensions is negative. Here we show that a range of coupling constants for which exponential solutions with 3-dimensional expanding and $D$-dimensional contracting isotropic subspaces are stable is located in a zone where compactification solutions with positively curved extra space are unstable, so that two-stage scenario analogous to the one described above is \emph{not} realizable. Also we study "nearly-Friedmann", regime for the case of arbitrary constant curvature of extra dimensions and describe new parametrization of the general solution for the model under consideration which provide elegant way of describing areas of existence over parameters space.


title: The galaxy-galaxy strong lensing cross-sections of simulated LCDM galaxy clusters

abstract: We investigate a recent claim that observed galaxy clusters produce an order of magnitude more galaxy-galaxy strong lensing (GGSL) than simulated clusters in a LCDM cosmology. We take galaxy clusters from the C-EAGLE hydrodynamical simulations and calculate the expected amount of GGSL for sources placed behind the clusters at different redshifts. The probability of a source lensed by one of the most massive C-EAGLE clusters being multiply imaged by an individual cluster member is in good agreement with that inferred for observed clusters. We show that numerically converged results for the GGSL probability require higher resolution simulations than had been used previously. On top of this, different galaxy formation models predict cluster substructures with different central densities, such that the GGSL probabilities in LCDM cannot yet be robustly predicted. Overall, we find that galaxy-galaxy strong lensing within clusters is not currently in tension with the LCDM cosmological model.


title: The Newcomb-Benford law: Scale invariance and a simple Markov process based on it

abstract: The Newcomb-Benford law, also known as the first-digit law, gives the probability distribution associated with the first digit of a dataset, so that, for example, the first significant digit has a probability of $30.1$ % of being $1$ and $4.58$ % of being $9$. This law can be extended to the second and next significant digits. This article presents an introduction to the discovery of the law, its derivation from the scale invariance property, as well as some applications and examples, are presented. Additionally, a simple model of a Markov process inspired by scale invariance is proposed. Within this model, it is proved that the probability distribution irreversibly converges to the Newcomb-Benford law, in analogy to the irreversible evolution toward equilibrium of physical systems in thermodynamics and statistical mechanics.

categories: physics.pop-ph cond-mat.stat-mech math.PR physics.soc-ph


title: Precise limits on the charge-$2/3$ $U_1$ vector leptoquark

abstract: The $U_1$ leptoquark is known to be a suitable candidate for explaining the semileptonic $B$-decay anomalies. We derive precise limits on its parameter space relevant for the anomalies from the current LHC high-$p_{\rm T}$ dilepton data. We consider an exhaustive list of possible $B$-anomalies-motivated simple scenarios with one or two new couplings that can also be used as templates for obtaining bounds on more complicated scenarios. To obtain precise limits, we systematically consider all possible $U_1$ production processes that can contribute to the dilepton searches, including the resonant pair and single productions, nonresonant $t$-channel $U_1$ exchange, as well as its large interference with the Standard Model background. We demonstrate how the inclusion of resonant production contributions in the dilepton signal can lead to appreciably improved exclusion limits. We point out new search channels of $U_1$ that can act as unique tests of the flavour-motivated models. The template scenarios can also be used for future $U_1$ searches at the LHC. We compare the LHC limits with other relevant flavour bounds and find that a TeV-scale $U_1$ can accommodate both $R_{D^{(*)}}$ and $R_{K^{(*)}}$ anomalies while satisfying all the bounds.


title: On McMullen's algorithm for the Hausdorff dimension of Complex Schottky Groups

abstract: We provide a generalization of the McMullen's algorithm to approximate the Hausdorff dimension of the limit set for convex-cocompact subgroups of isometries of the Complex Hyperbolic Plane.


title: Determining the Angle-of-Arrival of an Radio-Frequency Source with a Rydberg Atom-Based Sensor

abstract: In this work, we demonstrate the use of a Rydberg atom-based sensor for determining the angle-of-arrival of an incident radio-frequency (RF) wave or signal. The technique uses electromagnetically induced transparency in Rydberg atomic vapor in conjunction with a heterodyne Rydberg atom-based mixer. The Rydberg atom mixer measures the phase of the incident RF wave at two different locations inside an atomic vapor cell. The phase difference at these two locations is related to the direction of arrival of the incident RF wave. To demonstrate this approach, we measure phase differences of an incident 19.18 GHz wave at two locations inside a vapor cell filled with cesium atoms for various incident angles. Comparisons of these measurements to both full-wave simulation and to a plane-wave theoretical model show that these atom-based sub-wavelength phase measurements can be used to determine the angle-of-arrival of an RF field.


title: Autoregressive Denoising Diffusion Models for Multivariate Probabilistic Time Series Forecasting

abstract: In this work, we propose \texttt{TimeGrad}, an autoregressive model for multivariate probabilistic time series forecasting which samples from the data distribution at each time step by estimating its gradient. To this end, we use diffusion probabilistic models, a class of latent variable models closely connected to score matching and energy-based methods. Our model learns gradients by optimizing a variational bound on the data likelihood and at inference time converts white noise into a sample of the distribution of interest through a Markov chain using Langevin sampling. We demonstrate experimentally that the proposed autoregressive denoising diffusion model is the new state-of-the-art multivariate probabilistic forecasting method on real-world data sets with thousands of correlated dimensions. We hope that this method is a useful tool for practitioners and lays the foundation for future research in this area.


title: A Neural Few-Shot Text Classification Reality Check

abstract: Modern classification models tend to struggle when the amount of annotated data is scarce. To overcome this issue, several neural few-shot classification models have emerged, yielding significant progress over time, both in Computer Vision and Natural Language Processing. In the latter, such models used to rely on fixed word embeddings before the advent of transformers. Additionally, some models used in Computer Vision are yet to be tested in NLP applications. In this paper, we compare all these models, first adapting those made in the field of image processing to NLP, and second providing them access to transformers. We then test these models equipped with the same transformer-based encoder on the intent detection task, known for having a large number of classes. Our results reveal that while methods perform almost equally on the ARSC dataset, this is not the case for the Intent Detection task, where the most recent and supposedly best competitors perform worse than older and simpler ones (while all are given access to transformers). We also show that a simple baseline is surprisingly strong. All the new developed models, as well as the evaluation framework, are made publicly available.


title: Experimental Test of Sequential Weak Measurements for Certified Quantum Randomness Extraction

abstract: Quantum nonlocality offers a secure way to produce random numbers: their unpredictability is intrinsic and can be certified just by observing the statistic of the measurement outcomes, without assumptions on how they are produced. To do this, entangled pairs are generated and measured to violate a Bell inequality with the outcome statistics. However, after a projective quantum measurement, entanglement is entirely destroyed and cannot be used again. This fact poses an upper bound to the number of random numbers that can be produced from each quantum state when projective measurements are employed. Instead, by using weak measurements, some entanglement can be maintained and reutilized, and a sequence of weak measurements can extract an unbounded amount of randomness from a single state as predicted in Phys. Rev. A 95, 020102(R) (2017). We study the feasibility of these weak measurements, analyze the robustness to imperfections in the quantum state they are applied to, and then test them using an optical setup based on polarization-entangled photon pairs. We show that the weak measurements are realizable, but can improve the performance of randomness generation only in close-to-ideal conditions.


title: Visualization of Nonlinear Programming for Robot Motion Planning

abstract: Nonlinear programming targets nonlinear optimization with constraints, which is a generic yet complex methodology involving humans for problem modeling and algorithms for problem solving. We address the particularly hard challenge of supporting domain experts in handling, understanding, and trouble-shooting high-dimensional optimization with a large number of constraints. Leveraging visual analytics, users are supported in exploring the computation process of nonlinear constraint optimization. Our system was designed for robot motion planning problems and developed in tight collaboration with domain experts in nonlinear programming and robotics. We report on the experiences from this design study, illustrate the usefulness for relevant example cases, and discuss the extension to visual analytics for nonlinear programming in general.


title: Temperature dependence of magnetization processes in Sm(Co,Fe,Cu,Zr)$_z$ magnets with different nanoscale microstructures

abstract: The characteristic microstructure of Sm(Co,Fe,Cu,Zr)$_z$ alloys with SmCo$_5$ cell walls in Sm$_2$Co$_{17}$ cells, all intersected by Zr-rich platelets, makes them some of the best performing high-temperature permanent magnets. Plentiful research has been performed to tailor the microstructure at the nanoscale, but due to its complexity many questions remain unanswered about the effect of the individual phases on the magnetic performance at different temperatures. Here, we explore this mechanism effect for three different Sm(Co,Fe,Cu,Zr)$_z$ alloys by deploying high-resolution magnetic imaging via in-situ transmission electron microscopy and three-dimensional chemical analysis using atom probe tomography. We show that their microstructures differ in terms of SmCo$_5$ cell-wall and Z-phase size and density, as well as the Cu concentration in the cell walls, and demonstrate how these features influence the magnetic domain size and density and thus form different magnetic textures. Moreover, we illustrate that the dominant coercivity mechanism at room temperature is domain-wall pinning and show that magnets with a denser cell-wall network, a steeper Cu gradient across the cell-wall boundary, and thinner Z-phase platelets have a higher coercivity. We also show that the coercivity mechanism at high temperatures is domain-wall nucleation at the cell walls. Increasing the Cu concentration inside the cell walls decreases the transition temperature between pinning and nucleation, significantly decreasing the coercivity with increasing temperature. We therefore provide a detailed explanation of how the microstructure on the atomic to nanoscale directly affects the magnetic performance and provide detailed guidelines for an improved design of Sm(Co,Fe,Cu,Zr)$_z$ magnets.


title: Macroscopic yarns of FeCl$_{3}$-intercalated collapsed carbon nano-tubes with high doping and stability

abstract: Macroscopic arrays of highly crystalline nanocarbons offer the possibility of modifying the electronic structure of their low dimensional constituents, for example through doping, and studying the resulting collective bulk behaviour. Insertion of electron donors or acceptors between graphitic layers is an attractive method to reversibly increase charge carrier concentra-tion without disruption of the sp$2$-conjugated system. This work demonstrates FeCl$_{3}$ intercalation into fibres made up of collapsed (flattened) carbon nanotubes. The bundles of collapsed CNTs, similar to crystallites of graphitic nanoribbons, host elongated layered FeCl$_{3}$ crystals of hundreds of $nm$ long, much longer than previous reports on graphitic materials and directly observable by transmission electron microscopy and X-ray diffraction. Intercalated CNT fibres remain stable after months of exposure to ambient conditions, partly due to the spontaneous formation of passivating monolayers of FeClO at the crystal edge, preventing both desorption of intercalant and further hydrolysis. Raman spectroscopy shows substantial electron transfer from the CNTs to FeCl$_{3}$, a well-known acceptor, as observed by G band upshifts as large as $25 cm^{-1}$. After resolving Raman features for the inner and outer layers of the collapsed CNTs, strain and dynamic effect contributions of charge transfer to the Raman upshift could be decoupled, giving a Fermi level downshift of $- 0.72 eV$ and a large average free carrier concentration of $5.3X10^{13}$ $cm^{-2}$ ($0.014$ electrons per carbon atom) in the intercalated system. Four-probe resistivity measurements show an increase in conductivity by a factor of six upon intercalation


title: S++: A Fast and Deployable Secure-Computation Framework for Privacy-Preserving Neural Network Training

abstract: We introduce S++, a simple, robust, and deployable framework for training a neural network (NN) using private data from multiple sources, using secret-shared secure function evaluation. In short, consider a virtual third party to whom every data-holder sends their inputs, and which computes the neural network: in our case, this virtual third party is actually a set of servers which individually learn nothing, even with a malicious (but non-colluding) adversary. Previous work in this area has been limited to just one specific activation function: ReLU, rendering the approach impractical for many use-cases. For the first time, we provide fast and verifiable protocols for all common activation functions and optimize them for running in a secret-shared manner. The ability to quickly, verifiably, and robustly compute exponentiation, softmax, sigmoid, etc., allows us to use previously written NNs without modification, vastly reducing developer effort and complexity of code. In recent times, ReLU has been found to converge much faster and be more computationally efficient as compared to non-linear functions like sigmoid or tanh. However, we argue that it would be remiss not to extend the mechanism to non-linear functions such as the logistic sigmoid, tanh, and softmax that are fundamental due to their ability to express outputs as probabilities and their universal approximation property. Their contribution in RNNs and a few recent advancements also makes them more relevant.


title: Sheffer operation in relational systems

abstract: The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems can be transformed to the treaty of special groupoids which form a variety of algebras. If the Sheffer operation is also commutative then the induced binary relation is antisymmetric. Moreover, commutative Sheffer groupoids form a congruence distributive variety. We characterize symmertry, antisymmetry and treansitivity of binary relations by identities and quasi-identities satisfied by an assigned Sheffer operation. The concepts of twist-products of relational systems and of Kleene relational systems are introduced. We prove that every directed relational system can be embedded into a directed relational system with involution via the twist-product construction. If the relation in question is even transitive, then the directed relational system can be embedded into a Kleene relational system. Any Sheffer operation assigned to a directed relational system A with involution induces a Sheffer operation assigned to the twist-product of A.


title: Two-Sided Matching Markets in the ELLIS 2020 PhD Program

abstract: The ELLIS PhD program is a European initiative that supports excellent young researchers by connecting them to leading researchers in AI. In particular, PhD students are supervised by two advisors from different countries: an advisor and a co-advisor. In this work we summarize the procedure that, in its final step, matches students to advisors in the ELLIS 2020 PhD program. The steps of the procedure are based on the extensive literature of two-sided matching markets and the college admissions problem [Knuth and De Bruijn, 1997, Gale and Shapley, 1962, Rothand Sotomayor, 1992]. We introduce PolyGS, an algorithm for the case of two-sided markets with quotas on both sides (also known as many-to-many markets) which we use throughout the selection procedure of pre-screening, interview matching and final matching with advisors. The algorithm returns a stable matching in the sense that no unmatched persons prefer to be matched together rather than with their current partners (given their indicated preferences). Roth [1984] gives evidence that only stable matchings are likely to be adhered to over time. Additionally, the matching is student-optimal. Preferences are constructed based on the rankings each side gives to the other side and the overlaps of research fields. We present and discuss the matchings that the algorithm produces in the ELLIS 2020 PhD program.


title: Generalising via Meta-Examples for Continual Learning in the Wild

abstract: Future deep learning systems call for techniques that can deal with the evolving nature of temporal data and scarcity of annotations when new problems occur. As a step towards this goal, we present FUSION (Few-shot UnSupervIsed cONtinual learning), a learning strategy that enables a neural network to learn quickly and continually on streams of unlabelled data and unbalanced tasks. The objective is to maximise the knowledge extracted from the unlabelled data stream (unsupervised), favor the forward transfer of previously learnt tasks and features (continual) and exploit as much as possible the supervised information when available (few-shot). The core of FUSION is MEML - Meta-Example Meta-Learning - that consolidates a meta-representation through the use of a self-attention mechanism during a single inner loop in the meta-optimisation stage. To further enhance the capability of MEML to generalise from few data, we extend it by creating various augmented surrogate tasks and by optimising over the hardest. An extensive experimental evaluation on public computer vision benchmarks shows that FUSION outperforms existing state-of-the-art solutions both in the few-shot and continual learning experimental settings.


title: Two Matrix Weighted Inequalities for Commutators with Fractional Integral Operators

abstract: In this paper we prove two matrix weighted norm inequalities for the commutator of a fractional integral operator and multiplication by a matrix symbol. More precisely, we extend the recent results of the second author, Pott, and Treil on two matrix weighted norm inequalities for commutators of Calderon-Zygmund operators and multiplication by a matrix symbol to the fractional integral operator setting. In particular, we completely extend the fractional Bloom theory of Holmes, Rahm, and Spencer to the two matrix weighted setting with a matrix


title: Reconstructing Perceptive Images from Brain Activity by Shape-Semantic GAN

abstract: Reconstructing seeing images from fMRI recordings is an absorbing research area in neuroscience and provides a potential brain-reading technology. The challenge lies in that visual encoding in brain is highly complex and not fully revealed. Inspired by the theory that visual features are hierarchically represented in cortex, we propose to break the complex visual signals into multi-level components and decode each component separately. Specifically, we decode shape and semantic representations from the lower and higher visual cortex respectively, and merge the shape and semantic information to images by a generative adversarial network (Shape-Semantic GAN). This 'divide and conquer' strategy captures visual information more accurately. Experiments demonstrate that Shape-Semantic GAN improves the reconstruction similarity and image quality, and achieves the state-of-the-art image reconstruction performance.


title: Phonon Self-Energy Effects in Migdal-Eliashberg Theory

abstract: Recent work on an electron-phonon model in two-dimensions is reviewed and some new results are presented. We utilize both Quantum Monte Carlo simulations and Migdal-Eliashberg theory. The type of electron-ion coupling considered is on-site. Competing instabilities are charge density wave (CDW) and singlet superconductivity. When the electron band is half-filled, the charge density wave dominates. Away from half-filling CDW correlations actually suppress superconductivity.


title: Fusion Moves for Graph Matching

abstract: We contribute to approximate algorithms for the quadratic assignment problem also known as graph matching. Inspired by the success of the fusion moves technique developed for multilabel discrete Markov random fields, we investigate its applicability to graph matching. In particular, we show how fusion moves can be efficiently combined with the dedicated state-of-the-art dual methods that have recently shown superior results in computer vision and bio-imaging applications. As our empirical evaluation on a wide variety of graph matching datasets suggests, fusion moves significantly improve performance of these methods in terms of speed and quality of the obtained solutions. Our method sets a new state-of-the-art with a notable margin with respect to its competitors.


title: Risk-sensitive safety analysis using Conditional Value-at-Risk

abstract: This paper develops a safety analysis method for stochastic systems that is sensitive to the possibility and severity of rare harmful outcomes. We define risk-sensitive safe sets as sub-level sets of the solution to a non-standard optimal control problem, where a random maximum cost is assessed via Conditional Value-at-Risk (CVaR). The objective function represents the maximum extent of constraint violation of the state trajectory, averaged over a given percentage of worst cases. This problem is well-motivated but difficult to solve tractably because the temporal decomposition for CVaR is history-dependent. Our primary theoretical contribution is to derive computationally tractable under-approximations to risk-sensitive safe sets. Our method provides a novel, theoretically guaranteed, parameter-dependent upper bound to the CVaR of a maximum cost without the need to augment the state space. For a fixed parameter value, the solution to only one Markov decision process problem is required to obtain the under-approximations for any family of risk-sensitivity levels. In addition, we propose a second definition for risk-sensitive safe sets and provide a tractable method for their estimation without using a parameter-dependent upper bound. The second definition is expressed in terms of a new coherent risk functional, which is inspired by CVaR. We demonstrate our primary theoretical contribution via numerical examples.


title: Learning Structural Edits via Incremental Tree Transformations

abstract: While most neural generative models generate outputs in a single pass, the human creative process is usually one of iterative building and refinement. Recent work has proposed models of editing processes, but these mostly focus on editing sequential data and/or only model a single editing pass. In this paper, we present a generic model for incremental editing of structured data (i.e., "structural edits"). Particularly, we focus on tree-structured data, taking abstract syntax trees of computer programs as our canonical example. Our editor learns to iteratively generate tree edits (e.g., deleting or adding a subtree) and applies them to the partially edited data, thereby the entire editing process can be formulated as consecutive, incremental tree transformations. To show the unique benefits of modeling tree edits directly, we further propose a novel edit encoder for learning to represent edits, as well as an imitation learning method that allows the editor to be more robust. We evaluate our proposed editor on two source code edit datasets, where results show that, with the proposed edit encoder, our editor significantly improves accuracy over previous approaches that generate the edited program directly in one pass. Finally, we demonstrate that training our editor to imitate experts and correct its mistakes dynamically can further improve its performance.


title: Projection based model reduction for the immersed boundary method

abstract: Fluid-structure interactions are central to many bio-molecular processes, and they impose a great challenge for computational and modeling methods. In this paper, we consider the immersed boundary method (IBM) for biofluid systems, and to alleviate the computational cost, we apply reduced-order techniques to eliminate the degrees of freedom associated with a large number of fluid variables. We show how reduced models can be derived using Petrov-Galerkin projection and subspaces that maintain the incompressibility condition. More importantly, the reduced-order model is shown to preserve the Lyapunov stability. We also address the practical issue of computing coefficient matrices in the reduced-order model using an interpolation technique. The efficiency and robustness of the proposed formulation are examined with test examples from various applications.


title: Eye: Program Visualizer for CS2

abstract: In recent years, programming has witnessed a shift towards using standard libraries as a black box. However, there has not been a synchronous development of tools that can help demonstrate the working of such libraries in general programs, which poses an impediment to improved learning outcomes and makes debugging exasperating. We introduce Eye, an interactive pedagogical tool that visualizes a program's execution as it runs. It demonstrates properties and usage of data structures in a general environment, thereby helping in learning, logical debugging, and code comprehension. Eye provides a comprehensive overview at each stage during run time including the execution stack and the state of data structures. The modular implementation allows for extension to other languages and modification of the graphics as desired. Eye opens up a gateway for CS2 students to more easily understand myriads of programs that are available on online programming websites, lowering the barrier towards self-learning of coding. It expands the scope of visualizing data structures from standard algorithms to general cases, benefiting both teachers as well as programmers who face issues in debugging. Line by line interpreting allows Eye to describe the execution and not only the current state. We also conduct experiments to evaluate the efficacy of Eye for debugging and comprehending a new piece of code. Our findings show that it becomes faster and less frustrating to debug certain problems using this tool, and also makes understanding new code a much more pleasant experience.


title: Adversarial Attacks on Deep Learning Based Power Allocation in a Massive MIMO Network

abstract: Deep learning (DL) is becoming popular as a new tool for many applications in wireless communication systems. However, for many classification tasks (e.g., modulation classification) it has been shown that DL-based wireless systems are susceptible to adversarial examples; adversarial examples are well-crafted malicious inputs to the neural network (NN) with the objective to cause erroneous outputs. In this paper, we extend this to regression problems and show that adversarial attacks can break DL-based power allocation in the downlink of a massive multiple-input-multiple-output (maMIMO) network. Specifically, we extend the fast gradient sign method (FGSM), momentum iterative FGSM, and projected gradient descent adversarial attacks in the context of power allocation in a maMIMO system. We benchmark the performance of these attacks and show that with a small perturbation in the input of the NN, the white-box attacks can result in infeasible solutions up to 86%. Furthermore, we investigate the performance of black-box attacks. All the evaluations conducted in this work are based on an open dataset and NN models, which are publicly available.