title: Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme

abstract: Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is gaining acceptance as a transportation solution of the future. One of the key requirements for this to happen is safely managing the air traffic in these urban airspaces. Due to the expected density of the airspace, this requires fast autonomous solutions that can be deployed online. We propose Learning-'N-Flying (LNF) a multi-UAS Collision Avoidance (CA) framework. It is decentralized, works on-the-fly and allows autonomous UAS managed by different operators to safely carry out complex missions, represented using Signal Temporal Logic, in a shared airspace. We initially formulate the problem of predictive collision avoidance for two UAS as a mixed-integer linear program, and show that it is intractable to solve online. Instead, we first develop Learning-to-Fly (L2F) by combining: a) learning-based decision-making, and b) decentralized convex optimization-based control. LNF extends L2F to cases where there are more than two UAS on a collision path. Through extensive simulations, we show that our method can run online (computation time in the order of milliseconds), and under certain assumptions has failure rates of less than 1% in the worst-case, improving to near 0% in more relaxed operations. We show the applicability of our scheme to a wide variety of settings through multiple case studies.


title: Determining rigid body motion from accelerometer data through the square-root of a negative semi-definite tensor, with applications in mild traumatic brain injury

abstract: Mild Traumatic Brain Injuries (mTBI) are caused by violent head motions or impacts. Most mTBI prevention strategies explicitly or implicitly rely on a "brain injury criterion". A brain injury criterion takes some descriptor of the head's motion as input and yields a prediction for that motion's potential for causing mTBI as the output. The inputs are descriptors of the head's motion that are usually synthesized from accelerometer and gyroscope data. In the context of brain injury criterion the head is modeled as a rigid body. We present an algorithm for determining the complete motion of the head using data from only four head mounted tri-axial accelerometers. In contrast to inertial measurement unit based algorithms for determining rigid body motion the presented algorithm does not depend on data from gyroscopes; which consume much more power than accelerometers. Several algorithms that also make use of data from only accelerometers already exist. However, those algorithms, except for the recently presented AO-algorithm [Rahaman MM, Fang W, Fawzi AL, Wan Y, Kesari H (2020): J Mech Phys Solids 104014], give the rigid body's acceleration field in terms of the body frame, which in general is unknown. Compared to the AO-algorithm the presented algorithm is much more insensitive to bias type errors, such as those that arise from inaccurate measurement of sensor positions and orientations.

categories: physics.med-ph cs.NA math.NA physics.class-ph


title: Periodic orbits in R\"ossler system

abstract: We prove the existence of $n$-periodic orbits for almost all $n\in\mathbb{N}$ in the R\"ossler system with attracting periodic orbit, for two sets of parameters. The proofs are computer-assisted.


title: Computing Robust Forward Invariant Sets of Multidimensional Non-linear Systems via Geometric Deformation of Polytopes

abstract: This paper develops and implements an algorithm to compute sequences of polytopic Robust Forward Invariant Sets (RFIS) that can parametrically vary in size between the maximal and minimal RFIS of a nonlinear dynamical system. This is done through a novel computational approach that geometrically deforms a polytope into an invariant set using a sequence of homeomorphishms, based on an invariance condition that only needs to be satisfied at a finite set of test points. For achieving this, a fast computational test is developed to establish if a given polytopic set is an RFIS. The geometric nature of the proposed approach makes it applicable for arbitrary Lipschitz continuous nonlinear systems in the presence of bounded additive disturbances. The versatility of the proposed approach is presented through simulation results on a variety of nonlinear dynamical systems in two and three dimensions, for which, sequences of invariant sets are computed.


title: How COVID-19 influences healthcare workers' happiness: Panel data analysis in Japan

abstract: Healthcare workers are more likely to be infected with the 2019 novel coronavirus (COVID-19) because of unavoidable contact with infected people. Although they are equipped to reduce the likelihood of infection, their distress has increased. This study examines how COVID-19 influences healthcare workers' happiness, compared to other workers. We constructed panel data via Internet surveys during the COVID-19 epidemic in Japan, from March to June 2020, by surveying the same respondents at different times. The survey period started before the state of emergency, and ended after deregulation. The key findings are as follows. (1) Overall, the happiness level of healthcare workers is lower than that of other workers. (2) The biggest disparity in happiness level, between healthcare workers and others, was observed after deregulation and not during the state of emergency. After deregulation, the difference was larger by 0.26 points, on an 11-point scale, than in the initial wave before the state of emergency.


title: On the Higher Loop Euler-Heisenberg Trans-Series Structure

abstract: We show that the one-loop Euler-Heisenberg QED effective Lagrangian in a constant background field acquires a very different non-perturbative trans-series structure at two-loop and higher-loop order in the fine structure constant. Beyond one-loop, virtual particles interact, causing fluctuations about the instantons, whereby the simple poles of the one-loop Borel transform become branch points. We illustrate this in detail at two-loop order using Ritus's seminal result for the renormalized two-loop effective Lagrangian as an exact double-integral representation, and propose a possible new approach to computations at higher loop order. Our methods yield remarkably accurate extrapolations from weak-field to strong-field, and from magnetic to electric background field, at both one-loop and two-loop order, based on surprisingly little perturbative input.


title: Tracking Advanced Planetary Systems (TAPAS) with HARPS-N VII. Elder suns with low-mass companions

abstract: We present the current status of and new results from our search for exoplanets in a sample of solar-mass, evolved stars observed with the HARPS-N and the 3.6-m Telescopio Nazionale Galileo (TNG), and the High Resolution Spectrograph (HRS) and the 9.2-m Hobby Eberly Telescope (HET). The aim of this project is to detect and characterise planetary-mass companions to solar-mass stars in a sample of 122 targets at various stages of evolution from the main sequence (MS) to the red giant branch (RGB), mostly sub-gaints and giants, selected from the Pennsylvania-Toru\'n Planet Search (PTPS) sample, and use this sample to study relations between stellar properties, such as metallicity, luminosity, and the planet occurrence rate. This work is based on precise radial velocity (RV) measurements. We have observed the program stars for up to 11 years with the HET/HRS and the TNG/HARPS-N. We present the analysis of RV measurements with the HET/HRS and the TNG/HARPS-N of four solar-mass stars, HD 4760, HD 96992 , BD+02 3313, and TYC 0434-04538-1. We found that: HD 4760 hosts a companion with a minimum mass of 13.9 MJ (a=1.14 au, e=0.23); HD 96992 is a host to a msin i=1.14 MJ companion on a a=1.24 au and e=0.41 orbit, and TYC 0434-04538-1 hosts an msin i=6.1MJ companion on a a=0.66 au and e=0.08$ orbit. In the case of BD+02 3313 we found a correlation between the measured RVs and one of the stellar activity indicators, suggesting that the observed RV variations may originate in either stellar activity or be caused by the presence of an unresolved companion. We also discuss the current status of the project and a statistical analysis of the RV variations in our sample of target stars.


title: Anomalous symmetry breaking in Weyl semimetal CeAlGe

abstract: CeAlGe, a proposed type-II Weyl semimetal, orders antiferromagnetically below 5 K. At 2 K, spin-flop and a spin-flip transitions to less than 1 $\mu_B$/Ce are observed in the $M(H)$ data below 30 kOe, ($\bf{H}\|\bf{a}$ and $\bf{b}$, and 4.3 kOe, $\bf{H}\|\langle110\rangle$, respectively, indicating a four-fold symmetry of the $M(H)$ data along the principal directions in the tetragonal $\it{ab}$ plane with $\langle110\rangle$ set of easy directions. However, anomalously robust and complex twofold symmetry is observed in the angular dependence of resistivity and magnetic torque data in the magnetically ordered state once the field is swept in the $\it{ab}$ plane. This twofold symmetry is independent of temperature and field hystereses and suggests a magnetic phase transition that separates two different magnetic structures in the $\it{ab}$ plane. The boundary of this magnetic phase transition and possibly the type of low-field magnetic structure can be tuned by an Al deficiency.


title: End-Users' Knowledge and Perception about Security of Mobile Health Apps: A Case Study with Two Saudi Arabian mHealth Providers

abstract: Mobile health applications (mHealth apps for short) are being increasingly adopted in the healthcare sector, enabling stakeholders such as governments, health units, medics, and patients, to utilize health services in a pervasive manner. Despite having several known benefits, mHealth apps entail significant security and privacy challenges that can lead to data breaches with serious social, legal, and financial consequences. This research presents an empirical investigation about security awareness of end-users of mHealth apps that are available on major mobile platforms, including Android and iOS. We collaborated with two mHealth providers in Saudi Arabia to survey 101 end-users, investigating their security awareness about (i) existing and desired security features, (ii) security related issues, and (iii) methods to improve security knowledge. Findings indicate that majority of the end-users are aware of the existing security features provided by the apps (e.g., restricted app permissions); however, they desire usable security (e.g., biometric authentication) and are concerned about privacy of their health information (e.g., data anonymization). End-users suggested that protocols such as session timeout or Two-factor authentication (2FA) positively impact security but compromise usability of the app. Security-awareness via social media, peer guidance, or training from app providers can increase end-users trust in mHealth apps. This research investigates human-centric knowledge based on empirical evidence and provides a set of guidelines to develop secure and usable mHealth apps.


title: The efficacy of antiviral drug, HIV viral load and the immune response

abstract: Developing antiviral drugs is an exigent task since viruses mutate to overcome the effect of antiviral drugs. As a result, the efficacy of most antiviral drugs is short-lived. To include this effect, we modify the Neumann and Dahari model. Considering the fact that the efficacy of the antiviral drug varies in time, the differential equations introduced in the previous model systems are rewritten to study the correlation between the viral load and antiviral drug. The effect of antiviral drug that either prevents infection or stops the production of a virus is explored. First, the efficacy of the drug is considered to decreases monotonously as time progresses. In this case, our result depicts that when the efficacy of the drug is low, the viral load decreases and increases back in time revealing the effect of the antiviral drugs is short-lived. On the other hand, for the antiviral drug with high efficacy, the viral load, as well as the number of infected cells, monotonously decreases while the number of uninfected cells increases. The dependence of the critical drug efficacy on time is also explored. Moreover, the correlation between viral load, the antiviral drug, and CTL response is also explored. In this case, not only the dependence for the basic reproduction ratio on the model parameters is explored but also we analyze the critical drug efficacy as a function of time. We show that the term related to the basic reproduction ratio increases when the CTL response step up. A simple analytically solvable mathematical model is also presented to analyze the correlation between viral load and antiviral drugs.


title: Paths of unitary access to exceptional points

abstract: During the early history of unitary quantum theory the Kato's exceptional points (EPs, a.k.a. non-Hermitian degeneracies) of Hamiltonians $H(\lambda)$ did not play any significant role, mainly due to the Stone theorem which firmly connected the unitarity with the Hermiticity. During the recent wave of optimism people started believing that the corridors of a unitary access to the EPs could be opened leading, say, to a new picture of quantum phase transitions via an {\it ad hoc} weakening of the Hermiticty (replaced by the quasi-Hermiticity). Subsequently, the pessimism prevailed (the paths of access appeared to be fragile). In a way restricted to the quantum physics of closed systems a return to optimism is advocated here: the apparent fragility of the corridors is claimed to follow from a misinterpretation of the theory in its quasi-Hermitian formulation. Several perturbed versions of the realistic many-body Bose-Hubbard model are chosen for illustration purposes.


title: On sparse perfect powers

abstract: This work is devoted to proving that, given an integer $x \ge 2$, there are infinitely many perfect powers, coprime with $x$, having exactly $k \ge 3$ non-zero digits in their base $x$ representation, except for the case $x=2, k=4$, for which a known finiteness result by Corvaja and Zannier holds.


title: A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map

abstract: The paper contains a rigorous proof of existence of symbolic dynamics chaos in the generalized H\'enon map's 4th iterate $H^4$, which was conjectured in the paper \textit{A 3D Smale Horseshoe in a Hyperchaotic Discrete-Time System} of Li and Yang, 2007. We prove also the uniform hyperbolicity of the invariant set with symbolic dynamics. The proofs are computer-assisted with the use of C++ library \textit{CAPD} for interval arithmetic, differentiation and integration.


title: Cloud, Fog or Edge: Where to Compute?

abstract: The computing continuum extends the high-performance cloud data centers with energy-efficient and low-latency devices close to the data sources located at the edge of the network. However, the heterogeneity of the computing continuum raises multiple challenges related to application management. These include where to offload an application - from the cloud to the edge - to meet its computation and communication requirements. To support these decisions, we provide in this article a detailed performance and carbon footprint analysis of a selection of use case applications with complementary resource requirements across the computing continuum over a real-life evaluation testbed.


title: Fibonacci turbulence

abstract: Never is the difference between thermal equilibrium and turbulence so dramatic, as when a quadratic invariant makes the equilibrium statistics exactly Gaussian with independently fluctuating modes. That happens in two very different yet deeply connected classes of systems: incompressible hydrodynamics and resonantly interacting waves. This work presents the first case of a detailed information-theoretic analysis of turbulence in such strongly interacting systems. The analysis elucidates the fundamental roles of space and time in setting the cascade direction and the changes of the statistics along it. We introduce a beautifully simple yet rich family of discrete models with neighboring triplet interactions and show that it has families of quadratic conservation laws defined by the Fibonacci numbers. Depending on the single model parameter, three types of turbulence were found: single direct cascade, double cascade, and the first ever case of a single inverse cascade. We describe quantitatively how deviation from thermal equilibrium all the way to turbulent cascades makes statistics increasingly non-Gaussian and find the self-similar form of the one-mode probability distribution. We reveal where the information (entropy deficit) is encoded and disentangle the communication channels between modes, as quantified by the mutual information in pairs and the interaction information inside triplets.


title: Well-Posedness for the Reaction-Diffusion Equation with Temperature in a critical Besov Space

abstract: We derive a model for the non-isothermal reaction-diffusion equation. Combining ideas from non-equilibrium thermodynamics with the energetic variational approach we obtain a general system modeling the evolution of a non-isothermal chemical reaction with general mass kinetics. From this we recover a linearized model for a system close to equilibrium and we analyze the global-in-time well-posedness of the system for small initial data for a critical Besov space.


title: Spectrum Attention Mechanism for Time Series Classification

abstract: Time series classification(TSC) has always been an important and challenging research task. With the wide application of deep learning, more and more researchers use deep learning models to solve TSC problems. Since time series always contains a lot of noise, which has a negative impact on network training, people usually filter the original data before training the network. The existing schemes are to treat the filtering and training as two stages, and the design of the filter requires expert experience, which increases the design difficulty of the algorithm and is not universal. We note that the essence of filtering is to filter out the insignificant frequency components and highlight the important ones, which is similar to the attention mechanism. In this paper, we propose an attention mechanism that acts on spectrum (SAM). The network can assign appropriate weights to each frequency component to achieve adaptive filtering. We use L1 regularization to further enhance the frequency screening capability of SAM. We also propose a segmented-SAM (SSAM) to avoid the loss of time domain information caused by using the spectrum of the whole sequence. In which, a tumbling window is introduced to segment the original data. Then SAM is applied to each segment to generate new features. We propose a heuristic strategy to search for the appropriate number of segments. Experimental results show that SSAM can produce better feature representations, make the network converge faster, and improve the robustness and classification accuracy.


title: English Machine Reading Comprehension Datasets: A Survey

abstract: This paper surveys 60 English Machine Reading Comprehension datasets, with a view to providing a convenient resource for other researchers interested in this problem. We categorize the datasets according to their question and answer form and compare them across various dimensions including size, vocabulary, data source, method of creation, human performance level, and first question word. Our analysis reveals that Wikipedia is by far the most common data source and that there is a relative lack of why, when, and where questions across datasets.


title: On the geometry and representation theory of isomeric matrices

abstract: The space of $n \times m$ complex matrices can be regarded as an algebraic variety on which the group ${\bf GL}_n \times {\bf GL}_m$ acts. There is a rich interaction between geometry and representation theory in this example. In an important paper, de Concini, Eisenbud, and Procesi classified the equivariant ideals in the coordinate ring. More recently, we proved a noetherian result for families of equivariant modules as $n$ and $m$ vary. In this paper, we establish analogs of these results for the space of $(n|n) \times (m|m)$ isomeric matrices with respect to the action of ${\bf Q}_n \times {\bf Q}_m$, where ${\bf Q}_n$ is the automorphism group of the isomeric structure (commonly known as the "queer supergroup"). Our work is motivated by connections to the Brauer category and the theory of twisted commutative algebras.


title: Online Continual Learning in Image Classification: An Empirical Survey

abstract: Online continual learning for image classification studies the problem of learning to classify images from an online stream of data and tasks, where tasks may include new classes (class incremental) or data nonstationarity (domain incremental). One of the key challenges of continual learning is to avoid catastrophic forgetting (CF), i.e., forgetting old tasks in the presence of more recent tasks. Over the past few years, many methods and tricks have been introduced to address this problem, but many have not been fairly and systematically compared under a variety of realistic and practical settings. To better understand the relative advantages of various approaches and the settings where they work best, this survey aims to (1) compare state-of-the-art methods such as MIR, iCARL, and GDumb and determine which works best at different experimental settings; (2) determine if the best class incremental methods are also competitive in domain incremental setting; (3) evaluate the performance of 7 simple but effective trick such as "review" trick and nearest class mean (NCM) classifier to assess their relative impact. Regarding (1), we observe iCaRL remains competitive when the memory buffer is small; GDumb outperforms many recently proposed methods in medium-size datasets and MIR performs the best in larger-scale datasets. For (2), we note that GDumb performs quite poorly while MIR -- already competitive for (1) -- is also strongly competitive in this very different but important setting. Overall, this allows us to conclude that MIR is overall a strong and versatile method across a wide variety of settings. For (3), we find that all 7 tricks are beneficial, and when augmented with the "review" trick and NCM classifier, MIR produces performance levels that bring online continual learning much closer to its ultimate goal of matching offline training.


title: Resource Allocation for Vehicle Platooning in 5G NR-V2X via Deep Reinforcement Learning

abstract: Vehicle platooning, one of the advanced services supported by 5G NR-V2X, improves traffic efficiency in the connected intelligent transportation systems (C-ITSs). However, the packet delivery ratio of platoon communication, especially in the out-of-coverage area, is significantly impacted by the random selection algorithms employed in the current resource allocation scheme. In this paper, we first analyze the collision probability via the random selection algorithm adopted in the current standard. Subsequently, we then investigate the deep reinforcement learning (DRL) algorithm that decreases the collision probability by letting the agent (vehicle) learn from the communication environment. Monte Carlo simulation is utilized to verify the results obtained in the analytical model and to compare the results between the two discussed algorithms. Numerical results show that the proposed DRL algorithm outperforms the random selection algorithm in terms of different vehicle density, which at least lowering the collision probability by 73% and 45% in low and high vehicle density respectively.


title: A unifying framework for the $\nu$-Tamari lattice and principal order ideals in Young's lattice

abstract: We present a unifying framework in which both the $\nu$-Tamari lattice, introduced by Pr\'eville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $\nu$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $\nu$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $\nu$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $\nu$-caracol flow polytope is given by the $\nu$-Narayana numbers, extending a result of M\'esz\'aros when $\nu$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley.


title: Kinetic Dyson Brownian motion

abstract: We study the spectrum of the kinetic Brownian motion in the space of $d\times d$ Hermitian matrices, $d\geq2$. We show that the eigenvalues stay distinct for all times, and that the process $\Lambda$ of eigenvalues is a kinetic diffusion (i.e. the pair $(\Lambda,\dot\Lambda)$ of $\Lambda$ and its derivative is Markovian) if and only if $d=2$. In the large scale and large time limit, we show that $\Lambda$ converges to the usual (Markovian) Dyson Brownian motion under suitable normalisation, regardless of the dimension.


title: Finding hidden-feature depending laws inside a data set and classifying it using Neural Network

abstract: The logcosh loss function for neural networks has been developed to combine the advantage of the absolute error loss function of not overweighting outliers with the advantage of the mean square error of continuous derivative near the mean, which makes the last phase of learning easier. It is clear, and one experiences it soon, that in the case of clustered data, an artificial neural network with logcosh loss learns the bigger cluster rather than the mean of the two. Even more so, the ANN, when used for regression of a set-valued function, will learn a value close to one of the choices, in other words, one branch of the set-valued function, while a mean-square-error NN will learn the value in between. This work suggests a method that uses artificial neural networks with logcosh loss to find the branches of set-valued mappings in parameter-outcome sample sets and classifies the samples according to those branches.


title: A Linear Division-Based Recursion with Number Theoretic Applications

abstract: A simple remark on infinite series is presented. This applies to a particular recursion scenario, which in turn has applications related to a classical theorem on Euler's phi-function and to recent work by Ron Brown on natural density of square-free numbers.


title: Unraveling Ultrafast Photoionization in Hexagonal Boron Nitride

abstract: The non-linear response of dielectrics to intense, ultrashort electric fields has been a sustained topic of interest for decades with one of its most important applications being femtosecond laser micro/nano-machining. More recently, renewed interests in strong field physics of solids were raised with the advent of mid-infrared femtosecond laser pulses, such as high-order harmonic generation, optical-field-induced currents, etc. All these processes are underpinned by photoionization (PI), namely the electron transfer from the valence to the conduction bands, on a time scale too short for phononic motion to be of relevance. Here, in hexagonal boron nitride, we reveal that the bandgap can be finely manipulated by femtosecond laser pulses as a function of field polarization direction with respect to the lattice, in addition to the field's intensity. It is the modification of bandgap that enables the ultrafast PI processes to take place in dielectrics. We further demonstrate the validity of the Keldysh theory in describing PI in dielectrics in the few TW/cm2 regime.


title: Test and Evaluation Framework for Multi-Agent Systems of Autonomous Intelligent Agents

abstract: Test and evaluation is a necessary process for ensuring that engineered systems perform as intended under a variety of conditions, both expected and unexpected. In this work, we consider the unique challenges of developing a unifying test and evaluation framework for complex ensembles of cyber-physical systems with embedded artificial intelligence. We propose a framework that incorporates test and evaluation throughout not only the development life cycle, but continues into operation as the system learns and adapts in a noisy, changing, and contended environment. The framework accounts for the challenges of testing the integration of diverse systems at various hierarchical scales of composition while respecting that testing time and resources are limited. A generic use case is provided for illustrative purposes and research directions emerging as a result of exploring the use case via the framework are suggested.


title: Optimal Disclosure of Information to a Privately Informed Receiver

abstract: We study information design settings where the designer controls information about a state, and there are multiple agents interacting in a game who are privately informed about their types. Each agent's utility depends on all agents' types and actions, as well as (linearly) on the state. To optimally screen the agents, the designer first asks agents to report their types and then sends a private action recommendation to each agent whose distribution depends on all reported types and the state. We show that there always exists an optimal mechanism which is laminar partitional. Such a mechanism partitions the state space for each type profile and recommends the same action profile for states that belong to the same partition element. Furthermore, the convex hulls of any two partition elements are such that either one contains the other or they have an empty intersection. In the single-agent case, each state is either perfectly revealed or lies in an interval in which the number of different signal realizations is at most the number of different types of the agent plus two. A similar result is established for the multi-agent case. We also highlight the value of screening: without screening the best achievable payoff could be as low as one over the number of types fraction of the optimal payoff. Along the way, we shed light on the solutions of optimization problems over distributions subject to a mean-preserving contraction constraint and additional side constraints, which might be of independent interest.


title: Computing L-Functions of Quadratic Characters at Negative Integers

abstract: We survey a number of different methods for computing $L(\chi,1-k)$ for a Dirichlet character $\chi$, with particular emphasis on quadratic characters. The main conclusion is that when $k$ is not too large (for instance $k\le100$) the best method comes from the use of Eisenstein series of half-integral weight, while when $k$ is large the best method is the use of the complete functional equation, unless the conductor of $\chi$ is really large, in which case the previous method again prevails.


title: Space-Time Quantum Metasurfaces

abstract: Metasurfaces are a key photonic platform to manipulate classical light using sub-wavelength structures with designer optical response. Static metasurfaces have recently entered the realm of quantum photonics, showing their ability to tailor nonclassical states of light. We introduce the concept of space-time quantum metasurfaces for dynamical control of quantum light. We provide illustrative examples of the impact of spatio-temporally modulated metasurfaces in quantum photonics, including the creation of frequency-spin-path hyperentanglement on a single photon and the realization of space-time asymmetry at the deepest level of the quantum vacuum. Photonic platforms based on the space-time quantum metasurface concept have the potential to enable novel functionalities, such as on-demand entanglement generation for quantum communications, nonreciprocal photon propagation for free-space quantum isolation, and reconfigurable quantum imaging and sensing.


title: The Symmetry Basis of Pattern Formation in Reaction-Diffusion Networks

abstract: In networks of nonlinear oscillators, symmetries place hard constraints on the system that can be exploited to predict universal dynamical features and steady-states, providing a rare generic organizing principle for far-from-equilibrium systems. However, the robustness of this class of theories to symmetry-disrupting imperfections is untested. Here, we develop a model experimental reaction-diffusion network of chemical oscillators to test applications of this theory in the context of self-organizing systems relevant to biology and soft robotics. The network is a ring of 4 identical microreactors containing the oscillatory Belousov-Zhabotinsky reaction coupled to nearest neighbors via diffusion. Assuming perfect symmetry, theory predicts 4 categories of stable spatiotemporal phase-locked periodic states and 4 categories of invariant manifolds that guide and structure transitions between phase-locked states. In our experiments, we observed the predicted symmetry-derived synchronous clustered transients that occur when the dynamical trajectories coincide with invariant manifolds. However, we observe only 3 of the 4 phase-locked states that are predicted for the idealized homogeneous system. Quantitative agreement between experiment and numerical simulations is found by accounting for the small amount of experimentally determined heterogeneity. This work demonstrates that a surprising degree of the network's dynamics are constrained by symmetry in spite of the breakdown of the assumption of homogeneity and raises the question of why heterogeneity destabilizes some symmetry predicted states, but not others.


title: Randomized Deep Structured Prediction for Discourse-Level Processing

abstract: Expressive text encoders such as RNNs and Transformer Networks have been at the center of NLP models in recent work. Most of the effort has focused on sentence-level tasks, capturing the dependencies between words in a single sentence, or pairs of sentences. However, certain tasks, such as argumentation mining, require accounting for longer texts and complicated structural dependencies between them. Deep structured prediction is a general framework to combine the complementary strengths of expressive neural encoders and structured inference for highly structured domains. Nevertheless, when the need arises to go beyond sentences, most work relies on combining the output scores of independently trained classifiers. One of the main reasons for this is that constrained inference comes at a high computational cost. In this paper, we explore the use of randomized inference to alleviate this concern and show that we can efficiently leverage deep structured prediction and expressive neural encoders for a set of tasks involving complicated argumentative structures.


title: State Estimation for a Zero-Dimensional Electrochemical Model of Lithium-Sulfur Batteries

abstract: Lithium-sulfur (Li-S) batteries have become one of the most attractive alternatives over conventional Li-ion batteries due to their high theoretical specific energy density (2500 Wh/kg for Li-S vs. $\sim$250 Wh/kg for Li-ion). Accurate state estimation in Li-S batteries is urgently needed for safe and efficient operation. To the best of the authors' knowledge, electrochemical model-based observers have not been reported for Li-S batteries, primarily due to the complex dynamics that make state observer design a challenging problem. In this work, we demonstrate a state estimation scheme based on a zero-dimensional electrochemical model for Li-S batteries. The nonlinear differential-algebraic equation (DAE) model is incorporated into an extend Kalman filter. This observer design estimates both differential and algebraic states that represent the dynamic behavior inside the cell, from voltage and current measurements only. The effectiveness of the proposed estimation algorithm is illustrated by numerical simulation results. Our study unlocks how an electrochemical model can be utilized for practical state estimation of Li-S batteries.


title: High-fidelity Prediction of Megapixel Longitudinal Phase-space Images of Electron Beams using Encoder-Decoder Neural Networks

abstract: Modeling of large-scale research facilities is extremely challenging due to complex physical processes and engineering problems. Here, we adopt a data-driven approach to model the longitudinal phase-space diagnostic beamline at the photoinector of the European XFEL with an encoder-decoder neural network model. A deep convolutional neural network (decoder) is used to build images measured on the screen from a small feature map generated by another neural network (encoder). We demonstrate that the model trained only with experimental data can make high-fidelity predictions of megapixel images for the longitudinal phase-space measurement without any prior knowledge of photoinjectors and electron beams. The prediction significantly outperforms existing methods. We also show the scalability and interpretability of the model by sharing the same decoder with more than one encoder used for different setups of the photoinjector, and propose a pragmatic way to model a facility with various diagnostics and working points. This opens the door to a new way of accurately modeling a photoinjector using neural networks and experimental data. The approach can possibly be extended to the whole accelerator and even other types of scientific facilities.


title: Persistent Covering of a Graph under Latency and Energy Constraints

abstract: Most consumer-level low-cost unmanned aerial vehicles (UAVs) have limited battery power and long charging time. Due to these energy constraints, they cannot accomplish many practical tasks, such as monitoring a sport or political event for hours. The problem of providing the service to cover an area for an extended time is known as persistent covering in the literature. In the past, researchers have proposed various hardware platforms, such as battery-swapping mechanisms, to provide persistent covering. However, algorithmic approaches are limited mostly due to the computational complexity and intractability of the problem. Approximation algorithms have been considered to segment a large area into smaller cells that require periodic visits under the latency constraints. However, these methods assume unlimited energy. In this paper, we explore geometric and topological properties that allow us to significantly reduce the size of the optimization problem. Consequently, the proposed method can efficiently determine the minimum number of UAVs needed and schedule their routes to cover an area persistently. We demonstrated experimentally that the proposed algorithm has better performance than the baseline methods.


title: A continuum and computational framework for viscoelastodynamics: finite deformation linear models

abstract: This work concerns the continuum basis and numerical formulation for deformable materials with viscous dissipative mechanisms. We derive a viscohyperelastic modeling framework based on fundamental thermomechanical principles. Since most large deformation problems exhibit the isochoric property, our modeling work is constructed based on the Gibbs free energy in order to develop a continuum theory using the pressure-primitive variables, which is known to be well-behaved in the incompressible limit. With a general theory presented, we focus on a family of free energies that leads to the so-called finite deformation linear model. Our derivation elucidates the origin of the evolution equations of that model, which was originally proposed heuristically. In our derivation, the thermodynamic inconsistency is clarified and rectified. We then discuss the relaxation property of the non-equilibrium stress in the thermodynamic equilibrium limit and its implication on the form of free energy. A modified version of the identical polymer chain model is then proposed, with a special case being the model proposed by G. Holzapfel and J. Simo. Based on the consistent modeling framework, a provably energy stable numerical scheme is constructed for incompressible viscohyperelasticity using inf-sup stable elements. In particular, we adopt a suite of smooth generalization of the Taylor-Hood element based on Non-Uniform Rational B-Splines (NURBS) for spatial discretization. The temporal discretization is performed via the generalized-alpha scheme. We present a suite of numerical results to corroborate the proposed numerical properties, including the nonlinear stability, robustness under large deformation, and the stress accuracy resolved by the higher-order elements.


title: On the use of elliptic regularity theory for the numerical solution of variational problems

abstract: In this article we show the crucial role of elliptic regularity theory for the development of efficient numerical methods for the solution of some variational problems. Here we focus to a class of elliptic multiobjective optimal control problems that can be formulated as jointly convex generalized Nash equilibrium problems and to nonsmooth boundary value problems that stem from contact mechanics leading to elliptic variational inequalities.


title: On the Use of Computational Fluid Dynamics (CFD) Modelling to Design Improved Dry Powder Inhalers

abstract: Purpose: Computational Fluid Dynamics (CFD) simulations are performed to investigate the impact of adding a grid to a two-inlet dry powder inhaler (DPI). The purpose of the paper is to show the importance of the correct choice of closure model and modeling approach, as well as to perform validation against particle dispersion data obtained from in-vitro studies and flow velocity data obtained from particle image velocimetry (PIV) experiments. Methods: CFD simulations are performed using the Ansys Fluent 2020R1 software package. Two RANS turbulence models (realisable $k - \epsilon$ and $k - \omega$ SST) and the Stress Blended Eddy Simulation (SBES) models are considered. Lagrangian particle tracking for both carrier and fine particles is also performed. Results: Excellent comparison with the PIV data is found for the SBES approach and the particle tracking data are consistent with the dispersion results, given the simplicity of the assumptions made. Conclusions: This work shows the importance of selecting the correct turbulence modelling approach and boundary conditions to obtain good agreement with PIV data for the flow-field exiting the device. With this validated, the model can be used with much higher confidence to explore the fluid and particle dynamics within the device.


title: Quantitative analysis of iron sand mineral content from the south coast of Cidaun, West Java using rietveld refinement method

abstract: Iron sand is one of the abundant natural resources in Indonesia, especially on the south coast of Cidaun; West Java which is the basic material for building and metal industry. Iron mineral content is generally metal oxide such as magnetite, hematite and silica/quartz. Sand with iron content used in this study is derived from beach sand Desa Kertajadi, Kecamatan Cidaun, Kabupaten Cianjur, Jawa Barat. Then mass of 2 kg sand was separated using a magnetic separator in order to obtain magnetic and nonmagnetic mineral content. After nine rounds of separation takes two different types of samples that are no separation sand (TS) sample and concentrate in the third separation (S3) sample. The sample is then examined by X-Ray Diffraction (XRD) measurement and analyzed quantitatively using MAUD software to determine the content of Fe3O4 (magnetite) by using the Rietveld refinement method from XRD data. As the analysis result, the magnetite content contained in iron sand is counted quantitatively for each different sample. For iron sand samples (TS) yielding a 24.27 percent of magnetite and a third concentrate separation sample (S3) yields 61.98 percent.


title: Towards glass-box CNNs

abstract: With the substantial performance of neural networks in sensitive fields increases the need for interpretable deep learning models. Major challenge is to uncover the multiscale and distributed representation hidden inside the basket mappings of the deep neural networks. Researchers have been trying to comprehend it through visual analysis of features, mathematical structures, or other data-driven approaches. Here, we work on implementation invariances of CNN-based representations and present an analytical binary prototype that provides useful insights for large scale real-life applications. We begin by unfolding conventional CNN and then repack it with a more transparent representation. Inspired by the attainment of neural networks, we choose to present our findings as a three-layer model. First is a representation layer that encompasses both the class information (group invariant) and symmetric transformations (group equivariant) of input images. Through these transformations, we decrease intra-class distance and increase the inter-class distance. It is then passed through a dimension reduction layer followed by a classifier. The proposed representation is compared with the equivariance of AlexNet (CNN) internal representation for better dissemination of simulation results. We foresee following immediate advantages of this toy version: i) contributes pre-processing of data to increase the feature or class separability in large scale problems, ii) helps designing neural architecture to improve the classification performance in multi-class problems, and iii) helps building interpretable CNN through scalable functional blocks.


title: GnetSeg: Semantic Segmentation Model Optimized on a 224mW CNN Accelerator Chip at the Speed of 318FPS

abstract: Semantic segmentation is the task to cluster pixels on an image belonging to the same class. It is widely used in the real-world applications including autonomous driving, medical imaging analysis, industrial inspection, smartphone camera for person segmentation and so on. Accelerating the semantic segmentation models on the mobile and edge devices are practical needs for the industry. Recent years have witnessed the wide availability of CNN (Convolutional Neural Networks) accelerators. They have the advantages on power efficiency, inference speed, which are ideal for accelerating the semantic segmentation models on the edge devices. However, the CNN accelerator chips also have the limitations on flexibility and memory. In addition, the CPU load is very critical because the CNN accelerator chip works as a co-processor with a host CPU. In this paper, we optimize the semantic segmentation model in order to fully utilize the limited memory and the supported operators on the CNN accelerator chips, and at the same time reduce the CPU load of the CNN model to zero. The resulting model is called GnetSeg. Furthermore, we propose the integer encoding for the mask of the GnetSeg model, which minimizes the latency of data transfer between the CNN accelerator and the host CPU. The experimental result shows that the model running on the 224mW chip achieves the speed of 318FPS with excellent accuracy for applications such as person segmentation.


title: Dairy Cow rumination detection: A deep learning approach

abstract: Cattle activity is an essential index for monitoring health and welfare of the ruminants. Thus, changes in the livestock behavior are a critical indicator for early detection and prevention of several diseases. Rumination behavior is a significant variable for tracking the development and yield of animal husbandry. Therefore, various monitoring methods and measurement equipment have been used to assess cattle behavior. However, these modern attached devices are invasive, stressful and uncomfortable for the cattle and can influence negatively the welfare and diurnal behavior of the animal. Multiple research efforts addressed the problem of rumination detection by adopting new methods by relying on visual features. However, they only use few postures of the dairy cow to recognize the rumination or feeding behavior. In this study, we introduce an innovative monitoring method using Convolution Neural Network (CNN)-based deep learning models. The classification process is conducted under two main labels: ruminating and other, using all cow postures captured by the monitoring camera. Our proposed system is simple and easy-to-use which is able to capture long-term dynamics using a compacted representation of a video in a single 2D image. This method proved efficiency in recognizing the rumination behavior with 95%, 98% and 98% of average accuracy, recall and precision, respectively.


title: Extended Larch\'e--Cahn framework for reactive Cahn--Hilliard multicomponent systems

abstract: At high temperature and pressure, solid diffusion and chemical reactions between rock minerals lead to phase transformations. Chemical transport during uphill diffusion causes phase separation, that is, spinodal decomposition. Thus, to describe the coarsening kinetics of the exsolution microstructure, we derive a thermodynamically consistent continuum theory for the multicomponent Cahn--Hilliard equations while accounting for multiple chemical reactions and neglecting deformations. Our approach considers multiple balances of microforces augmented by multiple constituent content balance equations within an extended Larch\'e--Cahn framework. As for the Larch\'e--Cahn framework, we incorporate into the theory the Larch\'e--Cahn derivatives with respect to the phase fields and their gradients. We also explain the implications of the resulting constrained gradients of the phase fields in the form of the gradient energy coefficients. Moreover, we derive a configurational balance that includes all the associated configurational fields in agreement with the Larch\'e--Cahn framework. We study phase separation in a three-component system whose microstructural evolution depends upon the reaction-diffusion interactions and to analyze the underlying configurational fields. This simulation portrays the interleaving between the reaction and diffusion processes and how the configurational tractions drive the motion of interfaces.


title: Environment-Adaptive Multiple Access for Distributed V2X Network: A Reinforcement Learning Framework

abstract: The huge research interest in cellular vehicle-to-everything (C-V2X) communications in recent days is attributed to their ability to schedule multiple access more efficiently as compared to its predecessor technology, i.e., dedicated short-range communications (DSRC). However, one of the foremost issues still remaining is the need for the V2X to operate stably in a highly dynamic environment. This paper proposes a way to exploit the dynamicity. That is, we propose a resource allocation mechanism adaptive to the environment, which can be an efficient solution for air interface congestion that a V2X network often suffers from. Specifically, the proposed mechanism aims at granting a higher chance of transmission to a vehicle with a higher crash risk. As such, the channel access is prioritized to those with urgent needs. The proposed framework is established based on reinforcement learning (RL), which is modeled as a contextual multi-armed bandit (MAB). Importantly, the framework is designed to operate at a vehicle autonomously without any assistance from a central entity, which, henceforth, is expected to make a particular fit to distributed V2X network such as C-V2X mode 4.


title: PolyLM: Learning about Polysemy through Language Modeling

abstract: To avoid the "meaning conflation deficiency" of word embeddings, a number of models have aimed to embed individual word senses. These methods at one time performed well on tasks such as word sense induction (WSI), but they have since been overtaken by task-specific techniques which exploit contextualized embeddings. However, sense embeddings and contextualization need not be mutually exclusive. We introduce PolyLM, a method which formulates the task of learning sense embeddings as a language modeling problem, allowing contextualization techniques to be applied. PolyLM is based on two underlying assumptions about word senses: firstly, that the probability of a word occurring in a given context is equal to the sum of the probabilities of its individual senses occurring; and secondly, that for a given occurrence of a word, one of its senses tends to be much more plausible in the context than the others. We evaluate PolyLM on WSI, showing that it performs considerably better than previous sense embedding techniques, and matches the current state-of-the-art specialized WSI method despite having six times fewer parameters. Code and pre-trained models are available at https://github.com/AlanAnsell/PolyLM.


title: Towards Domain Invariant Single Image Dehazing

abstract: Presence of haze in images obscures underlying information, which is undesirable in applications requiring accurate environment information. To recover such an image, a dehazing algorithm should localize and recover affected regions while ensuring consistency between recovered and its neighboring regions. However owing to fixed receptive field of convolutional kernels and non uniform haze distribution, assuring consistency between regions is difficult. In this paper, we utilize an encoder-decoder based network architecture to perform the task of dehazing and integrate an spatially aware channel attention mechanism to enhance features of interest beyond the receptive field of traditional conventional kernels. To ensure performance consistency across diverse range of haze densities, we utilize greedy localized data augmentation mechanism. Synthetic datasets are typically used to ensure a large amount of paired training samples, however the methodology to generate such samples introduces a gap between them and real images while accounting for only uniform haze distribution and overlooking more realistic scenario of non-uniform haze distribution resulting in inferior dehazing performance when evaluated on real datasets. Despite this, the abundance of paired samples within synthetic datasets cannot be ignored. Thus to ensure performance consistency across diverse datasets, we train the proposed network within an adversarial prior-guided framework that relies on a generated image along with its low and high frequency components to determine if properties of dehazed images matches those of ground truth. We preform extensive experiments to validate the dehazing and domain invariance performance of proposed framework across diverse domains and report state-of-the-art (SoTA) results.


title: LAIF: AI, Deep Learning for Germany Suetterlin Letter Recognition and Generation

abstract: One of the successful early implementation of deep learning AI technology was on letter recognition. With the recent breakthrough of artificial intelligence (AI) brings more solid technology for complex problems like handwritten letter recognition and even automatic generation of them. In this research, we proposed deep learning framework called Ludwig AI Framework(LAIF) for Germany Suetterlin letter recognition and generation. To recognize Suetterlin letter, we proposed deep convolutional neural network. Since lack of big amount of data to train for the deep models and huge cost to label existing hard copy of handwritten letters, we also introduce the methodology with deep generative adversarial network to generate handwritten letters as synthetic data. Main source code is in https://github.com/enkhtogtokh/LAIF repository.


title: Evolution of Small Cell from 4G to 6G: Past, Present, and Future

abstract: To boost the capacity of the cellular system, the operators have started to reuse the same licensed spectrum by deploying 4G LTE small cells (Femto Cells) in the past. But in time, these small cell licensed spectrum is not sufficient to satisfy future applications like augmented reality (AR)and virtual reality (VR). Hence, cellular operators look for alternate unlicensed spectrum in Wi-Fi 5 GHz band, later 3GPP named as LTE Licensed Assisted Access (LAA). The recent and current rollout of LAA deployments (in developed nations like the US) provides an opportunity to understand coexistence profound ground truth. This paper discusses a high-level overview of my past, present, and future research works in the direction of small cell benefits. In the future, we shift the focus onto the latest unlicensed band: 6 GHz, where the latest Wi-Fi version, 802.11ax, will coexist with the latest cellular technology, 5G New Radio(NR) in unlicensed


title: Black-box Adversarial Attacks on Monocular Depth Estimation Using Evolutionary Multi-objective Optimization

abstract: This paper proposes an adversarial attack method to deep neural networks (DNNs) for monocular depth estimation, i.e., estimating the depth from a single image. Single image depth estimation has improved drastically in recent years due to the development of DNNs. However, vulnerabilities of DNNs for image classification have been revealed by adversarial attacks, and DNNs for monocular depth estimation could contain similar vulnerabilities. Therefore, research on vulnerabilities of DNNs for monocular depth estimation has spread rapidly, but many of them assume white-box conditions where inside information of DNNs is available, or are transferability-based black-box attacks that require a substitute DNN model and a training dataset. Utilizing Evolutionary Multi-objective Optimization, the proposed method in this paper analyzes DNNs under the black-box condition where only output depth maps are available. In addition, the proposed method does not require a substitute DNN that has a similar architecture to the target DNN nor any knowledge about training data used to train the target model. Experimental results showed that the proposed method succeeded in attacking two DNN-based methods that were trained with indoor and outdoor scenes respectively.


title: Nature-Inspired Algorithms for Wireless Sensor Networks: A Comprehensive Survey

abstract: In order to solve the critical issues in Wireless Sensor Networks (WSNs), with concern for limited sensor lifetime, nature-inspired algorithms are emerging as a suitable method. Getting optimal network coverage is one of those challenging issues that need to be examined critically before any network setup. Optimal network coverage not only minimizes the consumption of limited energy of battery-driven sensors but also reduce the sensing of redundant information. In this paper, we focus on nature-inspired optimization algorithms concerning the optimal coverage in WSNs. In the first half of the paper, we have briefly discussed the taxonomy of the optimization algorithms along with the problem domains in WSNs. In the second half of the paper, we have compared the performance of two nature-inspired algorithms for getting optimal coverage in WSNs. The first one is a combined Improved Genetic Algorithm and Binary Ant Colony Algorithm (IGABACA), and the second one is Lion Optimization (LO). The simulation results confirm that LO gives better network coverage, and the convergence rate of LO is faster than that of IGA-BACA. Further, we observed that the optimal coverage is achieved at a lesser number of generations in LO as compared to IGA-BACA. This review will help researchers to explore the applications in this field as well as beyond this area. Keywords: Optimal Coverage, Bio-inspired Algorithm, Lion Optimization, WSNs.


title: Machine Learning Coupled Trajectory and Communication Design for UAV-Facilitated Wireless Networks

abstract: Augmenting wireless networks with Unmanned Aerial Vehicles (UAVs), commonly referred to as drones, offers a promising avenue for providing reliable, cost-effective, and on-demand wireless services to desired areas. However, existing UAV communication and trajectory schemes are inefficient as they assume limited drone mobility and static transmission power. Furthermore, they tend to rely upon convex approximations to highly non-linear functions and fail to adopt a combination of heuristic and convex methods. This paper considers a Multi-UAV system where UAV-mounted mobile base stations serve users on the ground. An iterative approach using block gradient descent is used to jointly optimize user scheduling, UAV trajectories, and transmission power for maximizing throughput over all users. Subsequently, an innovative technique for initial trajectory predictions was developed using a K-means clustering algorithm for partitioning users into subgroups and a genetic algorithm for initializing shortest flight paths within clusters. Finally, convex optimization solvers such as MATLAB's Fmincon are used for fine-tuning parameters. Extensive simulation and optimization results demonstrate a 33.57%, 87.4%, and 53.2% increase in system throughput for the 1, 2, and 3 UAV scenarios respectively when compared to existing trajectory and communication design schemes. Furthermore, the K-means and genetic algorithm reveal additional improvements in throughput by around 15%. Our results note diminished increases in throughput for increases in UAV trajectory period as the period approaches higher values. Further research into joint adoption of convex and non-convex schemes as well as consideration of environment-dependent channel models would allow for a faster and more optimal deployment of UAVs.


title: Frame based equipment channel access enhancements in NR unlicensed spectrum for the URLLC transmissions

abstract: Ultra-reliable low-latency communication (URLLC) in 5G New Radio has been originally defined only for licensed spectrum. However, due to new use cases in the Industry 4.0 scenarios, URLLC operation is currently being extended to unlicensed spectrum in the ongoing Release 17 of the 3rd Generation Partnership Project. Although in such controlled environments we can guarantee the absence of any other technology sharing the channel on a long-term basis, the uncertainty of obtaining channel access through load based equipment (LBE) or frame based equipment (FBE) can impede with the latency requirements of URLLC. In FBE, the transmitters can be prioritized to support data with different requirements and have lower energy consumption and latency compared to LBE with a big contention window size. In this paper we analyze the performance of FBE in an unlicensed controlled environment through a Markov chain. Based on this analysis, we propose two schemes to improve the URLLC performance in FBE: The first scheme allows the transmitters to use multiple fixed frame period (FFP) configurations while the second scheme configures the FFP's starting point of each transmitter based on its priority. The simulations show the benefits of these schemes compared to the URLLC transmission of existing schemes.


title: Poncelet Propellers: Invariant Total Blade Area

abstract: Given a triangle, a trio of circumellipses can be defined, each centered on an excenter. Over the family of Poncelet 3-periodics (triangles) in a concentric ellipse pair (axis-aligned or not), the trio resembles a rotating propeller, where each "blade" has variable area. Amazingly, their total area is invariant, even when the ellipse pair is not axis-aligned. We also prove a closely-related invariant involving the sum of blade-to-excircle area ratios.


title: Shift-Table: A Low-latency Learned Index for Range Queries using Model Correction

abstract: Indexing large-scale databases in main memory is still challenging today. Learned index structures -- in which the core components of classical indexes are replaced with machine learning models -- have recently been suggested to significantly improve performance for read-only range queries. However, a recent benchmark study shows that learned indexes only achieve limited performance improvements for real-world data on modern hardware. More specifically, a learned model cannot learn the micro-level details and fluctuations of data distributions thus resulting in poor accuracy; or it can fit to the data distribution at the cost of training a big model whose parameters cannot fit into cache. As a consequence, querying a learned index on real-world data takes a substantial number of memory lookups, thereby degrading performance. In this paper, we adopt a different approach for modeling a data distribution that complements the model fitting approach of learned indexes. We propose Shift-Table, an algorithmic layer that captures the micro-level data distribution and resolves the local biases of a learned model at the cost of at most one memory lookup. Our suggested model combines the low latency of lookup tables with learned indexes and enables low-latency processing of range queries. Using Shift-Table, we achieve a speedup of 1.5X to 2X on real-world datasets compared to trained and tuned learned indexes.


title: Limit groups over coherent right-angled Artin groups are cyclic subgroup separable

abstract: We prove that cyclic subgroup separability is preserved under exponential completion for groups that belong to a class that includes all coherent RAAGs and toral relatively hyperbolic groups; we do so by exploiting the structure of these completions as iterated free products with commuting subgroups. From this we deduce that the cyclic subgroups of limit groups over coherent RAAGs are separable, answering a question of Casals-Ruiz, Duncan and Kazachov. We also discuss relations between free products with commuting subgroups and the word problem, and recover the fact that limit groups over coherent RAAGs and toral relatively hyperbolic groups have a solvable word problem.


title: General Method for Classicality Certification in the Prepare and Measure Scenario

abstract: Preparation and measurement of physical systems are the operational building blocks of any physical experiment, and to describe them is the first purpose of any physical theory. It is remarkable that, in some situations, even when only preparation and measurement devices of a single system are present and they are uncharacterized, it is possible to distinguish between the behaviours of quantum and classical systems relying only on observational data. Certifying the physical origin of measurement statistics in the prepare and measure scenario is of primal importance for developing quantum networks, distributing quantum keys and certifying randomness, to mention a few applications, but, surprisingly, no general methods to do so are known. We progress on this problem by crafting a general, sufficient condition to certify that a given set of preparations can only generate classical statistics, for any number of generalized measurements. As an application, we employ the method to demonstrate non-classicality activation in the prepare and measure scenario, also considering its application in random access codes. Following that, we adapt our method to certify, again through a sufficient condition, whether a given set of measurements can never give rise to non-classical behaviors, irrespective of what preparations they may act upon. This, in turn, allows us to find a large set of incompatible measurements that cannot be used to demonstrate non-classicality, thus showing incompatibility is not sufficient for non-classicality in the prepare and measure scenario.


title: Temporal Latent Auto-Encoder: A Method for Probabilistic Multivariate Time Series Forecasting

abstract: Probabilistic forecasting of high dimensional multivariate time series is a notoriously challenging task, both in terms of computational burden and distribution modeling. Most previous work either makes simple distribution assumptions or abandons modeling cross-series correlations. A promising line of work exploits scalable matrix factorization for latent-space forecasting, but is limited to linear embeddings, unable to model distributions, and not trainable end-to-end when using deep learning forecasting. We introduce a novel temporal latent auto-encoder method which enables nonlinear factorization of multivariate time series, learned end-to-end with a temporal deep learning latent space forecast model. By imposing a probabilistic latent space model, complex distributions of the input series are modeled via the decoder. Extensive experiments demonstrate that our model achieves state-of-the-art performance on many popular multivariate datasets, with gains sometimes as high as $50\%$ for several standard metrics.


title: How do some Bayesian Network machine learned graphs compare to causal knowledge?

abstract: The graph of a Bayesian Network (BN) can be machine learned, determined by causal knowledge, or a combination of both. In disciplines like bioinformatics, applying BN structure learning algorithms can reveal new insights that would otherwise remain unknown. However, these algorithms are less effective when the input data are limited in terms of sample size, which is often the case when working with real data. This paper focuses on purely machine learned and purely knowledge-based BNs and investigates their differences in terms of graphical structure and how well the implied statistical models explain the data. The tests are based on four previous case studies whose BN structure was determined by domain knowledge. Using various metrics, we compare the knowledge-based graphs to the machine learned graphs generated from various algorithms implemented in TETRAD spanning all three classes of learning. The results show that, while the algorithms produce graphs with much higher model selection score, the knowledge-based graphs are more accurate predictors of variables of interest. Maximising score fitting is ineffective in the presence of limited sample size because the fitting becomes increasingly distorted with limited data, guiding algorithms towards graphical patterns that share higher fitting scores and yet deviate considerably from the true graph. This highlights the value of causal knowledge in these cases, as well as the need for more appropriate fitting scores suitable for limited data. Lastly, the experiments also provide new evidence that support the notion that results from simulated data tell us little about actual real-world performance.


title: Computing real powers of monomial ideals

abstract: This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the real powers of a monomial ideal. An important result is that given any monomial ideal $I$, the function taking real numbers to the corresponding real power of $I$ is a step function whose jumping points are rational. This reduces the problem of determining real powers to rational exponents.


title: RTGPU: Real-Time GPU Scheduling of Hard Deadline Parallel Tasks with Fine-Grain Utilization

abstract: Many emerging cyber-physical systems, such as autonomous vehicles and robots, rely heavily on artificial intelligence and machine learning algorithms to perform important system operations. Since these highly parallel applications are computationally intensive, they need to be accelerated by graphics processing units (GPUs) to meet stringent timing constraints. However, despite the wide adoption of GPUs, efficiently scheduling multiple GPU applications while providing rigorous real-time guarantees remains a challenge. In this paper, we propose RTGPU, which can schedule the execution of multiple GPU applications in real-time to meet hard deadlines. Each GPU application can have multiple CPU execution and memory copy segments, as well as GPU kernels. We start with a model to explicitly account for the CPU and memory copy segments of these applications. We then consider the GPU architecture in the development of a precise timing model for the GPU kernels and leverage a technique known as persistent threads to implement fine-grained kernel scheduling with improved performance through interleaved execution. Next, we propose a general method for scheduling parallel GPU applications in real time. Finally, to schedule multiple parallel GPU applications, we propose a practical real-time scheduling algorithm based on federated scheduling and grid search (for GPU kernel segments) with uniprocessor fixed priority scheduling (for multiple CPU and memory copy segments). Our approach provides superior schedulability compared with previous work, and gives real-time guarantees to meet hard deadlines for multiple GPU applications according to comprehensive validation and evaluation on a real NVIDIA GTX1080Ti GPU system.


title: Personal Data Access Control Through Distributed Authorization

abstract: This paper presents an architecture of a Personal Information Management System, in which individuals can define the access to their personal data by means of smart contracts. These smart contracts, running on the Ethereum blockchain, implement access control lists and grant immutability, traceability and verifiability of the references to personal data, which is stored itself in a (possibly distributed) file system. A distributed authorization mechanism is devised, where trust from multiple network nodes is necessary to grant the access to the data. To this aim, two possible alternatives are described: a Secret Sharing scheme and Threshold Proxy Re-Encryption scheme. The performance of these alternatives is experimentally compared in terms of execution time. Threshold Proxy Re-Encryption appears to be faster in different scenarios, in particular when increasing message size, number of nodes and the threshold value, i.e. number of nodes needed to grant the data disclosure.


title: Identifying acoustic wave sources on the Sun I. Two-dimensional waves in a simulated photosphere

abstract: The solar acoustic oscillations are likely stochastically excited by convective dynamics in the solar photosphere, though few direct observations of individual source events have been made and their detailed characteristics are still unknown. Wave source identification requires measurements that can reliably discriminate the local wave signal from the background convective motions and resonant modal power. This is quite challenging as these 'noise' contributions have amplitudes several orders of magnitude greater than the sources and the propagating wave fields they induce. In this paper, we employ a high-temporal-frequency filter to identify sites of acoustic emission in a radiative magnetohydrodynamic simulation. The properties of the filter were determined from a convolutional neural network trained to identify the two-dimensional acoustic Green's function response of the atmosphere, but once defined, it can be directly applied to an image time series to extract the signal of local wave excitation, bypassing the need for the original neural network. Using the filter developed, we have uncovered previously unknown properties of the acoustic emission process. In the simulation, acoustic events are found to be clustered at mesogranular scales, with peak emission quite deep, about 500 km below the photosphere, and sites of very strong emission can result from the interaction of two supersonic downflows that merge at that depth. We suggest that the method developed, when applied to high-resolution high-cadence observations, such as those forthcoming with Daniel K. Inouye Solar Telescope (DKIST), will have important applications in chromospheric wave-studies and may lead to new investigations in high-resolution local-helioseismology.


title: A regression framework for a probabilistic measure of cost-effectiveness

abstract: To make informed health policy decisions regarding a treatment, we must consider both its cost and its clinical effectiveness. In past work, we introduced the net benefit separation (NBS) as a novel measure of cost-effectiveness. The NBS is a probabilistic measure that characterizes the extent to which a treated patient will be more likely to experience benefit as compared to an untreated patient. Due to variation in treatment response across patients, uncovering factors that influence cost-effectiveness can assist policy makers in population-level decisions regarding resource allocation. In this paper, we introduce a regression framework for NBS in order to estimate covariate-specific NBS and find determinants of variation in NBS. Our approach is able to accommodate informative cost censoring through inverse probability weighting techniques, and addresses confounding through a semiparametric standardization procedure. Through simulations, we show that NBS regression performs well in a variety of common scenarios. We apply our proposed regression procedure to a realistic simulated data set as an illustration of how our approach could be used to investigate the association between cancer stage, comorbidities and cost-effectiveness when comparing adjuvant radiation therapy and chemotherapy in post-hysterectomy endometrial cancer patients.


title: Non-embeddable II$_1$ factors resembling the hyperfinite II$_1$ factor

abstract: We consider various statements that characterize the hyperfinite II$_1$ factors amongst embeddable II$_1$ factors in the non-embeddable situation. In particular, we show that "generically" a II$_1$ factor has the Jung property (which states that every embedding of itself into its ultrapower is unitarily conjugate to the diagonal embedding) if and only if it is self-tracially stable (which says that every such embedding has an approximate lifting). We prove that the enforceable factor, should it exist, has these equivalent properties. Our techniques are model-theoretic in nature. We also show how these techniques can be used to give new proofs that the hyperfinite II$_1$ factor has the aforementioned properties.


title: Strategies for the Construction of Machine-Learning Potentials for Accurate and Efficient Atomic-Scale Simulations

abstract: Recent advances in machine-learning interatomic potentials have enabled the efficient modeling of complex atomistic systems with an accuracy that is comparable to that of conventional quantum mechanics based methods. At the same time, the construction of new machine-learning potentials can seem a daunting task, as it involves data-science techniques that are not yet common in chemistry and materials science. Here, we provide a tutorial-style overview of strategies and best practices for the construction of artificial neural network (ANN) potentials. We illustrate the most important aspects of (i) data collection, (ii) model selection, (iii) training and validation, and (iv) testing and refinement of ANN potentials on the basis of practical examples. Current research in the areas of active learning and delta learning are also discussed in the context of ANN potentials. This tutorial review aims at equipping computational chemists and materials scientists with the required background knowledge for ANN potential construction and application, with the intention to accelerate the adoption of the method, so that it can facilitate exciting research that would otherwise be challenging with conventional strategies.


title: Probing electroweak phase transition with multi-TeV muon colliders and gravitational waves

abstract: We study the complementarity of the proposed multi-TeV muon colliders and the near-future gravitational wave (GW) detectors to the first order electroweak phase transition (FOEWPT), taking the real scalar extended Standard Model as the representative model. A detailed collider simulation shows the FOEWPT parameter space can be greatly probed via the the vector boson fusion production of the singlet, and its subsequent decay to the di-Higgs or di-boson channels. Especially, almost all the parameter space yielding detectable GW signals can be probed by the muon colliders. Therefore, if we could detect stochastic GWs in the future, a muon collider could provide a hopeful crosscheck to identify their origin. On the other hand, there is considerable parameter space that escapes GW detections but is within the reach of the muon colliders. The precision measurements of Higgs couplings could also probe the FOEWPT parameter space efficiently.


title: Multi-Beam Energy Moments of Compound Measured Ion Velocity Distributions

abstract: Compound ion distributions, fi(v), have been measured by NASA's Magnetospheric Multi-Scale Mission (MMS) and have been found in reconnection simulations. A complex distribution, fi(v), consisting, for example, of essentially disjoint pieces will be called a multi-beam distribution and modeled as a sum of "beams," fi(v) = f1(v) + ... +fN(v). Velocity moments of fi(v) are taken beam by beam and summed. Such multi-beam moments of fi(v) have advantages over the customary standard velocity moments of fi(v), forwhich there is only one mean flow velocity. For example, the standard thermal energy momentof a pair of equal and opposite cold particle beams is non-zero even though each beam has zero thermal energy. We therefore call this thermal energy pseudo-thermal. By contrast, a multi-beam moment of two or more beams has no pseudo-thermal energy. We develop three different ways of decomposing into a sum and finding multi-beam moments for both a multi-beam fi(v) measured by MMS in the dayside magnetosphere during reconnection and a multi-beam fi(v) found in a PIC simulation of magnetotail reconnection. The three methods are: A visual method in which the velocity centroid of each beam is estimated and its density determined self-consistently; A k-means method in which particles in a particle-representation of fi(v) are sorted into a minimum energy configuration of N (= k) clusters; A nonlinear least squares method based on a fit to a sum of N kappa functions. Multi-beam energy moments are calculated and compared with standard moments for the thermal energy density, pressure tensor, thermal energy flux (heat plus enthalpy fluxes), bulk kinetic energy density, RAM pressure and bulk kinetic energy flux. Applying this new formalism to real data demonstrates in detail how multi-beam techniques may provide significant insight into the properties of observed space plasmas.


title: Classification of Schizophrenia from Functional MRI Using Large-scale Extended Granger Causality

abstract: The literature manifests that schizophrenia is associated with alterations in brain network connectivity. We investigate whether large-scale Extended Granger Causality (lsXGC) can capture such alterations using resting-state fMRI data. Our method utilizes dimension reduction combined with the augmentation of source time-series in a predictive time-series model for estimating directed causal relationships among fMRI time-series. The lsXGC is a multivariate approach since it identifies the relationship of the underlying dynamic system in the presence of all other time-series. Here lsXGC serves as a biomarker for classifying schizophrenia patients from typical controls using a subset of 62 subjects from the Centers of Biomedical Research Excellence (COBRE) data repository. We use brain connections estimated by lsXGC as features for classification. After feature extraction, we perform feature selection by Kendall's tau rank correlation coefficient followed by classification using a support vector machine. As a reference method, we compare our results with cross-correlation, typically used in the literature as a standard measure of functional connectivity. We cross-validate 100 different training/test (90%/10%) data split to obtain mean accuracy and a mean Area Under the receiver operating characteristic Curve (AUC) across all tested numbers of features for lsXGC. Our results demonstrate a mean accuracy range of [0.767, 0.940] and a mean AUC range of [0.861, 0.983] for lsXGC. The result of lsXGC is significantly higher than the results obtained with the cross-correlation, namely mean accuracy of [0.721, 0.751] and mean AUC of [0.744, 0.860]. Our results suggest the applicability of lsXGC as a potential biomarker for schizophrenia.


title: Appliance Operation Modes Identification Using Cycles Clustering

abstract: The increasing cost, energy demand, and environmental issues has led many researchers to find approaches for energy monitoring, and hence energy conservation. The emerging technologies of Internet of Things (IoT) and Machine Learning (ML) deliver techniques that have the potential to efficiently conserve energy and improve the utilization of energy consumption. Smart Home Energy Management Systems (SHEMSs) have the potential to contribute in energy conservation through the application of Demand Response (DR) in the residential sector. In this paper, we propose appliances Operation Modes Identification using Cycles Clustering (OMICC) which is SHEMS fundamental approach that utilizes the sensed residential disaggregated power consumption in supporting DR by providing consumers the opportunity to select lighter appliance operation modes. The cycles of the Single Usage Profile (SUP) of an appliance are extracted and reformed into features in terms of clusters of cycles. These features are then used to identify the operation mode used in every occurrence using K-Nearest Neighbors (KNN). Operation modes identification is considered a basis for many potential smart DR applications within SHEMS towards the consumers or the suppliers


title: Constant Amortized Time Enumeration of Eulerian trails

abstract: In this paper, we consider enumeration problems for edge-distinct and vertex-distinct Eulerian trails. Here, two Eulerian trails are \emph{edge-distinct} if the edge sequences are not identical, and they are \emph{vertex-distinct} if the vertex sequences are not identical. As the main result, we propose optimal enumeration algorithms for both problems, that is, these algorithm runs in $\mathcal{O}(N)$ total time, where $N$ is the number of solutions. Our algorithms are based on the reverse search technique introduced by [Avis and Fukuda, DAM 1996], and the push out amortization technique introduced by [Uno, WADS 2015].


title: Towards an Open Format for Scalable System Telemetry

abstract: A data representation for system behavior telemetry for scalable big data security analytics is presented, affording telemetry consumers comprehensive visibility into workloads at reduced storage and processing overheads. The new abstraction, SysFlow, is a compact open data format that lifts the representation of system activities into a flow-centric, object-relational mapping that records how applications interact with their environment, relating processes to file accesses, network activities, and runtime information. The telemetry format supports single-event and volumetric flow representations of process control flows, file interactions, and network communications. Evaluation on enterprise-grade benchmarks shows that SysFlow facilitates deeper introspection into attack kill chains while yielding traces orders of magnitude smaller than current state-of-the-art system telemetry approaches -- drastically reducing storage requirements and enabling feature-filled system analytics, process-level provenance tracking, and long-term data archival for cyber threat discovery and forensic analysis on historical data.


title: Neutrino non-standard interactions meet precision measurements of $N_{\rm eff}$

abstract: The number of relativistic species, $N_{\rm eff}$, has been precisely calculated in the standard model, and would be measured to the percent level by CMB-S4 in future. Neutral-current non-standard interactions would affect neutrino decoupling in the early Universe, thus modifying $N_{\rm eff}$. We parameterize those operators up to dimension-7 in the effective field theory framework, and then provide a complete, generic and analytical dictionary for the collision term integrals. From precision measurements of $N_{\rm eff}$, the most stringent constraint is obtained for the dimension-6 vector-type neutrino-electron operator, whose scale is constrained to be above about 195 (331) GeV from Planck (CMB-S4). We find our results complementary to other experiments like neutrino coherent scattering, neutrino oscillation, collider, and neutrino deep inelastic scattering experiments.


title: Physics potential of a muon-proton collider

abstract: We propose a muon-proton collider with asymmetrical multi-TeV beam energies and integrated luminosities of $0.1-1$ ab$^{-1}$. With its large center-of-mass energies and yet small Standard Model background, such a machine can not only improve electroweak precision measurements but also probe new physics beyond the Standard Model to an unprecedented level. We study its potential in measuring the Higgs properties, probing the R-parity-violating Supersymmetry, as well as testing heavy new physics in the muon $g-2$ anomaly. We find that for these physics cases the muon-proton collider can perform better than both the ongoing and future high-energy collider experiments.


title: On the Hardy number of comb domains

abstract: Let ${H^p}\left( \mathbb{D} \right)$ be the Hardy space of all holomorphic functions on the unit disk $\mathbb{D}$ with exponent $p>0$. If $D\ne \mathbb{C}$ is a simply connected domain and $f$ is the Riemann mapping from $\mathbb{D}$ onto $D$, then the Hardy number of $D$, introduced by Hansen, is the supremum of all $p$ for which $f \in {H^p}\left( \mathbb{D} \right)$. Comb domains are a well-studied class of simply connected domains that, in general, have the form of the entire plane minus an infinite number of vertical rays. In this paper we study the Hardy number of a class of comb domains with the aid of the quasi-hyperbolic distance and we establish a necessary and sufficient condition for the Hardy number of these domains to be equal to infinity. Applying this condition, we derive several results that show how the mutual distances and the distribution of the rays affect the finiteness of the Hardy number. By a result of Burkholder our condition is also necessary and sufficient for all moments of the exit time of Brownian motion from comb domains to be infinite.


title: A unifying algebraic framework for discontinuous Galerkin and flux reconstruction methods based on the summation-by-parts property

abstract: We propose a unifying framework for the matrix-based formulation and analysis of discontinuous Galerkin (DG) and flux reconstruction (FR) methods for conservation laws on general unstructured grids. Within such an algebraic framework, the multidimensional summation-by-parts (SBP) property is used to establish the discrete equivalence of strong and weak formulations, as well as the conservation and energy stability properties of a broad class of DG and FR schemes. Specifically, the analysis enables the extension of the equivalence between the strong and weak forms of the discontinuous Galerkin collocation spectral-element method demonstrated by Kopriva and Gassner (J Sci Comput 44:136-155, 2010) to more general nodal and modal DG formulations, as well as to the Vincent-Castonguay-Jameson-Huynh (VCJH) family of FR methods. Moreover, new algebraic proofs of conservation and energy stability for DG and VCJH schemes with respect to suitable quadrature rules and discrete norms are presented, in which the SBP property serves as a unifying mechanism for establishing such results. Numerical experiments are provided for the two-dimensional linear advection and Euler equations, highlighting the design choices afforded for methods within the proposed framework and corroborating the theoretical analysis.


title: A Monad for Probabilistic Point Processes

abstract: A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space X with probability measures of bags of elements in X. We describe this view of point processes using the composition of the Giry and bag monads on the category of measurable spaces and functions and prove that this composition also forms a monad using a distributive law for monads. Finally, we define a morphism from a point process to its intensity measure, and show that this is a monad morphism. A special case of this monad morphism gives us Wald's Lemma, an identity used to calculate the expected value of the sum of a random number of random variables. Using our monad we define a range of point processes and point process operations and compositionally compute their corresponding intensity measures using the monad morphism.


title: Symmetric Monoidal Categories with Attributes

abstract: When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define a notion of a "symmetric monoidal category with attributes." This is a symmetric monoidal category in which objects are equipped with retrievable information and where the interactions between objects and information are governed by an "attribute structure." We discuss examples and semantics of such categories in the context of robotics to illustrate our definition.


title: A diagrammatic approach to symmetric lenses

abstract: Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatment of symmetric lenses with spans of asymmetric lenses. This paper presents a diagrammatic approach to symmetric lenses between categories, through representing the propagation operations with Mealy morphisms. The central result of this paper is to demonstrate that the bicategory of symmetric lenses is locally adjoint to the bicategory of spans of asymmetric lenses, through constructing an explicit adjoint triple between the hom-categories.


title: The more legs the merrier: A new composition for symmetric (multi-)lenses

abstract: Lenses are a category theoretic construct and are used in a wide variety of applications. Symmetric lenses compose to, of course, form new symmetric lenses. Symmetric lenses are usually represented as spans of asymmetric lenses. In many applications, the fact that a symmetric lens might also be represented as a cospan of asymmetric lenses is important, especially for implementation purposes. However, the composition of symmetric lenses does not preserve the property that the lenses can be represented by cospans -- two such symmetric lenses may (and frequently do) compose to form a symmetric lens which cannot be represented as a cospan of asymmetric lenses. Thus preserving the factorisation to show how cospans of asymmetric lenses might be used in implementations becomes important. In 2018, the first work on multilenses was begun. Multilenses can be represented as multi-spans of asymmetric lenses (often called 'wide spans', these are spans with an arbitrary finite number of legs). In this paper we analyse a small but realistic example of a supply chain in which the cospan representations would be 'composed away' by ordinary symmetric lens composition, and introduce a new kind of composition which we call 'fusion' in which two ordinary symmetric lenses (spans with two legs) fuse to form a multilens with three legs preserving the cospan representations, and more generally, two symmetric multilenses, spans with say m and n legs, fuse to form a symmetric multilens with m+n-1 legs, again preserving cospan representations.


title: Cyber Kittens, or Some First Steps Towards Categorical Cybernetics

abstract: We define a categorical notion of cybernetic system as a dynamical realisation of a generalized open game, along with a coherence condition. We show that this notion captures a wide class of cybernetic systems in computational neuroscience and statistical machine learning, exposes their compositional structure, and gives an abstract justification for the bidirectional structure empirically observed in cortical circuits. Our construction is built on the observation that Bayesian updates compose optically, a fact which we prove along the way, via a fibred category of state-dependent stochastic channels.


title: Compositional Cyber-Physical Systems Modeling

abstract: Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A primary motivation for `getting things right' in these early design stages is that altering the design is significantly less costly and more effective than when hardware and software have already been developed. Engineering cyber-physical systems requires the construction of several different types of models, each representing a different view, which include stakeholder requirements, system behavior, and the system architecture. Furthermore, each of these models can be represented at different levels of abstraction. Formal reasoning has improved the precision and expanded the available types of analysis in assuring correctness of requirements, behaviors, and architectures. However, each is usually modeled in distinct formalisms and corresponding tools. Currently, this disparity means that a system designer must manually check that the different models are in agreement. Manually editing and checking models is error prone, time consuming, and sensitive to any changes in the design of the models themselves. Wiring diagrams and related theory provide a means for formally organizing these different but related modeling views, resulting in a compositional modeling language for cyber-physical systems. Such a categorical language can make concrete the relationship between different model views, thereby managing complexity, allowing hierarchical decomposition of system models, and formally proving consistency between models.


title: A Compositional Sheaf-Theoretic Framework for Event-Based Systems

abstract: A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and that they can be composed with machines of different types, all within a unified, sheaf-theoretic formalism. We take robotic systems as an exemplar of complex systems and rigorously describe actuators, sensors, and algorithms using this framework.