title: Semiconductor membranes for electrostatic exciton trapping in optically addressable quantum transport devices

abstract: Combining the capabilities of gate defined quantum transport devices in GaAs-based heterostructures and of optically addressed self-assembled quantum dots could open broad perspectives for new devices and functionalities. For example, interfacing stationary solid-state qubits with photonic quantum states would open a new pathway towards the realization of a quantum network with extended quantum processing capacity in each node. While gated devices allow very flexible confinement of electrons or holes, the confinement of excitons without some element of self-assembly is much harder. To address this limitation, we introduce a technique to realize exciton traps in quantum wells via local electric fields by thinning a heterostructure down to a 220 nm thick membrane. We show that mobilities over $1 \times 10^{6}$ cm$^{2}$V$^{-1}$s$^{-1}$ can be retained and that quantum point contacts and Coulomb oscillations can be observed on this structure, which implies that the thinning does not compromise the heterostructure quality. Furthermore, the local lowering of the exciton energy via the quantum-confined Stark effect is confirmed, thus forming exciton traps. These results lay the technological foundations for devices like single photon sources, spin photon interfaces and eventually quantum network nodes in GaAs quantum wells, realized entirely with a top-down fabrication process.


title: Identifying and Quantifying Trade-offs in Multi-Stakeholder Risk Evaluation with Applications to the Data Protection Impact Assessment of the GDPR

abstract: Cybersecurity risk management consists of several steps including the selection of appropriate controls to minimize risks. This is a difficult task that requires to search through all possible subsets of a set of available controls and identify those that minimize the risks of all stakeholders. Since stakeholders may have different perceptions of the risks (especially when considering the impact of threats), conflicting goals may arise that require to find the best possible trade-offs among the various needs. In this work, we propose a quantitative and (semi)automated approach to solve this problem based on the well-known notion of Pareto optimality. For validation, we show how a prototype tool based on our approach can assist in the Data Protection Impact Assessment mandated by the General Data Protection Regulation on a simplified but realistic use case scenario. We also evaluate the scalability of the approach by conducting an experimental evaluation with the prototype with encouraging results.


title: ChoreoGraph: Music-conditioned Automatic Dance Choreography over a Style and Tempo Consistent Dynamic Graph

abstract: To generate dance that temporally and aesthetically matches the music is a challenging problem, as the following factors need to be considered. First, the aesthetic styles and messages conveyed by the motion and music should be consistent. Second, the beats of the generated motion should be locally aligned to the musical features. And finally, basic choreomusical rules should be observed, and the motion generated should be diverse. To address these challenges, we propose ChoreoGraph, which choreographs high-quality dance motion for a given piece of music over a Dynamic Graph. A data-driven learning strategy is proposed to evaluate the aesthetic style and rhythmic connections between music and motion in a progressively learned cross-modality embedding space. The motion sequences will be beats-aligned based on the music segments and then incorporated as nodes of a Dynamic Motion Graph. Compatibility factors such as the style and tempo consistency, motion context connection, action completeness, and transition smoothness are comprehensively evaluated to determine the node transition in the graph. We demonstrate that our repertoire-based framework can generate motions with aesthetic consistency and robustly extensible in diversity. Both quantitative and qualitative experiment results show that our proposed model outperforms other baseline models.


title: Long-time asymptotic analysis for defocusing Ablowitz-Ladik system with initial value in lower regularity

abstract: Recently, we have given the $l^2$ bijectivity for defocusing Ablowitz-Ladik systems in the discrete Sobolev space $l^{2,1}$ by inverse spectral method. Based on these results, the goal of this article is to investigate the long-time asymptotic property for the initial-valued problem of the defocusing Ablowitz-Ladik system with initial potential in lower regularity. The main idea is to perform proper deformations and analysis to the corespondent Riemann-Hilbert problem with the unit circle as the jump contour $\Sigma$. As a result, we show that when $|\frac{n}{2t}|\le 1<1$, the solution admits Zakharov-Manakov type formula, and when $|\frac{n}{2t}|\ge 1>1$, the solution decays fast to zero.


title: Stochastic Market Games

abstract: Some of the most relevant future applications of multi-agent systems like autonomous driving or factories as a service display mixed-motive scenarios, where agents might have conflicting goals. In these settings agents are likely to learn undesirable outcomes in terms of cooperation under independent learning, such as overly greedy behavior. Motivated from real world societies, in this work we propose to utilize market forces to provide incentives for agents to become cooperative. As demonstrated in an iterated version of the Prisoner's Dilemma, the proposed market formulation can change the dynamics of the game to consistently learn cooperative policies. Further we evaluate our approach in spatially and temporally extended settings for varying numbers of agents. We empirically find that the presence of markets can improve both the overall result and agent individual returns via their trading activities.


title: Motivic invariants of birational maps

abstract: We construct invariants of birational maps with values in the Kontsevich--Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure of the Grothendieck ring and L-equivalence. Building on known constructions of L-equivalence, we prove new unexpected results about Cremona groups.


title: Machine learning applications for weather and climate need greater focus on extremes

abstract: Multiple studies have now demonstrated that machine learning (ML) can give improved skill for predicting or simulating fairly typical weather events, for tasks such as short-term and seasonal weather forecasting, downscaling simulations to higher resolution and emulating and speeding up expensive model parameterisations. Many of these used ML methods with very high numbers of parameters, such as neural networks, which are the focus of the discussion here. Not much attention has been given to the performance of these methods for extreme event severities of relevance for many critical weather and climate prediction applications, with return periods of more than a few years. This leaves a lot of uncertainty about the usefulness of these methods, particularly for general purpose prediction systems that must perform reliably in extreme situations. ML models may be expected to struggle to predict extremes due to there usually being few samples of such events. However, there are some studies that do indicate that ML models can have reasonable skill for extreme weather, and that it is not hopeless to use them in situations requiring extrapolation. This article reviews these studies and argues that this is an area that needs researching more. Ways to get a better understanding of how well ML models perform at predicting extreme weather events are discussed.


title: Exact antichain saturation numbers via a generalisation of a result of Lehman-Ron

abstract: For given positive integers $k$ and $n$, a family $\mathcal{F}$ of subsets of $\{1,\dots,n\}$ is $k$-antichain saturated if it does not contain an antichain of size $k$, but adding any set to $\mathcal{F}$ creates an antichain of size $k$. We use sat$^*(n, k)$ to denote the smallest size of such a family. For all $k$ and sufficiently large $n$, we determine the exact value of sat$^*(n, k)$. Our result implies that sat$^*(n, k)=n(k-1)-\Theta(k\log k)$, which confirms several conjectures on antichain saturation. Previously, exact values for sat$^*(n,k)$ were only known for $k$ up to $6$. We also prove a generalisation of a result of Lehman-Ron which may be of independent interest. We show that given $m$ disjoint chains in the Boolean lattice, we can create $m$ disjoint skipless chains that cover the same elements (where we call a chain skipless if any two consecutive elements differ in size by exactly one).


title: A simple declarative model of the Federal Disaster Assistance Policy -- modelling and measuring transparency

abstract: In this paper we will provide a quantitative analysis of a simple model of the Federal Disaster Assistance policy from the viewpoint of three different stakeholders. This quantitative methodology is new and has applications to other areas such as business and healthcare processes. The stakeholders are interested in process transparency but each has a different opinion on precisely what constitutes transparency. We will also consider three modifications to the Federal Disaster Assistance policy and analyse, from a stakeholder viewpoint, how stakeholder satisfaction changes from process to process. This analysis is used to rank the favourability of four policies with respect to all collective stakeholder preferences.


title: On the number of terms of some families of the ternary cyclotomic polynomials $\Phi_{3p_2p_3}$

abstract: We study the number of non-zero terms in two specific families of ternary cyclotomic polynomial, we find formulas for the number of terms by writing the cyclotomic polynomial as a sum of smaller sub-polynomials and study the properties of these polynomial.


title: FRAS: Federated Reinforcement Learning empowered Adaptive Point Cloud Video Streaming

abstract: Point cloud video transmission is challenging due to high encoding/decoding complexity, high video bitrate, and low latency requirement. Consequently, conventional adaptive streaming methodologies often find themselves unsatisfactory to meet the requirements in threefold: 1) current algorithms reuse existing quality of experience (QoE) definitions while overlooking the unique features of point cloud video thus failing to provide optimal user experience, 2) most deep learning approaches require long-span data collections to learn sufficiently varied network conditions and result in long training periods and capacity occupation, 3) cloud training approaches pose privacy risks caused by leakage of user reported service usage and networking conditions. To overcome the limitations, we present FRAS, the first federated reinforcement learning framework, to the best of our knowledge, for adaptive point cloud video streaming. We define a new QoE model which takes the unique features of point cloud video into account. Each client uses reinforcement learning (RL) to train video quality selection with the objective of optimizing the user's QoE under multiple constraints. Then, a federated learning framework is integrated with the RL algorithm to enhance training performance with privacy preservation. Extensive simulations using real point cloud videos and network traces reveal the superiority of the proposed scheme over baseline schemes. We also implement a prototype that demonstrates the performance of FRAS via real-world tests.


title: The Fundamental Theorem for locally projective geometries

abstract: We deal with generalizations of the Fundamental Theorem of Projective Geometry to other related geometries (of dimension $\geq 3$) and non bijective maps. We consider locally projective geometries and locally affino-projective geometries (which include the classical M\"obius, Laguerre and Minkowski geometries).


title: Data Segmentation for Time Series Based on a General Moving Sum Approach

abstract: In this paper we propose new methodology for the data segmentation, also known as multiple change point problem, in a general framework including classic mean change scenarios, changes in linear regression but also changes in the time series structure such as in the parameters of Poisson-autoregressive time series. In particular, we derive a general theory based on estimating equations proving consistency for the number of change points as well as rates of convergence for the estimators of the locations of the change points. More precisely, two different types of MOSUM (moving sum) statistics are considered: A MOSUM-Wald statistic based on differences of local estimators and a MOSUM-score statistic based on a global estimator. The latter is usually computationally less involved in particular in non-linear problems where no closed form of the estimator is known such that numerical methods are required. Finally, we evaluate the methodology by means of simulated data as well as using some geophysical well-log data.


title: First-order logic with self-reference

abstract: We consider an extension of first-order logic with a recursion operator that corresponds to allowing formulas to refer to themselves. We investigate the obtained language under two different systems of semantics, thereby obtaining two closely related but different logics. We provide a natural deduction system that is complete for validities for both of these logics, and we also investigate a range of related basic decision problems. For example, the validity problems of the two-variable fragments of the logics are shown coNexpTime-complete, which is in stark contrast with the high undecidability of two-variable logic extended with least fixed points. We also argue for the naturalness and benefits of the investigated approach to recursion and self-reference by, for example, relating the new logics to Lindstrom's Second Theorem.


title: Revisiting the dynamic of Q-deformed logistic maps

abstract: We consider the logistic family and apply the $q$-deformation $\phi_q(x)=\frac{1-q^x}{1-q}$. We study the stability regions of the fixed points of the $q$-deformed logistic map and the regions where the dynamic is complex through topological entropy and Lyapunov exponents. Our results show that the dynamic of this deformed family is richer than that of the $q$-deformed family studied in [8].


title: An Approach for Link Prediction in Directed Complex Networks based on Asymmetric Similarity-Popularity

abstract: Complex networks are graphs representing real-life systems that exhibit unique characteristics not found in purely regular or completely random graphs. The study of such systems is vital but challenging due to the complexity of the underlying processes. This task has nevertheless been made easier in recent decades thanks to the availability of large amounts of networked data. Link prediction in complex networks aims to estimate the likelihood that a link between two nodes is missing from the network. Links can be missing due to imperfections in data collection or simply because they are yet to appear. Discovering new relationships between entities in networked data has attracted researchers' attention in various domains such as sociology, computer science, physics, and biology. Most existing research focuses on link prediction in undirected complex networks. However, not all real-life systems can be faithfully represented as undirected networks. This simplifying assumption is often made when using link prediction algorithms but inevitably leads to loss of information about relations among nodes and degradation in prediction performance. This paper introduces a link prediction method designed explicitly for directed networks. It is based on the similarity-popularity paradigm, which has recently proven successful in undirected networks. The presented algorithms handle the asymmetry in node relationships by modeling it as asymmetry in similarity and popularity. Given the observed network topology, the algorithms approximate the hidden similarities as shortest path distances using edge weights that capture and factor out the links' asymmetry and nodes' popularity. The proposed approach is evaluated on real-life networks, and the experimental results demonstrate its effectiveness in predicting missing links across a broad spectrum of networked data types and sizes.


title: Action-Specific Perception & Performance on a Fitts's Law Task in Virtual Reality: The Role of Haptic Feedback

abstract: While user's perception & performance are predominantly examined independently in virtual reality, the Action-Specific Perception (ASP) theory postulates that the performance of an individual on a task modulates this individual's spatial & time perception pertinent to the task's components & procedures. This paper examines the association between performance & perception & the potential effects that tactile feedback modalities could generate. This paper reports a user study (N=24), in which participants performed a Fitts's law target acquisition task by using three feedback modalities: visual, visuo-electrotactile, & visuo-vibrotactile. The users completed 3 Target Sizes X 2 Distances X 3 feedback modalities = 18 trials. The size perception, distance perception, & (movement) time perception were assessed at the end of each trial. Performance-wise, the results showed that electrotactile feedback facilitates a significantly better accuracy compared to vibrotactile & visual feedback, while vibrotactile provided the worst accuracy. Electrotactile & visual feedback enabled a comparable reaction time, while the vibrotactile offered a substantially slower reaction time than visual feedback. Although amongst feedback types the pattern of differences in perceptual aspects were comparable to performance differences, none of them was statistically significant. However, performance indeed modulated perception. Significant action-specific effects on spatial & time perception were detected. Changes in accuracy modulate both size perception & time perception, while changes in movement speed modulate distance perception. Also, the index of difficulty was found to modulate perception. These outcomes highlighted the importance of haptic feedback on performance, & importantly the significance of action-specific effects on spatial & time perception in VR, which should be considered in future VR studies.


title: Galvin's property at large cardinals and an application to partition calculus

abstract: In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model $\kappa$-complete ultrafilter extends to a non-Galvin one. Oppositely, it is also consistent that every ground model $\kappa$-complete ultrafilter extends to a $P$-point ultrafilter, hence to another one satisfying Galvin's property. Finally, we apply this property to obtain consistently new instances of the classical problem in partition calculus $\lambda\rightarrow(\lambda,\omega+1)^2$.


title: The fall of CSS100217: a tidal disruption-induced low state in an apparently hostless active galactic nucleus

abstract: CSS100217 was a nuclear, rapid and luminous flare in a Narrow-Line Seyfert 1 galaxy, whose initial interpretation as a supernova is now debated between variability of the active galactic nucleus (AGN) or a tidal disruption event (TDE). In this paper, we present and discuss new evidence in favour of a TDE or extreme flaring episode scenario. After the decay of the flare, the galaxy entered a long-term low luminosity state, 0.4 magnitudes lower than the pre-outburst emission in the V band. We attribute this to the creation of a cavity in the accretion disk after the tidal disruption of a star in a retrograde orbit with respect to the accretion disk rotation, making a TDE our favoured interpretation of the flare. We also show how the host galaxy shows a point-like, compact profile, no evidence for an extended component and a relatively low mass, unlike what expected from an AGN host galaxy at z=0.147. A compact host galaxy may result in an increased TDE rate, strengthening our interpretation of the event.


title: PodcastMix: A dataset for separating music and speech in podcasts

abstract: We introduce PodcastMix, a dataset formalizing the task of separating background music and foreground speech in podcasts. We aim at defining a benchmark suitable for training and evaluating (deep learning) source separation models. To that end, we release a large and diverse training dataset based on programatically generated podcasts. However, current (deep learning) models can incur into generalization issues, specially when trained on synthetic data. To target potential generalization issues, we release an evaluation set based on real podcasts for which we design objective and subjective tests. Out of our experiments with real podcasts, we find that current (deep learning) models may have generalization issues. Yet, these can perform competently, e.g., our best baseline separates speech with a mean opinion score of 3.84 (rating "overall separation quality" from 1 to 5). The dataset and baselines are accessible online.


title: Fixed point sets of smooth $G$-manifolds pseudo-equivalent to a $G$-template

abstract: For a finite group $G$ not of prime power order, Oliver (1996) has answered the question which manifolds occur as the fixed point sets of smooth actions of $G$ on disks (resp., Euclidean spaces). We extend Oliver's result to compact (resp., open) smooth $G$-manifolds $M$ pseudo-equivalent to $Y$, a finite $\mathbb{Z}$-acyclic $G$-CW complex such that the fixed point set $Y^G$ is non-empty, connected, and $\chi(Y^G) \equiv 1 \pmod{n_G}$, where $n_G$ is the Oliver number of $G$. We prove that the answer to the question above does not depend on the choice of $Y$. For a finite connected $G$-CW complex $Y$ such that $Y^G$ is non-empty and connected, called a $G$-template, we prove that a compact stably parallelizable manifold $F$ occurs as the fixed point set $M^G$ of a compact smooth $G$-manifold $M$ pseudo-equivalent to $Y$, if and only if $\chi(F) \equiv \chi(Y^G) \pmod{n_G}$. Moreover, there exists a compact smooth fixed point free $G$-manifold pseudo-equivalent to a $G$-template $Y$, if and only if $\chi(Y^G) \equiv 0 \pmod{n_G}$. In particular, similarly as for actions on disks, there exists a compact smooth fixed point free $G$-manifold pseudo-equivalent to the real projective space $\mathbb{R}{\rm P}^{2n}$ for an integer $n \geq 1$, if and only if $G$ is an Oliver group. Finally, we prove that each finite Oliver group $G$ has a smooth fixed point free action on $\mathbb{R}{\rm P}^{2n}$ itself for some integer $n \geq 1$.


title: An efficient spectral method for solving third-kind Volterra integral equations with non-smooth solutions

abstract: This paper is concerned with the numerical solution of the third kind Volterra integral equations with non-smooth solutions based on the recursive approach of the spectral Tau method. To this end, a new set of the fractional version of canonical basis polynomials (called FC-polynomials) is introduced. The approximate polynomial solution (called Tau-solution) is expressed in terms of FC-polynomials. The fractional structure of Tau-solution allows recovering the standard degree of accuracy of spectral methods even in the case of non-smooth solutions. The convergence analysis of the method is studied. The obtained numerical results show the accuracy and efficiency of the method compared to other existing methods.


title: A class of weak pseudo-bosons and their bi-coherent states

abstract: In this paper we extend some previous results on weak pseudo-bosons and on their related bi-coherent states. The role of {\em compatible} functions is discussed in details, and some examples are considered. The pseudo-bosonic ladder operators analysed in this paper generalize significantly those considered so far, and a class of new diagonalizable manifestly non self-adjoint Hamiltonians are deduced.


title: ERIC: An Efficient and Practical Software Obfuscation Framework

abstract: Modern cloud computing systems distribute software executables over a network to keep the software sources, which are typically compiled in a security-critical cluster, secret. We develop ERIC, a new, efficient, and general software obfuscation framework. ERIC protects software against (i) static analysis, by making only an encrypted version of software executables available to the human eye, no matter how the software is distributed, and (ii) dynamic analysis, by guaranteeing that an encrypted executable can only be correctly decrypted and executed by a single authenticated device. ERIC comprises key hardware and software components to provide efficient software obfuscation support: (i) a hardware decryption engine (HDE) enables efficient decryption of encrypted hardware in the target device, (ii) the compiler can seamlessly encrypt software executables given only a unique device identifier. Both the hardware and software components are ISA-independent, making ERIC general. The key idea of ERIC is to use physical unclonable functions (PUFs), unique device identifiers, as secret keys in encrypting software executables. Malicious parties that cannot access the PUF in the target device cannot perform static or dynamic analyses on the encrypted binary. We develop ERIC's prototype on an FPGA to evaluate it end-to-end. Our prototype extends RISC-V Rocket Chip with the hardware decryption engine (HDE) to minimize the overheads of software decryption. We augment the custom LLVM-based compiler to enable partial/full encryption of RISC-V executables. The HDE incurs minor FPGA resource overheads, it requires 2.63% more LUTs and 3.83% more flip-flops compared to the Rocket Chip baseline. LLVM-based software encryption increases compile time by 15.22% and the executable size by 1.59%. ERIC is publicly available and can be downloaded from https://github.com/kasirgalabs/ERIC


title: pathGCN: Learning General Graph Spatial Operators from Paths

abstract: Graph Convolutional Networks (GCNs), similarly to Convolutional Neural Networks (CNNs), are typically based on two main operations - spatial and point-wise convolutions. In the context of GCNs, differently from CNNs, a pre-determined spatial operator based on the graph Laplacian is often chosen, allowing only the point-wise operations to be learnt. However, learning a meaningful spatial operator is critical for developing more expressive GCNs for improved performance. In this paper we propose pathGCN, a novel approach to learn the spatial operator from random paths on the graph. We analyze the convergence of our method and its difference from existing GCNs. Furthermore, we discuss several options of combining our learnt spatial operator with point-wise convolutions. Our extensive experiments on numerous datasets suggest that by properly learning both the spatial and point-wise convolutions, phenomena like over-smoothing can be inherently avoided, and new state-of-the-art performance is achieved.


title: Page Curve for Eternal Schwarzschild Black Hole in Dimensionally-Reduced Model of Dilaton Gravity

abstract: As a contribution to the subject of the information loss paradox in (1+1)-dimensional gravitational systems, we study a model of (1+1)-dimensional dilaton gravity derived from the four-dimensional Einstein-Hilbert action by dimensional reduction. The reduced action involves the cosmological constant and admits black hole solutions. After including the back-reaction of quantum fields to 1-loop order, we solve the semi-classical field equations perturbatively and compute the quantum correction to the Hawking temperature. We consider the quantum extremal surface approach and invoke the ``island rule'' to compute the fine-grained entropy of the Hawking radiation for an eternal Schwarzschild black hole and demonstrate that it follows the unitary Page curve.


title: AlphaFold predicts the most complex protein knot and composite protein knots

abstract: The computer artificial intelligence system AlphaFold has recently predicted previously unknown three-dimensional structures of thousands of proteins. Focusing on the subset with high-confidence scores, we algorithmically analyze these predictions for cases where the protein backbone exhibits rare topological complexity, i.e. knotting. Amongst others, we discovered a $7_1$-knot, the most topologically complex knot ever found in a protein, as well several 6-crossing composite knots comprised of two methyltransferase or carbonic anhydrase domains, each containing a simple trefoil knot. These deeply embedded composite knots occur evidently by gene duplication and interconnection of knotted dimers. Finally, we report two new five-crossing knots including the first $5_1$-knot. Our list of analyzed structures forms the basis for future experimental studies to confirm these novel knotted topologies and to explore their complex folding mechanisms.


title: Plex: Towards Reliability using Pretrained Large Model Extensions

abstract: A recent trend in artificial intelligence is the use of pretrained models for language and vision tasks, which have achieved extraordinary performance but also puzzling failures. Probing these models' abilities in diverse ways is therefore critical to the field. In this paper, we explore the reliability of models, where we define a reliable model as one that not only achieves strong predictive performance but also performs well consistently over many decision-making tasks involving uncertainty (e.g., selective prediction, open set recognition), robust generalization (e.g., accuracy and proper scoring rules such as log-likelihood on in- and out-of-distribution datasets), and adaptation (e.g., active learning, few-shot uncertainty). We devise 10 types of tasks over 40 datasets in order to evaluate different aspects of reliability on both vision and language domains. To improve reliability, we developed ViT-Plex and T5-Plex, pretrained large model extensions for vision and language modalities, respectively. Plex greatly improves the state-of-the-art across reliability tasks, and simplifies the traditional protocol as it improves the out-of-the-box performance and does not require designing scores or tuning the model for each task. We demonstrate scaling effects over model sizes up to 1B parameters and pretraining dataset sizes up to 4B examples. We also demonstrate Plex's capabilities on challenging tasks including zero-shot open set recognition, active learning, and uncertainty in conversational language understanding.


title: Constraints on primordial black holes from observation of stars in dwarf galaxies

abstract: We propose a way to constrain the primordial black hole (PBH) abundance in the range of PBH masses $m$ around $10^{20}$g based on their capture by Sun-like stars in dwarf galaxies, with subsequent star destruction. We calculate numerically the probability of a PBH capture by a star at the time of its formation in an environment typical of dwarf galaxies. Requiring that no more than a fraction $\xi$ of stars in a dwarf galaxy is destroyed by PBHs translates into an upper limit on the PBH abundance. For the parameters of Triangulum II and $\xi=0.5$, we find that no more than $\sim 35\%$ of dark matter can consist of PBHs in the mass range $10^{18} - \text{(a few)}\times 10^{21}$g. The constraints depend strongly on the parameter $\xi$ and may significantly improve if smaller values of $\xi$ are established from observations. An accurate determination of $\xi$ from dwarf galaxy modeling is thus of major importance.


title: SATAn: Air-Gap Exfiltration Attack via Radio Signals From SATA Cables

abstract: This paper introduces a new type of attack on isolated, air-gapped workstations. Although air-gap computers have no wireless connectivity, we show that attackers can use the SATA cable as a wireless antenna to transfer radio signals at the 6 GHz frequency band. The Serial ATA (SATA) is a bus interface widely used in modern computers and connects the host bus to mass storage devices such as hard disk drives, optical drives, and solid-state drives. The prevalence of the SATA interface makes this attack highly available to attackers in a wide range of computer systems and IT environments. We discuss related work on this topic and provide technical background. We show the design of the transmitter and receiver and present the implementation of these components. We also demonstrate the attack on different computers and provide the evaluation. The results show that attackers can use the SATA cable to transfer a brief amount of sensitive information from highly secured, air-gap computers wirelessly to a nearby receiver. Furthermore, we show that the attack can operate from user mode, is effective even from inside a Virtual Machine (VM), and can successfully work with other running workloads in the background. Finally, we discuss defense and mitigation techniques for this new air-gap attack.


title: Space-based gravitational wave signal detection and extraction with deep neural network

abstract: Space-based gravitational wave (GW) detectors will be able to observe signals from sources that are otherwise nearly impossible from current ground-based detection. Consequently, the well established signal detection method, matched filtering, will require a complex template bank, leading to a computational cost that is too expensive in practice. Here, we develop a high-accuracy GW signal detection and extraction method for all space-based GW sources. As a proof of concept, we show that a science-driven and uniform multi-stage self-attention-based deep neural network can identify synthetic signals that are submerged in Gaussian noise. Our method exhibits a detection rate exceeding 99% in identifying signals from various sources, with the signal-to-noise ratio at 50, at a false alarm rate of 1%. while obtaining at least 95% similarity compared with target signals. We further demonstrate the interpretability and strong generalization behavior for several extended scenarios.


title: Remarks on Chemin's space of homogeneous distributions

abstract: This article focuses on Chemin's space $\mathcal{S}'_h$ of homogeneous distributions, which was introduced to serve as a basis for realizations of subcritical homogeneous Besov spaces. We will discuss how this construction fails in multiple ways for supercritical spaces. In particular, we study its intersection $X_h := \mathcal{S}'_h \cap X$ with various Banach spaces $X$, namely supercritical homogeneous Besov spaces and the Lebesgue space $L^\infty$. For each $X$, we find out if the intersection $X_h$ is dense in $X$. If it is not, then we study its closure $C = {\rm clos}(X_h)$ and prove that the quotient $X/C$ is not separable and that $C$ is not complemented in $X$.


title: Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic

abstract: The updated version of this paper has already been published in The Australasian Journal of Logic. You can access to the paper from the following link: https://ojs.victoria.ac.nz/ajl/article/view/7696. This paper shows Hilbert system $(\mathbf{C+J})^{-}$, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system $(\mathbf{C+J})^{-}$ contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system $(\mathbf{C+J})^{-}$ is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979).


title: Near-Linear Time and Fixed-Parameter Tractable Algorithms for Tensor Decompositions

abstract: We study low rank approximation of tensors, focusing on the tensor train and Tucker decompositions, as well as approximations with tree tensor networks and more general tensor networks. For tensor train decomposition, we give a bicriteria $(1 + \eps)$-approximation algorithm with a small bicriteria rank and $O(q \cdot \nnz(A))$ running time, up to lower order terms, which improves over the additive error algorithm of \cite{huber2017randomized}. We also show how to convert the algorithm of \cite{huber2017randomized} into a relative error algorithm, but their algorithm necessarily has a running time of $O(qr^2 \cdot \nnz(A)) + n \cdot \poly(qk/\eps)$ when converted to a $(1 + \eps)$-approximation algorithm with bicriteria rank $r$. To the best of our knowledge, our work is the first to achieve polynomial time relative error approximation for tensor train decomposition. Our key technique is a method for obtaining subspace embeddings with a number of rows polynomial in $q$ for a matrix which is the flattening of a tensor train of $q$ tensors. We extend our algorithm to tree tensor networks. In addition, we extend our algorithm to tensor networks with arbitrary graphs (which we refer to as general tensor networks), by using a result of \cite{ms08_simulating_quantum_tensor_contraction} and showing that a general tensor network of rank $k$ can be contracted to a binary tree network of rank $k^{O(\deg(G)\tw(G))}$, allowing us to reduce to the case of tree tensor networks. Finally, we give new fixed-parameter tractable algorithms for the tensor train, Tucker, and CP decompositions, which are simpler than those of \cite{swz19_tensor_low_rank} since they do not make use of polynomial system solvers. Our technique of Gaussian subspace embeddings with exactly $k$ rows (and thus exponentially small success probability) may be of independent interest.


title: LapSeg3D: Weakly Supervised Semantic Segmentation of Point Clouds Representing Laparoscopic Scenes

abstract: The semantic segmentation of surgical scenes is a prerequisite for task automation in robot assisted interventions. We propose LapSeg3D, a novel DNN-based approach for the voxel-wise annotation of point clouds representing surgical scenes. As the manual annotation of training data is highly time consuming, we introduce a semi-autonomous clustering-based pipeline for the annotation of the gallbladder, which is used to generate segmented labels for the DNN. When evaluated against manually annotated data, LapSeg3D achieves an F1 score of 0.94 for gallbladder segmentation on various datasets of ex-vivo porcine livers. We show LapSeg3D to generalize accurately across different gallbladders and datasets recorded with different RGB-D camera systems.


title: An exact analytical solution for the weakly magnetized flow around an axially symmetric paraboloid, with application to magnetosphere models

abstract: Rotationally symmetric bodies with longitudinal cross sections of parabolic shape are frequently used to model astrophysical objects, such as magnetospheres and other blunt objects, immersed in interplanetary or interstellar gas or plasma flows. We discuss a simple formula for the potential flow of an incompressible fluid around an elliptic paraboloid whose axis of symmetry coincides with the direction of incoming flow. Prescribing this flow, we derive an exact analytical solution to the induction equation of ideal magnetohydrodynamics for the case of an initially homogeneous magnetic field of arbitrary orientation being passively advected in this flow. Our solution procedure employs Euler potentials and Cauchy's integral formalism based on the flow's stream function and isochrones. Furthermore, we use a particular renormalization procedure that allows us to generate more general analytical expressions modeling the deformations experienced by arbitrary scalar or vector-valued fields embedded in the flow as they are advected first towards and then past the parabolic obstacle. Finally, both the velocity field and the magnetic field embedded therein are generalized from incompressible to mildly compressible flow, where the associated density distribution is found from Bernoulli's principle.

categories: astro-ph.SR astro-ph.EP physics.flu-dyn physics.plasm-ph physics.space-ph


title: Mixed QCD-electroweak corrections to Higgs plus jet production at the LHC

abstract: The detailed study of the Higgs boson is one of the main tasks of contemporary particle physics. Gluon fusion, the main production channel of Higgs bosons at the LHC, has been successfully modelled in QCD up to $\text{N}^3\text{LO}$. To fully exploit this unprecedented theoretical effort, sub-leading contributions, such as electroweak corrections, must be investigated. I will present the analytic calculations of the gluon- and quark-induced Higgs plus jet amplitudes in mixed QCD-electroweak corrections mediated by light quarks up to order $v \alpha^2 \alpha_S^{3/2}$.


title: Impact of systematic nuclear uncertainties on composition and decay heat of dynamical and disk ejecta in compact binary mergers

abstract: Theoretically predicted yields of elements created by the rapid neutron capture (r-) process carry potentially large uncertainties associated with incomplete knowledge of nuclear properties and approximative hydrodynamical modelling of the matter ejection processes. We present an in-depth study of the nuclear uncertainties by varying theoretical nuclear input models that describe the experimentally unknown neutron-rich nuclei. This includes two frameworks for calculating the radiative neutron capture rates and 14 different models for nuclear masses, $\beta$-decay rates and fission properties. Our r-process nuclear network calculations are based on detailed hydrodynamical simulations of dynamically ejected material from NS-NS or NS-BH binary mergers plus the secular ejecta from BH-torus systems. The impact of nuclear uncertainties on the r-process abundance distribution and the early radioactive heating rate is found to be modest (within a factor of $\sim20$ for individual $A>90$ abundances and a factor of 2 for the heating rate). However, the impact on the late-time heating rate is more significant and depends strongly on the contribution from fission. We witness significantly larger sensitivity to the nuclear physics input if only a single trajectory is used compared to considering ensembles of $\sim$200-300 trajectories, and the quantitative effects of the nuclear uncertainties strongly depend on the adopted conditions for the individual trajectory. We use the predicted Th/U ratio to estimate the cosmochronometric age of six metal-poor stars and find the impact of the nuclear uncertainties to be up to 2 Gyr.


title: Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints

abstract: We study the parameterized problem of satisfying ``almost all'' constraints of a given formula $F$ over a fixed, finite Boolean constraint language $\Gamma$, with or without weights. More precisely, for each finite Boolean constraint language $\Gamma$, we consider the following two problems. In Min SAT$(\Gamma)$, the input is a formula $F$ over $\Gamma$ and an integer $k$, and the task is to find an assignment $\alpha \colon V(F) \to \{0,1\}$ that satisfies all but at most $k$ constraints of $F$, or determine that no such assignment exists. In Weighted Min SAT$(\Gamma$), the input additionally contains a weight function $w \colon F \to \mathbb{Z}_+$ and an integer $W$, and the task is to find an assignment $\alpha$ such that (1) $\alpha$ satisfies all but at most $k$ constraints of $F$, and (2) the total weight of the violated constraints is at most $W$. We give a complete dichotomy for the fixed-parameter tractability of these problems: We show that for every Boolean constraint language $\Gamma$, either Weighted Min SAT$(\Gamma)$ is FPT; or Weighted Min SAT$(\Gamma)$ is W[1]-hard but Min SAT$(\Gamma)$ is FPT; or Min SAT$(\Gamma)$ is W[1]-hard. This generalizes recent work of Kim et al. (SODA 2021) which did not consider weighted problems, and only considered languages $\Gamma$ that cannot express implications $(u \to v)$ (as is used to, e.g., model digraph cut problems). Our result generalizes and subsumes multiple previous results, including the FPT algorithms for Weighted Almost 2-SAT, weighted and unweighted $\ell$-Chain SAT, and Coupled Min-Cut, as well as weighted and directed versions of the latter. The main tool used in our algorithms is the recently developed method of directed flow-augmentation (Kim et al., STOC 2022).


title: GopCaml: A Structural Editor for OCaml

abstract: This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its integration with existing OCaml and GNU Emacs toolchains.


title: Pseudogap Suppression by Competition with Superconductivity in La-Based Cuprates

abstract: We have carried out a comprehensive high-resolution angle-resolved photoemission spectroscopy (ARPES) study of the pseudogap interplay with superconductivity in La-based cuprates. The three systems La$_{2-x}$Sr$_x$CuO$_4$, La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$, and La$_{1.8-x}$Eu$_{0.2}$Sr$_x$CuO$_4$ display slightly different pseudogap critical points in the temperature versus doping phase diagram. We have studied the pseudogap evolution into the superconducting state for doping concentrations just below the critical point. In this setting, near optimal doping for superconductivity and in the presence of the weakest possible pseudogap, we uncover how the pseudogap is partially suppressed inside the superconducting state. This conclusion is based on the direct observation of a reduced pseudogap energy scale and re-emergence of spectral weight suppressed by the pseudogap. Altogether these observations suggest that the pseudogap phenomenon in La-based cuprates is in competition with superconductivity for anti-nodal spectral weight.


title: Fixed-parameter tractability of Directed Multicut with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation

abstract: We show fixed-parameter tractability of the Directed Multicut problem with three terminal pairs (with a randomized algorithm). This problem, given a directed graph $G$, pairs of vertices (called terminals) $(s_1,t_1)$, $(s_2,t_2)$, and $(s_3,t_3)$, and an integer $k$, asks to find a set of at most $k$ non-terminal vertices in $G$ that intersect all $s_1t_1$-paths, all $s_2t_2$-paths, and all $s_3t_3$-paths. The parameterized complexity of this case has been open since Chitnis, Cygan, Hajiaghayi, and Marx proved fixed-parameter tractability of the 2-terminal-pairs case at SODA 2012, and Pilipczuk and Wahlstr\"{o}m proved the W[1]-hardness of the 4-terminal-pairs case at SODA 2016. On the technical side, we use two recent developments in parameterized algorithms. Using the technique of directed flow-augmentation [Kim, Kratsch, Pilipczuk, Wahlstr\"{o}m, STOC 2022] we cast the problem as a CSP problem with few variables and constraints over a large ordered domain.We observe that this problem can be in turn encoded as an FO model-checking task over a structure consisting of a few 0-1 matrices. We look at this problem through the lenses of twin-width, a recently introduced structural parameter [Bonnet, Kim, Thomass\'{e}, Watrigant, FOCS 2020]: By a recent characterization [Bonnet, Giocanti, Ossona de Mendes, Simon, Thomass\'{e}, Toru\'{n}czyk, STOC 2022] the said FO model-checking task can be done in FPT time if the said matrices have bounded grid rank. To complete the proof, we show an irrelevant vertex rule: If any of the matrices in the said encoding has a large grid minor, a vertex corresponding to the ``middle'' box in the grid minor can be proclaimed irrelevant -- not contained in the sought solution -- and thus reduced.


title: A tight quasi-polynomial bound for Global Label Min-Cut

abstract: We study a generalization of the classic Global Min-Cut problem, called Global Label Min-Cut (or sometimes Global Hedge Min-Cut): the edges of the input (multi)graph are labeled (or partitioned into color classes or hedges), and removing all edges of the same label (color or from the same hedge) costs one. The problem asks to disconnect the graph at minimum cost. While the $st$-cut version of the problem is known to be NP-hard, the above global cut version is known to admit a quasi-polynomial randomized $n^{O(\log \mathrm{OPT})}$-time algorithm due to Ghaffari, Karger, and Panigrahi [SODA 2017]. They consider this as ``strong evidence that this problem is in P''. We show that this is actually not the case. We complete the study of the complexity of the Global Label Min-Cut problem by showing that the quasi-polynomial running time is probably optimal: We show that the existence of an algorithm with running time $(np)^{o(\log n/ (\log \log n)^2)}$ would contradict the Exponential Time Hypothesis, where $n$ is the number of vertices, and $p$ is the number of labels in the input. The key step for the lower bound is a proof that Global Label Min-Cut is W[1]-hard when parameterized by the number of uncut labels. In other words, the problem is difficult in the regime where almost all labels need to be cut to disconnect the graph. To turn this lower bound into a quasi-polynomial-time lower bound, we also needed to revisit the framework due to Marx [Theory Comput. 2010] of proving lower bounds assuming Exponential Time Hypothesis through the Subgraph Isomorphism problem parameterized by the number of edges of the pattern. Here, we provide an alternative simplified proof of the hardness of this problem that is more versatile with respect to the choice of the regimes of the parameters.


title: Weak limits of entropy regularized Optimal Transport; potentials, plans and divergences

abstract: This work deals with the asymptotic distribution of both potentials and couplings of entropic regularized optimal transport for compactly supported probabilities in $\R^d$. We first provide the central limit theorem of the Sinkhorn potentials -- the solutions of the dual problem -- as a Gaussian process in $\Cs$. Then we obtain the weak limits of the couplings -- the solutions of the primal problem -- evaluated on integrable functions, proving a conjecture of \cite{ChaosDecom}. In both cases, their limit is a real Gaussian random variable. Finally we consider the weak limit of the entropic Sinkhorn divergence under both assumptions $H_0:\ {\rm P}={\rm Q}$ or $H_1:\ {\rm P}\neq{\rm Q}$. Under $H_0$ the limit is a quadratic form applied to a Gaussian process in a Sobolev space, while under $H_1$, the limit is Gaussian. We provide also a different characterisation of the limit under $H_0$ in terms of an infinite sum of an i.i.d. sequence of standard Gaussian random variables. Such results enable statistical inference based on entropic regularized optimal transport.


title: Automatic detection of equiaxed dendrites using computer vision neural networks

abstract: Equaixed dendrites are frequently encountered in solidification. They typically form in large numbers, which makes their detection, localization, and tracking practically impossible for a human eye. In this paper, we show how recent progress in the field of machine learning can be leveraged to tackle this problem and we present computer vision neural network to automatically detect equiaxed dendrites. Our network is trained using phase-field simulation results, and proper data augmentation allows to perform the detection task in solidification conditions entirely different from those simulated for training. For example, here we show how they can successfully detect dendrites of various sizes in a microgravity solidification experiment. We discuss challenges in training such a network along with our solutions for them, and compare the performance of neural network with traditional methods of shapes detection.


title: Continual Learning For On-Device Environmental Sound Classification

abstract: Continuously learning new classes without catastrophic forgetting is a challenging problem for on-device environmental sound classification given the restrictions on computation resources (e.g., model size, running memory). To address this issue, we propose a simple and efficient continual learning method. Our method selects the historical data for the training by measuring the per-sample classification uncertainty. Specifically, we measure the uncertainty by observing how the classification probability of data fluctuates against the parallel perturbations added to the classifier embedding. In this way, the computation cost can be significantly reduced compared with adding perturbation to the raw data. Experimental results on the DCASE 2019 Task 1 and ESC-50 dataset show that our proposed method outperforms baseline continual learning methods on classification accuracy and computational efficiency, indicating our method can efficiently and incrementally learn new classes without the catastrophic forgetting problem for on-device environmental sound classification.


title: Kaluza-Klein reductions of maximally supersymmetric five-dimensional lorentzian spacetimes

abstract: A recent study of filtered deformations of (graded subalgebras of) the minimal five-dimensional Poincar\'e superalgebra resulted in two classes of maximally supersymmetric spacetimes. One class are the well-known maximally supersymmetric backgrounds of minimal five-dimensional supergravity, whereas the other class does not seem to be related to supergravity. This paper is a study of the Kaluza--Klein reductions to four dimensions of this latter class of maximally supersymmetric spacetimes. We classify the lorentzian and riemannian Kaluza--Klein reductions of these backgrounds, determine the fraction of the supersymmetry preserved under the reduction and in most cases determine explicitly the geometry of the four-dimensional quotient. Among the many supersymmetric quotients found, we highlight a number of novel non-homogeneous four-dimensional lorentzian spacetimes admitting $N=1$ supersymmetry, whose supersymmetry algebra is not a filtered deformation of any graded subalgebra of the four-dimensional $N=1$ Poincar\'e superalgebra. Any of these four-dimensional lorentzian spacetimes may serve as the arena for the construction of new rigidly supersymmetric field theories.


title: The Douglas formula in $L^p$

abstract: We prove a Douglas-type identity in $L^p$ for $1<p<\infty$.


title: Linear stability analysis of particle-laden planar jet in the dilute suspension limit

abstract: Particle laden flows are commonly seen in many industrial applications such as fluidized beds in process industry, air laden with abrasive particles in abrasive machining and particle laden plumes in chemical industries. In the present work, we perform local analysis of a particle laden planar jet in the dilute suspension regime. Unladen parallel planar jets have been extensive studied using normal modes and is shown to have two unstable modes namely sinuous and varicose modes. Sinuous modes are found to be more unstable compared to the varicose modes. In the present study, we investigate the effect of particles on the stability of planar jets. Addition of particles at low Stokes numbers (St) (fine particles) results in higher growth rates than that of the unladen jet. In the intermediate Stokes number regime, addition of particles have a stabilizing effect on both the sinuous and the varicose modes. Interestingly for St~10, the unstable varicose mode is completely damped. Increasing the Stokes number by increasing the particle size, both sinuous and varicose modes show increasing growth rates, while increasing density ratio has a stabilizing effect on the flow. For non uniform particle loading, additional modes apart from the sinuous and varicose modes are observed. These modes suggests occurrence of compositional instability with an increased particle accumulation in the shear layer that is an order of magnitude higher compared to that of the sinuous and varicose modes.


title: Boosting Performance Optimization with Interactive Data Movement Visualization

abstract: Optimizing application performance in today's hardware architecture landscape is an important, but increasingly complex task, often requiring detailed performance analyses. In particular, data movement and reuse play a crucial role in optimization and are often hard to improve without detailed program inspection. Performance visualizations can assist in the diagnosis of performance problems, but generally rely on data gathered through lengthy program executions. In this paper, we present a performance visualization geared towards analyzing data movement and reuse to inform impactful optimization decisions, without requiring program execution. We propose an approach that combines static dataflow analysis with parameterized program simulations to analyze both global data movement and fine-grained data access and reuse behavior, and visualize insights in-situ on the program representation. Case studies analyzing and optimizing real-world applications demonstrate our tool's effectiveness in guiding optimization decisions and making the performance tuning process more interactive.


title: Non-imaging metasurface design for collimated beam shaping

abstract: Non-imaging optical lenses can shape the light intensity from incoherent sources to a desired target intensity profile, which is important for applications in lighting, solar light concentration, and optical beam shaping. Their surface curvatures are designed to ensure optimal transfer of energy from the light source to the target. The performance of such lenses is directly linked to their asymmetric freeform surface curvature, which is challenging to manufacture. Metasurfaces can mimic any surface curvature without additional fabrication difficulty by imparting a spatially-dependent phase delay using optical antennas. As a result, metasurfaces are uniquely suited to realize non-imaging optics, but non-imaging design principles have not yet been established for metasurfaces. Here, we take an important step in connecting non-imaging optics and metasurface optics, by presenting a phase-design method for beam shaping based on the concept of optimal transport. We establish a theoretical framework that enables a collimated beam to be redistributed by a metasurface to a desired output intensity profile. The optimal transport formulation leads to metasurface phase profiles that transmit all energy from the incident beam to the output beam, resulting in an efficient beam shaping process. Through a variety of examples, we show that our approach accommodates a diverse range of different input and output intensity profiles. Last but not least, a full field simulation of a metasurface has been done to verify our phase-design framework.


title: High-contrast imaging of HD 29992 and HD 196385 with GPI

abstract: Based on high contrast images obtained with the Gemini Planet Imager (GPI), we report the discovery of two point-like sources at angular separations of $\rho\sim0.18''$ and $\rho\sim0.80''$ from the stars HD 29992 and HD 196385. A combined analysis of the new GPI observations and images from the literature indicates that the source close to HD 29992 could be a companion to the star. Concerning HD 196385, the small number of contaminants ($\sim0.5$) suggests that the detected source may be gravitationally bound to the star. For both systems, we discarded the presence of other potential companions with $m>75$ M$_{\rm Jup}$ at $\rho\sim0.3 - 1.3''$. From stellar model atmospheres and low-resolution GPI spectra, we derive masses of $\sim0.2$ - $0.3$ M$_{\odot}$ for these sources. Using a Markov-chain Monte Carlo approach, we performed a joint fit of the new astrometry measurements and published radial velocity data to characterize the possible orbits. For HD 196385B, the median dynamic mass is in agreement with that derived from model atmospheres, whilst for HD 29992B, the orbital fit favors masses close to the brown dwarf regime($\sim0.08$ M$_{\odot}$). HD 29992 and HD 196385 might be two new binary systems with M-type stellar companions. However, new high angular resolution images would help to definitively confirm whether the detected sources are gravitationally bound to their respective stars, and permit tighter constraints on the orbital parameters of both systems.


title: Specialization in Criminal Careers

abstract: We use a comprehensive longitudinal dataset on criminal acts over five years in a European country to study specialization in criminal careers. We cluster crime categories by their relative co-occurrence within criminal careers, deriving a natural, data-based taxonomy of criminal specialization. Defining specialists as active criminals who stay within one category of offending behavior, we study their socio-demographic attributes, geographic range, and positions in their collaboration networks, relative to their generalist counterparts. In comparison to generalists, specialists tend to be older, more likely to be female, operate within a smaller geographic range, and collaborate in smaller, more tightly-knit local networks. We observe that specialists are more intensely embedded in criminal networks and find evidence that specialization indeed reflects division of labor and organization.


title: Learning Flexible Translation between Robot Actions and Language Descriptions

abstract: Handling various robot action-language translation tasks flexibly is an essential requirement for natural interaction between a robot and a human. Previous approaches require change in the configuration of the model architecture per task during inference, which undermines the premise of multi-task learning. In this work, we propose the paired gated autoencoders (PGAE) for flexible translation between robot actions and language descriptions in a tabletop object manipulation scenario. We train our model in an end-to-end fashion by pairing each action with appropriate descriptions that contain a signal informing about the translation direction. During inference, our model can flexibly translate from action to language and vice versa according to the given language signal. Moreover, with the option to use a pretrained language model as the language encoder, our model has the potential to recognise unseen natural language input. Another capability of our model is that it can recognise and imitate actions of another agent by utilising robot demonstrations. The experiment results highlight the flexible bidirectional translation capabilities of our approach alongside with the ability to generalise to the actions of the opposite-sitting agent.


title: Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time

abstract: We present dynamic algorithms with polylogarithmic update time for estimating the size of the maximum matching of a graph undergoing edge insertions and deletions with approximation ratio strictly better than $2$. Specifically, we obtain a $1+\frac{1}{\sqrt{2}}+\epsilon\approx 1.707+\epsilon$ approximation in bipartite graphs and a $1.973+\epsilon$ approximation in general graphs. We thus answer in the affirmative the major open question first posed in the influential work of Onak and Rubinfeld (STOC'10) and repeatedly asked in the dynamic graph algorithms literature. Our randomized algorithms also work against an adaptive adversary and guarantee worst-case polylog update time, both w.h.p. Our algorithms are based on simulating new two-pass streaming matching algorithms in the dynamic setting. Our key new idea is to invoke the recent sublinear-time matching algorithm of Behnezhad (FOCS'21) in a white-box manner to efficiently simulate the second pass of our streaming algorithms, while bypassing the well-known vertex-update barrier.


title: Avalanches and rate effects in strain-controlled discrete dislocation plasticity of Al single crystals

abstract: Three-dimensional discrete dislocation dynamics simulations are used to study strain-controlled plastic deformation of face-centered cubic aluminium single crystals. After describing the rate and size dependence of the average stress-strain curves, we study the power-law distributed strain bursts and the average avalanche shapes, and find a universal power-law exponent $\tau \approx 1.0$ for all imposed strain rates and system sizes, characterizing both the event sizes and their durations. We discuss the dependence of our results on loading rate and compare these with previous studies of strain-controlled two-dimensional systems of discrete dislocations as well as of quasistatic stress-controlled loading of aluminium single crystals.


title: A Markov process for a continuum infinite particle system with attraction

abstract: An infinite system of point particles placed in $\mathds{R}^d$ is studied. The particles are of two types; they perform random walks in the course of which those of distinct types repel each other. The interaction of this kind induces an effective multi-body attraction of the same type particles, which leads to the multiplicity of states of thermal equilibrium in such systems. The pure states of the system are locally finite counting measures on $\mathds{R}^d$. The set of such states $\Gamma^2$ is equipped with the vague topology and the corresponding Borel $\sigma$-field. For a special class $\mathcal{P}_{\rm exp}$ of probability measures defined on $\Gamma^2$, we prove the existence of a family $\{P_{t,\mu}: t\geq 0, \ \mu \in \mathcal{P}_{\rm exp}\}$ of probability measures defined on the space of c{\`a}dl{\`a}g paths with values in $\Gamma^2$, which is a unique solution of the restricted martingale problem for the mentioned stochastic dynamics. Thereby, the corresponding Markov process is specified.


title: High-energy limit of $2\to 2$ scattering amplitudes at NNLL

abstract: The high-energy limit of $2\to 2$ scattering amplitudes offers an excellent setting to explore the universal features of gauge theories. At Leading Logarithmic (LL) accuracy the partonic amplitude is governed by Regge poles in the complex angular momentum plane. Beyond LL, Regge cuts in this plane begin to play an important role. Specifically, the real part of the amplitude at Next-to-Next-to-Leading Logarithmic (NNLL) accuracy presents for the first time both a Regge pole and a Regge cut. Analysing this tower of logarithms and computing it explicitly through four loops we are able to systematically separate between the Regge pole and the Regge cut. The former involves two fundamental parameters, namely the gluon Regge trajectory and impact factors. We explain how to consistently define the impact factors at two loops and the Regge trajectory at three loops. We confirm that the singularities of the trajectory are given by the cusp anomalous dimension. We also show that the Regge-cut contribution at four loop is nonplanar.


title: Random projections for curves in high dimensions

abstract: Modern time series analysis requires the ability to handle datasets that are inherently high-dimensional; examples include applications in climatology, where measurements from numerous sensors must be taken into account, or inventory tracking of large shops, where the dimension is defined by the number of tracked items. The standard way to mitigate computational issues arising from the high dimensionality of the data is by applying some dimension reduction technique that preserves the structural properties of the ambient space. The dissimilarity between two time series is often measured by ``discrete'' notions of distance, e.g. the dynamic time warping or the discrete Fr\'echet distance. Since all these distance functions are computed directly on the points of a time series, they are sensitive to different sampling rates or gaps. The continuous Fr\'echet distance offers a popular alternative which aims to alleviate this by taking into account all points on the polygonal curve obtained by linearly interpolating between any two consecutive points in a sequence. We study the ability of random projections \`a la Johnson and Lindenstrauss to preserve the continuous Fr\'echet distance of polygonal curves by effectively reducing the dimension. In particular, we show that one can reduce the dimension to $O(\epsilon^{-2} \log N)$, where $N$ is the total number of input points while preserving the continuous Fr\'echet distance between any two determined polygonal curves within a factor of $1\pm \epsilon$. We conclude with applications on clustering.


title: A 'one-size-fits-most' walking recognition method for smartphones, smartwatches, and wearable accelerometers

abstract: The ubiquity of personal digital devices offers unprecedented opportunities to study human behavior. Current state-of-the-art methods quantify physical activity using 'activity counts,' a measure which overlooks specific types of physical activities. We proposed a walking recognition method for sub-second tri-axial accelerometer data, in which activity classification is based on the inherent features of walking: intensity, periodicity, and duration. We validated our method against 20 publicly available, annotated datasets on walking activity data collected at various body locations (thigh, waist, chest, arm, wrist). We demonstrated that our method can estimate walking periods with high sensitivity and specificity: average sensitivity ranged between 0.92 and 0.97 across various body locations, and average specificity for common daily activities was typically above 0.95. We also assessed the method's algorithmic fairness to demographic and anthropometric variables and measurement contexts (body location, environment). Finally, we have released our method as open-source software in MATLAB and Python.


title: Federated Learning with Quantum Secure Aggregation

abstract: This article illustrates a novel Quantum Secure Aggregation (QSA) scheme that is designed to provide highly secure and efficient aggregation of local model parameters for federated learning. The scheme is secure in protecting private model parameters from being disclosed to semi-honest attackers by utilizing quantum bits i.e. qubits to represent model parameters. The proposed security mechanism ensures that any attempts to eavesdrop private model parameters can be immediately detected and stopped. The scheme is also efficient in terms of the low computational complexity of transmitting and aggregating model parameters through entangled qubits. Benefits of the proposed QSA scheme are showcased in a horizontal federated learning setting in which both a centralized and decentralized architectures are taken into account. It was empirically demonstrated that the proposed QSA can be readily applied to aggregate different types of local models including logistic regression (LR), convolutional neural networks (CNN) as well as quantum neural network (QNN), indicating the versatility of the QSA scheme. Performances of global models are improved to various extents with respect to local models obtained by individual participants, while no private model parameters are disclosed to semi-honest adversaries.


title: Toys can't play: physical agents in Spekkens' theory

abstract: Information is physical, and for a physical theory to be universal, it should model observers as physical systems, with concrete memories where they store the information acquired through experiments and reasoning. Here we address these issues in Spekkens' toy theory, a non-contextual epistemically restricted model that partially mimics the behaviour of quantum mechanics. We propose a way to model physical implementations of agents, memories, measurements, conditional actions and information processing. We find that the actions of toy agents are severely limited: although there are non-orthogonal states in the theory, there is no way for physical agents to consciously prepare them. Their memories are also constrained: agents cannot forget in which of two arbitrary states a system is. Finally, we formalize the process of making inferences about other agents' experiments and model multi-agent experiments like Wigner's friend. Unlike quantum theory or box world, in the toy theory there are no inconsistencies when physical agents reason about each other's knowledge.


title: Electric Democracy: Proof of Work to secure Elections

abstract: Electronic voting consistently fails to supplant conventional paper ballot due to a plethora of security shortcomings. Not only are traditional voting methods mediocre in terms of convenience and interface, they also encompass principal-agent problem, where the state may have vested interest in the outcome of the ballot. Electronic voting protocol using cryptography to deliver in zero trust environments is long overdue. Here I propose using Proof of Work algorithm at user devices in combination with other well-known security primitives to build a zero-trust voting system. The state would only issue single-use voting authorizations to its citizens, while zero trust design would allow conducting elections by an open-source platform with enhanced observability. It is also hypothesized that the heighten availability of plebiscite by means of the proposed design may ultimately change the way our society participates in the policy making.


title: Higher level BGG reciprocity for current algebras

abstract: We prove the Ext-orthogonality between thick and thin Demazure modules of the twisted affinization of a simple Lie algebra. This yields a higher level analogue of the Bernstein-Gelfand-Gelfand (BGG) reciprocity for twisted current algebras for each positive integer, that recovers the original one (established by Bennett, Berenstein, Chari, Ion, Khoroshkin, Loktev, and Manning) as its level one case. We also establish the branching properties about the both versions of Demazure modules and provide a new interpretation of general level $k$ restricted Kostka polynomials in terms of symmetric polynomials.


title: The magnetic dynamics of NiPS$_3$

abstract: Neutron spectroscopy measurements have been performed on single crystals of the antiferromagnetic van der Waals compound NiPS$_3$. Linear spin wave theory using a Heisenberg Hamiltonian with single-ion anisotropies has been applied to determine the magnetic exchange parameters and the nature of the anisotropy. The analysis reveals that NiPS$_3$ is less two-dimensional than its sister compounds, with a relatively large ferromagnetic exchange of $J^{\prime} = -0.3$ meV between the layered \emph{ab} planes. In-plane magnetic exchange interactions up to the third nearest-neighbour were required to fit the data. The nearest-neighbour exchange was ferromagnetic with $J_1 = -2.6$ meV, the second neighbour was antiferromagnetic and small with $J_2 = 0.2$ meV, and the dominant antiferromagnetic third neighbour exchange was $J_3 = 13.5$ meV. The anisotropy was shown to be largely XY-like with a small uniaxial component, leading to the appearance of two low-energy spin wave modes in the spin wave spectrum at the Brillouin zone centre. The analysis could reproduce the spin wave energies, however there are discrepancies with the calculated neutron intensities hinting at more exotic phenomena.


title: Fixed-Parameter Tractability of Maximum Colored Path and Beyond

abstract: We introduce a general method for obtaining fixed-parameter algorithms for problems about finding paths in undirected graphs, where the length of the path could be unbounded in the parameter. The first application of our method is as follows. We give a randomized algorithm, that given a colored $n$-vertex undirected graph, vertices $s$ and $t$, and an integer $k$, finds an $(s,t)$-path containing at least $k$ different colors in time $2^k n^{O(1)}$. This is the first FPT algorithm for this problem, and it generalizes the algorithm of Bj\"orklund, Husfeldt, and Taslaman [SODA 2012] on finding a path through $k$ specified vertices. It also implies the first $2^k n^{O(1)}$ time algorithm for finding an $(s,t)$-path of length at least $k$. Our method yields FPT algorithms for even more general problems. For example, we consider the problem where the input consists of an $n$-vertex undirected graph $G$, a matroid $M$ whose elements correspond to the vertices of $G$ and which is represented over a finite field of order $q$, a positive integer weight function on the vertices of $G$, two sets of vertices $S,T \subseteq V(G)$, and integers $p,k,w$, and the task is to find $p$ vertex-disjoint paths from $S$ to $T$ so that the union of the vertices of these paths contains an independent set of $M$ of cardinality $k$ and weight $w$, while minimizing the sum of the lengths of the paths. We give a $2^{p+O(k^2 \log (q+k))} n^{O(1)} w$ time randomized algorithm for this problem.


title: Z-polyregular functions

abstract: This paper introduces a robust class of functions from finite words to integers that we call Z-polyregular functions. We show that it admits natural characterizations in terms of logics, Z-rational expressions, Z-rational series and transducers. We then study two subclass membership problems. First, we show that the asymptotic growth rate of a function is computable, and corresponds to the minimal number of variables required to represent it using logical formulas. Second, we show that first-order definability of Z-polyregular functions is decidable. To show the latter, we introduce an original notion of residual transducer, and provide a semantic characterization based on aperiodicity.


title: Relating incompatibility, noncommutativity, uncertainty and Kirkwood-Dirac nonclassicality

abstract: We provide an in-depth study of the recently introduced notion of completely incompatible observables and its links to the support uncertainty and to the Kirkwood-Dirac nonclassicality of pure quantum states. The latter notion has recently been proven central to a number of issues in quantum information theory and quantum metrology. In this last context, it was shown that a quantum advantage requires the use of Kirkwood-Dirac nonclassical states. We establish sharp bounds of very general validity that imply that the support uncertainty is an efficient Kirkwood-Dirac nonclassicality witness. When adapted to completely incompatible observables that are close to mutually unbiased ones, this bound allows us to fully characterize the Kirkwood-Dirac classical states as the eigenvectors of the two observables. We show furthermore that complete incompatibility implies several weaker notions of incompatibility, among which features a strong form of noncommutativity.


title: Extreme Love in the SPA: constraining the tidal deformability of supermassive objects with extreme mass ratio inspirals and semi-analytical, frequency-domain waveforms

abstract: We estimate the accuracy in the measurement of the tidal Love number of a supermassive compact object through the detection of an extreme mass ratio inspiral~(EMRI) by the future LISA mission. A nonzero Love number would be a smoking gun for departures from the classical black hole prediction of General Relativity. We find that an EMRI detection by LISA could set constraints on the tidal Love number of a spinning central object with dimensionless spin $\hat a=0.9$ ($\hat a=0.99$) which are approximately four (six) orders of magnitude more stringent than what achievable with current ground-based detectors for stellar-mass binaries. Our approach is based on the stationary phase approximation to obtain approximate but accurate semi-analytical EMRI waveforms in the frequency-domain, which greatly speeds up high-precision Fisher-information matrix computations. This approach can be easily extended to several other tests of gravity with EMRIs and to efficiently account for multiple deviations in the waveform at the same time.


title: A Consensus Algorithm Based on Risk Assessment Model for Permissioned Blockchain

abstract: Blockchain technology enables stakeholders to conduct trusted data sharing and exchange without a trusted centralized institution. These features make blockchain applications attractive to enhance trustworthiness in very different contexts. Due to unique design concepts and outstanding performance, blockchain has become a popular research topic in industry and academia in recent years. Every participant is anonymous in a permissionless blockchain represented by cryptocurrency applications such as Bitcoin. In this situation, some special incentive mechanisms are applied to permissionless blockchain, such as mined native cryptocurrency to solve the trust issues of permissionless blockchain. In many use cases, permissionless blockchain has bottlenecks in transaction throughput performance, which restricts further application in the real world. A permissioned blockchain can reach a consensus among a group of entities that do not establish an entire trust relationship. Unlike permissionless blockchains, the participants must be identified in permissioned blockchains. By relying on the traditional crash fault-tolerant consensus protocols, permissioned blockchains can achieve high transaction throughput and low latency without sacrificing security. However, how to balance the security and consensus efficiency is still the issue that needs to be solved urgently in permissioned blockchains. As the core module of blockchain technology, the consensus algorithm plays a vital role in the performance of the blockchain system. Thus, this paper proposes a new consensus algorithm for permissioned blockchain, the Risk Assessment-based Consensus protocol (RAC), combined with the decentralized design concept and the risk-node assessment mechanism to address the unbalance issues of performance in speed, scalability, and security.


title: Multi-Object Tracking and Segmentation via Neural Message Passing

abstract: Graphs offer a natural way to formulate Multiple Object Tracking (MOT) and Multiple Object Tracking and Segmentation (MOTS) within the tracking-by-detection paradigm. However, they also introduce a major challenge for learning methods, as defining a model that can operate on such structured domain is not trivial. In this work, we exploit the classical network flow formulation of MOT to define a fully differentiable framework based on Message Passing Networks (MPNs). By operating directly on the graph domain, our method can reason globally over an entire set of detections and exploit contextual features. It then jointly predicts both final solutions for the data association problem and segmentation masks for all objects in the scene while exploiting synergies between the two tasks. We achieve state-of-the-art results for both tracking and segmentation in several publicly available datasets. Our code is available at github.com/ocetintas/MPNTrackSeg.


title: p-adic vertex operator algebras

abstract: We postulate axioms for a chiral half of a nonarchimedean 2-dimensional bosonic conformal field theory, that is, a vertex operator algebra in which a p-adic Banach space replaces the traditional Hilbert space. We study some consequences of our axioms leading to the construction of various examples, including p-adic commutative Banach rings and p-adic versions of the Virasoro, Heisenberg, and the Moonshine module vertex operator algebras. Serre p-adic modular forms occur naturally in some of these examples as limits of classical 1-point functions.


title: Unbiasing the density of TTV-characterised sub-Neptunes: Update of the mass-radius relationship of 34 Kepler planets

abstract: Transit Timing Variations (TTVs) can provide useful information on compact multi-planetary systems observed by transits, by putting constraints on the masses and eccentricities of the observed planets. This is especially helpful when the host star is not bright enough for radial velocity follow-up. However, in the past decades, numerous works have shown that TTV-characterised planets tend to have a lower densities than RV-characterised planets. Re-analysing 34 Kepler planets in the super-Earth to sub-Neptunes range using the RIVERS approach, we show that at least part of these discrepancies was due to the way transit timings were extracted from the light curve, which had a tendency to under-estimate the TTV amplitudes. We recover robust mass estimates (i.e. low prior dependency) for 23 of the planets. We compare these planets the RV-characterised population. A large fraction of these previously had a surprisingly low density now occupy a place of the mass-radius diagram much closer to the bulk of the known planets, although a slight shift toward lower densities remains, which could indicate that the compact multi-planetary systems characterised by TTVs are indeed composed of planets which are different from the bulk of the RV-characterised population. These results are especially important for obtaining an unbiased view of the compact multi-planetary systems detected by Kepler, TESS, and the upcoming PLATO mission.


title: Theoretical analysis and numerical approximation for the stochastic thermal quasi-geostrophic model

abstract: This paper investigates the mathematical properties of a stochastic version of the balanced 2D thermal quasigeostrophic (TQG) model of potential vorticity dynamics. This stochastic TQG model is intended as a basis for parametrisation of the dynamical creation of unresolved degrees of freedom in computational simulations of upper ocean dynamics when horizontal buoyancy gradients and bathymetry affect the dynamics, particularly at the submesoscale (250m--10km). Specifically, we have chosen the SALT (Stochastic Advection by Lie Transport) algorithm introduced in [1] and applied in [2,3] as our modelling approach. The SALT approach preserves the Kelvin circulation theorem and an infinite family of integral conservation laws for TQG. The goal of the SALT algorithm is to quantify the uncertainty in the process of up-scaling, or coarse-graining of either observed or synthetic data at fine scales, for use in computational simulations at coarser scales. The present work provides a rigorous mathematical analysis of the solution properties of the thermal quasigeostrophic (TQG) equations with stochastic advection by Lie transport (SALT) [4,5].


title: Joint Application of the Target Trial Causal Framework and Machine Learning Modeling to Optimize Antibiotic Therapy: Use Case on Acute Bacterial Skin and Skin Structure Infections due to Methicillin-resistant Staphylococcus aureus

abstract: Bacterial infections are responsible for high mortality worldwide. Antimicrobial resistance underlying the infection, and multifaceted patient's clinical status can hamper the correct choice of antibiotic treatment. Randomized clinical trials provide average treatment effect estimates but are not ideal for risk stratification and optimization of therapeutic choice, i.e., individualized treatment effects (ITE). Here, we leverage large-scale electronic health record data, collected from Southern US academic clinics, to emulate a clinical trial, i.e., 'target trial', and develop a machine learning model of mortality prediction and ITE estimation for patients diagnosed with acute bacterial skin and skin structure infection (ABSSSI) due to methicillin-resistant Staphylococcus aureus (MRSA). ABSSSI-MRSA is a challenging condition with reduced treatment options - vancomycin is the preferred choice, but it has non-negligible side effects. First, we use propensity score matching to emulate the trial and create a treatment randomized (vancomycin vs. other antibiotics) dataset. Next, we use this data to train various machine learning methods (including boosted/LASSO logistic regression, support vector machines, and random forest) and choose the best model in terms of area under the receiver characteristic (AUC) through bootstrap validation. Lastly, we use the models to calculate ITE and identify possible averted deaths by therapy change. The out-of-bag tests indicate that SVM and RF are the most accurate, with AUC of 81% and 78%, respectively, but BLR/LASSO is not far behind (76%). By calculating the counterfactuals using the BLR/LASSO, vancomycin increases the risk of death, but it shows a large variation (odds ratio 1.2, 95% range 0.4-3.8) and the contribution to outcome probability is modest. Instead, the RF exhibits stronger changes in ITE, suggesting more complex treatment heterogeneity.


title: Study of Bright Compact Radio Sources of the Northern Hemisphere at the frequency of 111 MHz

abstract: The search for compact components of strong ($S_{int} \ge 5$ Jy at 102.5 MHz) discrete radio sources from the Pushchino catalogue was carried out using the method of interplanetary scintillation. A total of 3620 sources were examined, and 812 of them were found to compact (scintillating) components. Estimates of fluctuations of the flux density of these compact components were derived from the scintillation index ($m_{max}$) corresponding to an elongation of $25^o$. The angular size and compactness of 178 sources with compact components were estimated. Scintillation indices of sources corresponding to the compact component ($m_{max}$) and flux densities of compact components were determined. It was demonstrated that slow variations of the spatial distribution of interplanetary plasma, which are related to the 11-year cycle of solar activity, may exert a systematic influence on the estimates of angular sizes of sources. Coefficients compensating the deviation from the spherical symmetry of solar wind in the estimates of angular sizes were found using the coefficient of asymmetry of the statistical distribution of intensity fluctuations. The study of correlations between the parameters of sources in the sample revealed that the maximum value of the scintillation index decreases as the integrated flux increases, while the angular size has no marked dependence on the integrated flux.


title: Comparative Benchmark of a Quantum Algorithm for the Bin Packing Problem

abstract: The Bin Packing Problem (BPP) stands out as a paradigmatic combinatorial optimization problem in logistics. Quantum and hybrid quantum-classical algorithms are expected to show an advantage over their classical counterparts in obtaining approximate solutions for optimization problems. We have recently proposed a hybrid approach to the one dimensional BPP in which a quantum annealing subroutine is employed to sample feasible solutions for single containers. From this reduced search space, a classical optimization subroutine can find the solution to the problem. With the aim of going a step further in the evaluation of our subroutine, in this paper we compare the performance of our procedure with other classical approaches. Concretely we test a random sampling and a random-walk-based heuristic. Employing a benchmark comprising 18 instances, we show that the quantum approach lacks the stagnation behaviour that slows down the classical algorithms. Based on this, we conclude that the quantum strategy can be employed jointly with the random walk to obtain a full sample of feasible solutions in fewer iterations. This work improves our intuition about the benefits of employing the scarce quantum resources to improve the results of a diminishingly efficient classical strategy.


title: Ground state, bound state, and normalized solutions to semilinear Maxwell and Schr\"odinger equations

abstract: The existence of ground states and (multiple) bound states to semilinear time-independent Maxwell and Schr\"odinger equations, with or without $L^2$-constraints, is investigated.


title: A novel Artificial Neural Network-based streamline tracing strategy applied to hypersonic waverider design

abstract: Streamline tracing in conical hypersonic flows is essential for designing high-performance waverider and intake. Conventionally, the streamline equations are solved after obtaining the velocity field from the solution of the axisymmetric conical flow field. The hypersonic waverider shape is generated from the base conical flow field by repeatedly applying the streamline tracing approach along several planes. When exploring the design space for optimization of the waverider, streamline tracing can be computationally expensive. We provide a novel strategy where first the Taylor-Maccoll equations for the inviscid axisymmetric conical flowfield and the streamlines from the shock are solved for a wide range of cone angle and Mach number conditions resulting in an extensive database. The streamlines are parametrized by a third-order polynomial, and an Artificial Neural Network (ANN) is trained to predict the coefficients of the polynomial for arbitrary inputs of Mach number, cone angle, and streamline originating location on the shock . We apply this strategy to design a cone derived waverider and compare the geometry obtained with the standard conical waverider design method and the simplified waverider design method. The ANN technique is highly accurate, with a difference of 0.68% with the standard in the coordinates of the waverider. RANS computations show that the ANN derived waverider does not indicate severe flow spillage at the leading edge, which is observed in the waverider generated from the simplified method. The new ANN-based approach is 20 times faster than the conventional method.


title: The nonlinear Schr\"odinger equation with forcing involving products of eigenfunctions

abstract: We elaborate on a new methodology, which starting with an integrable evolution equation in one spatial dimension, constructs an integrable forced version of this equation. The forcing consists of terms involving quadratic products of certain eigenfunctions of the associated Lax pair. Remarkably, some of these forced equations arise in the modelling of important physical phenomena. The initial value problem of these equations can be formulated as a Riemann-Hilbert problem, where the "jump matrix" has explicit x and t dependence and can be computed in terms of the initial data. Thus, these equations can be solved as efficiently as the nonlinear integrable equations from which they are generated. Details are given for the forced versions of the nonlinear Schrodinger.


title: Twisted quantum interference in photoelectron holography with elliptically polarized fields

abstract: We perform a systematic analysis of how ultrafast photoelectron holography is influenced by an elliptically polarized field, with emphasis on quantum interference effects. We find that the interplay of the external field and the binding potential leads to twisted holographic patterns for low ellipticities and recover well-known angular offsets for high ellipticities. Using the Coulomb quantum-orbit strong-field approximation (CQSFA), we assess how the field ellipticity affects specific holographic patterns, such as the fan and the spider. The interplay of the external field and the binding potential leads to twisted holographic patterns in the fan, and to loss of contrast in the spider. This behavior can be traced back to interfering electron trajectories, and unequal changes in tunneling probability due to non-vanishing ellipticity. We also derive tunneling times analytically using the strong-field approximation (SFA), provide estimates for ellipticy ranges for which interference is expected to be prominent, and discuss how to construct continuous electron momentum distributions exploring the rotation symmetry around the origin.


title: Creating an Explainable Intrusion Detection System Using Self Organizing Maps

abstract: Modern Artificial Intelligence (AI) enabled Intrusion Detection Systems (IDS) are complex black boxes. This means that a security analyst will have little to no explanation or clarification on why an IDS model made a particular prediction. A potential solution to this problem is to research and develop Explainable Intrusion Detection Systems (X-IDS) based on current capabilities in Explainable Artificial Intelligence (XAI). In this paper, we create a Self Organizing Maps (SOMs) based X-IDS system that is capable of producing explanatory visualizations. We leverage SOM's explainability to create both global and local explanations. An analyst can use global explanations to get a general idea of how a particular IDS model computes predictions. Local explanations are generated for individual datapoints to explain why a certain prediction value was computed. Furthermore, our SOM based X-IDS was evaluated on both explanation generation and traditional accuracy tests using the NSL-KDD and the CIC-IDS-2017 datasets.


title: Towards unsupervised assessment with open-source data of the accuracy of deep learning-based distributed PV mapping

abstract: Photovoltaic (PV) energy is rapidly growing and key to mitigating the energy crisis. However, distributed PV generation, which amounts to half of the PV installed capacity, is typically unavailable to transmission system operators (TSOs), making it increasingly difficult to balance the load and supply and avoid grid congestions. To assess distributed PV generation, TSOs need precise knowledge regarding the metadata of distributed PV installations. Many remote sensing-based approaches have been proposed to map these installations in recent years. However, to use these methods in industrial processes, assessing their accuracy over the mapping area, i.e., the area covered by the model during deployment, is necessary. We define the downstream task accuracy (DTA) as the accuracy over the mapping area, automatically computed using publicly available data sources and the model's outputs and expressed in an interpretable way for operators. We benchmark existing models for distributed PV mapping and show how they perform in terms of DTA. We show that the accuracy computed on the test set overestimates by about 30 percentage points the accuracy on the mapping area. Our approach paves the way for safer integration of deep-learning-based pipelines for remote PV mapping. Code is available at https://github.com/gabrielkasmi/deeppvmapper.


title: Deep Hedging: Continuous Reinforcement Learning for Hedging of General Portfolios across Multiple Risk Aversions

abstract: We present a method for finding optimal hedging policies for arbitrary initial portfolios and market states. We develop a novel actor-critic algorithm for solving general risk-averse stochastic control problems and use it to learn hedging strategies across multiple risk aversion levels simultaneously. We demonstrate the effectiveness of the approach with a numerical example in a stochastic volatility environment.