title: On transcendental meromorphic solutions of certain types of differential equations

abstract: In this paper, for a transcendental meromorphic function $f$ and $a\in \mathbb{C}$, we have exhaustively studied the nature and form of solutions of a new type of non-linear differential equation of the following form which has never been investigated earlier: \beas f^n+af^{n-2}f'+ P_d(z,f) = \sum_{i=1}^{k}p_i(z)e^{\alpha_i(z)},\eeas where $P_d(z,f)$ is differential polynomial of $f$, $p_i$'s and $\alpha_{i}$'s are non-vanishing rational functions and non-constant polynomials respectively. When $a=0$, we have pointed out a major lacuna in a recent result of Xue [Math. Slovaca, 70(1)(2020), 87-94] and rectifying the result, presented the corrected form of the same at a large extent. The case $a\neq 0$ has also been manipulated to determine the form of the solutions. We also illustrate a handful number of examples for showing the accuracy of our results.


title: On the largest prime divisor of $n!+1$

abstract: For an integer $m >1$, we denote by $P(m)$ the largest prime divisor of $m$. We prove that $\limsup_{n \rightarrow +\infty} P(n!+1)/n \geqslant 1+9\log 2>7.238$, which improves a result of Stewart. More generally, for any nonzero polynomial $f(X)$ with integer coefficients, we show that $\limsup_{n \rightarrow +\infty} P(n!+f(n))/n \geqslant 1+9\log2$. This improves a result of Luca and Shparlinski. These improvements come from an additional combinatoric idea to the works mentioned above.


title: Feature-based Representation for Violin Bridge Admittances

abstract: Frequency Response Functions (FRFs) are one of the cornerstones of musical acoustic experimental research. They describe the way in which musical instruments vibrate in a wide range of frequencies and are used to predict and understand the acoustic differences between them. In the specific case of stringed musical instruments such as violins, FRFs evaluated at the bridge are known to capture the overall body vibration. These indicators, also called bridge admittances, are widely used in the literature for comparative analyses. However, due to their complex structure they are rather difficult to quantitatively compare and study. In this manuscript we present a way to quantify differences between FRFs, in particular violin bridge admittances, that separates the effects in frequency, amplitude and quality factor of the first resonance peaks characterizing the responses. This approach allows us to define a distance between FRFs and clusterise measurements according to this distance. We use two case studies, one based on Finite Element Analysis and another exploiting measurements on real violins, to prove the effectiveness of such representation. In particular, for simulated bridge admittances the proposed distance is able to highlight the different impact of consecutive simulation `steps' on specific vibrational properties and, for real violins, gives a first insight on similar styles of making, as well as opposite ones.


title: Representation, Analysis of Bayesian Refinement Approximation Network: A Survey

abstract: After an artificial model background subtraction, the pixels have been labelled as foreground and background. Previous approaches to secondary processing the output for denoising usually use traditional methods such as the Bayesian refinement method. In this paper, we focus on using a modified U-Net model to approximate the result of the Bayesian refinement method and improve the result. In our modified U-Net model, the result of background subtraction from other models will be combined with the source image as input for learning the statistical distribution. Thus, the losing information caused by the background subtraction model can be restored from the source image. Moreover, since the part of the input image is already the output of the other background subtraction model, the feature extraction should be convenient, it only needs to change the labels of the noise pixels. Compare with traditional methods, using deep learning methods superiority in keeping details.


title: Layer-splitting methods for time-dependent Schr\"{o}dinger equations of incommensurate systems

abstract: This work considers numerical methods for the time-dependent Schr\"{o}dinger equation of incommensurate systems. By using a plane wave method for spatial discretization, the incommensurate problem is lifted to a higher dimension that results in semidiscrete differential equations with extremely demanding computational cost. We propose several fully discrete time stepping schemes based on the idea of "layer-splitting", which decompose the semidiscrete problem into sub-problems that each corresponds to one of the periodic layers. Then these schemes handle only some periodic systems in the original lower dimension at each time step, which reduces the computational cost significantly and is natural to involve stochastic methods and parallel computing. Both theoretical analysis and numerical experiments are provided to support the reliability and efficiency of the algorithms.


title: SceneGraphFusion: Incremental 3D Scene Graph Prediction from RGB-D Sequences

abstract: Scene graphs are a compact and explicit representation successfully used in a variety of 2D scene understanding tasks. This work proposes a method to incrementally build up semantic scene graphs from a 3D environment given a sequence of RGB-D frames. To this end, we aggregate PointNet features from primitive scene components by means of a graph neural network. We also propose a novel attention mechanism well suited for partial and missing graph data present in such an incremental reconstruction scenario. Although our proposed method is designed to run on submaps of the scene, we show it also transfers to entire 3D scenes. Experiments show that our approach outperforms 3D scene graph prediction methods by a large margin and its accuracy is on par with other 3D semantic and panoptic segmentation methods while running at 35 Hz.


title: CrossViT: Cross-Attention Multi-Scale Vision Transformer for Image Classification

abstract: The recently developed vision transformer (ViT) has achieved promising results on image classification compared to convolutional neural networks. Inspired by this, in this paper, we study how to learn multi-scale feature representations in transformer models for image classification. To this end, we propose a dual-branch transformer to combine image patches (i.e., tokens in a transformer) of different sizes to produce stronger image features. Our approach processes small-patch and large-patch tokens with two separate branches of different computational complexity and these tokens are then fused purely by attention multiple times to complement each other. Furthermore, to reduce computation, we develop a simple yet effective token fusion module based on cross attention, which uses a single token for each branch as a query to exchange information with other branches. Our proposed cross-attention only requires linear time for both computational and memory complexity instead of quadratic time otherwise. Extensive experiments demonstrate that our approach performs better than or on par with several concurrent works on vision transformer, in addition to efficient CNN models. For example, on the ImageNet1K dataset, with some architectural changes, our approach outperforms the recent DeiT by a large margin of 2\% with a small to moderate increase in FLOPs and model parameters. Our source codes and models are available at \url{https://github.com/IBM/CrossViT}.


title: Production of light flavor and single-charmed hadrons in $pp$ collisions at $\sqrt{s}=5.02$ TeV in an equal-velocity quark combination model

abstract: We apply an equal-velocity quark combination model to study the production of light-flavor hadrons and single-charmed hadrons at midrapidity in $pp$ collisions at $\sqrt{s}=5.02$ TeV. We find experimental data for $p_{T}$ spectra of $\Omega$ and $\phi$ exhibit a quark number scaling property, which is a clear signal of quark combination mechanism at hadronization. Experimental data for $p_T$ spectra of $p$, $\Lambda$, $\Xi$, $\Omega$, $\phi$ and $K^{*0}$ are systematically described by the model. The non-monotonic $p_{T}$ dependence of $\Omega/\phi$ ratio is naturally explained and we find it is closely related to the shape of the logarithm of strange quark $p_{T}$ distribution. Using $p_{T}$ spectra of light-flavor quarks obtained from light-flavor hadrons and a $p_T$ spectrum of charm quarks which is consistent with perturbative QCD calculations, the experimental data for differential cross-sections of $D^{0,+}$, $D_{s}^{+}$ and $\Lambda_{c}^{+}$ as the function of $p_{T}$ are systematically described. We predict the differential cross-sections of $\Xi_{c}^{0,+}$ and $\Omega_{c}^{0}$. The ratio $\Xi_{c}^{0,+}/D^{0}$ in our model is about 0.16 and $\Omega_{c}^{0}/D^{0}$ is about 0.012 due to the cascade suppression of strangeness. In addition, the predicted $\Xi_{c}^{0,+}/D^{0}$ and $\Omega_{c}^{0}/D^{0}$ ratios exhibit the non-monotonic dependence on $p_{T}$ in the low $p_{T}$ range.


title: Shape Bistability in Squeezed Chromonic Droplets

abstract: We study droplets of chromonic liquid crystals squeezed between parallel plates inducing degenerate tangential anchoring on the nematic director. In the coexistence regime, where droplets in the nematic phase are at equilibrium with the surrounding melt, our two-dimensional theoretical model predicts a regime of shape bistability for sufficiently large bipolar droplets, where tactoids (pointed shapes) and discoids (smooth shapes) coexist in equilibrium. This phenomenon has not yet been observed. Two-dimensional droplets of disodium cromoglycate (DSCG) have been the object of a thorough experimental study [Y.-K. Kim et al., J. Phys.: Condens. Matter 25, 404202 (2013)]. We show that our theory is in good quantitative agreement with these data and extract from them what promises to be a more accurate estimate for the isotropic surface tension at the nematic/melt interface of DSCG.


title: Scheduling of Wireless Edge Networks for Feedback-Based Interactive Applications

abstract: Interactive applications with automated feedback will largely influence the design of future networked infrastructures. In such applications, status information about an environment of interest is captured and forwarded to a compute node, which analyzes the information and generates a feedback message. Timely processing and forwarding must ensure the feedback information to be still applicable; thus, the quality-of-service parameter for such applications is the end-to-end latency over the entire loop. By modelling the communication of a feedback loop as a two-hop network, we address the problem of allocating network resources in order to minimize the delay violation probability (DVP), i.e. the probability of the end-to-end latency exceeding a target value. We investigate the influence of the network queue states along the network path on the performance of semi-static and dynamic scheduling policies. The former determine the schedule prior to the transmission of the packet, while the latter benefit from feedback on the queue states as time evolves and reallocate time slots depending on the queue's evolution. The performance of the proposed policies is evaluated for variations in several system parameters and comparison baselines. Results show that the proposed semi-static policy achieves close-to-optimal DVP and the dynamic policy outperforms the state-of-the-art algorithms.


title: The effect of internal architecture on the assembly of soft particles at fluid interfaces

abstract: Monolayers of soft colloidal particles confined at fluid interfaces have been attracting increasing interest for fundamental studies and applications alike. However, establishing the relation between their internal architecture, which is controlled during synthesis, and their structural and mechanical properties upon interfacial confinement, which define the monolayer's properties, remains an elusive task. Here, we propose a comprehensive study elucidating this relation for a system of microgels with tunable architecture. We synthesize core-shell microgels, whose soft core can be chemically degraded in a controlled fashion, yielding particles ranging from analogues of standard batch-synthesized to completely hollow microgels after total core removal. We characterize the internal structure of these particles, their swelling properties in bulk and their morphologies upon adsorption at an oil-water interface via a combination of numerical simulations and complementary experiments. In particular, we confirm that hollow microgels are mechanically stable in bulk aqueous conditions and that the progressive removal of the core leads to a significant flattening of the microgels, which become disk-like particles, at the interface. At low compression, the mechanical response of the monolayer is dominated by the presence of loosely crosslinked polymers forming a corona surrounding the particle within the interfacial plane, regardless of the presence of a core. By contrast, at high compression, the absence of a core enables the particles to deform in the direction orthogonal to the interface. These findings shed new light on which structural features of soft particles determine their interfacial behaviour, enabling new design strategies for tailored materials.


title: Interrupting vaccination policies can greatly spread SARS-CoV-2 and enhance mortality from COVID-19 disease: the AstraZeneca case for France and Italy

abstract: Several European countries have suspended the inoculation of the AstraZeneca vaccine out of suspicion of causing deep vein thrombosis. In this letter we report some Fermi estimates performed using a stochastic model aimed at making a risk-benefit analysis of the interruption of the delivery of the AstraZeneca vaccine in France and Italy. Our results clearly show that excess deaths due to the interruption of the vaccination campaign injections largely overrun those due to thrombosis even in worst case scenarios of frequency and gravity of the vaccine side effects.


title: Rheology of active emulsions with negative effective viscosity

abstract: We numerically study by lattice Boltzmann simulations the rheological properties of an active emulsion made of a suspension of an active polar gel embedded in an isotropic passive background. We find that the hexatic equilibrium configuration of polar droplets is highly sensitive to both active injection and external forcing and may either lead to asymmetric unidirectional states which break top-bottom symmetry or symmetric ones. In this latter case, for large enough activity, the system develops a shear-thickening regime at low shear rates. Importantly, for larger external forcing a regime with stable negative effective viscosity is found. Moreover, at intermediate activity a region of multistability is encountered and we show that a maximum entropy production principle holds in selecting the most favorable state.


title: Jet characterization in Heavy Ion Collisions by QCD-Aware Graph Neural Networks

abstract: The identification of jets and their constituents is one of the key problems and challenging task in heavy ion experiments such as experiments at RHIC and LHC. The presence of huge background of soft particles pose a curse for jet finding techniques. The inabilities or lack of efficient techniques to filter out the background lead to a fake or combinatorial jet formation which may have an errorneous interpretation. In this article, we present Graph Reduction technique (GraphRed), a novel class of physics-aware and topology-based attention graph neural network built upon jet physics in heavy ion collisions. This approach directly works with the physical observables of variable-length set of final state particles on an event-by-event basis to find most likely jet-induced particles in an event. This technique demonstrate the robustness and applicability of this method for finding jet-induced particles and show that graph architectures are more efficient than previous frameworks. This technique exhibit foremost time a classifier working on particle-level in each heavy ion event produced at the LHC. We present the applicability and integration of the model with current jet finding algorithms such as FastJet.


title: Frequency-specific segregation and integration of human cerebral cortex: an intrinsic functional atlas

abstract: The frequency-specific coupling mechanism of the functional human brain networks underpins its complex cognitive and behavioral functions. Nevertheless, it is not well unveiled what are the frequency-specific subdivisions and network topologies of the human brain. In this study, we estimated functional connectivity of the human cerebral cortex using spectral connection, and conducted frequency-specific parcellation using eigen-clustering and gradient-based methods, and then explored their topological structures. 7T fMRI data of 184 subjects in the HCP dataset were used for parcellation and exploring the topological properties of the functional networks, and 3T fMRI data of another 890 subjects were used to confirm the stability of the frequency-specific topologies. Seven to ten functional networks were stably integrated by two to four dissociable hub categories at specific frequencies, and we proposed an intrinsic functional atlas containing 456 parcels according to the parcellations across frequencies. The results revealed that the functional networks contained stable frequency-specific topologies, which may imply more abundant roles of the functional units and more complex interactions among them.


title: Embedding Transfer with Label Relaxation for Improved Metric Learning

abstract: This paper presents a novel method for embedding transfer, a task of transferring knowledge of a learned embedding model to another. Our method exploits pairwise similarities between samples in the source embedding space as the knowledge, and transfers them through a loss used for learning target embedding models. To this end, we design a new loss called relaxed contrastive loss, which employs the pairwise similarities as relaxed labels for inter-sample relations. Our loss provides a rich supervisory signal beyond class equivalence, enables more important pairs to contribute more to training, and imposes no restriction on manifolds of target embedding spaces. Experiments on metric learning benchmarks demonstrate that our method largely improves performance, or reduces sizes and output dimensions of target models effectively. We further show that it can be also used to enhance quality of self-supervised representation and performance of classification models. In all the experiments, our method clearly outperforms existing embedding transfer techniques.


title: Edible meta-atoms

abstract: Metamaterials are artificial structures with unusual and superior properties that come from their carefully designed building blocks -- also called meta-atoms. Metamaterials have permeated large swatches of science, including electromagnetics and mechanics. Although metamaterials hold the promise for realizing technological advances, their potential to enhance interactions between humans and materials has remained unexplored. Here, we devise meta-atoms with tailored fracture properties to control mouthfeel sensory experience. Using chocolate as a model material, we first use meta-atoms to control the fracture anisotropy and the number of cracks and demonstrate that these properties are captured in mouthfeel experience. We further use topology optimization to rationally design edible meta-atoms with maximally anisotropic fracture strength. Our work opens avenues for the use of meta-atoms and metamaterials to control fracture and to enhance human-matter interactions.


title: MINE: Towards Continuous Depth MPI with NeRF for Novel View Synthesis

abstract: In this paper, we propose MINE to perform novel view synthesis and depth estimation via dense 3D reconstruction from a single image. Our approach is a continuous depth generalization of the Multiplane Images (MPI) by introducing the NEural radiance fields (NeRF). Given a single image as input, MINE predicts a 4-channel image (RGB and volume density) at arbitrary depth values to jointly reconstruct the camera frustum and fill in occluded contents. The reconstructed and inpainted frustum can then be easily rendered into novel RGB or depth views using differentiable rendering. Extensive experiments on RealEstate10K, KITTI and Flowers Light Fields show that our MINE outperforms state-of-the-art by a large margin in novel view synthesis. We also achieve competitive results in depth estimation on iBims-1 and NYU-v2 without annotated depth supervision. Our source code is available at https://github.com/vincentfung13/MINE


title: Subgroups of $\mathrm{PL}_+ I$ which do not embed into Thompson's group $F$

abstract: We will give a general criterion - the existence of an $F$-obstruction - for showing that a subgroup of $\mathrm{PL}_+ I$ does not embed into Thompson's group $F$. An immediate consequence is that Cleary's "golden ratio" group $F_\tau$ does not embed into $F$. Our results also yield a new proof that Stein's groups $F_{p,q}$ do not embed into $F$, a result first established by Lodha using his theory of coherent actions. We develop the basic theory of $F$-obstructions and show that they exhibit certain rigidity phenomena of independent interest. In the course of establishing the main result of the paper, we prove a dichotomy theorem for subgroups of $\mathrm{PL}_+ I$. In addition to playing a central role in our proof, it is strong enough to imply both Rubin's Reconstruction Theorem restricted to the class of subgroups of $\mathrm{PL}_+ I$ and also Brin's Ubiquity Theorem.


title: Aschenbach effect for spinning particles in Kerr-(A)dS spacetime

abstract: A non-monotonic behavior of the velocity gradient of a test particle revolving around a rapidly rotating black hole in the locally non-rotating frame of reference is known as the Aschenbach effect. This effect can serve as a distinguishing signature of rapidly rotating black holes, being potentially useful for the measurements of the astrophysical black hole spins. This paper is the generalization of our previous research to the motion of spinning particles around a rotating black hole with non-zero cosmological constant. We show that both the particle's spin $s$ and the cosmological constant $\Lambda$ modify the critical value of the black hole spin $a_c$, for which the Aschenbach effect can be observed; $a_c$ can increase or decrease depending on the signs of $s$ and $\Lambda$. We also found that the particle's spin $s$ can mimic the effect of the cosmological constant $\Lambda$ for a given $a_c$, causing thus a discrepancy in the measurements of $s$, $\Lambda$ and $a_c$ in the Aschenbach effect.


title: From Morse Triangular Form of ODE Control Systems to Feedback Canonical Form of DAE Control Systems

abstract: In this paper, we relate the feedback canonical form \textbf{FNCF} of differential-algebraic control systems (DACSs) with the famous Morse canonical form \textbf{MCF} of ordinary differential equation control systems (ODECSs). First, a procedure called an explicitation (with driving variables) is proposed to connect the two above categories of control systems by attaching to a DACS a class of ODECSs with two kinds of inputs (the original control input $u$ and a vector of driving variables $v$). Then, we show that any ODECS with two kinds of inputs can be transformed into its extended \textbf{MCF} via two intermediate forms: the extended Morse triangular form and the extended Morse normal form. Next, we illustrate that the \textbf{FNCF} of a DACS and the extended \textbf{MCF} of the explicitation system have a perfect one-to-one correspondence. At last, an algorithm is proposed to transform a given DACS into its \textbf{FBCF} via the explicitation procedure and a numerical example is given to show the efficiency of the proposed algorithm.


title: First-Principle Prediction of X-ray Polarization from Magnetic Reconnection in High-Frequency BL Lacs

abstract: Relativistic magnetic reconnection is a potential particle acceleration mechanism for high-frequency BL Lacs (HBLs). The {\it Imaging X-ray Polarimetry Explorer} ({\it IXPE}) scheduled to launch in 2021 has the capability to probe the magnetic field evolution in HBLs, examining the magnetic reconnection scenario for the HBL flares. In this paper, we make the first attempt to self-consistently predict HBL X-ray polarization signatures arising from relativistic magnetic reconnection via combined particle-in-cell (PIC) and polarized radiation transfer simulations. We find that although the intrinsic optical and X-ray polarization degrees are similar on average, the X-ray polarization is much more variable in both polarization degree and angle (PD and PA). Given the sensitivity of the {\it IXPE}, it may obtain one to a few polarization data points for one flaring event of nearby bright HBLs Mrk~421 and 501. However, it may not fully resolve the highly variable X-ray polarization. Due to the temporal depolarization, where the integration of photons with variable polarization states over a finite period of time can lower the detected PD, the measured X-ray PD can be considerably lower than the optical counterpart or even undetectable. The lower X-ray PD than the optical thus can be a characteristic signature of relativistic magnetic reconnection. For very bright flares where the X-ray polarization is well resolved, relativistic magnetic reconnection predicts smooth X-ray PA swings, which originate from large plasmoid mergers in the reconnection region.


title: Cache-Efficient Fork-Processing Patterns on Large Graphs

abstract: As large graph processing emerges, we observe a costly fork-processing pattern (FPP) that is common in many graph algorithms. The unique feature of the FPP is that it launches many independent queries from different source vertices on the same graph. For example, an algorithm in analyzing the network community profile can execute Personalized PageRanks that start from tens of thousands of source vertices at the same time. We study the efficiency of handling FPPs in state-of-the-art graph processing systems on multi-core architectures. We find that those systems suffer from severe cache miss penalty because of the irregular and uncoordinated memory accesses in processing FPPs. In this paper, we propose ForkGraph, a cache-efficient FPP processing system on multi-core architectures. To improve the cache reuse, we divide the graph into partitions each sized of LLC capacity, and the queries in an FPP are buffered and executed on the partition basis. We further develop efficient intra- and inter-partition execution strategies for efficiency. For intra-partition processing, since the graph partition fits into LLC, we propose to execute each graph query with efficient sequential algorithms (in contrast with parallel algorithms in existing parallel graph processing systems) and present an atomic-free query processing by consolidating contending operations to cache-resident graph partition. For inter-partition processing, we propose yielding and priority-based scheduling, to reduce redundant work in processing. Besides, we theoretically prove that ForkGraph performs the same amount of work, to within a constant factor, as the fastest known sequential algorithms in FPP queries processing, which is work efficient. Our evaluations on real-world graphs show that ForkGraph significantly outperforms state-of-the-art graph processing systems with two orders of magnitude speedups.


title: Abuse is Contextual, What about NLP? The Role of Context in Abusive Language Annotation and Detection

abstract: The datasets most widely used for abusive language detection contain lists of messages, usually tweets, that have been manually judged as abusive or not by one or more annotators, with the annotation performed at message level. In this paper, we investigate what happens when the hateful content of a message is judged also based on the context, given that messages are often ambiguous and need to be interpreted in the context of occurrence. We first re-annotate part of a widely used dataset for abusive language detection in English in two conditions, i.e. with and without context. Then, we compare the performance of three classification algorithms obtained on these two types of dataset, arguing that a context-aware classification is more challenging but also more similar to a real application scenario.


title: Reinforcement Learning Random Access for Delay-Constrained Heterogeneous Wireless Networks: A Two-User Case

abstract: In this paper, we investigate the random access problem for a delay-constrained heterogeneous wireless network. As a first attempt to study this new problem, we consider a network with two users who deliver delay-constrained traffic to an access point (AP) via a common unreliable collision wireless channel. We assume that one user (called user 1) adopts ALOHA and we optimize the random access scheme of the other user (called user 2). The most intriguing part of this problem is that user 2 does not know the information of user 1 but needs to maximize the system timely throughput. Such a paradigm of collaboratively sharing spectrum is envisioned by DARPA to better dynamically match the supply and demand in the future [1], [2]. We first propose a Markov Decision Process (MDP) formulation to derive a modelbased upper bound, which can quantify the performance gap of any designed schemes. We then utilize reinforcement learning (RL) to design an R-learning-based [3]-[5] random access scheme, called TSRA. We finally carry out extensive simulations to show that TSRA achieves close-to-upper-bound performance and better performance than the existing baseline DLMA [6], which is our counterpart scheme for delay-unconstrained heterogeneous wireless network. All source code is publicly available in https://github.com/DanzhouWu/TSRA.


title: IEEE 802.11bf: Toward Ubiquitous Wi-Fi Sensing

abstract: Wi-Fi is among the most successful wireless technologies ever invented. As Wi-Fi becomes more and more present in public and private spaces, it becomes natural to leverage its ubiquitousness to implement groundbreaking wireless sensing applications such as human presence detection, activity recognition, and object tracking, just to name a few. This paper reports ongoing efforts by the IEEE 802.11bf Task Group (TGbf), which is defining the appropriate modifications to existing Wi-Fi standards to enhance sensing capabilities through 802.11-compliant waveforms. We summarize objectives and timeline of TGbf, and discuss some of the most interesting proposed technical features discussed so far. We also introduce a roadmap of research challenges pertaining to Wi-Fi sensing and its integration with future Wi-Fi technologies and emerging spectrum bands, hoping to elicit further activities by both the research community and TGbf.


title: You Can Do Better! If You Elaborate the Reason When Making Prediction

abstract: Neural predictive models have achieved remarkable performance improvements in various natural language processing tasks. However, most neural predictive models suffer from the lack of explainability of predictions, limiting their practical utility. This paper proposes a neural predictive approach to make a prediction and generate its corresponding explanation simultaneously. It leverages the knowledge entailed in explanations as an additional distillation signal for more efficient learning. We conduct a preliminary study on Chinese medical multiple-choice question answering, English natural language inference, and commonsense question answering tasks. The experimental results show that the proposed approach can generate reasonable explanations for its predictions even with a small-scale training corpus. The proposed method also achieves improved prediction accuracy on three datasets, which indicates that making predictions can benefit from generating the explanation in the decision process.


title: Probing the topological character of superconductors via non-local Hanbury-Brown and Twiss correlations

abstract: Superconductors can be classified as topological or not based on whether time-reversal symmetry (TRS), chiral symmetry, and particle-hole symmetry are preserved or not. Further, topological superconductors can also be classified as chiral or helical. In this paper, using Hanbury-Brown and Twiss (HBT) shot noise correlations and the non-local conductance, we probe metal/2D unconventional superconductor/metal junctions to understand better the pairing topological vs. non-topological or helical vs. chiral or nodal vs. gapful. We see that HBT correlations are asymmetric as a function of bias voltage for non-topological superconductors, whereas they are symmetric for topological superconductors irrespective of the barrier strength. Topological superconductors are associated with Majorana fermions which are important for topological quantum computation. By distinguishing topological superconductors from non-topological superconductors, our study will help search for Majorana fermions, which will aid in designing a topological quantum computer.


title: Large-scale finite-difference and finite-element frequency-domain seismic wave modelling with multi-level domain-decomposition preconditioner

abstract: The emergence of long-offset sparse stationary-recording surveys carried out with ocean bottom nodes (OBN) makes frequency-domain full waveform inversion (FWI) attractive to manage compact volume of data and perform attenuation imaging. One challenge of frequency-domain FWI is the forward problem, which requires the solution of large and sparse linear systems with multiple right-hand sides. While direct methods are suitable for dense acquisitions and problems involving less than 100 million unknowns, iterative solver are more suitable for large computational domains covered by sparse OBN surveys. Here, we solve these linear systems with a Krylov subspace method preconditioned with the two-level Optimized Restricted Additive Schwarz (ORAS) domain decomposition preconditioner, the prefix optimized referring to the use of absorbing conditions at the subdomain interfaces. We implement this method with finite differences on uniform grid and finite elements on unstructured tetrahedral meshes. A simulation in a model where the velocity linearly increases with depth allows us to validate the accuracy of the two schemes against an analytical solution while highlighting how their relative cost varies with the band of propagated wavelengths. A simulation in the overthrust model involving up to 2 billions of parameters allows us to tune the method and highlights its scalability.


title: A proof of the completeness of Lamb modes

abstract: The aim of this paper is to give a precise proof of the completeness of Lamb modes and associated modes. This proof is relatively simple and short but relies on two powerful mathematical theorems. The first one is a theorem on elliptic systems with a parameter due to Agranovich and Vishik. The second one is a theorem due to Locker which gives a criterion to show the completeness of the set of generalized eigenvectors of a Hilbert-Schmidt discrete operator.


title: Assimilation of disparate data for enhanced reconstruction of turbulent mean flows

abstract: Reconstruction of turbulent flow based on data assimilation methods is of significant importance for improving the estimation of flow characteristics by incorporating limited observations. Existing works mainly focus on using only one observation data source, e.g., velocity, wall pressure, lift or drag force, to reconstruct the flow. In practical applications observations are disparate data sources that often vary in dimension and quality. Simultaneously incorporating these disparate data is worth investigation to improve the flow reconstruction. In this work, we investigate the disparate data assimilation with ensemble methods to enhance the reconstruction of turbulent mean flows. Specifically, a regularized ensemble Kalman method is employed to incorporate the observation of velocity and different sources of wall quantities (e.g., wall shear stress, wall pressure distribution, lift and drag force). Three numerical examples are used to demonstrate the capability of the proposed framework for assimilating disparate observation data. The first two cases, i.e., a one-dimensional planar channel flow and a two-dimensional transitional flow over plate, are used to incorporate both the sparse velocity and wall friction. In the third case of the flow over periodic hills, the wall pressure distribution and the lift and drag force are regarded as observation in addition to velocity, to recover the flow fields. The results demonstrate the merits of incorporating various disparate data sources to improve the accuracy of the flow-field estimation. The ensemble-based method can assimilate disparate data non-intrusively and robustly without requiring significant changes to the model simulation codes. The method demonstrated here opens up possibilities for assimilating realistic experimental data, which are often disparate.


title: A Construction of $C^r$ Conforming Finite Element Spaces in Any Dimension

abstract: This paper proposes a construction of $C^r$ conforming finite element spaces with arbitrary $r$ in any dimension. It is shown that if $k \ge 2^{d}r+1$ the space $\mathcal P_k$ of polynomials of degree $\le k$ can be taken as the shape function space of $C^r$ finite element spaces in $d$ dimensions. This is the first work on constructing such $C^r$ conforming finite elements in any dimension in a unified way. It solves a long-standing open problem in finite element methods.


title: Empty simplices of large width

abstract: An empty simplex is a lattice simplex in which vertices are the only lattice points. We show two constructions leading to the first known empty simplices of width larger than their dimension: - We introduce cyclotomic simplices and exhaustively compute all the cyclotomic simplices of dimension $10$ and volume up to $2^{31}$. Among them we find five empty ones of width $11$, and none of larger width. - Using circulant matrices of a very specific form, we construct empty simplices of arbitrary dimension $d$ and width growing asymptotically as $d/\operatorname{arcsinh}(1) \sim 1.1346\,d$. The latter are only $0.3\%$ less wide than the widest hollow convex bodies known.


title: Intrinsic Integration

abstract: If we wish to integrate a function $h|\Omega\subset\Re^{n}\to\Re$ along a single $T$-level surface of a function $\psi |\Omega\subset\Re^{n}\to\Re$, then a number of different methods for extracting finite elements appropriate to the dimension of the level surface may be employed to obtain an explicit representation over which the integration may be performed using standard numerical quadrature techniques along each element. However, when the goal is to compute an entire continuous family $m(T)$ of integrals over all the $T$-level surfaces of $\psi$, then this method of explicit level set extraction is no longer practical. We introduce a novel method to perform this type of numerical integration efficiently by making use of the coarea formula. We present the technique for discretization of the coarea formula and present the algorithms to compute the integrals over families of T-level surfaces. While validation of our method in the special case of a single level surface demonstrates accuracies close to more explicit isosurface integration methods, we show a sizable boost in computational efficiency in the case of multiple T-level surfaces, where our coupled integration algorithms significantly outperform sequential one-at-a-time application of explicit methods.


title: Three Pulsars Discovered by FAST in the Globular Cluster NGC 6517 with a Pulsar Candidate Sifting Code Based on Dispersion Measure to Signal-to-Noise Ratio Plots

abstract: We report the discovery of three new pulsars in the Globular Cluster (GC) NGC6517, namely NGC 6517 E, F, and G, made with the Five-hundred-meter Aperture Spherical radio Telescope (FAST). The spin periods of NGC 6517 E, F, and G are 7.60~ms, 24.89~ms, and 51.59~ms, respectively. Their dispersion measures are 183.29, 183.713, and 185.3~pc~cm$^{-3}$, respectively, all slightly larger than those of the previously known pulsars in this cluster. The spin period derivatives are at the level of 1$\times$10$^{-18}$~s~s$^{-1}$, which suggests these are recycled pulsars. In addition to the discovery of these three new pulsars, we updated the timing solutions of the known isolated pulsars, NGC 6517 A, C, and D. The solutions are consistent with those from Lynch et al. (2011) and with smaller timing residuals. From the timing solution, NGC 6517 A, B (position from Lynch et al. 2011), C, E, and F are very close to each other on the sky and only a few arcseconds from the optical core of NGC 6517. With currently published and unpublished discoveries, NGC6517 now has 9 pulsars, ranking 5$^{th}$ of the GCs with the most pulsars. The discoveries take advantage of the high sensitivity of FAST and a new algorithm used to check and filter possible candidate signals.


title: Evidence of wind signatures in the gas velocity profiles of Red Geysers

abstract: Spatially resolved spectroscopy from SDSS-IV MaNGA survey has revealed a class of quiescent, relatively common early-type galaxies, termed "red geysers", that possibly host large scale active galactic nuclei driven winds. Given their potential importance in maintaining low level of star formation at late times, additional evidence confirming that winds are responsible for the red geyser phenomenon is critical. In this work, we present follow-up observations with the Echellette Spectrograph and Imager (ESI) at the Keck telescope of two red geysers (z$<$0.1) using multiple long slit positions to sample different regions of each galaxy. Our ESI data with a spectral resolution (R) $\sim$ 8000 improves upon MaNGA's resolution by a factor of four, allowing us to resolve the ionized gas velocity profiles along the putative wind cone with an instrumental resolution of $\rm \sigma = 16~km~s^{-1}$. The line profiles of H$\alpha$ and [NII]$\rm \lambda 6584$ show asymmetric shapes that depend systematically on location $-$ extended blue wings on the red-shifted side of the galaxy and red wings on the opposite side. We construct a simple wind model and show that our results are consistent with geometric projections through an outflowing conical wind oriented at an angle towards the line of sight. An alternative hypothesis that assigns the asymmetric pattern to "beam-smearing" of a rotating, ionized gas disk does a poor job matching the line asymmetry profiles. While our study features just two sources, it lends further support to the notion that red geysers are the result of galaxy-scale winds.


title: ELM-based Frame Synchronization in Nonlinear Distortion Scenario Using Superimposed Training

abstract: The requirement of high spectrum efficiency puts forward higher requirements on frame synchronization (FS) in wireless communication systems. Meanwhile, a large number of nonlinear devices or blocks will inevitably cause nonlinear distortion. To avoid the occupation of bandwidth resources and overcome the difficulty of nonlinear distortion, an extreme learning machine (ELM)-based network is introduced into the superimposed training-based FS with nonlinear distortion. Firstly, a preprocessing procedure is utilized to reap the features of synchronization metric (SM). Then, based on the rough features of SM, an ELM network is constructed to estimate the offset of frame boundary. The analysis and experiment results show that, compared with existing methods, the proposed method can improve the error probability of FS and bit error rate (BER) of symbol detection (SD). In addition, this improvement has its robustness against the impacts of parameter variations.


title: Hyperbolic Geometry is Not Necessary: Lightweight Euclidean-Based Models for Low-Dimensional Knowledge Graph Embeddings

abstract: Recent knowledge graph embedding (KGE) models based on hyperbolic geometry have shown great potential in a low-dimensional embedding space. However, the necessity of hyperbolic space in KGE is still questionable, because the calculation based on hyperbolic geometry is much more complicated than Euclidean operations. In this paper, based on the state-of-the-art hyperbolic-based model RotH, we develop two lightweight Euclidean-based models, called RotL and Rot2L. The RotL model simplifies the hyperbolic operations while keeping the flexible normalization effect. Utilizing a novel two-layer stacked transformation and based on RotL, the Rot2L model obtains an improved representation capability, yet costs fewer parameters and calculations than RotH. The experiments on link prediction show that Rot2L achieves the state-of-the-art performance on two widely-used datasets in low-dimensional knowledge graph embeddings. Furthermore, RotL achieves similar performance as RotH but only requires half of the training time.


title: NesPrInDT: Nested undersampling in PrInDT

abstract: In this paper, we extend our PrInDT method (Weihs, Buschfeld 2021) towards additional undersampling of one of the predictors. This helps us to handle multiple unbalanced data sets, i.e. data sets that are not only unbalanced with respect to the class variable but also in one of the predictor variables. Beyond the advantages of such an approach, our study reveals that the balanced accuracy in the full data set can be much lower than in the predictor undersamples. We discuss potential reasons for this problem and draw methodological conclusions for linguistic studies.


title: Integral distances from (two) lattice points

abstract: {\it .}We completely characterize pairs of lattice points $P_1\neq P_2$ in the plane with the property that there are infinitely many lattice points $Q$ whose distance from both $P_1$ and $P_2$ is integral. In particular we show that it suffices that $P_2-P_1\neq (\pm 1,\pm 2), (\pm 2,\pm 1)$, and we show that $|P_1-P_2|>\sqrt{20}$ suffices for having infinitely many such $Q$ outside any finite union of lines. We use only elementary arguments, the crucial ingredient being a theorem of Gauss which does not appear to be often applied. We further include related remarks (and open questions), also for distances from an arbitrary prescribed finite set of lattice points % $P_1,\ldots ,P_r$. }


title: $\{log\}$: Applications to Software Specification, Prototyping and Verification

abstract: This document shows how Z specifications can be translated into $\{log\}$ and, later, on how $\{log\}$ can be used to run simulations and automated proofs. This can help users of other specification languages such as B and VDM to use $\{log\}$ along the same lines. The presentation is rather informal and user-oriented. More technical and formal presentations can be found in the papers published by the authors. We also assume the reader has at least a basic knowledge of the Z notation.


title: Community-based Cyberreading for Information Understanding

abstract: Although the content in scientific publications is increasingly challenging, it is necessary to investigate another important problem, that of scientific information understanding. For this proposed problem, we investigate novel methods to assist scholars (readers) to better understand scientific publications by enabling physical and virtual collaboration. For physical collaboration, an algorithm will group readers together based on their profiles and reading behavior, and will enable the cyberreading collaboration within a online reading group. For virtual collaboration, instead of pushing readers to communicate with others, we cluster readers based on their estimated information needs. For each cluster, a learning to rank model will be generated to recommend readers' communitized resources (i.e., videos, slides, and wikis) to help them understand the target publication.


title: Boundedness and volume of generalised pairs

abstract: In this paper we investigate boundedness and volumes of generalised pairs, and give applications to usual pairs especially to a class of pairs that we call stable log minimal models. Fixing the dimension and a DCC set controlling coefficients, we will show that the set of volumes of all projective generalised lc pairs $(X,B+M)$ under the given data, satisfies the DCC. Futhermore, we will show that in the klt case, the set of such pairs with ample $K_X+B+M$ and fixed volume, forms a bounded family. We prove a result about descent of nef divisors to bounded families. This is the key to proving the above and various other results. We will then apply the above to study projective lc pairs $(X,B)$ with abundant $K_X+B$ of arbitrary Kodaira dimension. In particular, we show that the set of Iitaka volumes of such pairs satisfies DCC under some natural boundedness assumptions on the fibres of the Iitaka fibration. We define stable log minimal models which consist of a projective lc pair $(X,B)$ with semi-ample $K_X+B$ together with a divisor $A\ge 0$ so that $K_X+B+A$ is ample and $A$ does not contain any non-klt centre of $(X,B)$. This is a generalisation of both usual stable pairs of general type and stable log Calabi-Yau pairs. Fixing appropriate invariants we show that stable log minimal models form a bounded family. Then we discuss connection with moduli spaces.


title: On Direct vs Indirect Data-Driven Predictive Control

abstract: In this work, we compare the direct and indirect approaches to data-driven predictive control of stochastic linear time-invariant systems. The distinction between the two approaches lies in the fact that the indirect approach involves identifying a lower dimensional model from data which is then used in a certainty-equivalent control design, while the direct approach avoids this intermediate step altogether. Working within an optimization-based framework, we find that the suboptimality gap measuring the control performance w.r.t. the optimal model-based control design vanishes with the size of the dataset only with the direct approach. The indirect approach has a higher rate of convergence, but its suboptimality gap does not vanish as the size of the dataset increases. This reveals the existence of two distinct regimes of performance as the size of the dataset of input-output behaviors is increased. We show that the indirect approach, by relying on the identification of a lower dimensional model, has lower variance and outperforms the direct approach for smaller datasets, while it incurs an asymptotic bias as a result of the process noise and a (possibly) incorrect assumption on the order of the identified model. The direct approach, however, does not incur an asymptotic bias, and outperforms the indirect approach for larger datasets. Ultimately, by revealing the existence of two non-asymptotic regimes for the performance of direct and indirect data-driven predictive control designs, our study suggests that neither approach is invariably superior and that the choice of design must, in practice, be informed by the available dataset.


title: A note on some discrepancies in convolution models in X-ray spectral analysis

abstract: Convolution models are powerful tools in many fields of spectral and image analysis owing to their wide applicability, and X-ray astrophysical spectral analysis is no exception. We found that relativistically broadened Fe K${\alpha}$ line profiles obtained through many convolution models both within and without Xspec show deviations from the profiles produced by their non-convolution counterparts. These discrepancies depend on the energy grid considered and on the shape of both the kernel and the underlying spectrum, but can reach as high as 10% of the flux in certain energy bins. We believe that this effect should be taken into consideration, considering how often these models are used to study spectral features of lower relative intensity, and advise great discretion in using them.


title: IoU Attack: Towards Temporally Coherent Black-Box Adversarial Attack for Visual Object Tracking

abstract: Adversarial attack arises due to the vulnerability of deep neural networks to perceive input samples injected with imperceptible perturbations. Recently, adversarial attack has been applied to visual object tracking to evaluate the robustness of deep trackers. Assuming that the model structures of deep trackers are known, a variety of white-box attack approaches to visual tracking have demonstrated promising results. However, the model knowledge about deep trackers is usually unavailable in real applications. In this paper, we propose a decision-based black-box attack method for visual object tracking. In contrast to existing black-box adversarial attack methods that deal with static images for image classification, we propose IoU attack that sequentially generates perturbations based on the predicted IoU scores from both current and historical frames. By decreasing the IoU scores, the proposed attack method degrades the accuracy of temporal coherent bounding boxes (i.e., object motions) accordingly. In addition, we transfer the learned perturbations to the next few frames to initialize temporal motion attack. We validate the proposed IoU attack on state-of-the-art deep trackers (i.e., detection based, correlation filter based, and long-term trackers). Extensive experiments on the benchmark datasets indicate the effectiveness of the proposed IoU attack method. The source code is available at https://github.com/VISION-SJTU/IoUattack.


title: Monolithic all-Silicon Flat lens for broadband LWIR Imaging

abstract: We designed, fabricated and characterized a flat multi-level diffractive lens (MDL) comprised of only silicon with diameter = 15.2mm, focal length of 19mm, and operating over the longwave infrared (LWIR) spectrum of 8um to 14um. We experimentally demonstrated field of view of 46deg, depth of focus >7mm and wavelength-averaged Strehl ratio of 0.46. All these metrics were comparable to those of a conventional refractive lens. The active device thickness is only 8um and its weight (including the silicon substrate) is less than 0.2g.


title: Rotating spirals in oscillatory media with nonlocal interactions and their normal form

abstract: Biological and physical systems that can be classified as oscillatory media give rise to interesting phenomena like target patterns and spiral waves. The existence of these structures has been proven in the case of systems with local diffusive interactions. In this paper the more general case of oscillatory media with nonlocal coupling is considered. We model these systems using evolution equations where the nonlocal interactions are expressed via a diffusive convolution kernel, and prove the existence of rotating wave solutions for these systems. Since the nonlocal nature of the equations precludes the use of standard techniques from spatial dynamics, the method we use relies instead on a combination of a multiple-scales analysis and a construction similar to Lyapunov-Schmidt. This approach then allows us to derive a normal form, or reduced equation, that captures the leading order behavior of these solutions.


title: Networking and Computing in Biomechanical Research: Challenges and Directions

abstract: Biomechanics is a scientific discipline that studies the forces acting on a body and the effects they produce. In this paper, we bring together biomechanists and networking researchers to shed light into how research efforts in biomechanics, primarily related to the study of the human body, can be facilitated through networking and computing technologies, such as edge and cloud computing, Software Defined Networking, and Information-Centric Networking. We first present challenges related to networking and computing that biomechanists face today and we then describe how networking and computing technologies can address them. Finally, we identify directions for future networking research with a focus on biomechanics to facilitate and encourage interdisciplinary collaborations between biomechanists and networking researchers.


title: Phenomenological model for long wavelength optical modes in transition-metal dichalcogenide monolayer

abstract: Transition metal dichalcogenides (TMDs) are an exciting family of 2D materials; a member of this family, MoS$_2$, became the first measured monolayer semiconductor. In this article, a generalized phenomenological continuum model for the optical vibrations of the monolayer TMDs valid in the long-wavelength limit is developed. Non-polar oscillations involve differential equations for the phonon displacement vector that describe phonon dispersion up to a quadratic approximation. On the other hand, the polar modes satisfy coupled differential equations for the displacement vectors and the inner electric field. The two-dimensional phonon dispersion curves for in-plane and out-of-plane oscillations are thoroughly analyzed. This model provides an efficient approach to obtain the phonon dispersion curves at the $\Gamma$-point of the Brillouin zone of the whole family of TMD monolayers. The model parameters are fitted from density functional perturbation theory calculations. A detailed evaluation of the intravalley Pekar-Fr\"ohlich (P-F) and the $A_1$-homopolar mode deformation potential (Dp) coupling mechanisms is performed. The effects of metal ions and chalcogen atoms on polaron mass and binding energy are studied, considering these two contributions, the short-range Dp and P-F. It is argued that both mechanisms must be considered for a correct analysis of the polaron properties.


title: HDR Video Reconstruction: A Coarse-to-fine Network and A Real-world Benchmark Dataset

abstract: High dynamic range (HDR) video reconstruction from sequences captured with alternating exposures is a very challenging problem. Existing methods often align low dynamic range (LDR) input sequence in the image space using optical flow, and then merge the aligned images to produce HDR output. However, accurate alignment and fusion in the image space are difficult due to the missing details in the over-exposed regions and noise in the under-exposed regions, resulting in unpleasing ghosting artifacts. To enable more accurate alignment and HDR fusion, we introduce a coarse-to-fine deep learning framework for HDR video reconstruction. Firstly, we perform coarse alignment and pixel blending in the image space to estimate the coarse HDR video. Secondly, we conduct more sophisticated alignment and temporal fusion in the feature space of the coarse HDR video to produce better reconstruction. Considering the fact that there is no publicly available dataset for quantitative and comprehensive evaluation of HDR video reconstruction methods, we collect such a benchmark dataset, which contains $97$ sequences of static scenes and 184 testing pairs of dynamic scenes. Extensive experiments show that our method outperforms previous state-of-the-art methods. Our dataset, code and model will be made publicly available.


title: Structure-Composition-Property Relationships in Antiperovskite Nitrides: Guiding a Rational Alloy Design

abstract: The alloy strategy through A- or X-site is a common method for experimental preparation of high-performance and stable lead-based perovskite solar cells. As one of the important candidates for lead-free and stable photovoltaic absorber, the inorganic antiperovskite family has recently been reported to exhibit excellent optoelectronic properties. However, the current reports on the design of antiperovskite alloys are rare. In this work, we investigated the previously overlooked electronic property (e.g., conduction band convergence), static dielectric constant, and exciton binding energy in inorganic antiperovskite nitrides by first-principles calculations. Then, we reveal a linear relationship between tolerance factor and various physical quantities. Guided by the established structure-composition-property relationship in six antiperovskite nitrides X3NA (X2+ = Mg2+, Ca2+, Sr2+; A3- = P3-, As3-, Sb3-, Bi3-), for the first time, we design a promising antiperovskite alloy Mg3NAs0.5Bi0.5 with the quasi-direct band gap of 1.402 eV. Finally, we make a comprehensive comparison between antiperovskite nitrides and conventional halide perovskites for pointing out the future direction for device applications.


title: AB Aurigae: Possible evidence of planet formation through the gravitational instability

abstract: Recent observations of the protoplanetary disc surrounding AB Aurigae have revealed the possible presence of two giant planets in the process of forming. The young measured age of $1-4$Myr for this system allows us to place strict time constraints on the formation histories of the observed planets. Hence we may be able to make a crucial distinction between formation through core accretion (CA) or the gravitational instability (GI), as CA formation timescales are typically Myrs whilst formation through GI will occur within the first $\approx10^4-10^5$yrs of disc evolution. We focus our analysis on the $4-13$M$_{\rm Jup}$ planet observed at $R\approx30$AU. We find CA formation timescales for such a massive planet typically exceed the system's age. The planet's high mass and wide orbit may instead be indicative of formation through GI. We use smoothed particle hydrodynamic simulations to determine the system's critical disc mass for fragmentation, finding $M_{\rm d,crit}=0.3$M$_{\odot}$. Viscous evolution models of the disc's mass history indicate that it was likely massive enough to exceed $M_{\rm d,crit}$ in the recent past, thus it is possible that a young AB Aurigae disc may have fragmented to form multiple giant gaseous protoplanets. Calculations of the Jeans mass in an AB Aurigae-like disc find that fragments may initially form with masses $1.6-13.3$M$_{\rm Jup}$, consistent with the planets which have been observed. We therefore propose that the inferred planets in the disc surrounding AB Aurigae may be evidence of planet formation through GI.


title: A Simple Logic of Functional Dependence

abstract: This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: continuous dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games.


title: Numerical analysis of grasshopper escapement

abstract: The dynamics of driven, damped pendulum as used in mechanical clocks is numerically investigated. In addition to the analysis of a well-known mechanisms such as chronometer escapement, the unusual properties of Harrison's grasshopper escapement are explored, giving some insights regarding the dynamics of this system. Both steady state operation and transient effects are discussed, indicating the optimal condition for stable long-term clock accuracy. Possibility of chaotic motion is investigated.


title: Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain

abstract: Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly but safely, according to unpredicted environments and ever-changing pathogens that spread ruthlessly. Such scenarios suffocate hospitals' infrastructure and disable healthcare systems that are not prepared to deal with unpredicted environments without costly re-engineering. In the face of these challenges, we offer the SA-BSN -- Self-Adaptive Body Sensor Network -- prototype to explore the rather dynamic patient's health status monitoring. The exemplar is focused on self-adaptation and comes with scenarios that hinder an interplay between system reliability and battery consumption that is available after each execution. Also, we provide: (i) a noise injection mechanism, (ii) file-based patient profiles' configuration, (iii) six healthcare sensor simulations, and (iv) an extensible/reusable controller implementation for self-adaptation. The artifact is implemented in ROS (Robot Operating System), which embraces principles such as ease of use and relies on an active open source community support.


title: Automated Backend-Aware Post-Training Quantization

abstract: Quantization is a key technique to reduce the resource requirement and improve the performance of neural network deployment. However, different hardware backends such as x86 CPU, NVIDIA GPU, ARM CPU, and accelerators may demand different implementations for quantized networks. This diversity calls for specialized post-training quantization pipelines to built for each hardware target, an engineering effort that is often too large for developers to keep up with. We tackle this problem with an automated post-training quantization framework called HAGO. HAGO provides a set of general quantization graph transformations based on a user-defined hardware specification and implements a search mechanism to find the optimal quantization strategy while satisfying hardware constraints for any model. We observe that HAGO achieves speedups of 2.09x, 1.97x, and 2.48x on Intel Xeon Cascade Lake CPUs, NVIDIA Tesla T4 GPUs, ARM Cortex-A CPUs on Raspberry Pi4 relative to full precision respectively, while maintaining the highest reported post-training quantization accuracy in each case.


title: The AI Settlement Generation Challenge in Minecraft: First Year Report

abstract: This article outlines what we learned from the first year of the AI Settlement Generation Competition in Minecraft, a competition about producing AI programs that can generate interesting settlements in Minecraft for an unseen map. This challenge seeks to focus research into adaptive and holistic procedural content generation. Generating Minecraft towns and villages given existing maps is a suitable task for this, as it requires the generated content to be adaptive, functional, evocative and aesthetic at the same time. Here, we present the results from the first iteration of the competition. We discuss the evaluation methodology, present the different technical approaches by the competitors, and outline the open problems.


title: A First Look at RISC-V Virtualization from an Embedded Systems Perspective

abstract: This article describes the first public implementation and evaluation of the latest version of the RISC-V hypervisor extension (H-extension v0.6.1) specification in a Rocket chip core. To perform a meaningful evaluation for modern multi-core embedded and mixedcriticality systems, we have ported Bao, an open-source static partitioning hypervisor, to RISC-V. We have also extended the RISC-V platformlevel interrupt controller (PLIC) to enable direct guest interrupt injection with low and deterministic latency and we have enhanced the timer infrastructure to avoid trap and emulation overheads. Experiments were carried out in FireSim, a cycle-accurate, FPGA-accelerated simulator, and the system was also successfully deployed and tested in a Zynq UltraScale+ MPSoC ZCU104. Our hardware implementation was opensourced and is currently in use by the RISC-V community towards the ratification of the H-extension specification.


title: Energy Efficient Altitude Optimization of an Aerial Access Point

abstract: In this paper, we propose an energy-efficient optimal altitude for an aerial access point (AAP), which acts as a flying base station to serve a set of ground user equipment (UE). Since the ratio of total energy consumed by the aerial vehicle to the communication energy is very large, we include the aerial vehicle's energy consumption in the problem formulation. After considering the energy consumption model of the aerial vehicle, our objective is translated into a non-convex optimization problem of maximizing the global energy efficiency (GEE) of the aerial communication system, subject to altitude and minimum individual data rate constraints. At first, the non-convex fractional objective function is solved by using sequential convex programming (SCP) optimization technique. To compare the result of SCP with the global optimum of the problem, we reformulate the initial problem as a monotonic fractional optimization problem (MFP) and solve it using the polyblock outer approximation (PA) algorithm. Numerical results show that the candidate solution obtained from SCP is the same as the global optimum found using the monotonic fractional programming technique. Furthermore, the impact of the aerial vehicle's energy consumption on the optimal altitude determination is also studied.


title: OLED: One-Class Learned Encoder-Decoder Network with Adversarial Context Masking for Novelty Detection

abstract: Novelty detection is the task of recognizing samples that do not belong to the distribution of the target class. During training, the novelty class is absent, preventing the use of traditional classification approaches. Deep autoencoders have been widely used as a base of many unsupervised novelty detection methods. In particular, context autoencoders have been successful in the novelty detection task because of the more effective representations they learn by reconstructing original images from randomly masked images. However, a significant drawback of context autoencoders is that random masking fails to consistently cover important structures of the input image, leading to suboptimal representations - especially for the novelty detection task. In this paper, to optimize input masking, we have designed a framework consisting of two competing networks, a Mask Module and a Reconstructor. The Mask Module is a convolutional autoencoder that learns to generate optimal masks that cover the most important parts of images. Alternatively, the Reconstructor is a convolutional encoder-decoder that aims to reconstruct unperturbed images from masked images. The networks are trained in an adversarial manner in which the Mask Module generates masks that are applied to images given to the Reconstructor. In this way, the Mask Module seeks to maximize the reconstruction error that the Reconstructor is minimizing. When applied to novelty detection, the proposed approach learns semantically richer representations compared to context autoencoders and enhances novelty detection at test time through more optimal masking. Novelty detection experiments on the MNIST and CIFAR-10 image datasets demonstrate the proposed approach's superiority over cutting-edge methods. In a further experiment on the UCSD video dataset for novelty detection, the proposed approach achieves state-of-the-art results.


title: String stability of energy-saving aircraft formations

abstract: Groups of aircraft have the potential to save significant amounts of energy by flying in formations; all but the leading aircraft can benefit from the upwash of the wakes of preceding aircraft. A potential obstacle as the number of aircraft in such a formation increases is that disturbances at one aircraft, for example caused by turbulence or wake meandering, can propagate and grow as each following aircraft tries to track the optimal energy-saving position relative to the one in front. This phenomenon, known as string instability, has not yet been adequately examined in the context of aircraft formations. We discuss some trade-offs involved in designing string stable controllers whose objective is to minimize energy, and present a control design method to achieve both string stability and energy efficiency of an aircraft formation. In simulations of a 10-aircraft linear formation in the presence of 2% turbulence intensity, our controller achieves string stability while reduced energy consumption by an average of 13% with respect to solo flight.


title: Improving prostate whole gland segmentation in t2-weighted MRI with synthetically generated data

abstract: Whole gland (WG) segmentation of the prostate plays a crucial role in detection, staging and treatment planning of prostate cancer (PCa). Despite promise shown by deep learning (DL) methods, they rely on the availability of a considerable amount of annotated data. Augmentation techniques such as translation and rotation of images present an alternative to increase data availability. Nevertheless, the amount of information provided by the transformed data is limited due to the correlation between the generated data and the original. Based on the recent success of generative adversarial networks (GAN) in producing synthetic images for other domains as well as in the medical domain, we present a pipeline to generate WG segmentation masks and synthesize T2-weighted MRI of the prostate based on a publicly available multi-center dataset. Following, we use the generated data as a form of data augmentation. Results show an improvement in the quality of the WG segmentation when compared to standard augmentation techniques.


title: Dark Patterns in the Interaction with Cookie Banners

abstract: Dark patterns are interface designs that nudge users towards behavior that is against their best interests. Since humans are often not even aware that they are influenced by these malicious patterns, research has to identify ways to protect web users against them. One approach to this is the automatic detection of dark patterns which enables the development of tools that are able to protect users by proactively warning them in cases where they face a dark pattern. In this paper, we present ongoing work in the direction of automatic detection of dark patterns, and outline an example to detect malicious patterns within the domain of cookie banners.


title: Metric Spaces Are Universal for Bi-interpretation with Metric Structures

abstract: In the context of metric structures introduced by Ben Yaacov, Berenstein, Henson, and Usvyatsov, we exhibit an explicit encoding of metric structures in countable signatures as pure metric spaces in the empty signature, showing that such structures are universal for bi-interpretation among metric structures with positive diameter. This is analogous to the classical encoding of arbitrary discrete structures in finite signatures as graphs, but is stronger in certain ways and weaker in others. There are also certain fine grained topological concerns with no analog in the discrete setting.


title: Self-supervised Graph Neural Networks without explicit negative sampling

abstract: Real world data is mostly unlabeled or only few instances are labeled. Manually labeling data is a very expensive and daunting task. This calls for unsupervised learning techniques that are powerful enough to achieve comparable results as semi-supervised/supervised techniques. Contrastive self-supervised learning has emerged as a powerful direction, in some cases outperforming supervised techniques. In this study, we propose, SelfGNN, a novel contrastive self-supervised graph neural network (GNN) without relying on explicit contrastive terms. We leverage Batch Normalization, which introduces implicit contrastive terms, without sacrificing performance. Furthermore, as data augmentation is key in contrastive learning, we introduce four feature augmentation (FA) techniques for graphs. Though graph topological augmentation (TA) is commonly used, our empirical findings show that FA perform as good as TA. Moreover, FA incurs no computational overhead, unlike TA, which often has O(N^3) time complexity, N-number of nodes. Our empirical evaluation on seven publicly available real-world data shows that, SelfGNN is powerful and leads to a performance comparable with SOTA supervised GNNs and always better than SOTA semi-supervised and unsupervised GNNs. The source code is available at https://github.com/zekarias-tilahun/SelfGNN.


title: An investigation of open cluster Melotte 72 using Gaia DR2

abstract: The estimation of the main parameters of star clusters is significant in astrophysical studies. The most important aspect of using the Gaia DR2 survey lies in the positions, parallax, and proper motions of cluster stars with homogeneous photometry that make the membership probability determine with high accuracy. In this respect, depending on Gaia DR2 database, an analysis of the open star cluster Melotte 72 is taking place here. It is located at a distance of 2345+/-108 pc with an age of 1.0+/-0.5 Gyr. In studying the radial density profile, the radius is found to be 5.0+/-0.15 arcmin. The reddening, the luminosity and mass functions, the total mass of the cluster, and the galactic geometrical distances (X_Sun, Y_Sun, Z_Sun), and the distance from the galactic center (R_g ) have been estimated as well. Our study has shown a dynamical relaxation behavior of Melotte 72.


title: The distance function in the presence of an obstacle

abstract: We study the Riemannian distance function from a fixed point (a point-wise target) of Euclidean space in the presence of a compact obstacle bounded by a smooth hypersurface. First, we show that such a function is locally semiconcave with a fractional modulus of order one half and that, near the obstacle, this regularity is optimal. Then, in the Euclidean setting, we prove that the singularities of the distance function propagate, in the sense that each singular point belongs to a nontrivial singular continuum. Finally, we investigate the lack of differentiability of the distance function when a convex obstacle is present.


title: Supersense and Sensibility: Proxy Tasks for Semantic Annotation of Prepositions

abstract: Prepositional supersense annotation is time-consuming and requires expert training. Here, we present two sensible methods for obtaining prepositional supersense annotations by eliciting surface substitution and similarity judgments. Four pilot studies suggest that both methods have potential for producing prepositional supersense annotations that are comparable in quality to expert annotations.


title: Panoptic-PolarNet: Proposal-free LiDAR Point Cloud Panoptic Segmentation

abstract: Panoptic segmentation presents a new challenge in exploiting the merits of both detection and segmentation, with the aim of unifying instance segmentation and semantic segmentation in a single framework. However, an efficient solution for panoptic segmentation in the emerging domain of LiDAR point cloud is still an open research problem and is very much under-explored. In this paper, we present a fast and robust LiDAR point cloud panoptic segmentation framework, referred to as Panoptic-PolarNet. We learn both semantic segmentation and class-agnostic instance clustering in a single inference network using a polar Bird's Eye View (BEV) representation, enabling us to circumvent the issue of occlusion among instances in urban street scenes. To improve our network's learnability, we also propose an adapted instance augmentation technique and a novel adversarial point cloud pruning method. Our experiments show that Panoptic-PolarNet outperforms the baseline methods on SemanticKITTI and nuScenes datasets with an almost real-time inference speed. Panoptic-PolarNet achieved 54.1% PQ in the public SemanticKITTI panoptic segmentation leaderboard and leading performance for the validation set of nuScenes.


title: Particle Filter Bridge Interpolation

abstract: Auto encoding models have been extensively studied in recent years. They provide an efficient framework for sample generation, as well as for analysing feature learning. Furthermore, they are efficient in performing interpolations between data-points in semantically meaningful ways. In this paper, we build further on a previously introduced method for generating canonical, dimension independent, stochastic interpolations. Here, the distribution of interpolation paths is represented as the distribution of a bridge process constructed from an artificial random data generating process in the latent space, having the prior distribution as its invariant distribution. As a result the stochastic interpolation paths tend to reside in regions of the latent space where the prior has high mass. This is a desirable feature since, generally, such areas produce semantically meaningful samples. In this paper, we extend the bridge process method by introducing a discriminator network that accurately identifies areas of high latent representation density. The discriminator network is incorporated as a change of measure of the underlying bridge process and sampling of interpolation paths is implemented using sequential Monte Carlo. The resulting sampling procedure allows for greater variability in interpolation paths and stronger drift towards areas of high data density.


title: Pareto-like Sequential Sampling Heuristic for Global Optimisation

abstract: In this paper, we propose a simple global optimisation algorithm inspired by Pareto's principle. This algorithm samples most of its solutions within prominent search domains and is equipped with a self-adaptive mechanism to control the dynamic tightening of the prominent domains while the greediness of the algorithm increases over time (iterations). Unlike traditional metaheuristics, the proposed method has no direct mutation- or crossover-like operations. It depends solely on the sequential random sampling that can be used in diversification and intensification processes while keeping the information-flow between generations and the structural bias at a minimum. By using a simple topology, the algorithm avoids premature convergence by sampling new solutions every generation. A simple theoretical derivation revealed that the exploration of this approach is unbiased and the rate of the diversification is constant during the runtime. The trade-off balance between the diversification and the intensification is explained theoretically and experimentally. This proposed approach has been benchmarked against standard optimisation problems as well as a selected set of simple and complex engineering applications. We used 26 standard benchmarks with different properties that cover most of the optimisation problems' nature, three traditional engineering problems, and one real complex engineering problem from the state-of-the-art literature. The algorithm performs well in finding global minima for nonconvex and multimodal functions, especially with high dimensional problems and it was found very competitive in comparison with the recent algorithmic proposals. Moreover, the algorithm outperforms and scales better than recent algorithms when it is benchmarked under a limited number of iterations for the composite CEC2017 problems.


title: Transmitter Discovery through Radio-Visual Probabilistic Active Sensing

abstract: Multi-modal Probabilistic Active Sensing (MMPAS) uses sensor fusion and probabilistic models to control the perception process of robotic sensing platforms. MMPAS is successfully employed in environmental exploration, collaborative mobile robotics, and target tracking, being fostered by the high performance guarantees on autonomous perception. In this context, we propose a bi-Radio-Visual PAS scheme to solve the transmitter discovery problem. Specifically, we firstly exploit the correlation between radio and visual measurements to learn a target detection model in a self-supervised manner. Then, the model is combined with antenna radiation anisotropies into a Bayesian Optimization framework that controls the platform. We show that the proposed algorithm attains an accuracy of 92%, overcoming two other probabilistic active sensing baselines.


title: Analogue of the Tricomi problem for the mixed-type equation with fractional derivative. Inverse problems

abstract: In this work, an analogue of the Tricomi problem for equations of mixed type with a fractional derivative is investigated. In one part of the domain, the considered equation is a subdiffusion equation with a fractional derivative of order ? 2 (0; 1) in the sense of Riemann-Liouville, and in the other it is a wave equation. Assuming the parameter ? to be unknown, the corresponding inverse problem is studied . It was found an additional condition, that provides not only uniqueness but also existance of the desired parameter. It should be noted that the inverse problem of determining the fractional derivative for the subdiffusion and wave equations has been studied by many mathematicians. But in the case of the Tricomi problem for a mixed-type equation, the questions of determining the fractional time derivative are studied for the first time.


title: On using classical light in Quantum Optical Coherence Tomography

abstract: Quantum Optical Coherence Tomography (Q-OCT) presents many advantages over its classical counterpart, Optical Coherence Tomography (OCT): it provides an increased axial resolution and is immune to even orders of dispersion. The core of Q-OCT is quantum interference of negatively correlated entangled photon pairs obtained in a Hong-Ou-Mandel configuration. This two-photon interference can be observed in the time domain in the form of dips or in the Fourier domain by means of a joint spectrum. The latter approach proved to be practical in the sense that it alleviated the requirement posed on light in Q-OCT to exhibit strict negative correlations, since the negative correlations can be easily extracted in the Fourier domain as the main diagonal of the joint spectrum. In this work, we investigate the use of this spectral approach in which quantum interference is obtained with classical low-intensity light pulses. We report theoretical calculations and their experimental validation and show that although such classical light is much easier to launch into an experimental system, it offers limited benefits as compared to Q-OCT based on entangled light. We analyse the differences in the characteristics of the joint spectrum obtained with entangled photons and with classical light and explain the origins of these differences.


title: Labels4Free: Unsupervised Segmentation using StyleGAN

abstract: We propose an unsupervised segmentation framework for StyleGAN generated objects. We build on two main observations. First, the features generated by StyleGAN hold valuable information that can be utilized towards training segmentation networks. Second, the foreground and background can often be treated to be largely independent and be composited in different ways. For our solution, we propose to augment the StyleGAN2 generator architecture with a segmentation branch and to split the generator into a foreground and background network. This enables us to generate soft segmentation masks for the foreground object in an unsupervised fashion. On multiple object classes, we report comparable results against state-of-the-art supervised segmentation networks, while against the best unsupervised segmentation approach we demonstrate a clear improvement, both in qualitative and quantitative metrics.


title: Catalyzing Clinical Diagnostic Pipelines Through Volumetric Medical Image Segmentation Using Deep Neural Networks: Past, Present, & Future

abstract: Deep learning has made a remarkable impact in the field of natural image processing over the past decade. Consequently, there is a great deal of interest in replicating this success across unsolved tasks in related domains, such as medical image analysis. Core to medical image analysis is the task of semantic segmentation which enables various clinical workflows. Due to the challenges inherent in manual segmentation, many decades of research have been devoted to discovering extensible, automated, expert-level segmentation techniques. Given the groundbreaking performance demonstrated by recent neural network-based techniques, deep learning seems poised to achieve what classic methods have historically been unable. This paper will briefly overview some of the state-of-the-art (SoTA) neural network-based segmentation algorithms with a particular emphasis on the most recent architectures, comparing and contrasting the contributions and characteristics of each network topology. Using ultrasonography as a motivating example, it will also demonstrate important clinical implications of effective deep learning-based solutions, articulate challenges unique to the modality, and discuss novel approaches developed in response to those challenges, concluding with the proposal of future directions in the field. Given the generally observed ephemerality of the best deep learning approaches (i.e. the extremely quick succession of the SoTA), the main contributions of the paper are its contextualization of modern deep learning architectures with historical background and the elucidation of the current trajectory of volumetric medical image segmentation research.


title: A variational minimization formulation for hydraulically induced fracturing in elastic-plastic solids

abstract: A variational modeling framework for hydraulically induced fracturing of elastic-plastic solids is developed in the present work. The developed variational structure provides a global minimization problem. While fracture propagation is modeled by means of a phase-field approach to fracture, plastic effects are taken into account by using a Drucker-Prager-type yield-criterion function. This yield-criterion function governs the plastic evolution of the fluid-solid mixture. Fluid storage and transport are described by a Darcy-Biot-type formulation. Thereby the fluid storage is decomposed into a contribution due to the elastic deformations and one due to the plastic deformations. A local return mapping scheme is used for the update of the plastic quantities. The global minimization structure demands a $H($div$)$-conforming finite-element formulation. Furthermore this is combined with an enhanced-assumed-strain formulation in order to overcome locking phenomena arising from the plastic deformations. The robustness and capabilities of the presented framework will be shown in a sequence of numerical examples.


title: Transient stability analysis of composite hydrogel structures based on a minimization-type variational formulation

abstract: We employ a canonical variational framework for the predictive characterization of structural instabilities that develop during the diffusion-driven transient swelling of hydrogels under geometrical constraints. The variational formulation of finite elasticity coupled with Fickian diffusion has a two-field minimization structure, wherein the deformation map and the fluid-volume flux are obtained as minimizers of a time-discrete potential involving internal and external energetic contributions. Following spatial discretization, the minimization principle is implemented using a conforming Q$_1$RT$_0$ finite-element design, making use of the lowest-order Raviart-Thomas-type interpolations for the fluid-volume flux. To analyze the structural stability of a certain equilibrium state of the gel satisfying the minimization principle, we apply the local stability criterion on the incremental potential, which is based on the idea that a stable equilibrium state has the lowest potential energy among all possible states within an infinitesimal neighborhood. Using this criterion, it is understood that bifurcation-type structural instabilities are activated when the coupled global finite-element stiffness matrix loses its positive definiteness. This concept is then applied to determine the onset and nature of wrinkling instabilities occurring in a pair of representative film-substrate hydrogel systems. In particular, we analyze the dependencies of the critical buckling load and mode shape on the system geometry and material parameters.


title: HateBR: A Large Expert Annotated Corpus of Brazilian Instagram Comments for Offensive Language and Hate Speech Detection

abstract: Due to the severity of the social media offensive and hateful comments in Brazil, and the lack of research in Portuguese, this paper provides the first large-scale expert annotated corpus of Brazilian Instagram comments for hate speech and offensive language detection. The HateBR corpus was collected from the comment section of Brazilian politicians' accounts on Instagram and manually annotated by specialists, reaching a high inter-annotator agreement. The corpus consists of 7,000 documents annotated according to three different layers: a binary classification (offensive versus non-offensive comments), offensiveness-level classification (highly, moderately, and slightly offensive), and nine hate speech groups (xenophobia, racism, homophobia, sexism, religious intolerance, partyism, apology for the dictatorship, antisemitism, and fatphobia). We also implemented baseline experiments for offensive language and hate speech detection and compared them with a literature baseline. Results show that the baseline experiments on our corpus outperform the current state-of-the-art for the Portuguese language.


title: Explaining the Road Not Taken

abstract: It is unclear if existing interpretations of deep neural network models respond effectively to the needs of users. This paper summarizes the common forms of explanations (such as feature attribution, decision rules, or probes) used in over 200 recent papers about natural language processing (NLP), and compares them against user questions collected in the XAI Question Bank. We found that although users are interested in explanations for the road not taken -- namely, why the model chose one result and not a well-defined, seemly similar legitimate counterpart -- most model interpretations cannot answer these questions.


title: Automatic differentiation for Riemannian optimization on low-rank matrix and tensor-train manifolds

abstract: In scientific computing and machine learning applications, matrices and more general multidimensional arrays (tensors) can often be approximated with the help of low-rank decompositions. Since matrices and tensors of fixed rank form smooth Riemannian manifolds, one of the popular tools for finding low-rank approximations is to use Riemannian optimization. Nevertheless, efficient implementation of Riemannian gradients and Hessians, required in Riemannian optimization algorithms, can be a nontrivial task in practice. Moreover, in some cases, analytic formulas are not even available. In this paper, we build upon automatic differentiation and propose a method that, given an implementation of the function to be minimized, efficiently computes Riemannian gradients and matrix-by-vector products between an approximate Riemannian Hessian and a given vector.


title: On Learning Discrete-Time Fractional-Order Dynamical Systems

abstract: Discrete-time fractional-order dynamical systems (DT-FODS) have found innumerable applications in the context of modeling spatiotemporal behaviors associated with long-term memory. Applications include neurophysiological signals such as electroencephalogram (EEG) and electrocorticogram (ECoG). Although learning the spatiotemporal parameters of DT-FODS is not a new problem, when dealing with neurophysiological signals we need to guarantee performance standards. Therefore, we need to understand the trade-offs between sample complexity and estimation accuracy of the system parameters. Simply speaking, we need to address the question of how many measurements we need to collect to identify the system parameters up to an uncertainty level. In this paper, we address the problem of identifying the spatial and temporal parameters of DT-FODS. The main result is the first result on non-asymptotic finite-sample complexity guarantees of identifying DT-FODS. Finally, we provide evidence of the efficacy of our method in the context of forecasting real-life intracranial EEG time series collected from patients undergoing epileptic seizures.


title: A Multistakeholder Approach Towards Evaluating AI Transparency Mechanisms

abstract: Given that there are a variety of stakeholders involved in, and affected by, decisions from machine learning (ML) models, it is important to consider that different stakeholders have different transparency needs. Previous work found that the majority of deployed transparency mechanisms primarily serve technical stakeholders. In our work, we want to investigate how well transparency mechanisms might work in practice for a more diverse set of stakeholders by conducting a large-scale, mixed-methods user study across a range of organizations, within a particular industry such as health care, criminal justice, or content moderation. In this paper, we outline the setup for our study.


title: On the benefits of robust models in modulation recognition

abstract: Given the rapid changes in telecommunication systems and their higher dependence on artificial intelligence, it is increasingly important to have models that can perform well under different, possibly adverse, conditions. Deep Neural Networks (DNNs) using convolutional layers are state-of-the-art in many tasks in communications. However, in other domains, like image classification, DNNs have been shown to be vulnerable to adversarial perturbations, which consist of imperceptible crafted noise that when added to the data fools the model into misclassification. This puts into question the security of DNNs in communication tasks, and in particular in modulation recognition. We propose a novel framework to test the robustness of current state-of-the-art models where the adversarial perturbation strength is dependent on the signal strength and measured with the "signal to perturbation ratio" (SPR). We show that current state-of-the-art models are susceptible to these perturbations. In contrast to current research on the topic of image classification, modulation recognition allows us to have easily accessible insights on the usefulness of the features learned by DNNs by looking at the constellation space. When analyzing these vulnerable models we found that adversarial perturbations do not shift the symbols towards the nearest classes in constellation space. This shows that DNNs do not base their decisions on signal statistics that are important for the Bayes-optimal modulation recognition model, but spurious correlations in the training data. Our feature analysis and proposed framework can help in the task of finding better models for communication systems.