Search

Creating new air combat tactics and discovering novel maneuvers can require numerous hours of expert pilots' time. Additionally, for each different combat scenario, the same strategies may not work since small changes in equipment performance may drastically change the air combat outcome. For this reason, we created a reinforcement learning environment to help investigate potential air combat tactics in the field of beyond-visual-range (BVR) air combat: the BVR Gym. This type of air combat is important since long-range missiles are often the first weapon to be used in aerial combat. Some existing environments provide high-fidelity simulations but are either not open source or are not adapted to the BVR air combat domain. Other environments are open source but use less accurate simulation models. Our work provides a high-fidelity environment based on the open-source flight dynamics simulator JSBSim and is adapted to the BVR air combat domain. This article describes the building blocks of the environment and some use cases., Comment: 8 pages, 8 figures

We explicitly construct the analogue of the \v{d}Alembert solution to the 1+1 wave equation in an hyperboloidal setting. This hyperboloidal \v{d}Alembert solution is used, in turn, to gain intuition into the behaviour of solutions to the wave equation in a hyperboloidal foliation and to explain some apparently anomalous behaviour observed in numerically constructed solutions discussed in the literature., Comment: 15 pages, 7 figures. Submitted to Springer's topical collection: "Hyperboloidal foliations in the era of gravitational-wave astronomy: from mathematical relativity to astrophysics". Comments welcomed

The hardware for data archiving has expanded capacities for digital storage enormously in the past decade or more. This article charts the efforts of IUCr to facilitate discussions and plans relating to raw data archiving and reuse within the various communities of crystallography, diffraction, and scattering., Comment: 34 pages, 2 figures, 2 tables

As the effective range of air-to-air missiles increases, it becomes harder for human operators to maintain the situational awareness needed to keep a UAV safe. In this work, we propose a decision support tool to help UAV operators in Beyond Visual Range (BVR) air combat scenarios assess the risks of different options and make decisions based on those. Earlier work focused on the threat posed by a single missile, and in this work, we extend the ideas to several missile threats. The proposed method uses Deep Neural Networks (DNN) to learn from high-fidelity simulations to provide the operator with an outcome estimate for a set of different strategies. Our results demonstrate that the proposed system can manage multiple incoming missiles, evaluate a family of options, and recommend the least risky course of action.

Future brain-machine interfaces, prosthetics, and intelligent soft robotics will require integrating artificial neuromorphic devices with biological systems. Due to their poor biocompatibility, circuit complexity, low energy efficiency, and operating principles fundamentally different from the ion signal modulation of biology, traditional Silicon-based neuromorphic implementations have limited bio-integration potential. Here, we report the first organic electrochemical neurons (OECNs) with ion-modulated spiking, based on allprinted complementary organic electrochemical transistors. We demonstrate facile biointegration of OECNs with Venus Flytrap (Dionaea muscipula) to induce lobe closure upon input stimuli. The OECNs can also be integrated with all-printed organic electrochemical synapses (OECSs), exhibiting short-term plasticity with paired-pulse facilitation and longterm plasticity with retention >1000 s, facilitating Hebbian learning. These soft and flexible OECNs operate below 0.6 V and respond to multiple stimuli, defining a new vista for localized artificial neuronal systems possible to integrate with bio-signaling systems of plants, invertebrates, and vertebrates.

For asymptotically flat spacetimes, a conjecture by Strominger states that asymptotic BMS-supertranslations and their associated charges at past null infinity $\mathscr{I}^{-}$ can be related to those at future null infinity $\mathscr{I}^{+}$ via an antipodal map at spatial infinity $i^{0}$. We analyse the validity of this conjecture using Friedrich's formulation of spatial infinity, which gives rise to a regular initial value problem for the conformal field equations at spatial infinity. A central structure in this analysis is the cylinder at spatial infinity representing a blow-up of the standard spatial infinity point $i^{0}$ to a 2-sphere. The cylinder touches past and future null infinities $\mathscr{I}^{\pm}$ at the critical sets. We show that for a generic class of asymptotically Euclidean and regular initial data, BMS-supertranslation charges are not well-defined at the critical sets unless the initial data satisfies an extra regularity condition. We also show that given initial data that satisfy the regularity condition, BMS-supertranslation charges at the critical sets are fully determined by the initial data and that the relation between the charges at past null infinity and those at future null infinity directly follows from our regularity condition., Comment: 59 pages, no figures (Change made to agree with the peer-reviewed article. Approved for publication in the Journal of Mathematical Physics)

We prove a new geometric inequality that relates the Arnowitt-Deser-Misner mass of initial data to a quasilocal angular momentum of a marginally future trapped surface inner boundary. The inequality is expressed in terms of a 1-spinor, which satisfies an intrinsic first-order Dirac-type equation. Furthermore, we show that if the initial data is axisymmetric, then the divergence-free vector used to define the quasilocal angular momentum cannot be a Killing field of the generic boundary., Comment: 13 pages

The celebrated notion of important separators bounds the number of small $(S,T)$-separators in a graph which are 'farthest from $S$' in a technical sense. In this paper, we introduce a generalization of this powerful algorithmic primitive that is phrased in terms of $k$-secluded vertex sets: sets with an open neighborhood of size at most $k$. In this terminology, the bound on important separators says that there are at most $4^k$ maximal $k$-secluded connected vertex sets $C$ containing $S$ but disjoint from $T$. We generalize this statement significantly: even when we demand that $G[C]$ avoids a finite set $\mathcal{F}$ of forbidden induced subgraphs, the number of such maximal subgraphs is $2^{O(k)}$ and they can be enumerated efficiently. This allows us to make significant improvements for two problems from the literature. Our first application concerns the 'Connected $k$-Secluded $\mathcal{F}$-free subgraph' problem, where $\mathcal{F}$ is a finite set of forbidden induced subgraphs. Given a graph in which each vertex has a positive integer weight, the problem asks to find a maximum-weight connected $k$-secluded vertex set $C \subseteq V(G)$ such that $G[C]$ does not contain an induced subgraph isomorphic to any $F \in \mathcal{F}$. The parameterization by $k$ is known to be solvable in triple-exponential time via the technique of recursive understanding, which we improve to single-exponential. Our second application concerns the deletion problem to scattered graph classes. Here, the task is to find a vertex set of size at most $k$ whose removal yields a graph whose each connected component belongs to one of the prescribed graph classes $\Pi_1, \ldots, \Pi_d$. We obtain a single-exponential algorithm whenever each class $\Pi_i$ is characterized by a finite number of forbidden induced subgraphs. This generalizes and improves upon earlier results in the literature., Comment: To appear at ISAAC'23

The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$ can be decomposed into (arbitrarily large) $\mathcal{H}$-subgraphs which interact only through vertex sets of size $O(k)$ which can be organized in a tree-like fashion. $\mathcal{H}$-treewidth can be used as a hybrid parameterization to develop fixed-parameter tractable algorithms for $\mathcal{H}$-deletion problems, which ask to find a minimum vertex set whose removal from a given graph $G$ turns it into a member of $\mathcal{H}$. The bottleneck in the current parameterized algorithms lies in the computation of suitable tree $\mathcal{H}$-decompositions. We present FPT approximation algorithms to compute tree $\mathcal{H}$-decompositions for hereditary and union-closed graph classes $\mathcal{H}$. Given a graph of $\mathcal{H}$-treewidth $k$, we can compute a 5-approximate tree $\mathcal{H}$-decomposition in time $f(O(k)) \cdot n^{O(1)}$ whenever $\mathcal{H}$-deletion parameterized by solution size can be solved in time $f(k) \cdot n^{O(1)}$ for some function $f(k) \geq 2^k$. The current-best algorithms either achieve an approximation factor of $k^{O(1)}$ or construct optimal decompositions while suffering from non-uniformity with unknown parameter dependence. Using these decompositions, we obtain algorithms solving Odd Cycle Transversal in time $2^{O(k)} \cdot n^{O(1)}$ parameterized by $\mathsf{bipartite}$-treewidth and Vertex Planarization in time $2^{O(k \log k)} \cdot n^{O(1)}$ parameterized by $\mathsf{planar}$-treewidth, showing that these can be as fast as the solution-size parameterizations and giving the first ETH-tight algorithms for parameterizations by hybrid width measures., Comment: Conference version to appear at the European Symposium on Algorithms (ESA 2023)

Within the next decade the Laser Interferometer Space Antenna (LISA) is due to be launched, providing the opportunity to extract physics from stellar objects and systems, such as \textit{Extreme Mass Ratio Inspirals}, (EMRIs) otherwise undetectable to ground based interferometers and Pulsar Timing Arrays (PTA). Unlike previous sources detected by the currently available observational methods, these sources can \textit{only} be simulated using an accurate computation of the gravitational self-force. Whereas the field has seen outstanding progress in the frequency domain, metric reconstruction and self-force calculations are still an open challenge in the time domain. Such computations would not only further corroborate frequency domain calculations and models, but also allow for full self-consistent evolution of the orbit under the effect of the self-force. Given we have \textit{a priori} information about the local structure of the discontinuity at the particle, we will show how to construct discontinuous spatial and temporal discretisations by operating on discontinuous Lagrange and Hermite interpolation formulae and hence recover higher order accuracy. In this work we demonstrate how this technique in conjunction with well-suited gauge choice (hyperboloidal slicing) and numerical (discontinuous collocation with time symmetric) methods can provide a relatively simple method of lines numerical algorithm to the problem. This is the first of a series of papers studying the behaviour of a point-particle prescribing circular geodesic motion in Schwarzschild in the \textit{time domain}. In this work we describe the numerical machinery necessary for these computations and show not only our work is capable of highly accurate flux radiation measurements but it also shows suitability for evaluation of the necessary field and it's derivatives at the particle limit., Comment: 37 pages; Corrected to accommodate for valuable feedback from the referee; Minor typos corrected in Appendix B

We study the relationship between asymptotic characteristic initial data at past null infinity and the regularity of solutions at future null infinity for the massless linear spin-s field equations on Minkowski space. By quantitatively controlling the solutions on a causal rectangle reaching the conformal boundary, we relate the (generically singular) behaviour of the solutions near past null infinity, future null infinity, and spatial infinity. Our analysis uses Friedrich's cylinder at spatial infinity together with a careful Gr\"onwall-type estimate that does not degenerate at the intersection of null infinity and the cylinder (the so-called critical sets)., Comment: 42 pages, improved introduction and referencing, typos fixed, clarified statement of main theorem and concluding remarks

We consider the formation of trapped surfaces in the evolution of the Einstein-scalar field system without symmetries. To this end, we follow An's strategy to analyse the formation of trapped surfaces in vacuum and for the Einstein-Maxwell system. Accordingly, we set up a characteristic initial value problem (CIVP) for the Einstein-Scalar system with initial data given on two intersecting null hypersurfaces such that on the incoming slince the data is Minkowskian whereas on the outgoing side no symmetries are assumed. We obtain a scale-critical semi-global existence result by assigning a signature for decay rates to both the geometric quantities and the scalar field. The analysis makes use of a gauge due to J. Stewart and an adjustment of the Geroch-Held-Penrose (GHP) formalism, the T-weight formalism, which renders the connection between the Newman-Penrose (NP) quantities and the PDE analysis systematic and transparent.

When estimating a regression model, we might have data where some labels are missing, or our data might be biased by a selection mechanism. When the response or selection mechanism is ignorable (i.e., independent of the response variable given the features) one can use off-the-shelf regression methods; in the nonignorable case one typically has to adjust for bias. We observe that privileged information (i.e. information that is only available during training) might render a nonignorable selection mechanism ignorable, and we refer to this scenario as Privilegedly Missing at Random (PMAR). We propose a novel imputation-based regression method, named repeated regression, that is suitable for PMAR. We also consider an importance weighted regression method, and a doubly robust combination of the two. The proposed methods are easy to implement with most popular out-of-the-box regression algorithms. We empirically assess the performance of the proposed methods with extensive simulated experiments and on a synthetically augmented real-world dataset. We conclude that repeated regression can appropriately correct for bias, and can have considerable advantage over weighted regression, especially when extrapolating to regions of the feature space where response is never observed.

Collaborative writing is essential for teams that create documents together. Creating documents in large-scale collaborations is a challenging task that requires an efficient workflow. The design of such a workflow has received comparatively little attention. Conventional solutions such as working on a single Microsoft Word document or a shared online document are still widely used. In this paper, we propose a new workflow consisting of a combination of the lightweight markup language AsciiDoc together with the state-of-the-art version control system Git. The proposed process makes use of well-established workflows in the field of software development that have grown over decades. We present a detailed comparison of the proposed markup + Git workflow to Word and Word for the Web as the most prominent examples for conventional approaches.We argue that the proposed approach provides significant benefits regarding scalability, flexibility, and structuring of most collaborative writing tasks, both in academia and industry., Comment: 14 pages, 2 figures, 1 table

The non-linear stability of the sub-extremal Schwarzschild-de Sitter spacetime in the stationary region near the conformal boundary is analysed using a technique based on the extended conformal Einstein field equations and a conformal Gaussian gauge. This strategy relies on the observation that the Cosmological stationary region of this exact solution can be covered by a non-intersecting congruence of conformal geodesics. Thus, the future domain of dependence of suitable spacelike hypersurfaces in the Cosmological region of the spacetime can be expressed in terms of a conformal Gaussian gauge. A perturbative argument then allows us to prove existence and stability results close to the conformal boundary and away from the asymptotic points where the Cosmological horizon intersects the conformal boundary. In particular, we show that small enough perturbations of initial data for the sub-extremal Schwarzschild-de Sitter spacetime give rise to a solution to the Einstein field equations which is regular at the conformal boundary. The analysis in this article can be regarded as a first step towards a stability argument for perturbation data on the Cosmological horizons.