title: Simulating open quantum dynamics on an NMR quantum processor using the Sz.-Nagy dilation algorithm

abstract: We experimentally implement the Sz.-Nagy dilation algorithm to simulate open quantum dynamics on an nuclear magnetic resonance (NMR) quantum processor. The Sz.-Nagy algorithm enables the simulation of the dynamics of arbitrary-dimensional open quantum systems, using only a single ancilla qubit. We experimentally simulate the action of two non-unitary processes, namely, a phase damping channel acting independently on two qubits and a magnetic field gradient pulse (MFGP) acting on an ensemble of two coupled nuclear spin-1/2 particles. To evaluate the quality of the experimentally simulated quantum process, we perform convex optimization-based full quantum process tomography to reconstruct the quantum process from the experimental data and compare it with the target quantum process to be simulated.


title: Backscattering of MeV Electrons. An Analysis of Tabata's Experiment with Geant4

abstract: A series of simulations were conducted with Geant4 in order to verify the electron backscattering experiments performed by Tabata in the low Z elements of Be, C, and Al. In general, quite good agreement was obtained by carefully choosing the physics lists employed. These results invalidate the claim made before about the presence of experimental errors in the above work.


title: Statistical self-organization of a gas of interacting walking drops in a confining potential

abstract: A drop bouncing on a vertically-vibrated surface may self-propel forward by standing waves and travels along a fluid interface. This system called walking drop forms a non-quantum wave-particle association at the macroscopic scale. The dynamics of one particle has triggered many investigations and has resulted in spectacular experimental results in the last decade. We investigate numerically the dynamics of a gas of walkers, i.e. a large number of walking drops evolving on a unbounded fluid interface in the presence of a confining potential acting on the particles. We show that even if the individual trajectories are erratic, the system presents well-defined ordered internal structure that remains invariant to parameter variations such as the number of drops, the memory time and the bath radius. We rationalize such non-stationary self-organization in terms of the symmetry of the waves and show that oscillatory pair potentials form a wavy collective state of active matter.


title: Two results on end spaces of infinite type surfaces

abstract: We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are not self-similar, but a unique maximal type of end, either a singleton or Cantor set. Secondly, we use an argument of Tsankov to show that the "local complexity" relation $\preccurlyeq$ on end types gives an equivalence relation that agrees with the notion of being locally homeomorphic.


title: Complete classification of steerability under local filters and its relation with measurement incompatibility

abstract: Quantum steering is the central resource for one-sided device-independent quantum information. It is manipulated via one-way local operations and classical communication, such as local filtering on the trusted party. Here, we provide a necessary and sufficient condition for a steering assemblage to be transformable into another one via local filtering. We characterize the equivalence classes with respect to filters in terms of the steering equivalent observables measurement assemblage (SEO), first proposed to connect the problem of steerability with measurement incompatibility. We provide an efficient method to compute the maximal extractable steerability via local filters and show that it coincides with the incompatibility of the SEO. Moreover, we show that there always exists a bipartite state that provides an assemblage with steerability equal to the incompatibility of the measurements on the untrusted party. Finally, we investigate the optimal success probability and rates for transformation protocols (distillation and dilution) in the single-shot scenario together with examples.


title: GroupGazer: A Tool to Compute the Gaze per Participant in Groups with integrated Calibration to Map the Gaze Online to a Screen or Beamer Projection

abstract: In this paper we present GroupGaze. It is a tool that can be used to calculate the gaze direction and the gaze position of whole groups. GroupGazer calculates the gaze direction of every single person in the image and allows to map these gaze vectors to a projection like a projector. In addition to the person-specific gaze direction, the person affiliation of each gaze vector is stored based on the position in the image. Also, it is possible to save the group attention after a calibration. The software is free to use and requires a simple webcam as well as an NVIDIA GPU and the operating system Windows or Linux. Link: https://es-cloud.cs.uni-tuebingen.de/d/8e2ab8c3fdd444e1a135/?p=%2FGroupGazer&mode=list


title: Abelianized structures in spherically symmetric hypersurface deformations

abstract: In canonical gravity, general covariance is implemented by hypersurface-deformation symmetries on phase space. The different versions of hypersurface deformations required for full covariance have complicated interplays with one another, governed by non-Abelian brackets with structure functions. For spherically symmetric space-times, it is possible to identify a certain Abelian substructure within general hypersurface deformations, which suggests a simplified realization as a Lie algebra. The generators of this substructure can be quantized more easily than full hypersurface deformations, but the symmetries they generate do not directly correspond to hypersurface deformations. The availability of consistent quantizations therefore does not guarantee general covariance or a meaningful quantum notion thereof. In addition to placing the Abelian substructure within the full context of spherically symmetric hypersurface deformation, this paper points out several subtleties relevant for attempted applications in quantized space-time structures. In particular, it follows that recent constructions by Gambini, Olmedo and Pullin in an Abelianized setting fail to address the covariance crisis of loop quantum gravity.


title: Nonergodic Brownian oscillator

abstract: We consider an open (Brownian) classical harmonic oscillator in contact with a non-Markovian thermal bath and described by the generalized Langevin equation. When the bath's spectrum has a finite upper cutoff frequency, the oscillator may have ergodic and nonergodic configurations. In ergodic configurations (when exist, they correspond to lower oscillator frequencies) the oscillator demonstrates conventional relaxation to thermal equilibrium with the bath. In nonergodic configurations (which correspond to higher oscillator frequencies) the oscillator in general does not thermalize, but relaxes to periodically correlated (cyclostationary) states whose statistics vary periodically in time. For a specific dissipation kernel in the Langevin equation, we evaluate explicitly relevant relaxation functions, which describe the evolution of mean values and time correlations. When the oscillator frequency is switched from a lower value to higher one, the oscillator may show parametric ergodic to nonergodic transitions with equilibrium initial and cyclostationary final states. These transitions are shown to resemble phase transitions of the second kind.


title: Coded Compressed Sensing with List Recoverable Codes for the Unsourced Random Access

abstract: We consider a coded compressed sensing approach for the unsourced random access and replace the outer tree code proposed by Amalladinne et al. with the list recoverable code capable of correcting t errors. A finite-length random coding bound for such codes is derived. The numerical experiments in the single antenna quasi-static Rayleigh fading MAC show that transition to list recoverable codes correcting t errors improves the performance of coded compressed sensing scheme by 7-10 dB compared to the tree code-based scheme. We propose two practical constructions of outer codes. The first is a modification of the tree code. It utilizes the same code structure, and a key difference is a decoder capable of correcting up to t errors. The second is based on the Reed-Solomon codes and Guruswami-Sudan list decoding algorithm. The first scheme provides an energy efficiency very close to the random coding bound when the decoding complexity is unbounded. But for the practical parameters, the second scheme is better and improves the performance of a tree code-based scheme when the number of active users is less than 200.


title: Exploring Spreadsheet Use and Practices in a Technologically Constrained Setting

abstract: This paper explores the impacts of spreadsheets on business operations in a water utility parastatal in Malawi, Sub-Saharan Africa. The organisation is a typical example of a semi-government body operating in a technologically underdeveloped country. The study focused on spreadsheet scope of use and life cycle as well as organisational policy and governance. The results will help define future spreadsheet usage by influencing new approaches for managing potential risks associated with spreadsheets in the organization. Generally, findings indicate that the proliferation of spreadsheets in the organization has provided an enabling environment for business automation. The paper also highlights management, technological and human factor issues contributing to high risks associated with the pervasive spreadsheet use. The conclusions drawn from the research confirms that there is ample room for improvement in many areas such as implementation of comprehensive policies and regulations governing spreadsheet development processes and adoption.


title: Frustration driven Josephson phase dynamics

abstract: The Josephson equations predict remarkable effects concerning the phase state of a superconducting junction with an oscillating current induced by a static voltage. Whether the paradigm can be twisted by yielding an oscillating voltage without making use of harmonic drives is a fundamentally relevant problem yet not fully settled. Here, we demonstrate that a dynamical regime with an oscillating phase evolution is a general hallmark of driven Josephson systems exhibiting sign competition in the Josephson couplings. We show that in frustrated Josephson systems an oscillating phase dynamics gets switched on by driving the changeover among different ground states, which can be induced by varying the parameters that set the phase state. Remarkably, the character of the transitions in the Josephson phase space allows different types of dynamics, with few or several harmonics. This result sets out a characteristic mark of any superconducting system with frustrated Josephson couplings and can be exploited to disentangle the complexity of the underlying phases.


title: Visualization and Analysis of Wearable Health Data From COVID-19 Patients

abstract: Effective visualizations were evaluated to reveal relevant health patterns from multi-sensor real-time wearable devices that recorded vital signs from patients admitted to hospital with COVID-19. Furthermore, specific challenges associated with wearable health data visualizations, such as fluctuating data quality resulting from compliance problems, time needed to charge the device and technical problems are described. As a primary use case, we examined the detection and communication of relevant health patterns visible in the vital signs acquired by the technology. Customized heat maps and bar charts were used to specifically highlight medically relevant patterns in vital signs. A survey of two medical doctors, one clinical project manager and seven health data science researchers was conducted to evaluate the visualization methods. From a dataset of 84 hospitalized COVID-19 patients, we extracted one typical COVID-19 patient history and based on the visualizations showcased the health history of two noteworthy patients. The visualizations were shown to be effective, simple and intuitive in deducing the health status of patients. For clinical staff who are time-constrained and responsible for numerous patients, such visualization methods can be an effective tool to enable continuous acquisition and monitoring of patients' health statuses even remotely.


title: Variance-Reduced Stochastic Quasi-Newton Methods for Decentralized Learning: Part I

abstract: In this work, we investigate stochastic quasi-Newton methods for minimizing a finite sum of cost functions over a decentralized network. In Part I, we develop a general algorithmic framework that incorporates stochastic quasi-Newton approximations with variance reduction so as to achieve fast convergence. At each time each node constructs a local, inexact quasi-Newton direction that asymptotically approaches the global, exact one. To be specific, (i) A local gradient approximation is constructed by using dynamic average consensus to track the average of variance-reduced local stochastic gradients over the entire network; (ii) A local Hessian inverse approximation is assumed to be positive definite with bounded eigenvalues, and how to construct it to satisfy these assumptions will be given in Part II. Compared to the existing decentralized stochastic first-order methods, the proposed general framework introduces the second-order curvature information without incurring extra sampling or communication. With a fixed step size, we establish the conditions under which the proposed general framework linearly converges to an exact optimal solution.


title: Anytime PSRO for Two-Player Zero-Sum Games

abstract: Policy space response oracles (PSRO) is a multi-agent reinforcement learning algorithm that has achieved state-of-the-art performance in very large two-player zero-sum games. PSRO is based on the tabular double oracle (DO) method, an algorithm that is guaranteed to converge to a Nash equilibrium, but may increase exploitability from one iteration to the next. We propose anytime double oracle (ADO), a tabular double oracle algorithm for 2-player zero-sum games that is guaranteed to converge to a Nash equilibrium while decreasing exploitability from one iteration to the next. Unlike DO, in which the restricted distribution is based on the restricted game formed by each player's strategy sets, ADO finds the restricted distribution for each player that minimizes its exploitability against any policy in the full, unrestricted game. We also propose a method of finding this restricted distribution via a no-regret algorithm updated against best responses, called RM-BR DO. Finally, we propose anytime PSRO (APSRO), a version of ADO that calculates best responses via reinforcement learning. In experiments on Leduc poker and random normal form games, we show that our methods achieve far lower exploitability than DO and PSRO and decrease exploitability monotonically.


title: On the impact of VR assessment on the Quality of Experience of Highly Realistic Digital Humans

abstract: Fuelled by the increase in popularity of virtual and augmented reality applications, point clouds have emerged as a popular 3D format for acquisition and rendering of digital humans, thanks to their versatility and real-time capabilities. Due to technological constraints and real-time rendering limitations, however, the visual quality of dynamic point cloud contents is seldom evaluated using virtual and augmented reality devices, instead relying on prerecorded videos displayed on conventional 2D screens. In this study, we evaluate how the visual quality of point clouds representing digital humans is affected by compression distortions. In particular, we compare three different viewing conditions based on the degrees of freedom that are granted to the viewer: passive viewing (2DTV), head rotation (3DoF), and rotation and translation (6DoF), to understand how interacting in the virtual space affects the perception of quality. We provide both quantitative and qualitative results of our evaluation involving 78 participants, and we make the data publicly available. To the best of our knowledge, this is the first study evaluating the quality of dynamic point clouds in virtual reality, and comparing it to traditional viewing settings. Results highlight the dependency of visual quality on the content under test, and limitations in the way current data sets are used to evaluate compression solutions. Moreover, influencing factors in quality evaluation in VR, and shortcomings in how point cloud encoding solutions handle visually-lossless compression, are discussed.


title: Quarkonium Suppression in the Open Quantum System Approach

abstract: Quarkonium suppression in relativistic heavy ion collisions has been studied experimentally for decades to probe the properties of the quark-gluon plasma. For this purpose, complete theoretical understanding of the time evolution of quarkonium inside the quark-gluon plasma is needed but challenging. Here I review recent progress in applying the open quantum system framework to describe the real-time dynamics of quarkonium, with a focus on the gauge-invariant chromoelectric field correlators of the plasma that control the dynamics.


title: Q-ViT: Fully Differentiable Quantization for Vision Transformer

abstract: In this paper, we propose a fully differentiable quantization method for vision transformer (ViT) named as Q-ViT, in which both of the quantization scales and bit-widths are learnable parameters. Specifically, based on our observation that heads in ViT display different quantization robustness, we leverage head-wise bit-width to squeeze the size of Q-ViT while preserving performance. In addition, we propose a novel technique named switchable scale to resolve the convergence problem in the joint training of quantization scales and bit-widths. In this way, Q-ViT pushes the limits of ViT quantization to 3-bit without heavy performance drop. Moreover, we analyze the quantization robustness of every architecture component of ViT and show that the Multi-head Self-Attention (MSA) and the Gaussian Error Linear Units (GELU) are the key aspects for ViT quantization. This study provides some insights for further research about ViT quantization. Extensive experiments on different ViT models, such as DeiT and Swin Transformer show the effectiveness of our quantization method. In particular, our method outperforms the state-of-the-art uniform quantization method by 1.5% on DeiT-Tiny.


title: Rapidly Descending Dark Energy and the End of Cosmic Expansion

abstract: If dark energy is a form of quintessence driven by a scalar field $\phi$ evolving down a monotonically decreasing potential $V(\phi)$ that passes sufficiently below zero, the universe is destined to undergo a series of smooth transitions. The currently observed accelerated expansion will cease; soon thereafter, expansion will come to end altogether; and the universe will pass into a phase of slow contraction. In this paper, we consider how short the remaining period of expansion can be given current observational constraints on dark energy. We also discuss how this scenario fits naturally with cyclic cosmologies and recent conjectures about quantum gravity.


title: GEMEL: Model Merging for Memory-Efficient, Real-Time Video Analytics at the Edge

abstract: Video analytics pipelines have steadily shifted to edge deployments to reduce bandwidth overheads and privacy violations, but in doing so, face an ever-growing resource tension. Most notably, edge-box GPUs lack the memory needed to concurrently house the growing number of (increasingly complex) models for real-time inference. Unfortunately, existing solutions that rely on time/space sharing of GPU resources are insufficient as the required swapping delays result in unacceptable frame drops and accuracy violations. We present model merging, a new memory management technique that exploits architectural similarities between edge vision models by judiciously sharing their layers (including weights) to reduce workload memory costs and swapping delays. Our system, GEMEL, efficiently integrates merging into existing pipelines by (1) leveraging several guiding observations about per-model memory usage and inter-layer dependencies to quickly identify fruitful and accuracy-preserving merging configurations, and (2) altering edge inference schedules to maximize merging benefits. Experiments across diverse workloads reveal that GEMEL reduces memory usage by up to 60.7%, and improves overall accuracy by 8-39% relative to time/space sharing alone.


title: Object Detection in Autonomous Vehicles: Status and Open Challenges

abstract: Object detection is a computer vision task that has become an integral part of many consumer applications today such as surveillance and security systems, mobile text recognition, and diagnosing diseases from MRI/CT scans. Object detection is also one of the critical components to support autonomous driving. Autonomous vehicles rely on the perception of their surroundings to ensure safe and robust driving performance. This perception system uses object detection algorithms to accurately determine objects such as pedestrians, vehicles, traffic signs, and barriers in the vehicle's vicinity. Deep learning-based object detectors play a vital role in finding and localizing these objects in real-time. This article discusses the state-of-the-art in object detectors and open challenges for their integration into autonomous vehicles.


title: A Census of the Low Accretors. I: The Catalog

abstract: Observations have shown that the disk frequency and the fraction of accreting pre-main-sequence stars decrease with the age of the population and that some stars appear to have disks while their accretion has stopped. Still, it is unclear how disk-bearing stars stop their accretion. To provide insight into the last stages of accretion in low-mass young stars, we conducted a survey of disk-bearing stars that are thought to be non-accretors to identify stars still accreting at very low rates. Here we present the first catalog of the survey of 170 disk-bearing non-accreting stars in Chamaeleon I, Orion OB1, Upper Scorpius, $\gamma$ Velorum, and Upper Centaurus Lupus, using He I $\lambda$10830 as a sensitive probe of accretion. We classify the line profiles into six types and argue that those showing redshifted and/or blueshifted absorption are still accreting. Using these classifications, we found that, among disk-bearing stars previously classified as non-accretors, at least 20-30% are still accreting, with a larger fraction of those at younger population ages. While the difference between the outer disk signature and accretion status is unclear, we find a difference between the inner disk excess and accretion status. There is no preference in the mass of the newly identified accretors, suggesting that the processes inhibiting accretion do not directly depend on mass in the typical mass range of T Tauri stars. Lastly, we found that at a low accretion level, the H$\alpha$ width at the 10% height criteria mischaracterizes a larger fraction of accretors than the line's equivalent width.


title: Debiased Graph Neural Networks with Agnostic Label Selection Bias

abstract: Most existing Graph Neural Networks (GNNs) are proposed without considering the selection bias in data, i.e., the inconsistent distribution between the training set with test set. In reality, the test data is not even available during the training process, making selection bias agnostic. Training GNNs with biased selected nodes leads to significant parameter estimation bias and greatly impacts the generalization ability on test nodes. In this paper, we first present an experimental investigation, which clearly shows that the selection bias drastically hinders the generalization ability of GNNs, and theoretically prove that the selection bias will cause the biased estimation on GNN parameters. Then to remove the bias in GNN estimation, we propose a novel Debiased Graph Neural Networks (DGNN) with a differentiated decorrelation regularizer. The differentiated decorrelation regularizer estimates a sample weight for each labeled node such that the spurious correlation of learned embeddings could be eliminated. We analyze the regularizer in causal view and it motivates us to differentiate the weights of the variables based on their contribution on the confounding bias. Then, these sample weights are used for reweighting GNNs to eliminate the estimation bias, thus help to improve the stability of prediction on unknown test nodes. Comprehensive experiments are conducted on several challenging graph datasets with two kinds of label selection biases. The results well verify that our proposed model outperforms the state-of-the-art methods and DGNN is a flexible framework to enhance existing GNNs.


title: Homology of homologous knotted proteins

abstract: Quantification and classification of protein structures, such as knotted proteins, often requires noise-free and complete data. Here we develop a mathematical pipeline that systematically analyzes protein structures. We showcase this geometric framework on proteins forming open-ended trefoil knots, and we demonstrate that the mathematical tool, persistent homology, faithfully represents their structural homology. This topological pipeline identifies important geometric features of protein entanglement and clusters the space of trefoil proteins according to their depth. Persistence landscapes quantify the topological difference between a family of knotted and unknotted proteins in the same structural homology class. This difference is localized and interpreted geometrically with recent advancements in systematic computation of homology generators. The topological and geometric quantification we find is robust to noisy input data, which demonstrates the potential of this approach in contexts where standard knot theoretic tools fail.


title: A Riemann-Roch theorem on a weighted infinite graph

abstract: A Riemann-Roch theorem on graph was initiated by M. Baker and S. Norine. In their article [2], a Riemann-Roch theorem on a finite graph with uniform vertex-weight and uniform edge-weight was established and it was suggested a Riemann-Roch theorem on an infinite graph was feasible. In this article, we take an edge-weighted infinite graph and focus on the importance of the spectral gaps of the Laplace operators defined on its finite subgraphs naturally given by Q-valued positive weights on the edges. We build a potential theoretic scheme for proof of a Riemann-Roch theorem on the edge-weighted infinite graph.


title: Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces

abstract: Brain computing interfaces (BCI) are used in a plethora of safety/privacy-critical applications, ranging from healthcare to smart communication and control. Wearable BCI setups typically involve a head-mounted sensor connected to a mobile device, combined with ML-based data processing. Consequently, they are susceptible to a multiplicity of attacks across the hardware, software, and networking stacks used that can leak users' brainwave data or at worst relinquish control of BCI-assisted devices to remote attackers. In this paper, we: (i) analyse the whole-system security and privacy threats to existing wearable BCI products from an operating system and adversarial machine learning perspective; and (ii) introduce Argus, the first information flow control system for wearable BCI applications that mitigates these attacks. Argus' domain-specific design leads to a lightweight implementation on Linux ARM platforms suitable for existing BCI use-cases. Our proof of concept attacks on real-world BCI devices (Muse, NeuroSky, and OpenBCI) led us to discover more than 300 vulnerabilities across the stacks of six major attack vectors. Our evaluation shows Argus is highly effective in tracking sensitive dataflows and restricting these attacks with an acceptable memory and performance overhead (<15%).


title: On Multi-domain Network Slicing Orchestration Architecture & Federated Resource Control

abstract: A sophisticated and efficient network slicing architecture is needed to support the orchestration of network slices across multiple administrative domains. Such multi-domain architecture shall be agnostic of the underlying virtualization and network infrastructure technologies. Its objective is to extend the traditional orchestration, management and control capabilities by means of models and constructs in order to form a well-stitched composition of network slices. To facilitate such composition of networking and compute/storage resources, this paper introduces a management and orchestration architecture that incorporates Software Defined Networking (SDN) and Network Function Virtualization (NFV) components to the basic 3GPP network slice management. The proposed architecture is broadly divided into four major strata, namely Multi-domain Service Conductor Stratum, Domain-specific Fully-Fledged Orchestration Stratum, Sub-Domain Management and Orchestration (MANO) and Connectivity Stratum, and Logical Multidomain Slice Instance stratum. Each of these strata is described in detail providing also the fundamental operational specifics for instantiating and managing the resulting federated network slices.


title: Smart Service-Oriented Clustering for Dynamic Slice Configuration

abstract: The fifth generation (5G) and beyond wireless networks are foreseen to operate in a fully automated manner, in order to fulfill the promise of ultra-short latency, meet the exponentially increasing resource requirements, and offer the quality of experience (QoE) expected from end-users. Among the ingredients involved in such environments, network slicing enables the creation of logical networks tailored to support specific application demands (i.e., service level agreement SLA, quality of service QoS, etc.) on top of physical infrastructure. This creates the need for mechanisms that can collect spatiotemporal information on users'service consumption, and identify meaningful insights and patterns, leveraging machinelearning techniques. In this vein, our paper proposes a framework dubbed"SOCLfor" the Service Oriented CLustering, analysis and profiling of users (i.e., humans, sensors, etc.) when consuming enhanced Mobile BroadBand (eMBB) applications, internet of things (IoT) services, and unmanned aerial vehicles services (UAVs). SOCL relies mainly on the realistic network simulation framework"network slice planne"(NSP), and two clustering methods namely K-means and hierarchical clustering. The obtained results showcase interesting features, highlighting the benefit of the proposed framework.


title: Efficient Steering Mechanism for Mobile Network-enabled UAVs

abstract: The consideration of mobile networks as a communication infrastructure for unmanned aerial vehicles (UAVs) creates a new plethora of emerging services and opportunities. In particular, the availability of different mobile network operators (MNOs) can be exploited by the UAVs to steer connection to the MNO ensuring the best quality of experience (QoE). While the concept of traffic steering is more known at the network side, extending it to the device level would allow meeting the emerging requirements of today's applications. In this vein, an efficient steering solutions that take into account the nature and the characteristics of this new type of communication is highly needed. The authors introduce, in this paper, a mechanism for steering the connection in mobile network-enabled UAVs. The proposed solution considers a realistic communication model that accounts for most of the propagation phenomena experienced by wireless signals. Moreover, given the complexity of the related optimization problem, which is inherent from this realistic model, the authors propose a solution based on coalitional game. The goal is to form UAVs in coalitions around the MNOs, in a way to enhance their QoE. The conducted performance evaluations show the potential of using several MNOs to enhance the QoE for mobile network-enabled UAVs and prove the effectiveness of the proposed solution. Index


title: Towards studying Service Function Chain Migration Patterns in 5G Networks and beyond

abstract: Given the indispensable need for a reliable network architecture to cope with 5G networks, 3GPP introduced a covet technology dubbed 5G Service Based Architecture (5G-SBA). Meanwhile, Multi-access Edge Computing (MEC) combined with SBA conveys a better experience to end-users by bringing application hosting from centralized data centers down to the network edge, closer to consumers and the data generated by applications. Both the 3GPP and the ETSI proposals offered numerous benefits, particularly the ability to deliver highly customizable services. Nevertheless, compared to large datacenters that tolerate the hosting of standard virtualization technologies (Virtual Machines (VMs) and servers), MEC nodes are characterized by lower computational resources, thus the debut of lightweight micro-service based applications. Motivated by the deficiency of current micro-services-based applications to support users'mobility and assuming that all these issues are under the umbrella of Service Function Chain (SFC) migrations, we aim to introduce, explain and evaluate diverse SFC migration patterns. The obtained results demonstrate that there is no clear vanquisher, but selecting the right SFC migration pattern depends on users'motion, applications'requirements, and MEC nodes'resources.


title: Observation of the P-wave Shape Resonance

abstract: Partial wave resonances are quasi-bound states that are formed by tunneling through the centrifugal barrier. Such states are important to collisions that deviate from the Langevin limit where direct collision path is suppressed due to quantum symmetry or a potential barrier. In such a case, quantum resonances play a major role in the dynamics at low temperatures where scattering process can be described mainly by the resonance contribution. Here we present the first observation of the lowest-lying partial wave resonance in the Penning ionization collisions between metastable neon and rovibrationally ground state HD molecules. We observe the resonance at an energy of $k_B\times$22mK taking advantage of the phase space correlation similar to atomic delta kick cooling. We show that the $p$-wave resonance position is particularly sensitive to the leading term of the van der Waals interaction. We also measure shape resonance at a higher angular momentum state, $l=6$, allowing us to disentangle and probe the short and the long parts of the intermolecular interaction.


title: Angular asymmetries in $B\to\Lambda\bar p M$ decays

abstract: The forward-backward angular asymmetry (${\cal A}_{FB}$) for $\bar B^0\to \Lambda\bar p\pi^+$ measured by Belle has presented an experimental value in the range of $-30\%$ to $-50\%$. In our study, we find that ${\cal A}_{FB}[\bar B^0\to\Lambda\bar p \pi^+(B^-\to \Lambda\bar p\pi^0)]$ can be as large as $(-14.6^{+0.9}_{-1.5}\pm 6.9)\%$. In addition, we present ${\cal A}_{FB}[\bar B^0\to\Lambda\bar p \rho^+(B^-\to \Lambda\bar p\rho^0)] =(4.1^{+2.8}_{-0.7}\pm 2.0)\%$ as the first prediction involving a vector meson in the charmless $B\to{\bf B\bar B'}M$ decays. While ${\cal A}_{FB}(B\to\Lambda\bar p M)$ indicates an angular correlation caused by the rarely studied baryonic form factors in the timelike region, LHCb and Belle~II are capable of performing experimental examinations.


title: Evaluating and predicting the Efficiency Index for Stereotactic Radiosurgery Plans using RapidMiner GO(JAVA) Based Artificial Intelligence Algorithms

abstract: Evaluation the prediction of Efficiency index by DVH parameter for SRS treatment plans using Supervised Machine learning and the performance of predictive model algorithms of RapidMiner GO in the parameter prediction are investigated. Dose volume histogram (DVH) based Efficiency index was calculated for 100 clinical SRS plans generated by Leksell Gamma plan, and the results were compared to predicted values produced by machine learning toolbox of RapidMiner Go, algorithms are namely, Generalized linear model (GLR), Decision Tree Model, Support Vector Machine (SVM), Gradient Boosted Trees (GBT), Random Forest (RF) and Deep learning Model (DL). Root mean square error (RMSE), Average absolute error, Absolute relative error, squared correlation and model building time were determined to evaluate the performance of each algorithm. The GLR algorithm model had square correlation of 0.974 with the smallest RMSE of 0.01, relatively high prediction speed, and fast model building time with 2.812 s, according to the results. The RMSE values for all models were between 0.01 upto 0.021, all algorithms performed well. The RMSE of the Gradient Boosted Tree, Random Forest, and Decision Tree regression algorithms was found to be greater than 0.01, suggesting that they are not appropriate for predicting EI in this analysis. RapidMiner GO machine learning models can be used to predict DVH parameters like EI in SRS treatment planning QA. To effectively evaluate the parameter, it is necessary to choose a suitable machine learning algorithm.


title: Improving Behavioural Cloning with Human-Driven Dynamic Dataset Augmentation

abstract: Behavioural cloning has been extensively used to train agents and is recognized as a fast and solid approach to teach general behaviours based on expert trajectories. Such method follows the supervised learning paradigm and it strongly depends on the distribution of the data. In our paper, we show how combining behavioural cloning with human-in-the-loop training solves some of its flaws and provides an agent task-specific corrections to overcome tricky situations while speeding up the training time and lowering the required resources. To do this, we introduce a novel approach that allows an expert to take control of the agent at any moment during a simulation and provide optimal solutions to its problematic situations. Our experiments show that this approach leads to better policies both in terms of quantitative evaluation and in human-likeliness.


title: MMS Observations of a Compressed Current Sheet: Importance of the Ambipolar Electric Field

abstract: Spacecraft data reveals a nonuniform ambipolar electric field transverse to the magnetic field in a thin magnetotail current sheet that leads to intense ExB velocity shear and non-gyrotropic particle distributions. The ExB drift far exceeds the diamagnetic drift and drives lower hybrid waves localized to the magnetic field reversal region, which is ideally suited for the anomalous dissipation necessary for reconnection. It also reveals substructures embedded in the current density, indicating the formation of a non-ideal current sheet.


title: Quantum counterpart of energy equipartition theorem for fermionic systems

abstract: In this brief report, following the recent developments on formulating a quantum analogue of the classical energy equipartition theorem for open systems where the heat bath comprises of independent oscillators, i.e. bosonic degrees of freedom, we present an analogous result for fermionic systems. The most general case where the system is connected to multiple reservoirs is considered and the mean energy in the steady state is expressed as an integral over the reservoir frequencies. Physically this would correspond to summing over the contributions of the bath degrees of freedom to the mean energy of the system over a suitable distribution function $\rho(\omega)$ dependent on the system parameters. This result holds for nonequilibrium steady states, even in the nonlinear regime far from equilibrium. We also analyze the zero temperature behaviour and low temperature corrections to the mean energy of the system.


title: Investigation of Langdon effect on the nonlinear evolution of SRS from the early-stage inflation to the late-stage development of secondary instabilities

abstract: In a laser-irradiated plasma, the Langdon effect can result in a super-Gaussian electron energy distribution function (EEDF), imposing significant influences on the stimulated backward Raman scattering (SRS). In this work, the influence of a super-Gaussian EEDF on the nonlinear evolution of SRS is investigated by three wave model simulation and Vlasov-Maxwell simulation for plasma parameters covering a wide range of k{\lambda}De from 0.19 to 0.48 at both high and low intensity laser drives. In the early-stage of SRS evolution, it is found that besides the kinetic effects due to electron trapping [Phys. Plasmas 25, 100702 (2018)], the Langdon effect can also significantly widen the parameter range for the absolute growth of SRS, and the time for the absolute SRS to reach saturation is greatly shorten by Langdon effect within certain parameter region. In the late-stage of SRS, when secondary instabilities such as decay of the electron plasma wave to beam acoustic modes, rescattering, and Langmuir decay instability become important, the Langdon effect can influence the reflectivity of SRS by affecting the secondary processes. The comprehension of Langdon effect on nonlinear evolution and saturation of SRS would contribute to a better understanding and prediction of SRS in inertial confinement fusion.


title: Applications of spherical twist functors to Lie algebras associated to root categories of preprojective algebras

abstract: Let $\Lambda_Q$ be the preprojective algebra of a finite acyclic quiver $Q$ of non-Dynkin type and $D^b(\mathrm{rep}^n \Lambda_Q)$ be the bounded derived category of finite dimensional nilpotent $\Lambda_Q$-modules. We define spherical twist functors over the root category $\mathcal{R}_{\Lambda_Q}$ of $D^b(\mathrm{rep}^n \Lambda_Q)$ and then realize the Weyl group associated to $Q$ as certain subquotient of the automorphism group of the Ringel-Hall Lie algebra $\mathfrak{g}(\mathcal{R}_{\Lambda_Q})$ of $\mathcal{R}_{\Lambda_Q}$ induced by spherical twist functors. We also present a conjectural relation between certain Lie subalgebras of $\mathfrak{g}(\mathcal{R}_{\Lambda_Q})$ and $\mathfrak{g}(\mathcal{R}_Q)$, where $\mathfrak{g}(\mathcal{R}_Q)$ is the Ringe-Hall Lie algebra associated to the root category $\mathcal{R}_Q$ of $Q$.


title: Visual Exploration of Machine Learning Model Behavior with Hierarchical Surrogate Rule Sets

abstract: One of the potential solutions for model interpretation is to train a surrogate model: a more transparent model that approximates the behavior of the model to be explained. Typically, classification rules or decision trees are used due to the intelligibility of their logic-based expressions. However, decision trees can grow too deep and rule sets can become too large to approximate a complex model. Unlike paths on a decision tree that must share ancestor nodes (conditions), rules are more flexible. However, the unstructured visual representation of rules makes it hard to make inferences across rules. To address these issues, we present a workflow that includes novel algorithmic and interactive solutions. First, we present Hierarchical Surrogate Rules (HSR), an algorithm that generates hierarchical rules based on user-defined parameters. We also contribute SuRE, a visual analytics (VA) system that integrates HSR and interactive surrogate rule visualizations. Particularly, we present a novel feature-aligned tree to overcome the shortcomings of existing rule visualizations. We evaluate the algorithm in terms of parameter sensitivity, time performance, and comparison with surrogate decision trees and find that it scales reasonably well and outperforms decision trees in many respects. We also evaluate the visualization and the VA system by a usability study with 24 volunteers and an observational study with 7 domain experts. Our investigation shows that the participants can use feature-aligned trees to perform non-trivial tasks with very high accuracy. We also discuss many interesting observations that can be useful for future research on designing effective rule-based VA systems.


title: Data-to-Value: An Evaluation-First Methodology for Natural Language Projects

abstract: Big data, i.e. collecting, storing and processing of data at scale, has recently been possible due to the arrival of clusters of commodity computers powered by application-level distributed parallel operating systems like HDFS/Hadoop/Spark, and such infrastructures have revolutionized data mining at scale. For data mining project to succeed more consistently, some methodologies were developed (e.g. CRISP-DM, SEMMA, KDD), but these do not account for (1) very large scales of processing, (2) dealing with textual (unstructured) data (i.e. Natural Language Processing (NLP, "text analytics"), and (3) non-technical considerations (e.g. legal, ethical, project managerial aspects). To address these shortcomings, a new methodology, called "Data to Value" (D2V), is introduced, which is guided by a detailed catalog of questions in order to avoid a disconnect of big data text analytics project team with the topic when facing rather abstract box-and-arrow diagrams commonly associated with methodologies.


title: "Learn the Facts About COVID-19": Analyzing the Use of Warning Labels on TikTok Videos

abstract: During the COVID-19 pandemic, health-related misinformation and harmful content shared online had a significant adverse effect on society. To mitigate this adverse effect, mainstream social media platforms employed soft moderation interventions (i.e., warning labels) on potentially harmful posts. Despite the recent popularity of these moderation interventions, we lack empirical analyses aiming to uncover how these warning labels are used in the wild, particularly during challenging times like the COVID-19 pandemic. In this work, we analyze the use of warning labels on TikTok, focusing on COVID-19 videos. First, we construct a set of 26 COVID-19 related hashtags, then we collect 41K videos that include those hashtags in their description. Second, we perform a quantitative analysis on the entire dataset to understand the use of warning labels on TikTok. Then, we perform an in-depth qualitative study, using thematic analysis, on 222 COVID-19 related videos to assess the content and the connection between the content and the warning labels. Our analysis shows that TikTok broadly applies warning labels on TikTok videos, likely based on hashtags included in the description. More worrying is the addition of COVID-19 warning labels on videos where their actual content is not related to COVID-19 (23% of the cases in a sample of 143 English videos that are not related to COVID-19). Finally, our qualitative analysis on a sample of 222 videos shows that 7.7% of the videos share misinformation/harmful content and do not include warning labels, 37.3% share benign information and include warning labels, and that 35% of the videos that share misinformation/harmful content (and need a warning label) are made for fun. Our study demonstrates the need to develop more accurate and precise soft moderation systems, especially on a platform like TikTok that is extremely popular among people of younger age.


title: Investigating the architecture and internal structure of the TOI-561 system planets with CHEOPS, HARPS-N and TESS

abstract: We present a precise characterization of the TOI-561 planetary system obtained by combining previously published data with TESS and CHEOPS photometry, and a new set of $62$ HARPS-N radial velocities (RVs). Our joint analysis confirms the presence of four transiting planets, namely TOI-561 b ($P = 0.45$ d, $R = 1.42$ R$_\oplus$, $M = 2.0$ M$_\oplus$), c ($P = 10.78$ d, $R = 2.91$ R$_\oplus$, $M = 5.4$ M$_\oplus$), d ($P = 25.7$ d, $R = 2.82$ R$_\oplus$, $M = 13.2$ M$_\oplus$) and e ($P = 77$ d, $R = 2.55$ R$_\oplus$, $M = 12.6$ M$_\oplus$). Moreover, we identify an additional, long-period signal ($>450$ d) in the RVs, which could be due to either an external planetary companion or to stellar magnetic activity. The precise masses and radii obtained for the four planets allowed us to conduct interior structure and atmospheric escape modelling. TOI-561 b is confirmed to be the lowest density ($\rho_{\rm b} = 3.8 \pm 0.5$ g cm$^{-3}$) ultra-short period (USP) planet known to date, and the low metallicity of the host star makes it consistent with the general bulk density-stellar metallicity trend. According to our interior structure modelling, planet b has basically no gas envelope, and it could host a certain amount of water. In contrast, TOI-561 c, d, and e likely retained an H/He envelope, in addition to a possibly large water layer. The inferred planetary compositions suggest different atmospheric evolutionary paths, with planets b and c having experienced significant gas loss, and planets d and e showing an atmospheric content consistent with the original one. The uniqueness of the USP planet, the presence of the long-period planet TOI-561 e, and the complex architecture make this system an appealing target for follow-up studies.


title: A common envelope jets supernova (CEJSN) impostor scenario for fast blue optical transients

abstract: I propose a new scenario, the polar common envelope jets supernova (CEJSN) impostor scenario, to account for AT2018cow-like fast blue optical transients (FBOTs). The polar CEJSN impostor scenario evolves through four main phases. (1) A red supergiant (RSG) star expands to tidally interact with a neutron star (NS) companion (or a black hole). The interaction increases the RSG mass loss rate to form a circumstellar matter (CSM) halo to ~0.1pc. (2) Shortly before the onset of a common envelope evolution (CEE) and about a year before explosion the NS accretes mass from the RSG envelope and launches jets that inflate two opposite lobes in the CSM within ~100AU. (3) The NS-RSG system enters a CEE phase during which the system ejects most of the envelope mass in a dense equatorial outflow. (4) At the termination of the CEE the leftover envelope forms a circumbinary disk around the NS-core system. The NS accretes mass from the circumbinary disk and launches energetic jets that when collide with the fronts of the CSM lobes power an FBOT event. The low mass of the jets-lobes interaction zones and their large distance, of about 100AU, from the center account for the fast transient. In the future the core collapses to form a second NS. In the far future the two NS might merge. I suggest that FBOTs and similar fast transients are CEJSN impostors which compose a large fraction of the progenitors of NS-NS merger binaries.


title: Ergonomics Integrated Design Methodology using Parameter Optimization, Computer-Aided Design, and Digital Human Modelling: A Case Study of a Cleaning Equipment

abstract: Challenges of enhancing productivity by amplifying efficiency and man-machine compatibility of equipment can be achieved by adopting advanced technologies. This study aims to present and exemplify methodology for incorporating ergonomics pro-actively into the design using computer-aided design and digital human modeling-based analysis. The cleaning equipment is parametrized to detect the critical variables. The relations are then constrained through the 3DSSPP software-based biomechanical and experimental analysis using a prototype. MATLAB and Minitab software is used for optimizing efficiency while satisfying the established constraints. The experiment showed nearly 67%, 120%, and 241% successive improvement in the mechanical advantage in comparison to their immediate predecessors. A significant (6 point) reduction in rapid entire body assessment score has been observed in the final posture while working with the manipulator. 3DSSPP suggested that the joint forces during the actuation of the manipulator were acceptable to 99% of the working population. The study demonstrated the potential of the methodology in revamping the equipment for improved ergonomic design.


title: SCOTCH: An Efficient Secure Computation Framework for Secure Aggregation

abstract: Federated learning enables multiple data owners to jointly train a machine learning model without revealing their private datasets. However, a malicious aggregation server might use the model parameters to derive sensitive information about the training dataset used. To address such leakage, differential privacy and cryptographic techniques have been investigated in prior work, but these often result in large communication overheads or impact model performance. To mitigate this centralization of power, we propose SCOTCH, a decentralized m-party secure-computation framework for federated aggregation that deploys MPC primitives, such as secret sharing. Our protocol is simple, efficient, and provides strict privacy guarantees against curious aggregators or colluding data-owners with minimal communication overheads compared to other existing state-of-the-art privacy-preserving federated learning frameworks. We evaluate our framework by performing extensive experiments on multiple datasets with promising results. SCOTCH can train the standard MLP NN with the training dataset split amongst 3 participating users and 3 aggregating servers with 96.57% accuracy on MNIST, and 98.40% accuracy on the Extended MNIST (digits) dataset, while providing various optimizations.


title: Interplay of hyperbolic plasmons and superconductivity

abstract: Hyperbolic plasmons are collective electron excitations in layered conductors. They are of relevance to a number of superconducting materials, including the cuprates and layered hyperbolic metamaterials [V. N. Smolyaninova, et al. Scientific Reports 6, 34140 (2016)]. This work studies how the unusual dispersion of hyperbolic plasmons affects Cooped pairing. We use the Migdal-Eliashberg equations, which are solved both numerically and analytically using the Grabowski-Sham approximation, with consistent results. We do not find evidence for plasmon-mediated pairing within a reasonable parameter range. However, it is shown that the hyperbolic plasmons can significantly reduce the effects of Coulomb repulsion in the Cooper channel leading to an enhancement of the transition temperature originating from other pairing mechanisms. In the model of a hyperbolic material composed of identical layers, we find this enhancement to be the strongest in the $d$-wave channel. We also discuss strategies for engineering an optimal hyperbolic plasmon background for a further enhancement of superconductivity in both $s$-wave and $d$-wave channels.


title: Visualization of Band Shifting and Interlayer Coupling in WxMo1-xS2 Alloys using Near-Field Broadband Absorption Microscopy

abstract: Beyond-diffraction-limit optical absorption spectroscopy provides profound information on the graded band structures of composition-spread and stacked two-dimensional materials, in which direct/indirect bandgap, interlayer coupling, sliding, and possible defects significantly modify their optoelectronic functionalities such as photoluminescence efficiency. We here visualize the spatially-varying band structure of monolayer and bilayer transition metal dichalcogenide alloys for the first time by using near-field broadband absorption microscopy. The near-field-spectral and -spatial diagrams manifest the excitonic band shift that results from the interplay of composition spreading and interlayer coupling. These results enable us to identify the top layer of the bilayer alloy as pure WS2. We also use the aberration-free near-field transmittance images to demarcate the exact boundaries of alloyed and pure transition metal dichalcogenides. This technology can offer new insights on various layered structures in the era of stacking science in quest of novel quantum optoelectronic devices.


title: Variance-Reduced Stochastic Quasi-Newton Methods for Decentralized Learning: Part II

abstract: In Part I of this work, we have proposed a general framework of decentralized stochastic quasi-Newton methods, which converge linearly to the optimal solution under the assumption that the local Hessian inverse approximations have bounded positive eigenvalues. In Part II, we specify two fully decentralized stochastic quasi-Newton methods, damped regularized limited-memory DFP (Davidon-Fletcher-Powell) and damped limited-memory BFGS (Broyden-Fletcher-Goldfarb-Shanno), to locally construct such Hessian inverse approximations without extra sampling or communication. Both of the methods use a fixed moving window of $M$ past local gradient approximations and local decision variables to adaptively construct positive definite Hessian inverse approximations with bounded eigenvalues, satisfying the assumption in Part I for the linear convergence. For the proposed damped regularized limited-memory DFP, a regularization term is added to improve the performance. For the proposed damped limited-memory BFGS, a two-loop recursion is applied, leading to low storage and computation complexity. Numerical experiments demonstrate that the proposed quasi-Newton methods are much faster than the existing decentralized stochastic first-order algorithms.


title: Towards holistic scene understanding: Semantic segmentation and beyond

abstract: This dissertation addresses visual scene understanding and enhances segmentation performance and generalization, training efficiency of networks, and holistic understanding. First, we investigate semantic segmentation in the context of street scenes and train semantic segmentation networks on combinations of various datasets. In Chapter 2 we design a framework of hierarchical classifiers over a single convolutional backbone, and train it end-to-end on a combination of pixel-labeled datasets, improving generalizability and the number of recognizable semantic concepts. Chapter 3 focuses on enriching semantic segmentation with weak supervision and proposes a weakly-supervised algorithm for training with bounding box-level and image-level supervision instead of only with per-pixel supervision. The memory and computational load challenges that arise from simultaneous training on multiple datasets are addressed in Chapter 4. We propose two methodologies for selecting informative and diverse samples from datasets with weak supervision to reduce our networks' ecological footprint without sacrificing performance. Motivated by memory and computation efficiency requirements, in Chapter 5, we rethink simultaneous training on heterogeneous datasets and propose a universal semantic segmentation framework. This framework achieves consistent increases in performance metrics and semantic knowledgeability by exploiting various scene understanding datasets. Chapter 6 introduces the novel task of part-aware panoptic segmentation, which extends our reasoning towards holistic scene understanding. This task combines scene and parts-level semantics with instance-level object detection. In conclusion, our contributions span over convolutional network architectures, weakly-supervised learning, part and panoptic segmentation, paving the way towards a holistic, rich, and sustainable visual scene understanding.


title: The family of V1311 Ori: a young sextuple system or a mini-cluster?

abstract: A compact bound group of four active M-type dwarfs containing V1311 Ori is identified in the Gaia catalog of nearby stars. Located at a distance of 39 pc, it is likely related to the beta Pictoris and 32 Ori moving groups by kinematics, isochronal age, and other indicators of youth (Halpha emission, presence of lithium, and fast rotation). The brightest star A is a known close binary, for which a preliminary 80-yr visual-spectroscopic orbit is determined. Star B is resolved here into a 0.08" pair, and the faintest stars C and D are probably single. Considering the non-hierarchical configuration with projected separations of ~10 kau, this could be either a young sextuple system or a bound but dynamically unstable mini-cluster (trapezium) that avoided disruption so far. This pre-main-sequence system bridges the gap between moving groups and wide hierarchies.


title: The Query Complexity of Certification

abstract: We study the problem of {\sl certification}: given queries to a function $f : \{0,1\}^n \to \{0,1\}$ with certificate complexity $\le k$ and an input $x^\star$, output a size-$k$ certificate for $f$'s value on $x^\star$. This abstractly models a central problem in explainable machine learning, where we think of $f$ as a blackbox model that we seek to explain the predictions of. For monotone functions, a classic local search algorithm of Angluin accomplishes this task with $n$ queries, which we show is optimal for local search algorithms. Our main result is a new algorithm for certifying monotone functions with $O(k^8 \log n)$ queries, which comes close to matching the information-theoretic lower bound of $\Omega(k \log n)$. The design and analysis of our algorithm are based on a new connection to threshold phenomena in monotone functions. We further prove exponential-in-$k$ lower bounds when $f$ is non-monotone, and when $f$ is monotone but the algorithm is only given random examples of $f$. These lower bounds show that assumptions on the structure of $f$ and query access to it are both necessary for the polynomial dependence on $k$ that we achieve.


title: COVID-19 impact on the international trade

abstract: Using the United Nations Comtrade database, we perform the Google matrix analysis of the multiproduct World Trade Network (WTN) for the years 2018-2020 comprising the emergence of the COVID-19 as a global pandemic. The applied algorithms -- the PageRank, the CheiRank and the reduced Google matrix -- take into account the multiplicity of the WTN links providing new insights on the international trade comparing to the usual import-export analysis. These algorithms establish new rankings and trade balances of countries and products considering every countries on equal grounds, independently of their wealth, and every products on the basis of their relative exchanged volumes. In comparison with the pre-COVID-19 period, significant changes in these metrics occur for the year 2020 highlighting a major rewiring of the international trade flows induced by the COVID-19 pandemic crisis. We define a new PageRank-CheiRank product trade balance, either export or import oriented, which is significantly perturbed by the pandemic.


title: Nebula: Reliable Low-latency Video Transmission for Mobile Cloud Gaming

abstract: Mobile cloud gaming enables high-end games on constrained devices by streaming the game content from powerful servers through mobile networks. Mobile networks suffer from highly variable bandwidth, latency, and losses that affect the gaming experience. This paper introduces Nebula, an end-to-end cloud gaming framework to minimize the impact of network conditions on the user experience. Nebula relies on an end-to-end distortion model adapting the video source rate and the amount of frame-level redundancy based on the measured network conditions. As a result, it minimizes the motion-to-photon (MTP) latency while protecting the frames from losses. We fully implement Nebula and evaluate its performance against the state of the art techniques and latest research in real-time mobile cloud gaming transmission on a physical testbed over emulated and real wireless networks. Nebula consistently balances MTP latency (<140 ms) and visual quality (>31 dB) even in highly variable environments. A user experiment confirms that Nebula maximizes the user experience with high perceived video quality, playability, and low user load.


title: How Turbulent Jets Can Disperse Virus Clouds in Poorly Ventilated Spaces

abstract: We show that enhanced turbulent mixing can be used to mitigate airborne COVID-19 transmission by dispersing virus-laden clouds in enclosed, poorly ventilated spaces. A simple system of fan-driven turbulent jets is designed so as to minimize peak concentrations of passive contaminants on time scales short compared to the room ventilation time. Standard Reynolds-average and similarity methods are used, and combinations of circular and radial wall jets are considered. The turbulent diffusivity and contaminant mixing time are calculated. Results indicate that this approach can significantly reduce peak virus cloud concentrations, especially in small spaces with low occupancy, such as restrooms. Turbulent mixing is, of course, ineffective in the absence of ventilation.


title: More is Merrier: Relax the Non-Collusion Assumption in Multi-Server PIR

abstract: A long line of research on secure computation has confirmed that anything that can be computed, can be computed securely using a set of non-colluding parties. Indeed, this non-collusion assumption makes a number of problems solvable, as well as reduces overheads and bypasses computational hardness results, and it is pervasive across different privacy-enhancing technologies. However, it remains highly susceptible to covert, undetectable collusion among computing parties. This work stems from an observation that if the number of available computing parties is much higher than the number of parties required to perform a secure computation task, collusion attempts in privacy-preserving computations could be deterred. We focus on the prominent privacy-preserving computation task of multi-server $1$-private information retrieval (PIR) that inherently assumes no pair-wise collusion. For PIR application scenarios, such as those for blockchain light clients, where the available servers can be plentiful, a single server's deviating action is not tremendously beneficial to itself. We can make deviations undesired via small amounts of rewards and penalties, thus significantly raising the bar for collusion resistance. We design and implement a collusion mitigation mechanism on a public bulletin board with payment execution functions, considering only rational and malicious parties with no honest non-colluding servers. Privacy protection is offered for an extended period after the query executions.


title: Representations of reductive groups over local fields

abstract: We discuss progress towards the classification of irreducible admissible representations of reductive groups over non-archimedean local fields and the local Langlands correspondence. We also state some (partly conjectural) compatibility properties of the refined local Langlands correspondence.


title: Temporal Computer Organization

abstract: This document is focused on computing systems implemented in technologies that communicate and compute with temporal transients. Although described in general terms, implementations of spiking neural networks are of primary interest. As background, an algebra for constructing temporal networks is summarized. Then, a system organization consisting of synchronized segments is described. The segments are feedforward internally with feedback between segments. A synchronizing clock resets network segments at the end of each computation step or cycle. In its basic form, the synchronizing clock merely performs a reset function. In the context of neural networks, this satisfies biological plausibility. However, functional completeness is restricted. This restriction is removed by allowing use of the synchronizing clock as an additional function input that acts as a temporal reference value.


title: Conway's Nightmare: Brahmagupta and Butterflies

abstract: This note gives a very succinct conceptual proof of Brahmagupta's formula for cyclic quadrilaterals, and then a long discussion about how the proof is inspired by ideas from modern mathematics.


title: A trust region reduced basis Pascoletti-Serafini algorithm for multi-objective PDE-constrained parameter optimization

abstract: In the present paper non-convex multi-objective parameter optimization problems are considered which are governed by elliptic parametrized partial differential equations (PDEs). To solve these problems numerically the Pascoletti-Serafini scalarization is applied and the obtained scalar optimization problems are solved by an augmented Lagrangian method. However, due to the PDE constraints, the numerical solution is very expensive so that a model reduction is utilized by using the reduced basis (RB) method. The quality of the RB approximation is ensured by a trust-region strategy which does not require any offline procedure, where the RB functions are computed in a greedy algorithm. Moreover, convergence of the proposed method is guaranteed. Numerical examples illustrate the efficiency of the proposed solution technique.


title: Improving Biomedical Information Retrieval with Neural Retrievers

abstract: Information retrieval (IR) is essential in search engines and dialogue systems as well as natural language processing tasks such as open-domain question answering. IR serve an important function in the biomedical domain, where content and sources of scientific knowledge may evolve rapidly. Although neural retrievers have surpassed traditional IR approaches such as TF-IDF and BM25 in standard open-domain question answering tasks, they are still found lacking in the biomedical domain. In this paper, we seek to improve information retrieval (IR) using neural retrievers (NR) in the biomedical domain, and achieve this goal using a three-pronged approach. First, to tackle the relative lack of data in the biomedical domain, we propose a template-based question generation method that can be leveraged to train neural retriever models. Second, we develop two novel pre-training tasks that are closely aligned to the downstream task of information retrieval. Third, we introduce the ``Poly-DPR'' model which encodes each context into multiple context vectors. Extensive experiments and analysis on the BioASQ challenge suggest that our proposed method leads to large gains over existing neural approaches and beats BM25 in the small-corpus setting. We show that BM25 and our method can complement each other, and a simple hybrid model leads to further gains in the large corpus setting.


title: A Centrality Analysis of the Lightning Network

abstract: Payment channel networks (PCNs) such as the Lightning Network offer an appealing solution to the scalability problem faced by many cryptocurrencies operating on a blockchain such as Bitcoin. However, PCNs also inherit the stringent dependability requirements of blockchain. In particular, in order to mitigate liquidity bottlenecks as well as on-path attacks, it is important that payment channel networks maintain a high degree of decentralization. Motivated by this requirement, we conduct an empirical centrality analysis of the popular Lightning Network, and in particular, the betweenness centrality distribution of the routing system. Based on our extensive data set (using several millions of channel update messages), we implemented a TimeMachine tool which enables us to study the network evolution over time. We find that although the network is generally fairly decentralized, a small number of nodes can attract a significant fraction of the transactions, introducing skew. Furthermore, our analysis suggests that over the last two years, the centrality has increased significantly, e.g., the inequality (measured by the Gini index) has increased by more than 10%.


title: Dissipation by surface states in superconducting RF cavities

abstract: Recent experiments on superconducting cavities have found that under large radio-frequency (RF) electromagnetic fields the quality factor can improve with increasing field amplitude, a so-called "anti-Q slope." Linear theories of dissipation break down under these extreme conditions and are unable to explain this behavior. We numerically solve the Bogoliubov-de Gennes equations at the surface of a superconductor in a parallel AC magnetic field, finding that at large fields there are quasiparticle surface states with energies below the bulk value of the superconducting gap. As the field oscillates, such states emerge and disappear with every cycle. We consider the dissipation resulting from inelastic quasiparticle-phonon scattering into these states and investigate the ability of this mechanism to explain features of the experimental observations, including the field dependence of the quality factor. We find that this mechanism is likely not the dominant source of dissipation and does not produce an anti-Q slope by itself; however, we demonstrate in a modified two-fluid model how these bound states can play a role in producing an anti-Q slope.


title: Detection of Correlated Alarms Using Graph Embedding

abstract: Industrial alarm systems have recently progressed considerably in terms of network complexity and the number of alarms. The increase in complexity and number of alarms presents challenges in these systems that decrease system efficiency and cause distrust of the operator, which might result in widespread damages. One contributing factor in alarm inefficiency is the correlated alarms. These alarms do not contain new information and only confuse the operator. This paper tries to present a novel method for detecting correlated alarms based on artificial intelligence methods to help the operator. The proposed method is based on graph embedding and alarm clustering, resulting in the detection of correlated alarms. To evaluate the proposed method, a case study is conducted on the well-known Tennessee-Eastman process.


title: Summarising and Comparing Agent Dynamics with Contrastive Spatiotemporal Abstraction

abstract: We introduce a data-driven, model-agnostic technique for generating a human-interpretable summary of the salient points of contrast within an evolving dynamical system, such as the learning process of a control agent. It involves the aggregation of transition data along both spatial and temporal dimensions according to an information-theoretic divergence measure. A practical algorithm is outlined for continuous state spaces, and deployed to summarise the learning histories of deep reinforcement learning agents with the aid of graphical and textual communication methods. We expect our method to be complementary to existing techniques in the realm of agent interpretability.


title: Ta2NiSe5: a candidate topological excitonic insulator with multiple band inversions

abstract: The electronic structures and topological properties of the orthorhombic and monoclinic phases of the quasi-one-dimensional excitonic insulator Ta2NiSe5 are investigated based on density functional theory. In contrast to a single parity or band inversion across the Fermi level in many topological insulators studied previously, there are multiple parity and band inversions with or without spin-orbit coupling in both phases of Ta2NiSe5, resulting in more complex and topologically nontrivial electronic structures. The Dirac cone type surface states of the low-temperature monoclinic phase are also obtained. In this paper, we demonstrate that Ta2NiSe5 is a promising candidate as a three-dimensional topological excitonic insulator.


title: Wannier Functions Dually Localized in Space and Energy

abstract: Wannier functions are real-space representations of Bloch orbitals that provide a useful picture for chemical bonding and offer a localized description of single-particle wave functions. There is a unitary freedom in the construction of Wannier functions from Bloch orbitals, which can be chosen to produce Wannier functions that have advantageous properties. A popular choice for this freedom is the minimization of spatial variance, which leads to maximally localized Wannier functions. We minimize a weighted sum of the spatial and energy variances, yielding what we call dually localized Wannier functions. Localization in energy results in Wannier functions that are associated with a particular energy and allows for dually localized Wannier functions to be comprised of occupied and unoccupied spaces simulatneously. This can lead to Wannier functions that are fractionally occupied, which is a key feature that is used in correcting the delocalization error in density functional approximations. We show how this type of localization results in bonding (antibonding) functions for the occupied (unoccupied) spaces around the frontier energy of silicon in the diamond lattice and of molecular ethylene. Dually localized Wannier functions therefore offer a relevant description for chemical bonding and are well suited to orbital-dependent methods that associate Wannier functions with specific energy ranges without the need to consider the occupied and unoccupied spaces separately.


title: A lower scaling four-component relativistic coupled cluster method based on natural spinors

abstract: We present the theory, implementation, and benchmark results for a frozen natural spinors-based lower scaling four-component relativistic coupled cluster method. The natural spinors are obtained by diagonalizing the one-body reduced density matrix from a relativistic MP2 calculation based on four-component Dirac-Coulomb Hamiltonian. The correlation energy in the coupled cluster method converges more rapidly with respect to the size of the virtual space in the frozen natural spinor basis than that observed in the standard canonical spinors obtained from the Dirac-Hartree-Fock calculation. The convergence of properties is not smooth in the frozen natural spinor basis. However, the inclusion of the perturbative correction smoothens the convergence of the properties with respect to the size of the virtual space in the frozen natural spinor basis and greatly reduces the truncation errors for both energy and properties calculations. The accuracy of the frozen natural spinor based coupled cluster methods can be controlled by a single threshold and is a black box to use.


title: Deep Capsule Encoder-Decoder Network for Surrogate Modeling and Uncertainty Quantification

abstract: We propose a novel \textit{capsule} based deep encoder-decoder model for surrogate modeling and uncertainty quantification of systems in mechanics from sparse data. The proposed framework is developed by adapting Capsule Network (CapsNet) architecture into image-to-image regression encoder-decoder network. Specifically, the aim is to exploit the benefits of CapsNet over convolution neural network (CNN) $-$ retaining pose and position information related to an entity to name a few. The performance of proposed approach is illustrated by solving an elliptic stochastic partial differential equation (SPDE), which also governs systems in mechanics such as steady heat conduction, ground water flow or other diffusion processes, based uncertainty quantification problem with an input dimensionality of $1024$. However, the problem definition does not the restrict the random diffusion field to a particular covariance structure, and the more strenuous task of response prediction for an arbitrary diffusion field is solved. The obtained results from performance evaluation indicate that the proposed approach is accurate, efficient, and robust.


title: Grep-BiasIR: A Dataset for Investigating Gender Representation-Bias in Information Retrieval Results

abstract: The provided contents by information retrieval (IR) systems can reflect the existing societal biases and stereotypes. Such biases in retrieval results can lead to further establishing and strengthening stereotypes in society and also in the systems. To facilitate the studies of gender bias in the retrieval results of IR systems, we introduce Gender Representation-Bias for Information Retrieval (Grep-BiasIR), a novel thoroughly-audited dataset consisting of 118 bias-sensitive neutral search queries. The set of queries covers a wide range of gender-related topics, for which a biased representation of genders in the search result can be considered as socially problematic. Each query is accompanied with one relevant and one non-relevant document, where the document is also provided in three variations of female, male, and neutral. The dataset is available at https://github.com/KlaraKrieg/GrepBiasIR.


title: Interactive Process Improvement using Simulation of Enriched Process Trees

abstract: Event data provide the main source of information for analyzing and improving processes in organizations. Process mining techniques capture the state of running processes w.r.t. various aspects, such as activity-flow and performance metrics. The next step for process owners is to take the provided insights and turn them into actions in order to improve their processes. These actions may be taken in different aspects of a process. However, simply being aware of the process aspects that need to be improved as well as potential actions is insufficient. The key step in between is to assess the outcomes of the decisions and improvements. In this paper, we propose a framework to systematically compare event data and the simulated event data of organizations, as well as comparing the results of modified processes in different settings. The proposed framework could be provided as an analytic service to enable organizations in easily accessing event data analytics. The framework is supported with a simulation tool that enables applying changes to the processes and re-running the process in various scenarios. The simulation step includes different perspectives of a process that can be captured automatically and modified by the user. Then, we apply a state-of-the-art comparison approach for processes using their event data which visually reflects the effects of these changes in the process, i.e., evaluating the process improvement. Our framework also includes the implementation of the change measurement module as a tool.


title: A pipeline for automated processing of Corona KH-4 (1962-1972) stereo imagery

abstract: The Corona KH-4 reconnaissance satellite missions from 1962-1972 acquired panoramic stereo imagery with high spatial resolution of 1.8-7.5 m. The potential of 800,000+ declassified Corona images has not been leveraged due to the complexities arising from handling of panoramic imaging geometry, film distortions and limited availability of the metadata required for georeferencing of the Corona imagery. This paper presents Corona Stereo Pipeline (CoSP): A pipeline for processing of Corona KH-4 stereo panoramic imagery. CoSP utlizes a deep learning based feature matcher SuperGlue to automatically match features point between Corona KH-4 images and recent satellite imagery to generate Ground Control Points (GCPs). To model the imaging geometry and the scanning motion of the panoramic KH-4 cameras, a rigorous camera model consisting of modified collinearity equations with time dependent exterior orientation parameters is employed. The results show that using the entire frame of the Corona image, bundle adjustment using well-distributed GCPs results in an average standard deviation (SD) of less than 2 pixels. The distortion pattern of image residuals of GCPs and y-parallax in epipolar resampled images suggest that film distortions due to long term storage as likely cause of systematic deviations. Compared to the SRTM DEM, the Corona DEM computed using CoSP achieved a Normalized Median Absolute Deviation (NMAD) of elevation differences of ~4 m over an area of approx. 4000 $km^2$. We show that the proposed pipeline can be applied to sequence of complex scenes involving high relief and glacierized terrain and that the resulting DEMs can be used to compute long term glacier elevation changes over large areas.


title: Tearing instability and current-sheet disruption in the turbulent dynamo

abstract: Turbulence in a conducting plasma can amplify seed magnetic fields in what is known as the turbulent, or small-scale, dynamo. The associated growth rate and emergent magnetic-field geometry depend sensitively on the material properties of the plasma, in particular on the Reynolds number ${\rm Re}$, the magnetic Reynolds number ${\rm Rm}$, and their ratio ${\rm Pm}\equiv{\rm Rm}/{\rm Re}$. For ${\rm Pm} > 1$, the amplified magnetic field is gradually arranged into a folded structure, with direction reversals at the resistive scale and field lines curved at the larger scale of the flow. As the mean magnetic energy grows to come into approximate equipartition with the fluid motions, this folded structure is thought to persist. Using analytical theory and high-resolution MHD simulations with the Athena++ code, we show that these magnetic folds become unstable to tearing during the nonlinear stage of the dynamo for ${\rm Rm}\gtrsim 10^4$ and ${\rm Re}\gtrsim 10^3$. An ${\rm Rm}$- and ${\rm Pm}$-dependent tearing scale, at and below which folds are disrupted, is predicted theoretically and found to match well the characteristic field-reversal scale measured in the simulations. The disruption of folds by tearing increases the ratio of viscous-to-resistive dissipation. In the saturated state, the magnetic-energy spectrum exhibits a sub-tearing-scale steepening to a slope consistent with that predicted for tearing-mediated Alfv\'enic turbulence. Its spectral peak appears to be independent of the resistive scale and comparable to the driving scale of the flow, while the magnetic energy resides in a broad range of scales extending down to the field-reversal scale set by tearing. Emergence of a degree of large-scale magnetic coherence in the saturated state of the turbulent dynamo may be consistent with observations of magnetic-field fluctuations in galaxy clusters and recent laboratory experiments.


title: Simulating chiral spin liquids with projected entangled-pair states

abstract: Doubts have been raised on the representation of chiral spin liquids exhibiting topological order in terms of projected entangled pair states (PEPSs). Here, starting from a simple spin-1/2 chiral frustrated Heisenberg model, we show that a faithful representation of the chiral spin liquid phase is in fact possible in terms of a generic PEPS upon variational optimization. We find a perfectly chiral gapless edge mode and a rapid decay of correlation functions at short distances consistent with a bulk gap, concomitant with a gossamer long-range tail originating from a PEPS bulk-edge correspondence. For increasing bond dimension, (i) the rapid decrease of spurious features -- SU(2) symmetry breaking and long-range tails in correlations -- together with (ii) a faster convergence of the ground state energy as compared to state-of-the-art cylinder matrix-product state simulations involving far more variational parameters, prove the fundamental relevance of the PEPS ansatz for simulating systems with chiral topological order.


title: Tune-out and magic wavelengths, and electric quadrupole transition properties of the singly charged alkaline-earth metal ions

abstract: In continuation to our earlier reported data on the electric dipole (E1) matrix elements and lifetimes of the metastable states of the alkaline earth ions in [Atomic Data and Nuc. Data Tables {\bf 137} (2021) 101381], we present here the tune-out and magic wavelengths of the Mg$^+$, Ca$^+$, Sr$^+$ and Ba$^+$ alkaline earth-metal ions by determining dynamic E1 polarizabilities. Furthermore, we have evaluated the electric quadrupole (E2) matrix elements of a large number of forbidden transitions using an all-order relativistic many-body method and compare them with the previously reported values for a few selective transitions. Compilation of both the E1 and E2 transition matrix elements, will now provide a more complete knowledge about the transition properties of the considered singly charged alkaline earth-metal ions. Similarly, the listed precise values of tune-out and magic wavelengths due to the dominant E1 polarizabilities can be helpful to conduct experiments using the above ions with reduced systematics. Therefore, all these data will be immensely useful for various applications for carrying out the high-precision experiments and laboratory simulations in atomic physics, and interpreting transition lines in the astrophysical observations.


title: Spectroscopic data of Rb-isoelectronic Zr and Nb ions for astrophysical applications

abstract: We present high-accuracy spectroscopy data of line strengths, transition probabilities and oscillator strengths for the allowed transitions among the $nS_{1/2}$, $nP_{1/2,3/2}$ and $n'D_{3/2,5/2}$ states with $n=5$ to $10$ and $n'=4$ to $10$ of the Rb-isoelectronic Zr (Zr IV) and Nb (Nb V) ions. %\textcolor{red}{except for a few transitions that seem to be unreliable.} They can serve to analyse various astrophysical phenomena undergoing inside the heavenly bodies containing Zr and Nb elements. Since there is a lack of precise observational and calculated data for the spectroscopic properties in the above ions, their accurate determinations are of immense interest. The literature data, that are available only for a few selected low-lying transitions, have large discrepancies and they cannot be used reliably for the above purpose. After accounting for electron interactions through random phase approximation, Br\"uckner orbitals, structural radiations and normalizations of wave functions in the relativistic many-body methods, we have evaluated the electric dipole amplitudes precisely. Combining these values with the observed wavelengths, the above transition properties and lifetimes of a number of excited states of the Zr IV and Nb V ions are determined and compared with the literature data.


title: Dispersion $C_3$ coefficients for physisorption of heavy ions and atoms with graphene and carbon nanotubes

abstract: In the present work, the calculations have been performed for dispersion interaction between heavy elements (Zn$^+$, Cd$^+$, Hg$^+$, Pb$^+$, Zn, Cd, Hg, and Pb) with graphene and carbon nanotubes by evaluating van der Waals $C_3$ coefficients using well-known Lifshitz theory. The dispersion coefficients are expressed in terms of reflection coefficients of graphene and carbon nanotubes which are calculated within the framework of Dirac model. In addition, accurate values of dynamic dipole polarizabilities at imaginary frequencies of considered ions and atoms which are vital, have been calculated using relativistic methods. The comparisons of our calculated static dipole polarizabilities for the considered elements with the values reported in the literature are also presented. The dispersion interactions of the considered heavy elements with the graphene and carbon nanotubes of different radii in a wide range of separation distances have been studied. The results have also been analysed with another subtle variable, i.e., gap parameter of graphene wall. The interaction coefficients obtained for both the materials, i.e., for graphene and carbon nanotubes are mutually compared and it is found that graphene can be said as preferable material for adsorption of these toxic heavy elements.


title: DeepAlloc: CNN-Based Approach to Efficient Spectrum Allocation in Shared Spectrum Systems

abstract: Shared spectrum systems facilitate spectrum allocation to unlicensed users without harming the licensed users; they offer great promise in optimizing spectrum utility, but their management (in particular, efficient spectrum allocation to unlicensed users) is challenging. A significant shortcoming of current allocation methods is that they are either done very conservatively to ensure correctness, or are based on imperfect propagation models and/or spectrum sensing with poor spatial granularity. This leads to poor spectrum utilization, the fundamental objective of shared spectrum systems. To allocate spectrum near-optimally to secondary users in general scenarios, we fundamentally need to have knowledge of the signal path-loss function. In practice, however, even the best known path-loss models have unsatisfactory accuracy, and conducting extensive surveys to gather path-loss values is infeasible. To circumvent this challenge, we propose to learn the spectrum allocation function directly using supervised learning techniques. We particularly address the scenarios when the primary users' information may not be available; for such settings, we make use of a crowdsourced sensing architecture and use the spectrum sensor readings as features. We develop an efficient CNN-based approach (called DeepAlloc) and address various challenges that arise in its application to the learning the spectrum allocation function. Via extensive large-scale simulation and a small testbed, we demonstrate the effectiveness of our developed techniques; in particular, we observe that our approach improves the accuracy of standard learning techniques and prior work by up to 60%.


title: When Is It Acceptable to Break the Rules? Knowledge Representation of Moral Judgement Based on Empirical Data

abstract: One of the most remarkable things about the human moral mind is its flexibility. We can make moral judgments about cases we have never seen before. We can decide that pre-established rules should be broken. We can invent novel rules on the fly. Capturing this flexibility is one of the central challenges in developing AI systems that can interpret and produce human-like moral judgment. This paper details the results of a study of real-world decision makers who judge whether it is acceptable to break a well-established norm: ``no cutting in line.'' We gather data on how human participants judge the acceptability of line-cutting in a range of scenarios. Then, in order to effectively embed these reasoning capabilities into a machine, we propose a method for modeling them using a preference-based structure, which captures a novel modification to standard ``dual process'' theories of moral judgment.


title: Hamiltonian formulation of the stochastic surface wave problem

abstract: We devise a stochastic Hamiltonian formulation of the water wave problem. This stochastic representation is built within the framework of the modelling under location uncertainty. Starting from restriction to the free surface of the general stochastic fluid motion equations, we show how one can naturally deduce Hamiltonian structure under a small noise assumption. Moreover, as in the classical water wave theory, the non-local Dirichlet-Neumann operator appears explicitly in the energy functional. This, in particular, allows us, in the same way as in deterministic setting, to conduct systematic approximations of the Dirichlet-Neumann operator and to infer different simplified wave models including noise in a natural way.


title: Towards Situational Aware Cyber-Physical Systems: A Security-Enhancing Use Case of Blockchain-based Digital Twins

abstract: The complexity of cyberattacks in Cyber-Physical Systems (CPSs) calls for a mechanism that can evaluate critical infrastructures' operational behaviour and security without affecting the operation of live systems. In this regard, Digital Twins (DTs) provide actionable insights through monitoring, simulating, predicting, and optimizing the state of CPSs. Through the use cases, including system testing and training, detecting system misconfigurations, and security testing, DTs strengthen the security of CPSs throughout the product lifecycle. However, such benefits of DTs depend on an assumption about data integrity and security. Data trustworthiness becomes more critical while integrating multiple components among different DTs owned by various stakeholders to provide an aggregated view of the complex physical system. This article envisions a blockchain-based DT framework as Trusted Twins for Securing Cyber-Physical Systems (TTS-CPS). With the automotive industry as a CPS use case, we demonstrate the viability of the TTS-CPS framework in a proof of concept. To utilize reliable system specification data for building the process knowledge of DTs, we ensure the trustworthiness of data-generating sources through integrity checking mechanisms. Additionally, the safety and security rules evaluated during simulation are stored and retrieved from the blockchain, thereby establishing more understanding and confidence in the decisions made by the underlying systems. Finally, we perform formal verification of the TTS-CPS.


title: Uncertainty Quantification in Scientific Machine Learning: Methods, Metrics, and Comparisons

abstract: Neural networks (NNs) are currently changing the computational paradigm on how to combine data with mathematical laws in physics and engineering in a profound way, tackling challenging inverse and ill-posed problems not solvable with traditional methods. However, quantifying errors and uncertainties in NN-based inference is more complicated than in traditional methods. This is because in addition to aleatoric uncertainty associated with noisy data, there is also uncertainty due to limited data, but also due to NN hyperparameters, overparametrization, optimization and sampling errors as well as model misspecification. Although there are some recent works on uncertainty quantification (UQ) in NNs, there is no systematic investigation of suitable methods towards quantifying the total uncertainty effectively and efficiently even for function approximation, and there is even less work on solving partial differential equations and learning operator mappings between infinite-dimensional function spaces using NNs. In this work, we present a comprehensive framework that includes uncertainty modeling, new and existing solution methods, as well as evaluation metrics and post-hoc improvement approaches. To demonstrate the applicability and reliability of our framework, we present an extensive comparative study in which various methods are tested on prototype problems, including problems with mixed input-output data, and stochastic problems in high dimensions. In the Appendix, we include a comprehensive description of all the UQ methods employed, which we will make available as open-source library of all codes included in this framework.


title: Second Chern class and Fujiki constants of hyperk\"ahler manifolds

abstract: We study characteristic classes on hyperk\"ahler manifolds with a view towards the Verbitsky component. The case of the second Chern class leads to a conditional upper bound on the second Betti number in terms of the Riemann--Roch polynomial, which is also valid for singular examples. We discuss the general structure of characteristic classes and the Riemann--Roch polynomial on hyperk\"ahler manifolds using among other things Rozansky--Witten theory.