title: Embedding Semantic Hierarchy in Discrete Optimal Transport for Risk Minimization

abstract: The widely-used cross-entropy (CE) loss-based deep networks achieved significant progress w.r.t. the classification accuracy. However, the CE loss can essentially ignore the risk of misclassification which is usually measured by the distance between the prediction and label in a semantic hierarchical tree. In this paper, we propose to incorporate the risk-aware inter-class correlation in a discrete optimal transport (DOT) training framework by configuring its ground distance matrix. The ground distance matrix can be pre-defined following a priori of hierarchical semantic risk. Specifically, we define the tree induced error (TIE) on a hierarchical semantic tree and extend it to its increasing function from the optimization perspective. The semantic similarity in each level of a tree is integrated with the information gain. We achieve promising results on several large scale image classification tasks with a semantic tree structure in a plug and play manner.


title: Modelling of ocean waves with the Alber equation: application to non-parametric spectra and generalization to crossing seas

abstract: The Alber equation is a phase-averaged second-moment model for the statistics of a sea state, which recently has been attracting renewed attention. We extend it in two ways: firstly, we derive a generalized Alber system starting from a system of nonlinear Schr\"odinger equations, which contains the classical Alber equation as a special case but can also describe crossing seas, i.e. two wavesystems with different wavenumbers crossing. (These can be two completely independent wavenumbers, i.e. in general different directions and different moduli.) We also derive the associated 2-dimensional scalar instability condition. This is the first time that a modulation instability condition applicable to crossing seas has been systematically derived for general spectra. Secondly, we use the classical Alber equation and its associated instability condition to quantify how close a given non-parametric spectrum is to being modulationally unstable. We apply this to a dataset of 100 non-parametric spectra provided by the Norwegian Meteorological Institute, and find the vast majority of realistic spectra turn out to be stable, but three extreme sea states are found to be unstable (out of 20 sea states chosen for their severity). Moreover, we introduce a novel "proximity to instability" (PTI) metric, inspired by the stability analysis. This is seen to correlate strongly with the steepness and Benjamin-Feir Index (BFI) for the sea states in our dataset (>85% Spearman rank correlation). Furthermore, upon comparing with phase-resolved broadband Monte Carlo simulations, the kurtosis and probability of rogue waves for each sea state are also seen to correlate well with its PTI (>85% Spearman rank correlation).


title: Experimental determination of the propulsion matrix of the body of helical Magnetospirillum magneticum cells

abstract: Helical-shaped magnetotactic bacteria provide a rare opportunity to precisely measure both the translational and rotational friction coefficients of micron-sized chiral particles. The possibility to align these cells with a uniform magnetic field allows to clearly separate diffusion along and perpendicular to their longitudinal axis. Meanwhile, their corkscrew shape allows detecting rotations around their longitudinal axis, after which orientation correlation analysis can be used to retrieve rotational diffusion coefficients in the two principal directions. Using light microscopy, we measured the four principal friction coefficients of deflagellated Magnetospirillum magneticum AMB-1 cells, and compared our results to that expected for cylinders of comparable size. We show that for rotational motions, the overall dimensions of the cell body are what matters most, while the exact body shape influences translational motions. To obtain a full characterization of the friction matrix of these elongated chiral particles, we also quantified the coupling between the rotation around and translation along the longitudinal axis of the cell. Our results suggest that for this bacterial species cell body rotation could significantly contribute to cellular propulsion.


title: Distilling EEG Representations via Capsules for Affective Computing

abstract: Affective computing with Electroencephalogram (EEG) is a challenging task that requires cumbersome models to effectively learn the information contained in large-scale EEG signals, causing difficulties for real-time smart-device deployment. In this paper, we propose a novel knowledge distillation pipeline to distill EEG representations via capsule-based architectures for both classification and regression tasks. Our goal is to distill information from a heavy model to a lightweight model for subject-specific tasks. To this end, we first pre-train a large model (teacher network) on large number of training samples. Then, we employ the teacher network to learn the discriminative features embedded in capsules by adopting a lightweight model (student network) to mimic the teacher using the privileged knowledge. Such privileged information learned by the teacher contain similarities among capsules and are only available during the training stage of the student network. We evaluate the proposed architecture on two large-scale public EEG datasets, showing that our framework consistently enables student networks with different compression ratios to effectively learn from the teacher, even when provided with limited training samples. Lastly, our method achieves state-of-the-art results on one of the two datasets.


title: Tensor Random Projection for Low Memory Dimension Reduction

abstract: Random projections reduce the dimension of a set of vectors while preserving structural information, such as distances between vectors in the set. This paper proposes a novel use of row-product random matrices in random projection, where we call it Tensor Random Projection (TRP). It requires substantially less memory than existing dimension reduction maps. The TRP map is formed as the Khatri-Rao product of several smaller random projections, and is compatible with any base random projection including sparse maps, which enable dimension reduction with very low query cost and no floating point operations. We also develop a reduced variance extension. We provide a theoretical analysis of the bias and variance of the TRP, and a non-asymptotic error analysis for a TRP composed of two smaller maps. Experiments on both synthetic and MNIST data show that our method performs as well as conventional methods with substantially less storage.


title: Directional TGV-based image restoration under Poisson noise

abstract: We are interested in the restoration of noisy and blurry images where the texture mainly follows a single direction (i.e., directional images). Problems of this type arise, for example, in microscopy or computed tomography for carbon or glass fibres. In order to deal with these problems, the Directional Total Generalized Variation (DTGV) was developed by Kongskov et al. in 2017 and 2019, in the case of impulse and Gaussian noise. In this article we focus on images corrupted by Poisson noise, extending the DTGV regularization to image restoration models where the data fitting term is the generalized Kullback-Leibler divergence. We also propose a technique for the identification of the main texture direction, which improves upon the techniques used in the aforementioned work about DTGV. We solve the problem by an ADMM algorithm with proven convergence and subproblems that can be solved exactly at a low computational cost. Numerical results on both phantom and real images demonstrate the effectiveness of our approach.


title: Cubesats in Low Earth Orbit: Perils and Countermeasures

abstract: In orbit, we find a harsh environment able to damage even space-qualified components. The main threats will be listed in the following lines, one by one, also presenting some of the effects on commercial electronics. According to the literature, the most recommended materials and countermeasures will be also introduced under each 'Materials and Countermeasures' paragraph.


title: Explaining a Series of Models by Propagating Shapley Values

abstract: Local feature attribution methods are increasingly used to explain complex machine learning models. However, current methods are limited because they are extremely expensive to compute or are not capable of explaining a distributed series of models where each model is owned by a separate institution. The latter is particularly important because it often arises in finance where explanations are mandated. Here, we present DeepSHAP, a tractable method to propagate local feature attributions through complex series of models based on a connection to the Shapley value. We evaluate DeepSHAP across biological, health, and financial datasets to show that it provides equally salient explanations an order of magnitude faster than existing model-agnostic attribution techniques and demonstrate its use in an important distributed series of models setting.


title: Absolute concentration robustness in networks with low-dimensional stoichiometric subspace

abstract: A reaction system exhibits "absolute concentration robustness" (ACR) in some species if the positive steady-state value of that species does not depend on initial conditions. Mathematically, this means that the positive part of the variety of the steady-state ideal lies entirely in a hyperplane of the form $x_i=c$, for some $c>0$. Deciding whether a given reaction system -- or those arising from some reaction network -- exhibits ACR is difficult in general, but here we show that for many simple networks, assessing ACR is straightforward. Indeed, our criteria for ACR can be performed by simply inspecting a network or its standard embedding into Euclidean space. Our main results pertain to networks with many conservation laws, so that all reactions are parallel to one other. Such "one-dimensional" networks include those networks having only one species. We also consider networks with only two reactions, and show that ACR is characterized by a well-known criterion of Shinar and Feinberg. Finally, up to some natural ACR-preserving operations -- relabeling species, lengthening a reaction, and so on -- only three families of networks with two reactions and two species have ACR. Our results are proven using algebraic and combinatorial techniques.


title: Triangle Centrality

abstract: Triangle centrality is introduced for finding important vertices in a graph based on the concentration of triangles surrounding each vertex. An important vertex in triangle centrality is at the center of many triangles, and therefore it may be in many triangles or none at all. We give optimal algorithms that compute triangle centrality in $O(m\sqrt{m})$ time and $O(m+n)$ space. Using fast matrix multiplication it takes $n^{\omega+o(1)}$ time where $\omega$ is the matrix product exponent. On a Concurrent Read Exclusive Write (CREW) Parallel Random Access Memory (PRAM) machine, we give a near work-optimal algorithm that takes $O(\log n)$ time using $O(m\sqrt{m})$ CREW PRAM processors. In MapReduce, we show it takes four rounds using $O(m\sqrt{m})$ communication bits, and is therefore optimal. We also give a deterministic algorithm to find the triangle neighborhood and triangle count of each vertex in $O(m\sqrt{m})$ time and $O(m+n)$ space. Our empirical results demonstrate that triangle centrality uniquely identified central vertices thirty-percent of the time in comparison to five other well-known centrality measures, while being asymptotically faster to compute on sparse graphs than all but the most trivial of these other measures.


title: On the Hardness of Scheduling With Non-Uniform Communication Delays

abstract: In the scheduling with non-uniform communication delay problem, the input is a set of jobs with precedence constraints. Associated with every precedence constraint between a pair of jobs is a communication delay, the time duration the scheduler has to wait between the two jobs if they are scheduled on different machines. The objective is to assign the jobs to machines to minimize the makespan of the schedule. Despite being a fundamental problem in theory and a consequential problem in practice, the approximability of scheduling problems with communication delays is not very well understood. One of the top ten open problems in scheduling theory, in the influential list by Schuurman and Woeginger and its latest update by Bansal, asks if the problem admits a constant factor approximation algorithm. In this paper, we answer the question in negative by proving that there is a logarithmic hardness for the problem under the standard complexity theory assumption that NP-complete problems do not admit quasi-polynomial time algorithms. Our hardness result is obtained using a surprisingly simple reduction from a problem that we call Unique Machine Precedence constraints Scheduling (UMPS). We believe that this problem is of central importance in understanding the hardness of many scheduling problems and conjecture that it is very hard to approximate. Among other things, our conjecture implies a logarithmic hardness of related machine scheduling with precedences, a long-standing open problem in scheduling theory and approximation algorithms.


title: Data-driven stability analysis of switched linear systems with Sum of Squares guarantees

abstract: We present a new data-driven method to provide probabilistic stability guarantees for black-box switched linear systems. By sampling a finite number of observations of trajectories, we construct approximate Lyapunov functions and deduce the stability of the underlying system with a user-defined confidence. The number of observations required to attain this confidence level on the guarantee is explicitly characterized. Our contribution is twofold: first, we propose a novel approach for common quadratic Lyapunov functions, relying on sensitivity analysis of a quasi-convex optimization program. By doing so, we improve a recently proposed bound. Then, we show that our new approach allows for extension of the method to Sum of Squares Lyapunov functions, providing further improvement for the technique. We demonstrate these improvements on a numerical example.


title: IPatch: A Remote Adversarial Patch

abstract: Applications such as autonomous vehicles and medical screening use deep learning models to localize and identify hundreds of objects in a single frame. In the past, it has been shown how an attacker can fool these models by placing an adversarial patch within a scene. However, these patches must be placed in the target location and do not explicitly alter the semantics elsewhere in the image. In this paper, we introduce a new type of adversarial patch which alters a model's perception of an image's semantics. These patches can be placed anywhere within an image to change the classification or semantics of locations far from the patch. We call this new class of adversarial examples `remote adversarial patches' (RAP). We implement our own RAP called IPatch and perform an in-depth analysis on image segmentation RAP attacks using five state-of-the-art architectures with eight different encoders on the CamVid street view dataset. Moreover, we demonstrate that the attack can be extended to object recognition models with preliminary results on the popular YOLOv3 model. We found that the patch can change the classification of a remote target region with a success rate of up to 93% on average.


title: Improved Real-Time Monocular SLAM Using Semantic Segmentation on Selective Frames

abstract: Monocular simultaneous localization and mapping (SLAM) is emerging in advanced driver assistance systems and autonomous driving, because a single camera is cheap and easy to install. Conventional monocular SLAM has two major challenges leading inaccurate localization and mapping. First, it is challenging to estimate scales in localization and mapping. Second, conventional monocular SLAM uses inappropriate mapping factors such as dynamic objects and low-parallax areas in mapping. This paper proposes an improved real-time monocular SLAM that resolves the aforementioned challenges by efficiently using deep learning-based semantic segmentation. To achieve the real-time execution of the proposed method, we apply semantic segmentation only to downsampled keyframes in parallel with mapping processes. In addition, the proposed method corrects scales of camera poses and three-dimensional (3D) points, using estimated ground plane from road-labeled 3D points and the real camera height. The proposed method also removes inappropriate corner features labeled as moving objects and low parallax areas. Experiments with eight video sequences demonstrate that the proposed monocular SLAM system achieves significantly improved and comparable trajectory tracking accuracy, compared to existing state-of-the-art monocular and stereo SLAM systems, respectively. The proposed system can achieve real-time tracking on a standard CPU potentially with a standard GPU support, whereas existing segmentation-aided monocular SLAM does not.


title: QDOT: Quantized Dot Product Kernel for Approximate High-Performance Computing

abstract: Approximate computing techniques have been successful in reducing computation and power costs in several domains. However, error sensitive applications in high-performance computing are unable to benefit from existing approximate computing strategies that are not developed with guaranteed error bounds. While approximate computing techniques can be developed for individual high-performance computing applications by domain specialists, this often requires additional theoretical analysis and potentially extensive software modification. Hence, the development of low-level error-bounded approximate computing strategies that can be introduced into any high-performance computing application without requiring additional analysis or significant software alterations is desirable. In this paper, we provide a contribution in this direction by proposing a general framework for designing error-bounded approximate computing strategies and apply it to the dot product kernel to develop qdot -- an error-bounded approximate dot product kernel. Following the introduction of qdot, we perform a theoretical analysis that yields a deterministic bound on the relative approximation error introduced by qdot. Empirical tests are performed to illustrate the tightness of the derived error bound and to demonstrate the effectiveness of qdot on a synthetic dataset, as well as two scientific benchmarks -- Conjugate Gradient (CG) and the Power method. In particular, using qdot for the dot products in CG can result in a majority of components being perforated or quantized to half precision without increasing the iteration count required for convergence to the same solution as CG using a double precision dot product.


title: Nonabelian Extensions and Factor Systems for the Algebras of Loday

abstract: Factor systems are a tool for working on the extension problem of algebraic structures such as groups, Lie algebras, and associative algebras. Their applications are numerous and well-known in these common settings. We construct $\mathscr{P}$ algebra analogues to a series of results from W. R. Scott's $\textit{Group Theory}$, which gives an explicit theory of factor systems for the group case. Here $\mathscr{P}$ ranges over Leibniz, Zinbiel, diassociative, and dendriform algebras, which we dub "the algebras of Loday," as well as over Lie, associative, and commutative algebras. Fixing a pair of $\mathscr{P}$ algebras, we develop a correspondence between factor systems and extensions. This correspondence is strengthened by the fact that equivalence classes of factor systems correspond to those of extensions. Under this correspondence, central extensions give rise to 2-cocycles while split extensions give rise to (nonabelian) 2-coboundaries.


title: InfoNEAT: Information Theory-based NeuroEvolution of Augmenting Topologies for Side-channel Analysis

abstract: Profiled side-channel analysis (SCA) leverages leakage from cryptographic implementations to extract the secret key. When combined with advanced methods in neural networks (NNs), profiled SCA can successfully attack even those crypto-cores assumed to be protected against SCA. Despite the rise in the number of studies devoted to NN-based SCA, a range of questions has remained unanswered, namely: how to choose an NN with an adequate configuration, how to tune the NN's hyperparameters, when to stop the training, etc. Our proposed approach, ``InfoNEAT,'' tackles these issues in a natural way. InfoNEAT relies on the concept of neural structure search, enhanced by information-theoretic metrics to guide the evolution, halt it with novel stopping criteria, and improve time-complexity and memory footprint. The performance of InfoNEAT is evaluated by applying it to publicly available datasets composed of real side-channel measurements. In addition to the considerable advantages regarding the automated configuration of NNs, InfoNEAT demonstrates significant improvements over other approaches for effective key recovery in terms of the number of epochs (e.g.,x6 faster) and the number of attack traces compared to both MLPs and CNNs (e.g., up to 1000s fewer traces to break a device) as well as a reduction in the number of trainable parameters compared to MLPs (e.g., by the factor of up to 32). Furthermore, through experiments, it is demonstrated that InfoNEAT's models are robust against noise and desynchronization in traces.


title: Complete modeling of hydrodynamic bearings with a boundary parameterization approach

abstract: The present work aims to revisit the simplifications made in the Navier-Stokes equations for the flow between two cylinders with a small thickness of lubricating oil film. Through a dimensionless analysis, the terms of these equations are mapped and ordered by importance for the hydrodynamic bearing application. An effective parameterization of the geometry is proposed, enabling a more detailed description of the problem and its adaptation to other contexts. At the end, an elliptical partial differential equation is reached and solved by the centered finite difference method, whose solution is the pressure field between the cylinders. To illustrate the effectiveness of the proposed approach, the model is applied to hydrodynamic bearings, where the pressure field and some parameters resulting from it, such as stiffness and damping coefficients, are computed. Based on the facilities offered by the parameterization of the geometry, two different configurations are presented: (1) elliptical and (2) worn bearings. Their responses are evaluated and a comparative analysis is performed. The modeling exposed in this text, as well as all its simulations were developed to integrate Ross-Rotordynamics, an open library in Python, available on the GitHub platform.


title: Galaxy rotation curves disfavor traditional and self-interacting dark matter halos, preferring a disk component or Einasto function

abstract: We use the galaxy rotation curves in the SPARC database to compare 9 different dark matter and modified gravity models on an equal footing, paying special attention to the stellar mass-to-light ratios. We compare three non-interacting dark matter models, a self interacting DM (SIDM) model, two hadronically interacting DM (HIDM) models, and three modified Newtonian dynamics type models: MOND, Radial Acceleration Relation (RAR) and a maximal-disk model. The models with DM-gas interactions generate a disky component in the dark matter, which significantly improves the fits to the rotation curves compared to all other models except an Einasto halo; the MOND-type models give significantly worse fits.


title: The Origin of Parity Violation in Polarized Dust Emission and Implications for Cosmic Birefringence

abstract: Recent measurements of Galactic polarized dust emission have found a nonzero $TB$ signal, a correlation between the total intensity and the $B$-mode polarization component. We present evidence that this parity-odd signal is driven by the relative geometry of the magnetic field and the filamentary interstellar medium in projection. Using neutral hydrogen morphology and Planck polarization data, we find that the angle between intensity structures and the plane-of-sky magnetic field orientation is predictive of the signs of Galactic $TB$ and $EB$. Our results suggest that magnetically misaligned filamentary dust structures introduce nonzero $TB$ and $EB$ correlations in the dust polarization, and that the intrinsic dust $EB$ can be predicted from measurements of dust $TB$ and $TE$ over the same sky mask. We predict correlations between $TE$, $TB$, $EB$, and $EE/BB$, and confirm our predictions using synthetic dust polarization maps from magnetohydrodynamic simulations. We introduce and measure a scale-dependent effective magnetic misalignment angle, $\psi_\ell^{dust} \sim 5^\circ$ for $100 \lesssim \ell \lesssim 500$, and predict a positive intrinsic dust $EB$ with amplitude $\left<D_\ell^{EB}\right> \lesssim 2.5~\mu\mathrm{K^2_{CMB}}$ for the same multipole range at 353 GHz over our sky mask. Both the sign and amplitude of the Galactic $EB$ signal can change with the sky area considered. Our results imply that searches for parity violation in the cosmic microwave background must account for the nonzero Galactic $EB$ and $TB$ signals, necessitating revision of existing analyses of the evidence for cosmic birefringence.


title: Lux: Always-on Visualization Recommendations for Exploratory Dataframe Workflows

abstract: Exploratory data science largely happens in computational notebooks with dataframe APIs, such as pandas, that support flexible means to transform, clean, and analyze data. Yet, visually exploring data in dataframes remains tedious, requiring substantial programming effort for visualization and mental effort to determine what analysis to perform next. We propose Lux, an always-on framework for accelerating visual insight discovery in dataframe workflows. When users print a dataframe in their notebooks, Lux recommends visualizations to provide a quick overview of the patterns and trends and suggests promising analysis directions. Lux features a high level language for generating visualizations on demand to encourage rapid visual experimentation with data. We demonstrate that through the use of a careful design and three system optimizations, Lux adds no more than two seconds of overhead on top of pandas for over 98% of datasets in the UCI repository. We evaluate Lux in terms of usability via a controlled first-use study and interviews with early adopters, finding that Lux helps fulfill the needs of data scientists for visualization support within their dataframe workflows. Lux has already been embraced by data science practitioners, with over 3.1k stars on Github.


title: On the trifference problem for linear codes

abstract: We prove that perfect $3$-hash linear codes in $\mathbb{F}_{3}^{n}$ must have dimension at most $ \left(\frac{1}{4}-\epsilon\right)n$ for some absolute constant $\epsilon > 0$.


title: Fourier Continuation Discontinuous Galerkin Methods for Linear Hyperbolic Problems

abstract: Fourier continuation is an approach used to create periodic extensions of non-periodic functions in order to obtain highly-accurate Fourier expansions. These methods have been used in PDE-solvers and have demonstrated high-order convergence and spectrally accurate dispersion relations in numerical experiments. Discontinuous Galerkin (DG) methods are increasingly used for solving PDEs and, as all Galerkin formulations, come with a strong framework for proving stability and convergence. Here we propose the use of Fourier continuation in forming a new basis for the DG framework.


title: Run-time Norms Synthesis in Multi-Objective Multi-Agent Systems

abstract: Norms represent behavioural aspects that are encouraged by a social group of agents or the majority of agents in a system. Normative systems enable coordinating synthesised norms of heterogeneous agents in complex multi-agent systems autonomously. In real applications, agents have multiple objectives that may contradict each other or contradict the synthesised norms. Therefore, agents need a mechanism to understand the impact of a suggested norm on their objectives and decide whether or not to adopt it. To address these challenges, a utility based norm synthesis (UNS) model is proposed which allows the agents to coordinate their behaviour while achieving their conflicting objectives. UNS proposes a utility-based case-based reasoning technique, using case-based reasoning for run-time norm synthesising in a centralised approach, and a utility function derived from the objectives of the system and its operating agents to decide whether or not to adopt a norm. The model is evaluated using a two intersecting roads scenario and the results show its efficacy to optimise multiple objectives while adopting synthesised norms.


title: Sparse Pose Trajectory Completion

abstract: We propose a method to learn, even using a dataset where objects appear only in sparsely sampled views (e.g. Pix3D), the ability to synthesize a pose trajectory for an arbitrary reference image. This is achieved with a cross-modal pose trajectory transfer mechanism. First, a domain transfer function is trained to predict, from an RGB image of the object, its 2D depth map. Then, a set of image views is generated by learning to simulate object rotation in the depth space. Finally, the generated poses are mapped from this latent space into a set of corresponding RGB images using a learned identity preserving transform. This results in a dense pose trajectory of the object in image space. For each object type (e.g., a specific Ikea chair model), a 3D CAD model is used to render a full pose trajectory of 2D depth maps. In the absence of dense pose sampling in image space, these latent space trajectories provide cross-modal guidance for learning. The learned pose trajectories can be transferred to unseen examples, effectively synthesizing all object views in image space. Our method is evaluated on the Pix3D and ShapeNet datasets, in the setting of novel view synthesis under sparse pose supervision, demonstrating substantial improvements over recent art.


title: On the Efficient Implementation of an Implicit Discrete-Time Differentiator

abstract: New methodologies are designed to reduce the time complexity of an implicit discrete-time differentiator and the simulation time to implement it. They rely on Horner's method and the Shaw-Traub algorithm. The algorithms are compared for differentiators of orders 3, 7, and 10. The Half-Horner and Full-Horner methods showed the best performance and time complexity.


title: Breadcrumbs: Adversarial Class-Balanced Sampling for Long-tailed Recognition

abstract: The problem of long-tailed recognition, where the number of examples per class is highly unbalanced, is considered. While training with class-balanced sampling has been shown effective for this problem, it is known to over-fit to few-shot classes. It is hypothesized that this is due to the repeated sampling of examples and can be addressed by feature space augmentation. A new feature augmentation strategy, EMANATE, based on back-tracking of features across epochs during training, is proposed. It is shown that, unlike class-balanced sampling, this is an adversarial augmentation strategy. A new sampling procedure, Breadcrumb, is then introduced to implement adversarial class-balanced sampling without extra computation. Experiments on three popular long-tailed recognition datasets show that Breadcrumb training produces classifiers that outperform existing solutions to the problem.


title: H$\rightarrow$invisible at the ILC with SiD

abstract: The Standard Model (SM) predicts a branching ratio of the Higgs boson decaying to invisible particles of $\mathcal{O}$(0.001), though current measurements have only set upper limits on this value. The small SM-allowed rate can be enhanced if the Higgs boson decays into new particles such as dark matter. Upper limits have been placed on BR(H$\rightarrow$inv.) by ATLAS and CMS at $\mathcal{O}$(0.1), but the hadron environment limits precision. The ILC `Higgs factory' will provide unprecedented precision of this electroweak measurement. Studies of the search for H$\rightarrow$invisible processes in simulation are presented with SiD, a detector concept designed for the ILC. Preliminary results for expected sensitivity are provided, as well as studies considering potential systematics limitations.


title: WfChef: Automated Generation of Accurate Scientific Workflow Generators

abstract: Scientific workflow applications have become mainstream and their automated and efficient execution on large-scale compute platforms is the object of extensive research and development. For these efforts to be successful, a solid experimental methodology is needed to evaluate workflow algorithms and systems. A foundation for this methodology is the availability of realistic workflow instances. Dozens of workflow instances for a few scientific applications are available in public repositories. While these are invaluable, they are limited: workflow instances are not available for all application scales of interest. To address this limitation, previous work has developed generators of synthetic, but representative, workflow instances of arbitrary scales. These generators are popular, but implementing them is a manual, labor-intensive process that requires expert application knowledge. As a result, these generators only target a handful of applications, even though hundreds of applications use workflows in production. In this work, we present WfChef, a framework that fully automates the process of constructing a synthetic workflow generator for any scientific application. Based on an input set of workflow instances, WfChef automatically produces a synthetic workflow generator. We define and evaluate several metrics for quantifying the realism of the generated workflows. Using these metrics, we compare the realism of the workflows generated by WfChef generators to that of the workflows generated by the previously available, hand-crafted generators. We find that the WfChef generators not only require zero development effort (because it is automatically produced), but also generate workflows that are more realistic than those generated by hand-crafted generators.


title: Integrating Hydrogen in Single-Price Electricity Systems: The Effects of Spatial Economic Signals

abstract: Hydrogen can contribute substantially to the reduction of carbon emissions in industry and transportation. However, the production of hydrogen through electrolysis creates interdependencies between hydrogen supply chains and electricity systems. Therefore, as governments worldwide are planning considerable financial subsidies and new regulation to promote hydrogen infrastructure investments in the next years, energy policy research is needed to guide such policies with holistic analyses. In this study, we link a electrolytic hydrogen supply chain model with an electricity system dispatch model, for a cross-sectoral case study of Germany in 2030. We find that hydrogen infrastructure investments and their effects on the electricity system are strongly influenced by electricity prices. Given current uniform prices, hydrogen production increases congestion costs in the electricity grid by 17%. In contrast, passing spatially resolved electricity price signals leads to electrolyzers being placed at low-cost grid nodes and further away from consumption centers. This causes lower end-use costs for hydrogen. Moreover, congestion management costs decrease substantially, by up to 20% compared to the benchmark case without hydrogen. These savings could be transferred into according subsidies for hydrogen production. Thus, our study demonstrates the benefits of differentiating economic signals for hydrogen production based on spatial criteria.


title: GistNet: a Geometric Structure Transfer Network for Long-Tailed Recognition

abstract: The problem of long-tailed recognition, where the number of examples per class is highly unbalanced, is considered. It is hypothesized that the well known tendency of standard classifier training to overfit to popular classes can be exploited for effective transfer learning. Rather than eliminating this overfitting, e.g. by adopting popular class-balanced sampling methods, the learning algorithm should instead leverage this overfitting to transfer geometric information from popular to low-shot classes. A new classifier architecture, GistNet, is proposed to support this goal, using constellations of classifier parameters to encode the class geometry. A new learning algorithm is then proposed for GeometrIc Structure Transfer (GIST), with resort to a combination of loss functions that combine class-balanced and random sampling to guarantee that, while overfitting to the popular classes is restricted to geometric parameters, it is leveraged to transfer class geometry from popular to few-shot classes. This enables better generalization for few-shot classes without the need for the manual specification of class weights, or even the explicit grouping of classes into different types. Experiments on two popular long-tailed recognition datasets show that GistNet outperforms existing solutions to this problem.


title: Targeting the Weakest Link: Social Engineering Attacks in Ethereum Smart Contracts

abstract: Ethereum holds multiple billions of U.S. dollars in the form of Ether cryptocurrency and ERC-20 tokens, with millions of deployed smart contracts algorithmically operating these funds. Unsurprisingly, the security of Ethereum smart contracts has been under rigorous scrutiny. In recent years, numerous defense tools have been developed to detect different types of smart contract code vulnerabilities. When opportunities for exploiting code vulnerabilities diminish, the attackers start resorting to social engineering attacks, which aim to influence humans -- often the weakest link in the system. The only known class of social engineering attacks in Ethereum are honeypots, which plant hidden traps for attackers attempting to exploit existing vulnerabilities, thereby targeting only a small population of potential victims. In this work, we explore the possibility and existence of new social engineering attacks beyond smart contract honeypots. We present two novel classes of Ethereum social engineering attacks - Address Manipulation and Homograph - and develop six zero-day social engineering attacks. To show how the attacks can be used in popular programming patterns, we conduct a case study of five popular smart contracts with combined market capitalization exceeding $29 billion, and integrate our attack patterns in their source codes without altering their existing functionality. Moreover, we show that these attacks remain dormant during the test phase but activate their malicious logic only at the final production deployment. We further analyze 85,656 open-source smart contracts, and discover that 1,027 of them can be used for the proposed social engineering attacks. We conduct a professional opinion survey with experts from seven smart contract auditing firms, corroborating that the exposed social engineering attacks bring a major threat to the smart contract systems.


title: Semi-supervised Long-tailed Recognition using Alternate Sampling

abstract: Main challenges in long-tailed recognition come from the imbalanced data distribution and sample scarcity in its tail classes. While techniques have been proposed to achieve a more balanced training loss and to improve tail classes data variations with synthesized samples, we resort to leverage readily available unlabeled data to boost recognition accuracy. The idea leads to a new recognition setting, namely semi-supervised long-tailed recognition. We argue this setting better resembles the real-world data collection and annotation process and hence can help close the gap to real-world scenarios. To address the semi-supervised long-tailed recognition problem, we present an alternate sampling framework combining the intuitions from successful methods in these two research areas. The classifier and feature embedding are learned separately and updated iteratively. The class-balanced sampling strategy has been implemented to train the classifier in a way not affected by the pseudo labels' quality on the unlabeled data. A consistency loss has been introduced to limit the impact from unlabeled data while leveraging them to update the feature embedding. We demonstrate significant accuracy improvements over other competitive methods on two datasets.


title: Bermuda Triangles: GNNs Fail to Detect Simple Topological Structures

abstract: Most graph neural network architectures work by message-passing node vector embeddings over the adjacency matrix, and it is assumed that they capture graph topology by doing that. We design two synthetic tasks, focusing purely on topological problems -- triangle detection and clique distance -- on which graph neural networks perform surprisingly badly, failing to detect those "bermuda" triangles. Datasets and their generation scripts are publicly available on github.com/FujitsuLaboratories/bermudatriangles and dataset.labs.fujitsu.com.


title: Exact and approximate solutions to the minimum of $1+x+\cdots+x^{2n}$

abstract: The polynomial $f_{2n}(x)=1+x+\cdots+x^{2n}$ and its minimizer on the real line $x_{2n}=\operatorname{arg\,inf} f_{2n}(x)$ for $n\in\Bbb N$ are studied. Results show that $x_{2n}$ exists, is unique, corresponds to $\partial_x f_{2n}(x)=0$, and resides on the interval $[-1,-1/2]$ for all $n$. It is further shown that $\inf f_{2n}(x)=(1+2n)/(1+2n(1-x_{2n}))$ and $\inf f_{2n}(x)\in[1/2,3/4]$ for all $n$ with an exact solution for $x_{2n}$ given in the form of a finite sum of hypergeometric functions of unity argument. Perturbation theory is applied to generate rapidly converging and asymptotically exact approximations to $x_{2n}$. Numerical studies are carried out to show how many terms of the perturbation expansion for $x_{2n}$ are needed to obtain suitably accurate approximations to the exact value.


title: Cross-Modal Self-Attention with Multi-Task Pre-Training for Medical Visual Question Answering

abstract: Due to the severe lack of labeled data, existing methods of medical visual question answering usually rely on transfer learning to obtain effective image feature representation and use cross-modal fusion of visual and linguistic features to achieve question-related answer prediction. These two phases are performed independently and without considering the compatibility and applicability of the pre-trained features for cross-modal fusion. Thus, we reformulate image feature pre-training as a multi-task learning paradigm and witness its extraordinary superiority, forcing it to take into account the applicability of features for the specific image comprehension task. Furthermore, we introduce a cross-modal self-attention~(CMSA) module to selectively capture the long-range contextual relevance for more effective fusion of visual and linguistic features. Experimental results demonstrate that the proposed method outperforms existing state-of-the-art methods. Our code and models are available at https://github.com/haifangong/CMSA-MTPT-4-MedicalVQA.


title: Deep Convolution for Irregularly Sampled Temporal Point Clouds

abstract: We consider the problem of modeling the dynamics of continuous spatial-temporal processes represented by irregular samples through both space and time. Such processes occur in sensor networks, citizen science, multi-robot systems, and many others. We propose a new deep model that is able to directly learn and predict over this irregularly sampled data, without voxelization, by leveraging a recent convolutional architecture for static point clouds. The model also easily incorporates the notion of multiple entities in the process. In particular, the model can flexibly answer prediction queries about arbitrary space-time points for different entities regardless of the distribution of the training or test-time data. We present experiments on real-world weather station data and battles between large armies in StarCraft II. The results demonstrate the model's flexibility in answering a variety of query types and demonstrate improved performance and efficiency compared to state-of-the-art baselines.


title: SWIF Convergence of Smocked Metric Spaces

abstract: In this paper we explore a special class of metric spaces called smocked metric spaces and study their tangent cones at infinity. We prove that under the right hypotheses, the rescaled limits of balls converge in both the Gromov-Hausdorff and Intrinsic Flat sense to normed spaces. This paper will be applied in upcoming work by Kazaras and Sormani concerning Gromov's conjectures on the properties of GH and SWIF limits of Riemannian manifolds with positive scalar curvature.


title: A robust, high-order implicit shock tracking method for simulation of complex, high-speed flows

abstract: High-order implicit shock tracking is a new class of numerical methods to approximate solutions of conservation laws with non-smooth features. These methods align elements of the computational mesh with non-smooth features to represent them perfectly, allowing high-order basis functions to approximate smooth regions of the solution without the need for nonlinear stabilization, which leads to accurate approximations on traditionally coarse meshes. The hallmark of these methods is the underlying optimization formulation whose solution is a feature-aligned mesh and the corresponding high-order approximation to the flow; the key challenge is robustly solving the central optimization problem. In this work, we develop a robust optimization solver for high-order implicit shock tracking methods so they can be reliably used to simulate complex, high-speed, compressible flows in multiple dimensions. The proposed method integrates practical robustness measures into a sequential quadratic programming method, including dimension- and order-independent simplex element collapses, mesh smoothing, and element-wise solution re-initialization, which prove to be necessary to reliably track complex discontinuity surfaces, such as curved and reflecting shocks, shock formation, and shock-shock interaction. A series of nine numerical experiments -- including two- and three-dimensional compressible flows with complex discontinuity surfaces -- are used to demonstrate: 1) the robustness of the solver, 2) the meshes produced are high-quality and track continuous, non-smooth features in addition to discontinuities, 3) the method achieves the optimal convergence rate of the underlying discretization even for flows containing discontinuities, and 4) the method produces highly accurate solutions on extremely coarse meshes relative to approaches based on shock capturing.


title: Cycle types of complete mappings of finite fields

abstract: We derive several existence results concerning cycle types and, more generally, the "mapping behavior" of complete mappings. Our focus is on so-called first-order cyclotomic mappings, which are functions on a finite field $\mathbb{F}_q$ that fix $0$ and restrict to the multiplication $x\mapsto a_ix$ by a fixed element $a_i\in\mathbb{F}_q$ on each coset $C_i$ of a given subgroup $C$ of $\mathbb{F}_q^{\ast}$. The gist of two of our main results is that as long as $q$ is large enough relative to the index $|\mathbb{F}_q^{\ast}:C|$, all cycle types of first-order cyclotomic permutations with only long cycles on $\mathbb{F}_q^{\ast}$ can be achieved through a complete mapping, as can all permutations of the cosets of $C$. Our third main result provides new examples of complete mappings $f$ such that both $f$ and its associated orthomorphism $f+\operatorname{id}$ permute the nonzero field elements in one cycle.


title: PER Measurement of BLE in RF Interference and Harsh Electromagnetic Environment

abstract: Bluetooth Low Energy (BLE) is a short-range data transmission technology that is used for multimedia file sharing, home automation, and internet-of-things application. In this work, we perform packet error rate (PER) measurement and RF testing of BLE receiver in the harsh electromagnetic environment and in presence of RF interference. We check the PER performance in the line-of-sight (LOS) and non-line-of-sight (NLOS) scenario in absence of any interfering signal and in presence of wideband WLAN interference. The BLE PER measurements are conducted in a large reverberation chamber which is a rich scattering environment. Software-defined-radio has been used to create BLE communication link for PER measurement in LOS and NLOS configuration. The BLE PER is measured both in the presence and in absence of WLAN interference. Our measurement results show a higher PER for uncoded BLE PHY modes in NLOS channel condition and in presence of wideband interference. Whereas coded BLE PHY modes i.e. LE500K and LE125K are robust to interference with lower PER measurements.


title: The sub-Neptune desert and its dependence on stellar type: Controlled by lifetime X-ray irradiation

abstract: Short-period sub-Neptunes with substantial volatile envelopes are among the most common type of known exoplanets. However, recent studies of the Kepler population have suggested a dearth of sub-Neptunes on highly irradiated orbits, where they are vulnerable to atmospheric photoevaporation. Physically, we expect this "photoevaporation desert" to depend on the total lifetime X-ray and extreme ultraviolet flux, the main drivers of atmospheric escape. In this work, we study the demographics of sub-Neptunes as a function of lifetime exposure to high energy radiation and host star mass. We find that for a given present day insolation, planets orbiting a 0.3 $M_{sun}$ star experience $\sim$100 $\times$ more X-ray flux over their lifetimes versus a 1.2 $M_{sun}$ star. Defining the photoevaporation desert as a region consistent with zero occurrence at 2 $\sigma$, the onset of the desert happens for integrated X-ray fluxes greater than 1.43 $\times 10^{22}$ erg/cm$^2$ to 8.23 $\times 10^{20}$ erg/cm$^2$ as a function of planetary radii for 1.8 -- 4 $R_{\oplus}$. We also compare the location of the photoevaporation desert for different stellar types. We find much greater variability in the desert onset in bolometric flux space compared to integrated X-ray flux space, suggestive of photoevaporation driven by steady state stellar X-ray emissions as the dominant control on desert location. Finally, we report tentative evidence for the sub-Neptune valley, first seen around Sun-like stars, for M & K dwarfs. The discovery of additional planets around low-mass stars from surveys such as the TESS mission will enable detailed exploration of these trends.


title: Minimal gap in the spectrum of the Sierpinski gasket

abstract: This paper studies the size of the minimal gap between any two consecutive eigenvalues in the Dirichlet and in the Neumann spectrum of the standard Laplace operator on the Sierpinski gasket. The main result shows the remarkable fact that this minimal gap is achieved and coincides with the spectral gap. The Dirichlet case is more challenging and requires some key observations in the behavior of the dynamical system that describes the spectrum.


title: Taylor-Hood like finite elements for nearly incompressible strain gradient elasticity problems

abstract: We propose a family of mixed finite elements that are robust for the nearly incompressible strain gradient model, which is a fourth-order singular perturbed elliptic system. The element is similar to [C. Taylor and P. Hood, Comput. & Fluids, 1(1973), 73-100] in the Stokes flow. Using a uniform discrete B-B inequality for the mixed finite element pairs, we show the optimal rate of convergence that is robust in the incompressible limit. By a new regularity result that is uniform in both the materials parameter and the incompressibility, we prove the method converges with $1/2$ order to the solution with strong boundary layer effects. Moreover, we estimate the convergence rate of the numerical solution to the unperturbed second-order elliptic system. Numerical results for both smooth solutions and the solutions with sharp layers confirm the theoretical prediction.


title: Recovering almost everything diffusion could reveal

abstract: Diffusion magnetic resonance has been employed for determining the distribution of net displacements (ensemble average propagator), moments and correlations of net displacements, and the steady-state distribution of magnetized particles. All such quantities are accessible via the diffusion propagator, which characterizes the diffusion process fully. Here, a novel diffusion encoding and data analysis framework is introduced with which the diffusion propagator can be recovered.

categories: cond-mat.mtrl-sci physics.app-ph physics.bio-ph physics.chem-ph


title: EntrapNet: a Blockchain-Based Verification Protocol for Trustless Computing

abstract: In this paper, we propose a blockchain-based computing verification protocol, called EntrapNet, for distributed shared computing networks, an emerging underlying network for many internet of things (IoT) applications. EntrapNet borrows the idea from the practice of entrapment in criminal law to reduce the possibility of receiving incorrect computing results from trustless service providers who have offered the computing resources. Furthermore, we mathematically optimize EntrapNet to deal with the fundamental tradeoff of a network: security and efficiency. We present an asymptotic optimal solution to this optimization. It will be seen that EntrapNet can be performed as an independent and low-cost layer atop any trustless network that requires outsourced computing, thus making secure computing affordable and practical.


title: Constructing Galois representations with large Iwasawa $\lambda$-Invariant

abstract: Let $p\geq 5$ be a prime. We construct modular Galois representations for which the $\mathbb{Z}_p$-corank of the $p$-primary Selmer group (i.e., $\lambda$-invariant) over the cyclotomic $\mathbb{Z}_p$-extension is large. More precisely, for any natural number $n$, one constructs a modular Galois representation such that the associated $\lambda$-invariant is $\geq n$. The method is based on the study of congruences between modular forms, and leverages results of Greenberg and Vatsal. Given a modular form $f_1$ satisfying suitable conditions, one constructs a congruent modular form $f_2$ for which the $\lambda$-invariant of the Selmer group is large. A key ingredient in acheiving this is the Galois theoretic lifting result of Fakruddin-Khare-Patrikis, which extends previous work of Ramakrishna. The results are subject to certain additional hypotheses, and are illustrated by explicit examples.


title: Induced Quantized Spin Current in Vacuum

abstract: We uncover a fundamental effect of the QED vacuum in an external electromagnetic (EM) field. We show that the quantized vacuum of electrons is spin polarized by the EM field and manifests as a vacuum spin current. An experiment is proposed to measure the spin torque exerted by the spin current by measuring the twisted angle of the director axis of a nematic liquid crystal.


title: SVT-Net: Super Light-Weight Sparse Voxel Transformer for Large Scale Place Recognition

abstract: Point cloud-based large scale place recognition is fundamental for many applications like Simultaneous Localization and Mapping (SLAM). Although many models have been proposed and have achieved good performance by learning short-range local features, long-range contextual properties have often been neglected. Moreover, the model size has also become a bottleneck for their wide applications. To overcome these challenges, we propose a super light-weight network model termed SVT-Net for large scale place recognition. Specifically, on top of the highly efficient 3D Sparse Convolution (SP-Conv), an Atom-based Sparse Voxel Transformer (ASVT) and a Cluster-based Sparse Voxel Transformer (CSVT) are proposed to learn both short-range local features and long-range contextual features in this model. Consisting of ASVT and CSVT, SVT-Net can achieve state-of-the-art on benchmark datasets in terms of both accuracy and speed with a super-light model size (0.9M). Meanwhile, two simplified versions of SVT-Net are introduced, which also achieve state-of-the-art and further reduce the model size to 0.8M and 0.4M respectively.


title: Capturing Logical Structure of Visually Structured Documents with Multimodal Transition Parser

abstract: While many NLP pipelines assume raw, clean texts, many texts we encounter in the wild, including a vast majority of legal documents, are not so clean, with many of them being visually structured documents (VSDs) such as PDFs. Conventional preprocessing tools for VSDs mainly focused on word segmentation and coarse layout analysis, whereas fine-grained logical structure analysis (such as identifying paragraph boundaries and their hierarchies) of VSDs is underexplored. To that end, we proposed to formulate the task as prediction of "transition labels" between text fragments that maps the fragments to a tree, and developed a feature-based machine learning system that fuses visual, textual and semantic cues.Our system is easily customizable to different types of VSDs and it significantly outperformed baselines in identifying different structures in VSDs. For example, our system obtained a paragraph boundary detection F1 score of 0.953 which is significantly better than a popular PDF-to-text tool with an F1 score of 0.739.


title: Theoretical Analysis for Determining Geographical Route of Cable Network with Various Disaster-Endurance Levels

abstract: This paper theoretically analyzes cable network disconnection due to randomly occurring natural disasters, where the disaster-endurance (DE) levels of the network are determined by a network entity such as the type of shielding method used for a duct containing cables. The network operator can determine which parts have a high DE level. When a part of a network can be protected, the placement of that part can be specified to decrease the probability of disconnecting two given nodes. The maximum lower bound of the probability of connecting two given nodes is explicitly derived. Conditions decreasing (not decreasing) the probability of connecting two given nodes with a partially protected network are provided.


title: Science as a Public Good: Public Use and Funding of Science

abstract: Knowledge of how science is consumed in public domains is essential for a deeper understanding of the role of science in human society. While science is heavily supported by public funding, common depictions suggest that scientific research remains an isolated or 'ivory tower' activity, with weak connectivity to public use, little relationship between the quality of research and its public use, and little correspondence between the funding of science and its public use. This paper introduces a measurement framework to examine public good features of science, allowing us to study public uses of science, the public funding of science, and how use and funding relate. Specifically, we integrate five large-scale datasets that link scientific publications from all scientific fields to their upstream funding support and downstream public uses across three public domains - government documents, the news media, and marketplace invention. We find that the public uses of science are extremely diverse, with different public domains drawing distinctively across scientific fields. Yet amidst these differences, we find key forms of alignment in the interface between science and society. First, despite concerns that the public does not engage high-quality science, we find universal alignment, in each scientific field and public domain, between what the public consumes and what is highly impactful within science. Second, despite myriad factors underpinning the public funding of science, the resulting allocation across fields presents a striking alignment with the field's collective public use. Overall, public uses of science present a rich landscape of specialized consumption, yet collectively science and society interface with remarkable, quantifiable alignment between scientific use, public use, and funding.


title: Pedestrian Collision Avoidance for Autonomous Vehicles at Unsignalized Intersection Using Deep Q-Network

abstract: Prior research has extensively explored Autonomous Vehicle (AV) navigation in the presence of other vehicles, however, navigation among pedestrians, who are the most vulnerable element in urban environments, has been less examined. This paper explores AV navigation in crowded, unsignalized intersections. We compare the performance of different deep reinforcement learning methods trained on our reward function and state representation. The performance of these methods and a standard rule-based approach were evaluated in two ways, first at the unsignalized intersection on which the methods were trained, and secondly at an unknown unsignalized intersection with a different topology. For both scenarios, the rule-based method achieves less than 40\% collision-free episodes, whereas our methods result in a performance of approximately 100\%. Of the three methods used, DDQN/PER outperforms the other two methods while it also shows the smallest average intersection crossing time, the greatest average speed, and the greatest distance from the closest pedestrian.


title: Enhanced metal-insulator transition in freestanding VO2 down to 5 nm thickness

abstract: Ultrathin freestanding membranes with a pronounced metal-insulator transition (MIT) provides huge potential in future flexible electronic applications as well as a unique aspect of the study of lattice-electron interplay. However, the reduction of the thickness to an ultrathin region (a few nm) is typically detrimental to the MIT in epitaxial films, and even catastrophic for their freestanding form. Here, we report an enhanced MIT in VO2-based freestanding membranes, with a lateral size up to millimetres and VO2 thickness down to 5 nm. The VO2-membranes were detached by dissolving a Sr3Al2O6 sacrificial layer between the VO2 thin film and c-Al2O3(0001) substrate, allowing a transfer onto arbitrary surfaces. Furthermore, the MIT in the VO2-membrane was greatly enhanced by inserting an intermediate Al2O3 buffer layer. In comparison to the best available ultrathin VO2-membranes, the enhancement of MIT is over 400% at 5 nm VO2 thickness and more than one order of magnitude for VO2 above 10 nm. Our study widens the spectrum of functionality in ultrathin and large-scale membranes, and enables the potential integration of MIT into flexible electronics and photonics.


title: Probabilistic Analysis of Operating Modes in Cache-Enabled Full-Duplex D2D Networks

abstract: With the extensive acquisition of various mobile applications, cellular networks are facing challenges due to exponentially growing demand for high data rate, which causes a great burden on mobile core networks and backhaul links. Cache-enabled Device-to-Device (D2D) communication, which is recognized as one of the key enablers of the fifth generation (5G) cellular network, is a promising solution to alleviate this problem. However, conventional half-duplex (HD) communication may not be sufficient to provide fast enough content delivery over D2D links in order to meet strict latency targets of emerging D2D applications. In-band full-duplex (FD), with its capability of allowing simultaneous transmission and reception, can provide more content delivery opportunities, thus resulting improved spectral efficiency and latency reduction. However, given the random nature of the cached contents in user devices and users' random requests, it is unlikely to consider all involving nodes in content exchange collaborations as a pure HD or FD network. In this paper, we aim to analyze the caching perspective of a finite network of D2D nodes in which each node is endowed with FD capability and utilize a more realistic caching policy. We model and analyze all possible operating modes for an arbitrary device, which we compute the probability of occurrence of each mode along with the Probability Mass Functions (PMFs) of nodes that are operating in all possible modes. Our analysis concretely quantize all possible outcomes that strongly depend on the random nature of the caching parameters, yielding to have an accurate insight on the caching performance and all possible outcomes of the cache-enabled FD-D2D network.


title: Affine Kac-Moody Groups as Twisted Loop Groups obtained by Galois Descent Considerations

abstract: We provide explicit generators and relations for the affine Kac-Moody groups, as well as a realization of them as (twisted) loop groups by means of Galois descent considerations.


title: A Deep Learning Framework for Lifelong Machine Learning

abstract: Humans can learn a variety of concepts and skills incrementally over the course of their lives while exhibiting many desirable properties, such as continual learning without forgetting, forward transfer and backward transfer of knowledge, and learning a new concept or task with only a few examples. Several lines of machine learning research, such as lifelong machine learning, few-shot learning, and transfer learning attempt to capture these properties. However, most previous approaches can only demonstrate subsets of these properties, often by different complex mechanisms. In this work, we propose a simple yet powerful unified deep learning framework that supports almost all of these properties and approaches through one central mechanism. Experiments on toy examples support our claims. We also draw connections between many peculiarities of human learning (such as memory loss and "rain man") and our framework. As academics, we often lack resources required to build and train, deep neural networks with billions of parameters on hundreds of TPUs. Thus, while our framework is still conceptual, and our experiment results are surely not SOTA, we hope that this unified lifelong learning framework inspires new work towards large-scale experiments and understanding human learning in general. This paper is summarized in two short YouTube videos: https://youtu.be/gCuUyGETbTU (part 1) and https://youtu.be/XsaGI01b-1o (part 2).


title: Equivalence of Correlation Filter and Convolution Filter in Visual Tracking

abstract: (Discriminative) Correlation Filter has been successfully applied to visual tracking and has advanced the field significantly in recent years. Correlation filter-based trackers consider visual tracking as a problem of matching the feature template of the object and candidate regions in the detection sample, in which correlation filter provides the means to calculate the similarities. In contrast, convolution filter is usually used for blurring, sharpening, embossing, edge detection, etc in image processing. On the surface, correlation filter and convolution filter are usually used for different purposes. In this paper, however, we proves, for the first time, that correlation filter and convolution filter are equivalent in the sense that their minimum mean-square errors (MMSEs) in visual tracking are equal, under the condition that the optimal solutions exist and the ideal filter response is Gaussian and centrosymmetric. This result gives researchers the freedom to choose correlation or convolution in formulating their trackers. It also suggests that the explanation of the ideal response in terms of similarities is not essential.


title: Boundedness of precompact sets of metric measure spaces

abstract: We give a detailed proof to Gromov's statement that precompact sets of metric measure spaces are bounded with respect to the box distance and the Lipschitz order.


title: Inverse Designed Extended Depth of Focus Meta-Optics for Broadband Imaging in the Visible

abstract: We report an inverse-designed, high numerical aperture (~0.44), extended depth of focus (EDOF) meta-optic, which exhibit a lens-like point spread function (PSF). The EDOF meta-optic maintains a focusing efficiency comparable to that of a hyperboloid metalens throughout its depth of focus. Exploiting the extended depth of focus and computational post-processing, we demonstrate broadband imaging across the full visible spectrum using a 1 mm, f/1 meta-optic. Unlike other canonical EDOF meta-optics, characterized by phase masks such as a log-asphere or cubic function, our design exhibits a highly invariant PSF across ~290nm optical bandwidth, which leads to significantly improved image quality, as quantified by structural similarity metrics.


title: Extending Harvey's Surface Kernel Maps

abstract: Let $S$ be a compact Riemann surface and $G$ a group of conformal automorphisms of $S$ with $S_0 = S/G$. $S$ is a finite regular branched cover of $S_0$. If $U$ denotes the unit disc, let $\Gamma$ and $\Gamma_0$ be the Fuchsian groups with $S = U/{\Gamma}$ and $S_0 = U/{\Gamma_0}$. There is a group homomorphism of $\Gamma_0$ onto $G$ with kernel $\Gamma$ and this is termed a surface kernel map. Two surface kernel maps are equivalent if they differ by an automorphism of $\Gamma_0$. In his 1971 paper Harvey showed that when $G$ is a cyclic group, there is a unique simplest representative for this equivalence class. His result has played an important role in establishing subsequent results about conformal automorphism groups of surfaces. We extend his result to some surface kernel maps onto arbitrary finite groups. These can be used along with the Schreier-Reidemeister Theory to find a set of generators for $\Gamma$ and the action of $G$ as an outer automorphism group on the fundamental group of $S$ putting the action on the fundamental group and the induced action on homology into a relatively simple format. As an example we compute generators for the fundamental group and a homology basis together with the action of $G$ when $G$ is ${\mathcal{S}_3$, the symmetric group on three letters. The action of $G$ shows that the homology basis found is not an adapted homology basis.


title: Generative Art Using Neural Visual Grammars and Dual Encoders

abstract: Whilst there are perhaps only a few scientific methods, there seem to be almost as many artistic methods as there are artists. Artistic processes appear to inhabit the highest order of open-endedness. To begin to understand some of the processes of art making it is helpful to try to automate them even partially. In this paper, a novel algorithm for producing generative art is described which allows a user to input a text string, and which in a creative response to this string, outputs an image which interprets that string. It does so by evolving images using a hierarchical neural Lindenmeyer system, and evaluating these images along the way using an image text dual encoder trained on billions of images and their associated text from the internet. In doing so we have access to and control over an instance of an artistic process, allowing analysis of which aspects of the artistic process become the task of the algorithm, and which elements remain the responsibility of the artist.


title: Autonomous Reconfigurable Intelligent Surfaces Through Wireless Energy Harvesting

abstract: In this paper, we examine the potential for a reconfigurable intelligent surface (RIS) to be powered by energy harvested from information signals. This feature might be key to reap the benefits of RIS technology's lower power consumption compared to active relays. We first identify the main RIS power-consuming components and then propose an energy harvesting and power consumption model. Furthermore, we formulate and solve the problem of the optimal RIS placement together with the amplitude and phase response adjustment of its elements in order to maximize the signal-to-noise ratio (SNR) while harvesting sufficient energy for its operation. Finally, numerical results validate the autonomous operation potential and reveal the range of power consumption values that enables it.


title: Hidden Backdoors in Human-Centric Language Models

abstract: Natural language processing (NLP) systems have been proven to be vulnerable to backdoor attacks, whereby hidden features (backdoors) are trained into a language model and may only be activated by specific inputs (called triggers), to trick the model into producing unexpected behaviors. In this paper, we create covert and natural triggers for textual backdoor attacks, \textit{hidden backdoors}, where triggers can fool both modern language models and human inspection. We deploy our hidden backdoors through two state-of-the-art trigger embedding methods. The first approach via homograph replacement, embeds the trigger into deep neural networks through the visual spoofing of lookalike character replacement. The second approach uses subtle differences between text generated by language models and real natural text to produce trigger sentences with correct grammar and high fluency. We demonstrate that the proposed hidden backdoors can be effective across three downstream security-critical NLP tasks, representative of modern human-centric NLP systems, including toxic comment detection, neural machine translation (NMT), and question answering (QA). Our two hidden backdoor attacks can achieve an Attack Success Rate (ASR) of at least $97\%$ with an injection rate of only $3\%$ in toxic comment detection, $95.1\%$ ASR in NMT with less than $0.5\%$ injected data, and finally $91.12\%$ ASR against QA updated with only 27 poisoning data samples on a model previously trained with 92,024 samples (0.029\%). We are able to demonstrate the adversary's high success rate of attacks, while maintaining functionality for regular users, with triggers inconspicuous by the human administrators.


title: HyNTP: A Distributed Hybrid Algorithm for Time Synchronization

abstract: This paper presents a distributed hybrid algorithm that synchronizes the time and rate of a set of clocks connected over a network. Clock measurements of the nodes are given at aperiodic time instants and the controller at each node uses these measurements to achieve synchronization. Due to the continuous and impulsive nature of the clocks and the network, we introduce a hybrid system model to effectively capture the dynamics of the system and the proposed hybrid algorithm. Moreover, the hybrid algorithm allows each agent to estimate the skew of its internal clock in order to allow for synchronization to a common timer rate. We provide sufficient conditions guaranteeing synchronization of the timers, exponentially fast. Numerical results illustrate the synchronization property induced by the proposed algorithm as well as its performance against comparable algorithms from the literature.


title: Pore-scale investigation on natural convection melting in a square cavity with gradient porous media

abstract: In this paper, a numerical study on the melting behavior of phase change material (PCM) with gradient porous media has been carried out at the pore scales. In order to solve the governing equations, a pore-scale lattice Boltzmann method with the double distribution functions is used, in which a volumetric LB scheme is employed to handle the boundary. The Monte Carlo random sampling is adopted to generate a microstructure of two-dimensional gradient foam metal which are then used to simulate the solid-liquid phase transition in the cavity. The effect of several factors, such as gradient porosity structure, gradient direction, Rayleigh number and particle diameters on the liquid fraction of PCM are systematically investigated. It is observed that the presence of gradient media affect significantly the melting rate and shortens full melting time compared to that for constant porosity by enhancing natural convection. The melting time of positive and negative gradients will change with Rayleigh number, and there is a critical value for Rayleigh number. Specifically, when Rayleigh number is below the critical value, the positive gradient is more advantageous, and when Rayleigh number exceeds the critical value, the negative gradient is more advantageous. Moreover, smaller particle diameters would lead to lower permeability and larger internal surfaces for heat transfer.


title: Holographic Entanglement negativity in flat space generalized minimal massive gravity

abstract: In this paper we study the application of holographic entanglement negativity proposal for bipartite states in the 2d Galilean conformal field theory ($GCFT_2$) dual to bulk asymptotically flat spacetimes in the context of generalized minimal massive gravity (GMMG) model. $GCFT_2$ is considered on the boundary side of the duality and the bulk gravity is described by GMMG that is asymptotically symmetric under the Galilean conformal transformations. In this paper, the replica technique, based on the two-point and the four-point twist correlators, is utilized and the entanglement entropy and the entanglement negativity are obtained in the bipartite configurations of the system in the boundary.


title: Towards Kitaev Spin Liquid in 3d Transition Metal Compounds

abstract: This paper reviews the current progress on searching the Kitaev spin liquid state in 3d electron systems. Honeycomb cobaltates were recently proposed as promising candidates to realize the Kitaev spin liquid state, due to the more localized wave functions of 3d ions compared with that of 4d and 5d ions, and also the easy tunability of the exchange Hamiltonian in favor of Kitaev interaction. Several key parameters that have large impacts on the exchange constants, such as the charge-transfer gap and the trigonal crystal field, are identified and discussed. Specifically, tuning crystal field effect by means of strain or pressure is emphasized as an efficient phase control method driving the magnetically ordered cobaltates into the spin liquid state. Experimental results suggesting the existence of strong Kitaev interactions in layered honeycomb cobaltates are discussed. Finally, the future research directions are briefly outlined.


title: Asymptotic behavior of fronts and pulses of the bidomain model

abstract: The bidomain model is the standard model for cardiac electrophysiology. In this paper, we investigate the instability and asymptotic behavior of planar fronts and planar pulses of the bidomain Allen-Cahn equation and the bidomain FitzHugh-Nagumo equation in two spatial dimension. In previous work, it was shown that planar fronts of the bidomain Allen-Cahn equation can become unstable in contrast to the classical Allen-Cahn equation. We find that, after the planar front is destabilized, a rotating zigzag front develops whose shape can be explained by simple geometric arguments using a suitable Frank diagram. We also show that the Hopf bifurcation through which the front becomes unstable can be either supercritical or subcritical, by demonstrating a parameter regime in which a stable planar front and zigzag front can coexist. In our computational studies of the bidomain FitzHugh-Nagumo pulse solution, we show that the pulses can also become unstable much like the bidomain Allen-Cahn fronts. However, unlike the bidomain Allen-Cahn case, the destabilized pulse does not necessarily develop into a zigzag pulse. For certain choice of parameters, the destabilized pulse can disintegrate entirely. These studies are made possible by the development of a numerical scheme that allows for the accurate computation of the bidomain equation in a two dimensional strip domain of infinite extent.


title: Prescribed Webster scalar curvature flow on CR manifold

abstract: Using the prescribed Webster scalar curvature flow, we prove some existence results on the 3-dimensional compact CR manifold with nonnegative CR Yamabe constant.


title: AlloST: Low-resource Speech Translation without Source Transcription

abstract: The end-to-end architecture has made promising progress in speech translation (ST). However, the ST task is still challenging under low-resource conditions. Most ST models have shown unsatisfactory results, especially in the absence of word information from the source speech utterance. In this study, we survey methods to improve ST performance without using source transcription, and propose a learning framework that utilizes a language-independent universal phone recognizer. The framework is based on an attention-based sequence-to-sequence model, where the encoder generates the phonetic embeddings and phone-aware acoustic representations, and the decoder controls the fusion of the two embedding streams to produce the target token sequence. In addition to investigating different fusion strategies, we explore the specific usage of byte pair encoding (BPE), which compresses a phone sequence into a syllable-like segmented sequence. Due to the conversion of symbols, a segmented sequence represents not only pronunciation but also language-dependent information lacking in phones. Experiments conducted on the Fisher Spanish-English and Taigi-Mandarin drama corpora show that our method outperforms the conformer-based baseline, and the performance is close to that of the existing best method using source transcription.


title: A QUBO formulation for top-$\tau$ eigencentrality nodes

abstract: The efficient calculation of the centrality or "hierarchy" of nodes in a network has gained great relevance in recent years due to the generation of large amounts of data. The eigenvector centrality (aka eigencentrality) is quickly becoming a good metric for centrality due to both its simplicity and fidelity. In this work we lay the foundations for solving the eigencentrality problem of ranking the importance of the nodes of a network with scores from the eigenvector of the network, using quantum computational paradigms such as quantum annealing and gate-based quantum computing. The problem is reformulated as a quadratic unconstrained binary optimization (QUBO) that can be solved on both quantum architectures. The results focus on correctly identifying a given number of the most important nodes in numerous networks given by the sparse vector solution of our QUBO formulation of the problem of identifying the top-$\tau$ highest eigencentrality nodes in a network on both the D-Wave and IBM quantum computers


title: Emotion Recognition of the Singing Voice: Toward a Real-Time Analysis Tool for Singers

abstract: Current computational-emotion research has focused on applying acoustic properties to analyze how emotions are perceived mathematically or used in natural language processing machine learning models. While recent interest has focused on analyzing emotions from the spoken voice, little experimentation has been performed to discover how emotions are recognized in the singing voice -- both in noiseless and noisy data (i.e., data that is either inaccurate, difficult to interpret, has corrupted/distorted/nonsense information like actual noise sounds in this case, or has a low ratio of usable/unusable information). Not only does this ignore the challenges of training machine learning models on more subjective data and testing them with much noisier data, but there is also a clear disconnect in progress between advancing the development of convolutional neural networks and the goal of emotionally cognizant artificial intelligence. By training a new model to include this type of information with a rich comprehension of psycho-acoustic properties, not only can models be trained to recognize information within extremely noisy data, but advancement can be made toward more complex biofeedback applications -- including creating a model which could recognize emotions given any human information (language, breath, voice, body, posture) and be used in any performance medium (music, speech, acting) or psychological assistance for patients with disorders such as BPD, alexithymia, autism, among others. This paper seeks to reflect and expand upon the findings of related research and present a stepping-stone toward this end goal.


title: Blockchain-Based Decentralized Energy Management Platform for Residential Distributed Energy Resources in A Virtual Power Plant

abstract: The advent of distributed energy resources (DERs), such as distributed renewables, energy storage, electric vehicles, and controllable loads, \rv{brings} a significantly disruptive and transformational impact on the centralized power system. It is widely accepted that a paradigm shift to a decentralized power system with bidirectional power flow is necessary to the integration of DERs. The virtual power plant (VPP) emerges as a promising paradigm for managing DERs to participate in the power system. In this paper, we develop a blockchain-based VPP energy management platform to facilitate a rich set of transactive energy activities among residential users with renewables, energy storage, and flexible loads in a VPP. Specifically, users can interact with each other to trade energy for mutual benefits and provide network services, such as feed-in energy, reserve, and demand response, through the VPP. To respect the users' independence and preserve their privacy, we design a decentralized optimization algorithm to optimize the users' energy scheduling, energy trading, and network services. Then we develop a prototype blockchain network for VPP energy management and implement the proposed algorithm on the blockchain network. By experiments using real-world data-trace, we validated the feasibility and effectiveness of our algorithm and the blockchain system. The simulation results demonstrate that our blockchain-based VPP energy management platform reduces the users' cost by up to 38.6% and reduces the overall system cost by 11.2%.


title: Distributed Energy Trading Management for Renewable Prosumers with HVAC and Energy Storage

abstract: Heating, ventilating, and air-conditioning (HVAC) systems consume a large amount of energy in residential houses and buildings. Effective energy management of HVAC is a cost-effective way to improve energy efficiency and reduce the energy cost of residential users. This work develops a novel distributed method for the residential transactive energy system that enables multiple users to interactively optimize their energy management of HVAC systems and behind-the-meter batteries. Specifically, this method effectively reduces the cost of smart homes by employing energy trading among users to leverage their power usage flexibility without compromising the users' privacy. To achieve this goal, we design a distributed optimization algorithm based on the alternating direction method of multipliers (ADMM) to automatically operate the HVAC system and batteries, which minimizes the energy costs of users. Specifically, we decouple the optimization problem into a primal subproblem and a dual subproblem. The primal subproblem is solved by the users, and the dual subproblem is solved by the grid operator. Unlike the existing centralized method, our approach only uses the users' private information locally for solving the primal subproblem hence preserves the users' privacy. Using real-world data, we validate our proposed algorithm through extensive simulations in Matlab. The results demonstrate that our method effectively incentivizes the energy trading among the users to reduce users' peak load and reduce the overall energy cost of the system by 23% on average.


title: On connections between Morita semigroups and strong Morita equivalence

abstract: A surjective Morita context connecting semigroups $S$ and $T$ yields a Morita semigroup and a strict local isomorphism from it onto $S$ along which idempotents lift. We describe strong Morita equivalence of firm semigroups in terms of Morita semigroups and isomorphisms. We also generalize some of Hotzel's theorems to semigroups with weak local units. In particular, the Morita semigroup induced by a dual pair $\beta$ over a semigroup with weak local units is isomorphic to $\Sigma ^\beta$.


title: Deep Spectrum Cartography: Completing Radio Map Tensors Using Learned Neural Models

abstract: The spectrum cartography (SC) technique constructs multi-domain (e.g., frequency, space, and time) radio frequency (RF) maps from limited measurements, which can be viewed as an ill-posed tensor completion problem. Model-based cartography techniques often rely on handcrafted priors (e.g., sparsity, smoothness and low-rank structures) for the completion task. Such priors may be inadequate to capture the essence of complex wireless environments -- especially when severe shadowing happens. To circumvent such challenges, offline-trained deep neural models of radio maps were considered for SC, as deep neural networks (DNNs) are able to "learn" intricate underlying structures from data. However, such deep learning (DL)-based SC approaches encounter serious challenges in both off-line model learning (training) and completion (generalization), possibly because the latent state space for generating the radio maps is prohibitively large. In this work, an emitter radio map disaggregation-based approach is proposed, under which only individual emitters' radio maps are modeled by DNNs. This way, the learning and generalization challenges can both be substantially alleviated. Using the learned DNNs, a fast nonnegative matrix factorization-based two-stage SC method and a performance-enhanced iterative optimization algorithm are proposed. Theoretical aspects -- such as recoverability of the radio tensor, sample complexity, and noise robustness -- under the proposed framework are characterized, and such theoretical properties have been elusive in the context of DL-based radio tensor completion. Experiments using synthetic and real-data from indoor and heavily shadowed environments are employed to showcase the effectiveness of the proposed methods.


title: Improved Power Decoding of Algebraic Geometry Codes

abstract: Power decoding is a partial decoding paradigm for arbitrary algebraic geometry codes for decoding beyond half the minimum distance, which usually returns the unique closest codeword, but in rare cases fails to return anything. The original version decodes roughly up to the Sudan radius, while an improved version decodes up to the Johnson radius, but has so far been described only for Reed--Solomon and one-point Hermitian codes. In this paper we show how the improved version can be applied to any algebraic geometry code.


title: Hyers-Ulam stability of isometries on bounded domains

abstract: More than 20 years after Fickett attempted to prove the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ in 1981, V\"{a}is\"{a}l\"{a} improved Fickett's result significantly. In this paper, we will improve Fickett's theorem by proving the Hyers-Ulam stability of isometries defined on bounded subsets of $\mathbb{R}^n$ using a more intuitive method different from that used by V\"{a}is\"{a}l\"{a}.


title: A Brief Survey And Investigation Of Hybrid Beamforming For Millimeter Waves In 5G Massive MIMO Systems

abstract: Millimeter-wave (mm-wave) is a promising technique to enhance the network capacity and coverage of next-generation (5G) based on utilizing a great number of available spectrum resources in mobile communication. Improving the 5G network requires enhancing and employing mm-wave beamforming channel propagation characteristics. To achieve high data rates, system performance remains a challenge given the impact of propagation channels in mm-wave that is insufficient in both path loss, delay spread, and penetration loss. Additional challenges arise due to high cost and energy consumption, which require combining both analog and digital beamforming (hybrid beamforming) to reduce the number of radio frequency (RF) chains. In this paper, the distributed powers in the small cell to suppress path loss by specifying a considerable power and controlling the distributed power to reduce the high cost and energy consumption was proposed. The hybrid beamforming in mm-wave exploits a large bandwidth which reduces the large path loss in Rayleigh fading channel. Also, the trade-off between the energy consumption of RF chains and cost efficiency depends on reducing the number of RF chains and the distributed number of users. This paper finds that hybrid beamforming for massive multiple-input multiple-output (MIMO) systems constitute a promising platform for advancing and capitalizing on 5G networks


title: Arrhythmogenicity of cardiac fibrosis: fractal measures and Betti numbers

abstract: Infarction- or ischaemia-induced cardiac fibrosis can be arrythmogenic. We use mathematcal models for diffuse fibrosis ($\mathcal{DF}$), interstitial fibrosis ($\mathcal{IF}$), patchy fibrosis ($\mathcal{PF}$), and compact fibrosis ($\mathcal{CF}$) to study patterns of fibrotic cardiac tissue that have been generated by new mathematical algorithms. We show that the fractal dimension $\mathbb{D}$, the lacunarity $\mathcal{L}$, and the Betti numbers $\beta_0$ and $\beta_1$ of such patterns are \textit{fibrotic-tissue markers} that can be used to characterise the arrhythmogenicity of different types of cardiac fibrosis. We hypothesize, and then demonstrate by extensive \textit{in silico} studies of detailed mathematical models for cardiac tissue, that the arrhytmogenicity of fibrotic tissue is high when $\beta_0$ is large and the lacunarity parameter $b$ is small.


title: $L^1$-Theory for Hele-Shaw flow with linear drift

abstract: The main goal of this paper is to prove $L^1$-comparison and contraction principles for weak solutions (in the sense of distributions) of Hele-Shaw flow with a linear Drift. The flow is considered with a general reaction term including the Lipschitz continuous case, and subject to mixed homogeneous boundary conditions : Dirichlet and Neumann. Our approach combines DiPerna-Lions renormalization type with Kruzhkov device of doubling and de-doubling variables. The $L^1$-contraction principle allows afterwards to handle the problem in a general framework of nonlinear semigroup theory in $L^1,$ taking thus advantage of this strong theory to study existence, uniqueness, comparison of weak solutions, $L^1$-stability as well as many further questions.


title: A systematic mapping study on security countermeasures of in-vehicle communication systems

abstract: The innovations of vehicle connectivity have been increasing dramatically to enhance the safety and user experience of driving, while the rising numbers of interfaces to the external world also bring security threats to vehicles. Many security countermeasures have been proposed and discussed to protect the systems and services against attacks. To provide an overview of the current states in this research field, we conducted a systematic mapping study on the topic area "security countermeasures of in-vehicle communication systems". 279 papers are identified based on the defined study identification strategy and criteria. We discussed four research questions related to the security countermeasures, validation methods, publication patterns, and research trends and gaps based on the extracted and classified data. Finally, we evaluated the validity threats, the study identification results, and the whole mapping process. We found that the studies in this topic area are increasing rapidly in recent years. However, there are still gaps in various subtopics like automotive Ethernet security, anomaly reaction, and so on. This study reviews the target field not only related to research findings but also research activities, which can help identify research gaps at a high level and inspire new ideas for future work.


title: On a nodal observer for a semilinear model for the flow in gas networks

abstract: The flow of gas through networks of pipes can be modeled by coupling hyperbolic systems of partial differential equations that describe the flow through the pipes that form the edges of the graph of the network by algebraic node conditions that model the flow through the vertices of the graph. In the network, measurements of the state are available at certain points in space. Based upon these nodal observations, the complete system state can be approximated using an observer system. In this paper we present a nodal observer, and prove that the state of the observer system converges to the original state exponentially fast. Numerical experiments confirm the theoretical findings.


title: Cycle algebras and polytopes of matroids

abstract: Cycle polytopes of matroids have been introduced in combinatorial optimization as a generalization of important classes of polyhedral objects like cut polytopes and Eulerian subgraph polytopes associated to graphs. Here we start an algebraic and geometric investigation of these polytopes by studying their toric algebras, called cycle algebras, and their defining ideals. Several matroid operations are considered which determine faces of cycle polytopes that belong again to this class of polyhedral objects. As a key technique used in this paper, we study certain minors of given matroids which yield algebra retracts on the level of cycle algebras. In particular, that allows us to use a powerful algebraic machinery. As an application, we study highest possible degrees in minimal homogeneous systems of generators of defining ideals of cycle algebras as well as interesting cases of cut polytopes and Eulerian subgraph polytopes.


title: Analysis of the differential cross section and photon beam asymmetry data for $\gamma p \to \eta^\prime p$

abstract: The photoproduction reaction of $\gamma p \to \eta^\prime p$ is investigated based on an effective Lagrangian approach in the tree-level approximation, with the purpose being to understand the reaction mechanisms and to extract the resonance contents and the associated resonance parameters in this reaction. Apart from the $t$-channel $\rho$ and $\omega$ exchanges, $s$- and $u$-channel nucleon exchanges, and generalized contact term, the exchanges of a minimum number of nucleon resonances in the $s$ channel are taken into account in constructing the reaction amplitudes to describe the experimental data. It is found that a satisfactory description of the available data on both differential cross sections and photon beam asymmetries can be obtained by including in the $s$ channel the exchanges of the $N(1875)3/2^-$ and $N(2040)3/2^+$ resonances. The reaction mechanisms of $\gamma p \to \eta^\prime p$ are discussed and a prediction for the target nucleon asymmetries is presented.