title: Stochastic Policy Gradient Methods: Improved Sample Complexity for Fisher-non-degenerate Policies

abstract: Recently, the impressive empirical success of policy gradient (PG) methods has catalyzed the development of their theoretical foundations. Despite the huge efforts directed at the design of efficient stochastic PG-type algorithms, the understanding of their convergence to a globally optimal policy is still limited. In this work, we develop improved global convergence guarantees for a general class of Fisher-non-degenerate parameterized policies which allows to address the case of continuous state action spaces. First, we propose a Normalized Policy Gradient method with Implicit Gradient Transport (N-PG-IGT) and derive a $\tilde{\mathcal{O}}(\varepsilon^{-2.5})$ sample complexity of this method for finding a global $\varepsilon$-optimal policy. Improving over the previously known $\tilde{\mathcal{O}}(\varepsilon^{-3})$ complexity, this algorithm does not require the use of importance sampling or second-order information and samples only one trajectory per iteration. Second, we further improve this complexity to $\tilde{ \mathcal{\mathcal{O}} }(\varepsilon^{-2})$ by considering a Hessian-Aided Recursive Policy Gradient ((N)-HARPG) algorithm enhanced with a correction based on a Hessian-vector product. Interestingly, both algorithms are $(i)$ simple and easy to implement: single-loop, do not require large batches of trajectories and sample at most two trajectories per iteration; $(ii)$ computationally and memory efficient: they do not require expensive subroutines at each iteration and can be implemented with memory linear in the dimension of parameters.


title: Rethinking Semi-Supervised Medical Image Segmentation: A Variance-Reduction Perspective

abstract: For medical image segmentation, contrastive learning is the dominant practice to improve the quality of visual representations by contrasting semantically similar and dissimilar pairs of samples. This is enabled by the observation that without accessing ground truth labels, negative examples with truly dissimilar anatomical features, if sampled, can significantly improve the performance. In reality, however, these samples may come from similar anatomical regions and the models may struggle to distinguish the minority tail-class samples, making the tail classes more prone to misclassification, both of which typically lead to model collapse. In this paper, we propose ARCO, a semi-supervised contrastive learning (CL) framework with stratified group theory for medical image segmentation. In particular, we first propose building ARCO through the concept of variance-reduced estimation and show that certain variance-reduction techniques are particularly beneficial in pixel/voxel-level segmentation tasks with extremely limited labels. Furthermore, we theoretically prove these sampling techniques are universal in variance reduction. Finally, we experimentally validate our approaches on eight benchmarks, i.e., five 2D/3D medical and three semantic segmentation datasets, with different label settings, and our methods consistently outperform state-of-the-art semi-supervised methods. Additionally, we augment the CL frameworks with these sampling techniques and demonstrate significant gains over previous methods. We believe our work is an important step towards semi-supervised medical image segmentation by quantifying the limitation of current self-supervision objectives for accomplishing such challenging safety-critical tasks.


title: Relating EEG to continuous speech using deep neural networks: a review

abstract: Objective. When a person listens to continuous speech, a corresponding response is elicited in the brain and can be recorded using electroencephalography (EEG). Linear models are presently used to relate the EEG recording to the corresponding speech signal. The ability of linear models to find a mapping between these two signals is used as a measure of neural tracking of speech. Such models are limited as they assume linearity in the EEG-speech relationship, which omits the nonlinear dynamics of the brain. As an alternative, deep learning models have recently been used to relate EEG to continuous speech. Approach. This paper reviews and comments on deep-learning-based studies that relate EEG to continuous speech in single- or multiple-speakers paradigms. We point out recurrent methodological pitfalls and the need for a standard benchmark of model analysis. Main results. We gathered 29 studies. The main methodological issues we found are biased cross-validations, data leakage leading to over-fitted models, or disproportionate data size compared to the model's complexity. In addition, we address requirements for a standard benchmark model analysis, such as public datasets, common evaluation metrics, and good practices for the match-mismatch task. Significance. We present a review paper summarizing the main deep-learning-based studies that relate EEG to speech while addressing methodological pitfalls and important considerations for this newly expanding field. Our study is particularly relevant given the growing application of deep learning in EEG-speech decoding.


title: ALSO-X#: Better Convex Approximations for Distributionally Robust Chance Constrained Programs

abstract: This paper studies distributionally robust chance constrained programs (DRCCPs), where the uncertain constraints must be satisfied with at least a probability of a prespecified threshold for all probability distributions from the Wasserstein ambiguity set. As DRCCPs are often nonconvex and challenging to solve optimally, researchers have been developing various convex inner approximations. Recently, ALSO-X has been proven to outperform the conditional value-at-risk (CVaR) approximation of a regular chance constrained program when the deterministic set is convex. In this work, we relax this assumption by introducing a new ALSO-X\# method for solving DRCCPs. Namely, in the bilevel reformulations of ALSO-X and CVaR approximation, we observe that the lower-level ALSO-X is a special case of the lower-level CVaR approximation and the upper-level CVaR approximation is more restricted than the one in ALSO-X. This observation motivates us to propose the ALSO-X\#, which still resembles a bilevel formulation -- in the lower-level problem, we adopt the more general CVaR approximation, and for the upper-level one, we choose the less restricted ALSO-X. We show that ALSO-X\# can always be better than the CVaR approximation and can outperform ALSO-X under regular chance constrained programs and type $\infty-$Wasserstein ambiguity set. We also provide new sufficient conditions under which ALSO-X\# outputs an optimal solution to a DRCCP. We apply the proposed ALSO-X\# to a wireless communication problem and numerically demonstrate that the solution quality can be even better than the exact method.


title: AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge

abstract: The early detection of glaucoma is essential in preventing visual impairment. Artificial intelligence (AI) can be used to analyze color fundus photographs (CFPs) in a cost-effective manner, making glaucoma screening more accessible. While AI models for glaucoma screening from CFPs have shown promising results in laboratory settings, their performance decreases significantly in real-world scenarios due to the presence of out-of-distribution and low-quality images. To address this issue, we propose the Artificial Intelligence for Robust Glaucoma Screening (AIROGS) challenge. This challenge includes a large dataset of around 113,000 images from about 60,000 patients and 500 different screening centers, and encourages the development of algorithms that are robust to ungradable and unexpected input data. We evaluated solutions from 14 teams in this paper, and found that the best teams performed similarly to a set of 20 expert ophthalmologists and optometrists. The highest-scoring team achieved an area under the receiver operating characteristic curve of 0.99 (95% CI: 0.98-0.99) for detecting ungradable images on-the-fly. Additionally, many of the algorithms showed robust performance when tested on three other publicly available datasets. These results demonstrate the feasibility of robust AI-enabled glaucoma screening.


title: SARIS: Scattering Aware Reconfigurable Intelligent Surface model and Optimization for Complex Propagation Channels

abstract: The reconfigurable intelligent surface (RIS) is an emerging technology that changes how wireless networks are perceived, therefore its potential benefits and applications are currently under intense research and investigation. In this letter, we focus on electromagnetically consistent models for RISs inheriting from a recently proposed model based on mutually coupled loaded wire dipoles. While existing related research focuses on free-space wireless channels thereby ignoring interactions between RIS and scattering objects present in the propagation environment, we introduce an RIS-aided channel model that is applicable to more realistic scenarios, where the scattering objects are modeled as loaded wire dipoles. By adjusting the parameters of the wire dipoles, the properties of general natural and engineered material objects can be modeled. Based on this model, we introduce a provably convergent and efficient iterative algorithm that jointly optimizes the RIS and transmitter configurations to maximize the system sum-rate. Extensive numerical results show the net performance improvement provided by the proposed method compared with existing optimization algorithms.


title: SoK: A Systematic Evaluation of Backdoor Trigger Characteristics in Image Classification

abstract: Deep learning achieves outstanding results in many machine learning tasks. Nevertheless, it is vulnerable to backdoor attacks that modify the training set to embed a secret functionality in the trained model. The modified training samples have a secret property, i. e., a trigger. At inference time, the secret functionality is activated when the input contains the trigger, while the model functions correctly in other cases. While there are many known backdoor attacks (and defenses), deploying a stealthy attack is still far from trivial. Successfully creating backdoor triggers depends on numerous parameters. Unfortunately, research has not yet determined which parameters contribute most to the attack performance. This paper systematically analyzes the most relevant parameters for the backdoor attacks, i.e., trigger size, position, color, and poisoning rate. Using transfer learning, which is very common in computer vision, we evaluate the attack on state-of-the-art models (ResNet, VGG, AlexNet, and GoogLeNet) and datasets (MNIST, CIFAR10, and TinyImageNet). Our attacks cover the majority of backdoor settings in research, providing concrete directions for future works. Our code is publicly available to facilitate the reproducibility of our results.


title: Disorder in interacting quasi-one-dimensional systems: flat and dispersive bands

abstract: We investigate the superconductor-insulator transition (SIT) in disordered quasi-one dimensional systems using the density-matrix renormalization group method. Focusing on the case of an interacting spinful Hamiltonian at quarter-filling, we contrast the differences arising in the SIT when the parent non-interacting model features either flat or dispersive bands. Furthermore, by comparing disorder distributions that preserve or not SU(2)-symmetry, we unveil the critical disorder amplitude that triggers insulating behavior. While scaling analysis suggests the transition to be of a Berezinskii-Kosterlitz-Thouless type for all models (two lattices and two disorder types), only in the flat-band model with Zeeman-like disorder the critical disorder is nonvanishing. In this sense, the flat-band structure does strengthen superconductivity. For both flat and dispersive band models, i) in the presence of SU(2)-symmetric random chemical potentials, the disorder-induced transition is from superconductor to insulator of singlet pairs; ii) for the Zeeman-type disorder, the transition is from superconductor to insulator of unpaired fermions. In all cases, our numerical results suggest no intermediate disorder-driven metallic phase.


title: Charge and heat currents in prismatic tubular nanowires

abstract: We calculate electronic charge and heat transport in tubular nanowires generated by a temperature gradient or a chemical potential bias. These nanowires correspond to semiconductor core-shell nanowires with insulating (undoped) core and conductive (doped) shell, such that the conduction takes place only in the shell. The cross section of such nanowires is typically polygonal. We study the influence of the cross section shape and shell thickness on the electric and heat conduction of the shell. We use the Landauer-B\"uttiker approach to calculate the electric and heat currents as a non-linear function of temperature and chemical potential bias beyond the linear regime.


title: Fermionization of a Few-Body Bose System Immersed into a Bose-Einstein Condensate

abstract: We study the recently introduced self-pinning transition [Phys. Rev. Lett. 128, 053401 (2022)] in a quasi-one-dimensional two-component quantum gas in the case where the component immersed into the Bose-Einstein condensate has a finite intraspecies interaction strength. As a result of the matter-wave backaction, the fermionization in the limit of infinite intraspecies repulsion occurs via a first-order phase transition to the self-pinned state, which is in contrast to the asymptotic behavior in static trapping potentials. The system also exhibits an additional superfluid state for the immersed component if the interspecies interaction is able to overcome the intraspecies repulsion. We approximate the superfluid state in an analytical model and derive an expression for the phase transition line that coincides with well-known phase separation criteria in binary Bose systems. The full phase diagram of the system is mapped out numerically for the case of two and three atoms in the immersed component.


title: Communication Security in the Internet of Vehicles based Industrial Value Chain

abstract: The Internet of Vehicles (IoV) is formed by connecting vehicles to Internet of Things. It enables vehicles to ubiquitously access to the information of customers (drivers), suppliers, and even producers to structure an IoV-based industrial value chain. Nevertheless, with the increase in vehicle networking and the information exchange among drivers, suppliers, and producers, communication security is emerging as a serious issue. In this article, we provide an overview of the communication security, and a summary of security requirements. Moreover, we clarify how security solutions can be used to conquer security challenges in the value chain. Finally, an example of attack detection and identification in Electronic Control Units (ECUs) of vehicles is used to concretely illustrate the challenges.


title: Covert D2D Communication Underlaying Cellular Network: A System-Level Security Perspective

abstract: In this paper, we aim to secure the D2D communication of the D2D-underlaid cellular network by leveraging covert communication to hide its presence from the vigilant adversary. In particular, there are adversaries aiming to detect D2D communications based on their received signal powers. To avoid being detected, the legitimate entity, i.e., D2D-underlaid cellular network, performs power control so as to hide the presence of the D2D communication. We model the combat between the adversaries and the legitimate entity as a two-stage Stackelberg game. Therein, the adversaries are the followers and aim to minimize their detection errors at the lower stage while the legitimate entity is the leader and aims to maximize its utility constrained by the D2D communication covertness and the cellular quality of service (QoS) at the upper stage. Different from the conventional works, the study of the combat is conducted from the system-level perspective, where the scenario that a large-scale D2D-underlaid cellular network threatened by massive spatially distributed adversaries is considered and the network spatial configuration is modeled by stochastic geometry. We obtain the adversary's optimal strategy as the best response from the lower stage and also both analytically and numerically verify its optimality. Taking into account the best response from the lower stage, we design a bi-level algorithm based on the successive convex approximation (SCA) method to search for the optimal strategy of the legitimate entity, which together with the best response from the lower stage constitute the Stackelberg equilibrium. Numerical results are presented to evaluate the network performance and reveal practical insights that instead of improving the legitimate utility by strengthening the D2D link reliability, increasing D2D transmission power will degrade it due to the security concern.


title: Machine Learning Extreme Acoustic Non-reciprocity in a Linear Waveguide with Multiple Nonlinear Asymmetric Gates

abstract: This work is a study of acoustic non-reciprocity exhibited by a passive one-dimensional linear waveguide incorporating two local strongly nonlinear, asymmetric gates. Two local nonlinear gates break the symmetry and linearity of the waveguide, yielding strong global non-reciprocal acoustics, in the way that extremely different acoustical responses occur depending on the side of application of harmonic excitation. To the authors' best knowledge that the present two-gated waveguide is capable of extremely high acoustic non-reciprocity, at a much higher level to what is reported by active or passive devices in the current literature; moreover, this extreme performance combines with acceptable levels of transmissibility in the desired direction of wave propagation. Machine learning is utilized for predictive design of this gated waveguide in terms of the measures of transmissibility and non-reciprocity, with the aim of reducing the required computational time for high-dimensional parameter space analysis. The study sheds new light into the physics of these media and considers the advantages and limitations of using neural networks to analyze this type of physical problems. In the predicted desirable parameter space for intense non-reciprocity, the maximum transmissibility reaches as much as 40%, and the transmitted energy from upstream to downstream varies up to nine orders of magnitude, depending on the direction of wave transmission. The machine learning tools along with the numerical methods of this work can inform predictive designs of practical non-reciprocal waveguides and acoustic metamaterials that incorporate local nonlinear gates. The current paper shows that combinations of nonlinear gates can lead to extremely high non-reciprocity while maintaining desired levels of transmissibility.


title: Approximation by Egyptian Fractions and the Weak Greedy Algorithm

abstract: Let $0 < \theta \leqslant 1$. A sequence of positive integers $(b_n)_{n=1}^\infty$ is called a weak greedy approximation of $\theta$ if $\sum_{n=1}^{\infty}1/b_n = \theta$. We introduce the weak greedy approximation algorithm (WGAA), which, for each $\theta$, produces two sequences of positive integers $(a_n)$ and $(b_n)$ such that a) $\sum_{n=1}^\infty 1/b_n = \theta$; b) $1/a_{n+1} < \theta - \sum_{i=1}^{n}1/b_i < 1/(a_{n+1}-1)$ for all $n\geqslant 1$; c) there exists $t\geqslant 1$ such that $b_n/a_n \leqslant t$ infinitely often. We then investigate when a given weak greedy approximation $(b_n)$ can be produced by the WGAA. Furthermore, we show that for any non-decreasing $(a_n)$ with $a_1\geqslant 2$ and $a_n\rightarrow\infty$, there exist $\theta$ and $(b_n)$ such that a) and b) are satisfied; whether c) is also satisfied depends on the sequence $(a_n)$. Finally, we address the uniqueness of $\theta$ and $(b_n)$ and apply our framework to specific sequences.


title: Chaining of Maximal Exact Matches in Graphs

abstract: We show how to chain maximal exact matches (MEMs) between a query string $Q$ and a labeled directed acyclic graph (DAG) $G=(V,E)$ to solve the longest common subsequence (LCS) problem between $Q$ and $G$. We obtain our result via a new symmetric formulation of chaining in DAGs that we solve in $O(m+n+k^2|V| + |E| + kN\log N)$ time, where $m=|Q|$, $n$ is the total length of node labels, $k$ is the minimum number of paths covering the nodes of $G$ and $N$ is the number of MEMs between $Q$ and node labels, which we show encode full MEMs.


title: Command Line Interface Risk Modeling

abstract: Protecting sensitive data is an essential part of security in cloud computing. However, only specific privileged individuals have access to view or interact with this data; therefore, it is unscalable to depend on these individuals also to maintain the software. A solution to this is to allow non-privileged individuals access to maintain these systems but mask sensitive information from egressing. To this end, we have created a machine-learning model to predict and redact fields with sensitive data. This work concentrates on Azure PowerShell, showing how it applies to other command-line interfaces and APIs. Using the F5-score as a weighted metric, we demonstrate different transformation techniques to map this problem from an unknown field to the well-researched area of natural language processing.


title: Ramanujan-type Congruences for Partition $k$-Tuples with $5$-Cores

abstract: We prove several Ramanujan-type congruences modulo powers of $5$ for partition $k$-tuples with $5$-cores, for $k=2, 3, 4$. We also prove some new infinite families of congruences modulo powers of primes for $k$-tuples with $p$-cores, where $p$ is a prime.


title: Motion ID: Human Authentication Approach

abstract: We introduce a novel approach to user authentication called Motion ID. The method employs motion sensing provided by inertial measurement units (IMUs), using it to verify the persons identity via short time series of IMU data captured by the mobile device. The paper presents two labeled datasets with unlock events: the first features IMU measurements, provided by six users who continuously collected data on six different smartphones for a period of 12 weeks. The second one contains 50 hours of IMU data for one specific motion pattern, provided by 101 users. Moreover, we present a two-stage user authentication process that employs motion pattern identification and user verification and is based on data preprocessing and machine learning. The Results section details the assessment of the method proposed, comparing it with existing biometric authentication methods and the Android biometric standard. The method has demonstrated high accuracy, indicating that it could be successfully used in combination with existing methods. Furthermore, the method exhibits significant promise as a standalone solution. We provide the datasets to the scholarly community and share our project code.


title: Long Distance Nonlocality Test with Entanglement Swapping and Displacement-Based Measurements

abstract: We analyze an all-optical setup which enables Bell-inequality violation over long distances by exploiting probabilistic entanglement swapping. The setup involves only two-mode squeezers, displacements, beamsplitters, and on/off detectors. We analyze a scenario with dichotomic inputs and outputs, and check the robustness of the Bell inequality violation for up to 6 parties, with respect to phase-, amplitude-, and dark-count noise, as well as loss.


title: A Process Model to Improve Information Security Governance in Organisations

abstract: Information security governance (ISG) is a relatively new and under-researched topic. A review of literature shows the lack of an ISG framework or model that can help the implementation of ISG. This research aims to introduce an empirically grounded ISG process model as a practical reference to facilitate the implementation of ISG in organisations. This research has adopted an exploratory research approach where a conceptual ISG process model was proposed based on synthesis of extant literature and detailed review of relevant frameworks and models. The conceptual ISG process model was subsequently refined based on empirical data gathered from 3 case study organisations. The refined ISG process model was finally validated in 6 expert interviews. This research has developed an empirically grounded ISG process model identifying stakeholder groups and explaining how core ISG processes and sub-processes interact. Specifically, the research contributes by: (1) developing ISG process theory, as ISG is a series of events occurring within an organisational context; and (2) developing an information-processing perspective on ISG, as the process model identifies the information and communication flows, and the relationships among stakeholder groups. In addition, the research has: (3) empirically examined and validated the ISG process model based on how ISG is practised in real-world organisations; (4) examined corporate governance theories to provide additional perspectives to ensure that the ISG process model is aligned with corporate governance objectives; (5) identified additional factors that influence the implementation of ISG requiring further research; and finally (6) expanded existing seminal research by introducing an empirically grounded ISG process model that has been developed based on synthesis of cumulative knowledge from previous research and validated with empirical data.


title: Robust Funnel Model Predictive Control for output tracking with prescribed performance

abstract: We propose a novel robust Model Predictive Control (MPC) scheme for nonlinear multi-input multi-output systems of relative degree one with stable internal dynamics. The proposed algorithm is a combination of funnel MPC, i.e., MPC with a particular stage cost, and the model-free adaptive funnel controller. The new robust funnel MPC scheme guarantees output tracking of reference signals within prescribed performance bounds -- even in the presence of unknown disturbances and a structural model-plant mismatch. We show initial and recursive feasibility of the proposed control scheme without imposing terminal conditions or any requirements on the prediction horizon. Moreover, we allow for model updates at runtime. To this end, we propose a proper initialization strategy, which ensures that recursive feasibility is preserved. Finally, we validate the performance of the proposed robust MPC scheme by simulations.


title: Turbidity currents propagating down an inclined slope: particle auto-suspension

abstract: The Turbidity current (TC), a ubiquitous fluid-particle coupled phenomenon in the natural environment and engineering, can transport over long distances on an inclined terrain due to the suspension mechanism. A large-eddy simulation and discrete element method coupled model is employed to simulate the particle-laden gravity currents over the inclined slope in order to investigate the auto-suspension mechanism from a Lagrangian perspective. The particle Reynolds number in our TC simulation is $0.01\sim0.1$ and the slope angle is $1/20 \sim 1/5$. The influences of initial particle concentration and terrain slope on the particle flow regimes, particle movement patterns, fluid-particle interactions, energy budget and auto-suspension index are explored. The results indicate that the auto-suspension particles predominantly appear near the current head and their number increases and then decreases during the current evolution, which is positively correlated with the coherent structures around the head. When the turbidity current propagates downstream, the average particle Reynolds number of the auto-suspension particles remains basically unchanged, and is higher than that of other transported particles. The average particle Reynolds number of the transported particles exhibits a negative correlation with the Reynolds number of the current. Furthermore, the increase in particle concentration will enhance the particle velocity, which allows the turbidity current to advance faster and improves the perpendicular support, thereby increasing the turbidity current auto-suspension capacity. Increasing slope angle will result in a slightly larger front velocity, while the effect of that on the total force is insignificant.


title: DANES: Deep Neural Network Ensemble Architecture for Social and Textual Context-aware Fake News Detection

abstract: The growing popularity of social media platforms has simplified the creation and distribution of news articles but also creates a conduit for spreading fake news. In consequence, the need arises for effective context-aware fake news detection mechanisms, where the contextual information can be built either from the textual content of posts or from available social data (e.g., information about the users, reactions to posts, or the social network). In this paper, we propose DANES, a Deep Neural Network Ensemble Architecture for Social and Textual Context-aware Fake News Detection. DANES comprises a Text Branch for a textual content-based context and a Social Branch for the social context. These two branches are used to create a novel Network Embedding. Preliminary ablation results on 3 real-world datasets, i.e., BuzzFace, Twitter15, and Twitter16, are promising, with an accuracy that outperforms state-of-the-art solutions when employing both social and textual content features.


title: RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion

abstract: Randomized smoothing is a leading approach for constructing classifiers that are certifiably robust against adversarial examples. Existing work on randomized smoothing has focused on classifiers with continuous inputs, such as images, where $\ell_p$-norm bounded adversaries are commonly studied. However, there has been limited work for classifiers with discrete or variable-size inputs, such as for source code, which require different threat models and smoothing mechanisms. In this work, we adapt randomized smoothing for discrete sequence classifiers to provide certified robustness against edit distance-bounded adversaries. Our proposed smoothing mechanism randomized deletion (RS-Del) applies random deletion edits, which are (perhaps surprisingly) sufficient to confer robustness against adversarial deletion, insertion and substitution edits. Our proof of certification deviates from the established Neyman-Pearson approach, which is intractable in our setting, and is instead organized around longest common subsequences. We present a case study on malware detection--a binary classification problem on byte sequences where classifier evasion is a well-established threat model. When applied to the popular MalConv malware detection model, our smoothing mechanism RS-Del achieves a certified accuracy of 91% at an edit distance radius of 128 bytes.


title: Signatures of physical constraints in rotating rigid bodies

abstract: We study signatures of physical constraints on free rotations of rigid bodies. We show analytically that the physical or non-physical nature of the moments of inertia of a system can be detected by qualitative changes both in the Montgomery Phase and in the Tennis Racket Effect.


title: Leveraging a Probabilistic PCA Model to Understand the Multivariate Statistical Network Monitoring Framework for Network Security Anomaly Detection

abstract: Network anomaly detection is a very relevant research area nowadays, especially due to its multiple applications in the field of network security. The boost of new models based on variational autoencoders and generative adversarial networks has motivated a reevaluation of traditional techniques for anomaly detection. It is, however, essential to be able to understand these new models from the perspective of the experience attained from years of evaluating network security data for anomaly detection. In this paper, we revisit anomaly detection techniques based on PCA from a probabilistic generative model point of view, and contribute a mathematical model that relates them. Specifically, we start with the probabilistic PCA model and explain its connection to the Multivariate Statistical Network Monitoring (MSNM) framework. MSNM was recently successfully proposed as a means of incorporating industrial process anomaly detection experience into the field of networking. We have evaluated the mathematical model using two different datasets. The first, a synthetic dataset created to better understand the analysis proposed, and the second, UGR'16, is a specifically designed real-traffic dataset for network security anomaly detection. We have drawn conclusions that we consider to be useful when applying generative models to network security detection.


title: Partial coherence versus entanglement

abstract: We study partial coherence and its connections with entanglement. First, we provide a sufficient and necessary condition for bipartite pure state transformation under partial incoherent operations: A bipartite pure state can be transformed to another one if and only if a majorization relationship holds between their partial coherence vectors. As a consequence, we introduce the concept of maximal partial coherent states in the sense that they can be used to construct any bipartite state of the same system via partial incoherent operations. Second, we provide a strategy to construct measures of partial coherence by the use of symmetric concave functions. Third, we establish some relationships between partial coherence and entanglement. We show that the minimal partial coherence under local unitary operations is a measure of entanglement for bipartite pure states, which can be extended to all mixed states by convex-roof. We also show that partial coherence measures are induced through maximal entanglement under partial incoherent operations for bipartite pure states. There is a one-to-one correspondence between entanglement and partial coherence measures.


title: Dispersive constraints on fermion masses

abstract: We demonstrate that fermion masses in the Standard Model (SM) can be constrained by the dispersion relations obeyed by hadronic and semileptonic decay widths of a fictitious heavy quark $Q$ with an arbitrary mass. These relations, imposing stringent connections between the high-mass and low-mass behaviors of decay widths, correlate a heavy quark mass and the chiral symmetry breaking scale. Given the known input from leading-order heavy quark expansion and a hadronic threshold for decay products, we solve for a physical heavy quark decay width. It is shown that the charm (bottom) quark mass $m_c= 1.35$ GeV ($m_b= 4.0$ GeV) can be determined by the dispersion relation for the $Q\to du\bar d$ ($Q\to c\bar ud$) decay with the threshold $2m_\pi$ ($m_\pi+m_D$), where $m_\pi$ ($m_D$) denotes the pion ($D$ meson) mass. Requiring that the dispersion relation for the $Q\to su\bar d$ ($Q\to d\mu^+\nu_\mu$, $Q\to u\tau^-\bar\nu_\tau$) decay with the threshold $m_\pi+m_K$ ($m_\pi+m_\mu$, $m_\pi+m_\tau$) yields the same heavy quark mass, $m_K$ being the kaon mass, we constrain the strange quark (muon, $\tau$ lepton) mass to be $m_s= 0.12$ GeV ($m_\mu=0.11$ GeV, $m_\tau= 2.0$ GeV). Moreover, all the predicted decay widths corresponding to the above masses agree with the data. It is pointed out that our formalism is similar to QCD sum rules for probing resonance properties, and that the Pauli interference (weak annihilation) provides the higher-power effect necessary for establishing the solutions of the hadronic (semilaptonic) decay widths. This work suggests that the parameters in the SM may not be free, but arranged properly to achieve internal dynamical consistency.


title: BackdoorBox: A Python Toolbox for Backdoor Learning

abstract: Third-party resources ($e.g.$, samples, backbones, and pre-trained models) are usually involved in the training of deep neural networks (DNNs), which brings backdoor attacks as a new training-phase threat. In general, backdoor attackers intend to implant hidden backdoor in DNNs, so that the attacked DNNs behave normally on benign samples whereas their predictions will be maliciously changed to a pre-defined target label if hidden backdoors are activated by attacker-specified trigger patterns. To facilitate the research and development of more secure training schemes and defenses, we design an open-sourced Python toolbox that implements representative and advanced backdoor attacks and defenses under a unified and flexible framework. Our toolbox has four important and promising characteristics, including consistency, simplicity, flexibility, and co-development. It allows researchers and developers to easily implement and compare different methods on benchmark or their local datasets. This Python toolbox, namely \texttt{BackdoorBox}, is available at \url{https://github.com/THUYimingLi/BackdoorBox}.


title: Enabling Trade-offs in Privacy and Utility in Genomic Data Beacons and Summary Statistics

abstract: The collection and sharing of genomic data are becoming increasingly commonplace in research, clinical, and direct-to-consumer settings. The computational protocols typically adopted to protect individual privacy include sharing summary statistics, such as allele frequencies, or limiting query responses to the presence/absence of alleles of interest using web-services called Beacons. However, even such limited releases are susceptible to likelihood-ratio-based membership-inference attacks. Several approaches have been proposed to preserve privacy, which either suppress a subset of genomic variants or modify query responses for specific variants (e.g., adding noise, as in differential privacy). However, many of these approaches result in a significant utility loss, either suppressing many variants or adding a substantial amount of noise. In this paper, we introduce optimization-based approaches to explicitly trade off the utility of summary data or Beacon responses and privacy with respect to membership-inference attacks based on likelihood-ratios, combining variant suppression and modification. We consider two attack models. In the first, an attacker applies a likelihood-ratio test to make membership-inference claims. In the second model, an attacker uses a threshold that accounts for the effect of the data release on the separation in scores between individuals in the dataset and those who are not. We further introduce highly scalable approaches for approximately solving the privacy-utility tradeoff problem when information is either in the form of summary statistics or presence/absence queries. Finally, we show that the proposed approaches outperform the state of the art in both utility and privacy through an extensive evaluation with public datasets.


title: Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls

abstract: Blockchain and other distributed ledger technologies have enabled peer-to-peer networks to maintain ledgers with an immutable history and guaranteed computation, all carried out without the need of trusted parties. In practice, few applications of blockchain are closed i.e. do not interact with the world outside the blockchain, and various techniques have been proposed and used to handle such interaction. One problem is that it is widely accepted that, due to the decentralised nature of blockchain networks and constraints to ensure trust and determinism, such communication can only flow into the blockchain, and that blockchain systems cannot initiate and execute calls to external systems or services. In this paper we show that this misconception is preconceived by building on our previously presented solution to demonstrate that such calls can be directly initiated from the blockchain itself in a feasible and efficient manner.


title: Hyperfine splittings of heavy quarkonium hybrids

abstract: In the framework of the Born-Oppenheimer Effective Field Theory, the hyperfine structure of heavy quarkonium hybrids at leading order in the 1/m Q expansion is determined by two potentials. We estimate those potentials by interpolating between the known short distance behavior and the long distance behavior calculated in the QCD Effective String Theory. The long distance behavior depends, at leading order, on two parameters which can be obtained from the long distance behavior of the heavy quarkonium potentials (up to sign ambiguities). The short distance behavior depends, at leading order, on two extra paramentes, which are obtained from a lattice calculation of the lower lying charmonium hybrid multiplets. This allows us to predict the hyperfine splitting both of bottomonium hybrids and of higher multiplets of charmonium hybrids. We carry out a careful error analysis and compare with other approaches.


title: Avalanche: A PyTorch Library for Deep Continual Learning

abstract: Continual learning is the problem of learning from a nonstationary stream of data, a fundamental issue for sustainable and efficient training of deep neural networks over time. Unfortunately, deep learning libraries only provide primitives for offline training, assuming that model's architecture and data are fixed. Avalanche is an open source library maintained by the ContinualAI non-profit organization that extends PyTorch by providing first-class support for dynamic architectures, streams of datasets, and incremental training and evaluation methods. Avalanche provides a large set of predefined benchmarks and training algorithms and it is easy to extend and modular while supporting a wide range of continual learning scenarios. Documentation is available at \url{https://avalanche.continualai.org}.


title: Exploring Functional Photonic Devices made from a Chiral Metal-Organic Framework Material by a Multiscale Computational Method

abstract: Electronic circular dichroism is an important optical phenomenon offering insights into chiral molecular materials. On the other hand, metal-organic frameworks (MOFs) are a novel group of crystalline porous thin-film materials that provide tailor-made chemical and physical properties by carefully selecting their building units. Combining these two aspects of contemporary material research and integrating chiral molecules into MOFs promises devices with unprecedented functionality. However, considering the nearly unlimited degrees of freedom concerning the choice of materials and the geometrical details of the possibly structured films, we urgently need to complement advanced experimental methods with equally strong modeling techniques. Most notably, these modeling techniques must cope with the challenge that the material and devices thereof cover size scales from {\AA}ngstr\"oms to mm. In response to that need, we outline a computational workflow that seamlessly combines quantum chemical methods to capture the properties of individual molecules with optical simulations to capture the properties of functional devices made from these molecular materials. We concentrate on chiral properties and apply our work to UiO-67-BINOL MOFs, for which experimental results are available to benchmark the results of our simulations and explore the optical properties of cavities and metasurfaces made from that chiral material.


title: Improved numerical plotting of elliptical orbits using radial action coordinates -- has the symmetry of Leibniz radial theory based on inertia versus gravity been ignored?

abstract: We that show two body gravitational orbits may be plotted using a radial reference frame rather than the customary Newtonian rectilinear inertial frame. Infinitesimal calculus cofounder and continental contemporary of Newton, Leibniz claimed that the second radial derivative could be found by taking the difference between an inertial force varying inversely, with the cubed radius and the gravitational force varying with an inversed squared radius. His radial method was severely criticised by Newton and supporters, who preferred the rectilinear inertial frame, also claiming Leibniz failed to satisfy Newton's third law of gravity. We show that these two approaches are equivalent if the central body is much larger than that in orbit. Furthermore we justify the Leibniz least action approach using the semi-latus rectum of the orbit, characteristic of the eccentricity to calculate the Newtonian centripetal acceleration opposed by the inertial acceleration, with the net radial acceleration controlling radius also allowing estimation of angular displacement and the action for each interval. Numerically, our Leibniz model can be more accurate since it requires no assumption that linear vectors adequately simulate a curvilinear trajectory. Our review of the Newton gravitational equation using centre of mass coordinates concludes that the third law is satisfied for symmetry if the gravitational and inertial masses are taken separately as equating force expressions for gravity and radial inertia, directed to the centre of mass for radial inertia. This symmetry validates centre of mass radial coordinates for more accurate plotting of orbits including dual stars, possibly applicable for better understanding of Einstein relativity. An advantage of radial coordinates is that orbiting couples can also accept perturbations from other nearby bodies acting centripetally, but not inertially.


title: GraphAGILE: An FPGA-based Overlay Accelerator for Low-latency GNN Inference

abstract: This paper presents GraphAGILE, a domain-specific FPGA-based overlay accelerator for graph neural network (GNN) inference. GraphAGILE consists of (1) \emph{a novel unified architecture design} with an \emph{instruction set}, and (2) \emph{a compiler} built upon the instruction set that can quickly generate optimized code. Due to the proposed instruction set architecture (ISA) and the compiler, GraphAGILE does not require any FPGA reconfiguration when performing inference on various GNN models and input graphs. For the architecture design, we propose a novel hardware module named Adaptive Computation Kernel (ACK), that can execute various computation kernels of GNNs, including general matrix multiplication (GEMM), sparse-dense matrix multiplication (SpDMM) and sampled dense-dense matrix multiplication (SDDMM). The compiler takes the specifications of a GNN model and the graph meta data (e.g., the number of vertices and edges) as input, and generates a sequence of instructions for inference execution. We develop the following compiler optimizations to reduce inference latency: (1) computation order optimization that automatically reorders the computation graph to reduce the total computation complexity, (2) layer fusion that merges adjacent layers to reduce data communication volume, (3) data partitioning with a partition-centric execution scheme that partitions the input graph to fit the available on-chip memory of FPGA, (4) kernel mapping that automatically selects execution mode for ACK, and performs task scheduling to overlap computation with data communication and achieves dynamic load balance. We implement GraphAGILE on a state-of-the-art FPGA platform, Xilinx Alveo U250. GraphAGILE can execute widely used GNN models, including GCN, GAT, GIN, GraphSAGE, SGC and other GNN models supported by GraphGym.


title: A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs

abstract: In this work we discuss whether the non-commuting graph of a finite group can determine its nilpotency. More precisely, Abdollahi, Akbari and Maimani conjectured that if $G$ and $H$ are finite groups with isomorphic non-commuting graphs and $G$ is nilpotent, then $H$ must be nilpotent as well (Conjecture 2). We pose a new conjecture (Conjecture 3) that, together with the assumption $|Z(G)|\geq|Z(H)|$, implies Conjecture 2 and we prove it for groups in which all centralizers of non-central elements are abelian.


title: Using Explainability to Inform Statistical Downscaling Based on Deep Learning Beyond Standard Validation Approaches

abstract: Deep learning (DL) has emerged as a promising tool to downscale climate projections at regional-to-local scales from large-scale atmospheric fields following the perfect-prognosis (PP) approach. Given their complexity, it is crucial to properly evaluate these methods, especially when applied to changing climatic conditions where the ability to extrapolate/generalise is key. In this work, we intercompare several DL models extracted from the literature for the same challenging use-case (downscaling temperature in the CORDEX North America domain) and expand standard evaluation methods building on eXplainable artifical intelligence (XAI) techniques. We show how these techniques can be used to unravel the internal behaviour of these models, providing new evaluation dimensions and aiding in their diagnostic and design. These results show the usefulness of incorporating XAI techniques into statistical downscaling evaluation frameworks, especially when working with large regions and/or under climate change conditions.


title: Fixing by Mixing: A Recipe for Optimal Byzantine ML under Heterogeneity

abstract: Byzantine machine learning (ML) aims to ensure the resilience of distributed learning algorithms to misbehaving (or Byzantine) machines. Although this problem received significant attention, prior works often assume the data held by the machines to be homogeneous, which is seldom true in practical settings. Data heterogeneity makes Byzantine ML considerably more challenging, since a Byzantine machine can hardly be distinguished from a non-Byzantine outlier. A few solutions have been proposed to tackle this issue, but these provide suboptimal probabilistic guarantees and fare poorly in practice. This paper closes the theoretical gap, achieving optimality and inducing good empirical results. In fact, we show how to automatically adapt existing solutions for (homogeneous) Byzantine ML to the heterogeneous setting through a powerful mechanism, we call nearest neighbor mixing (NNM), which boosts any standard robust distributed gradient descent variant to yield optimal Byzantine resilience under heterogeneity. We obtain similar guarantees (in expectation) by plugging NNM in the distributed stochastic heavy ball method, a practical substitute to distributed gradient descent. We obtain empirical results that significantly outperform state-of-the-art Byzantine ML solutions.


title: Absence of fractal quantum criticality in the quantum Newman-Moore model

abstract: The quantum phase transition between the low-field fracton phase with type-II fracton excitations and the high-field polarized phase is investigated in the two-dimensional self-dual quantum Newman-Moore model. We apply perturbative and numerical linked-cluster expansions to calculate the ground-state energy per site in the thermodynamic limit revealing a level crossing at the self-dual point. In addition, high-order series expansions of the relevant low-energy gaps are determined using perturbative continuous unitary transformations indicating no gap-closing. Our results therefore predict a first-order phase transition between the low-field fracton and the high-field polarized phase at the self-dual point.


title: Poset Structure concerning Cylindric Diagrams

abstract: The purpose of the present paper is to give a realization of a cylindric diagram as a subset of root systems of type $A_{\kappa-1}^{(1)}$ and several characterization of its poset structure. Furthermore, the set of order ideals of a cylindric diagram is described as a weak Bruhat interval of the Weyl group.


title: Using bayesmixedlogit and bayesmixedlogitwtp in Stata

abstract: This document presents an overview of the bayesmixedlogit and bayesmixedlogitwtp Stata packages. It mirrors closely the helpfile obtainable in Stata (i.e., through help bayesmixedlogit or help bayesmixedlogitwtp). Further background for the packages can be found in Baker(2014).


title: Superfluid fraction in an interacting spatially modulated Bose-Einstein condensate

abstract: At zero temperature, a Galilean-invariant Bose fluid is expected to be fully superfluid. Here we investigate theoretically and experimentally the quenching of the superfluid density of a dilute Bose-Einstein condensate due to the breaking of translational (and thus Galilean) invariance by an external 1D periodic potential. Both Leggett's bound fixed by the knowledge of the total density and the anisotropy of the sound velocity provide a consistent determination of the superfluid fraction. The use of a large-period lattice emphasizes the important role of two-body interactions on superfluidity.


title: DESI z >~ 5 Quasar Survey. I. A First Sample of 400 New Quasars at z ~ 4.7-6.6

abstract: We report the first results of a high-redshift ($z$ >~ 5) quasar survey using the Dark Energy Spectroscopic Instrument (DESI). As a DESI secondary target program, this survey is designed to carry out a systematic search and investigation of quasars at $z$ >~ 5, up to redshift 6.8. The target selection is based on the DESI Legacy Imaging Surveys (the Legacy Surveys) DR9 photometry, combined with the Pan-STARRS1 data and $J$-band photometry from public surveys. A first quasar sample has been constructed from the DESI Survey Validation 3 (SV3) and first-year observations until May 2022. This sample includes more than 400 new quasars at redshift 4.7 <= $z$ < 6.6, down to 21.5 magnitude in the $z$ band, discovered from 35% of the entire target sample. Remarkably, there are 220 new quasars identified at $z$ >= 5, more than one third of existing quasars previously published at this redshift. The observations so far result in an average success rate of 23% at $z$ > 4.7. The current spectral dataset has already allowed analysis of interesting individual objects (e.g., quasars with damped Ly$\alpha$ absorbers and broad absorption line features), and statistical analysis will follow the survey's completion. A set of science projects will be carried out leveraging this program, including quasar luminosity function, quasar clustering, intergalactic medium, quasar spectral properties, intervening absorbers, and properties of early supermassive black holes. Additionally, a sample of 38 new quasars at $z$ ~ 3.8-5.7 discovered from a pilot survey in the DESI SV1 is also published in this paper.


title: Letter to the Editor Concerning "Simultaneous, Single-Particle Measurements of Size and Loading Give Insights into the Structure of Drug-Delivery Nanoparticles"

abstract: The vexing error of excess variance in the sizing of single particles degrades accuracy in applications ranging from quality control of nanoparticle products to hazard assessment of nanoplastic byproducts. The particular importance of lipid nanoparticles for vaccine and medicine delivery motivates this comment on a publication$^{\textrm{1}}$ in ACS Nano. In ref 1, the benchmark measurements of a nanoparticle standard manifest large errors of the size distribution that contradict the claim of validation. Such errors can bias the correlation of fluorescence intensity as an optical proxy for the molecular loading of lipid nanoparticles and give misleading insights from power-law models of intensity$-$size data. Looking forward, measurement error models have the potential to address this widespread issue.


title: Relativistic analytical R-matrix (ARM) theory for strong-field ionization

abstract: The analytical R-matrix (ARM) theory has been known for an efficient description of the Coulomb effects of the atomic core in strong-field ionization in the nonrelativistic regime. We generalize the ARM theory into the relativistic domain aiming at the application to strong-field ionization of highly-charged ions in ultrastrong laser fields. Comparison with the relativistic Coulomb-corrected strong field approximations (SFA) is provided, highlighting the advantages and disadvantages. The weakly relativistic asymptotics and its accordance with the nondipole Coulomb-corrected SFA are examined. As an example of a physical application of the relativistic ARM, the Coulomb enhancement of tunneling ionization probability for highly-charged ions at the cutoff of the direct channel is discussed.


title: Opacities of Singly and Doubly Ionised Neodymium and Uranium for Kilonova Emission Modeling

abstract: Even though the electromagnetic counterpart AT2017gfo to the binary neutron star merger GW170817 is powered by the radioactive decay of r-process nuclei, only few tentative identifications of light r-process elements have been made so far. One of the major limitations for the identification of heavy nuclei is incomplete or missing atomic data. While substantial progress has been made on lanthanide atomic data over the last few years, for actinides there has been less emphasis, with the first complete set of opacity data only recently published. We perform atomic structure calculations of neodymium $(Z=60)$ as well as the corresponding actinide uranium $(Z=92)$. Using two different codes (FAC and HFR) for the calculation of the atomic data, we investigate the accuracy of the calculated data (energy levels and electric dipole transitions) and their effect on kilonova opacities. For the FAC calculations, we optimise the local central potential and the number of included configurations and use a dedicated calibration technique to improve the agreement between theoretical and available experimental atomic energy levels (AELs). For ions with vast amounts of experimental data available, the presented opacities agree quite well with previous estimations. On the other hand, the optimisation and calibration method cannot be used for ions with only few available AELs. For these cases, where no experimental nor benchmarked calculations are available, a large spread in the opacities estimated from the atomic data obtained with the various atomic structure codes is observed.We find that the opacity of uranium is almost double the neodymium opacity.


title: Higher Form Brackets for even Nambu-Poisson Algebras

abstract: Let $\boldsymbol{k}$ be a field of characteristic zero and $A=\boldsymbol{k}[x_{1},...,x_{n}]/I$ with $I=(f_{1},...,f_{k})$ be an affine algebra. We study Nambu-Poisson brackets on $A$ of arity $m\geq 2$, focusing on the case when $m$ is even. We construct an $L_{\infty}$-algebroid on the cotangent complex $\mathbb{L}_{A|\boldsymbol{k}}$, generalizing previous work on the case when $A$ is a Poisson algebra. This structure is referred to as the higher form brackets. The main tool is a $P_{\infty}$-structure on a resolvent $R$ of $A$. These $P_{\infty}$- and $L_{\infty}$-structures are merely $\mathbb Z_2$-graded for $m\neq 2$. We discuss several examples and propose a method to obtain new ones that we call the outer tensor product. We compare our higher form brackets with the form bracket of Vaisman. We introduce the notion of a Lie-Rinehart $m$-algebra, the form bracket of a Nambu-Poisson bracket of even arity being an example. We find a flat Nambu connection on the conormal module.


title: Bright Semiconductor Single-Photon Sources Pumped by Heterogeneously Integrated Micropillar lasers with Electrical Injections

abstract: The emerging hybrid integrated quantum photonics combines advantages of different functional components into a single chip to meet the stringent requirements for quantum information processing. Despite the tremendous progress in hybrid integrations of III-V quantum emitters with silicon-based photonic circuits and superconducting single-photon detectors, on-chip optical excitations of quantum emitters via miniaturized lasers towards single-photon sources (SPSs) with low power consumptions, small device footprints and excellent coherence properties is highly desirable yet illusive. In this work, we present realizations of bright semiconductor singe-photon sources heterogeneously integrated with on-chip electrically-injected microlasers. Different from previous one-by-one transfer printing technique implemented in hybrid quantum dot (QD) photonic devices, multiple deterministically coupled QD-circular Bragg Grating (CBG) SPSs were integrated with electrically-injected micropillar lasers at one time via a potentially scalable transfer printing process assisted by the wide-field photoluminescence (PL) imaging technique. Optically pumped by electrically-injected microlasers, pure single photons are generated with a high-brightness of a count rate of 3.8 M/s and an extraction efficiency of 25.44%. Such a high-brightness is due to the enhancement by the cavity mode of the CBG, which is confirmed by a Purcell factor of 2.5. Our work provides a powerful tool for advancing hybrid integrated quantum photonics in general and boosts the developments for realizing highly-compact, energy-efficient and coherent SPSs in particular.


title: On the iterates of shifted Euler's function

abstract: Let $\varphi$ be the Euler's function and fix an integer $k\ge 0$. We show that, for every initial value $x_1\ge 1$, the sequence of positive integers $(x_n)_{n\ge 1}$ defined by $x_{n+1}=\varphi(x_n)+k$ for all $n\ge 1$ is eventually periodic. Similarly, for every initial value $x_1,x_2\ge 1$, the sequence of positive integers $(x_n)_{n\ge 1}$ defined by $x_{n+2}=\varphi(x_{n+1})+\varphi(x_n)+k$ for all $n\ge 1$ is eventually periodic, provided that $k$ is even.


title: Gauged $L_e-L_{\mu}-L_{\tau}$ symmetry, fourth generation, neutrino mass and dark matter

abstract: We present two models where the familiar leptonic symmetry $L_e-L_\mu-L_\tau$ is a gauge symmetry. We show how anomaly cancellation constrains the allowed theories, with one of them requiring a fourth sequential chiral standard model fermion generation and a second one with three generations, requiring gauging of $(L_e-L_\mu-L_\tau)-(B_1-B_2-B_3)$ with $B_a$ representing the baryon number of the $a$th generation quarks. Unlike global $L_e-L_\mu-L_\tau$ models which always leads to inverted mass hierarchy for neutrinos, the gauged version can lead to normal hierarchy. We show how to construct realistic models in both the cases and discuss the dark matter candidate in both. In our model, the breaking of $U(1)_{L_e-L_\mu-L_\tau}$ is responsible for neutrino mass via type-I mechanism whereas the real part of $U(1)_{L_e-L_\mu-L_\tau}$ breaking scalar field (called $\phi$ here) plays the role of freeze-in dark matter candidate. Since $\phi$ is unstable, for it to qualify as dark matter, its lifetime must be larger than the age of the Universe, implying that the relic of $\phi$ is generated through freeze-in mechanism and its mass must be less than an MeV. We also discuss the possibility of explaining both muon and electron $(g-2)$ while being consistent with the dark matter relic density and lifetime constraints.


title: Orbital Evolution of Binaries in Circumbinary Disks

abstract: We present the to-date largest parameter space exploration of binaries in circumbinary disks (CBDs), deriving orbital evolution prescriptions for eccentric, unequal mass binaries from our suite of hydrodynamic simulations. In all cases, binary eccentricities evolve towards steady state values that increase with mass ratio, and saturate at an equilibrium eccentricity $e_{\rm b, eq} \sim 0.5$ in the large mass ratio regime, in line with resonant theory. For binaries accreting at their combined Eddington limit, a steady state eccentricity can be achieved within a few Megayears. Once at their steady state eccentricities, binaries with $q_{\rm b} \gtrsim 0.3$ evolve towards coalescence, while lower mass ratio systems expand due to CBD torques. We discuss implications for population studies of massive black hole binaries, protostars in binary systems, and post-common envelope binaries observed by ground-based gravitational wave detectors.


title: Customer Profiling, Segmentation, and Sales Prediction using AI in Direct Marketing

abstract: In an increasingly customer-centric business environment, effective communication between marketing and senior management is crucial for success. With the rise of globalization and increased competition, utilizing new data mining techniques to identify potential customers is essential for direct marketing efforts. This paper proposes a data mining preprocessing method for developing a customer profiling system to improve sales performance, including customer equity estimation and customer action prediction. The RFM-analysis methodology is used to evaluate client capital and a boosting tree for prediction. The study highlights the importance of customer segmentation methods and algorithms to increase the accuracy of the prediction. The main result of this study is the creation of a customer profile and forecast for the sale of goods.


title: From the Lie operad to the Grothendieck-Teichm\"uller group

abstract: We study the deformation complex of the standard morphism from the degree $d$ shifted Lie operad to its polydifferential version, and prove that it is quasi-isomorphic to the Kontsevich graph complex $\mathbf{GC}_d$. In particular, we show that in the case $d=2$ the Grothendieck-Teichm\"uller group $\mathbf{GRT_1}$ is a symmetry group (up to homotopy) of the aforementioned morphism. We also prove that in the case $d=1$ corresponding to the usual Lie algebras the standard morphism admits a unique homotopy non-trivial deformation which is described explicitly with the help of the universal enveloping construction. Finally we prove the rigidity of the strongly homotopy version of the universal enveloping functor in the Lie theory.


title: IMPORTANT-Net: Integrated MRI Multi-Parameter Reinforcement Fusion Generator with Attention Network for Synthesizing Absent Data

abstract: Magnetic resonance imaging (MRI) is highly sensitive for lesion detection in the breasts. Sequences obtained with different settings can capture the specific characteristics of lesions. Such multi-parameter MRI information has been shown to improve radiologist performance in lesion classification, as well as improving the performance of artificial intelligence models in various tasks. However, obtaining multi-parameter MRI makes the examination costly in both financial and time perspectives, and there may be safety concerns for special populations, thus making acquisition of the full spectrum of MRI sequences less durable. In this study, different than naive input fusion or feature concatenation from existing MRI parameters, a novel $\textbf{I}$ntegrated MRI $\textbf{M}$ulti-$\textbf{P}$arameter reinf$\textbf{O}$rcement fusion generato$\textbf{R}$ wi$\textbf{T}$h $\textbf{A}$tte$\textbf{NT}$ion Network (IMPORTANT-Net) is developed to generate missing parameters. First, the parameter reconstruction module is used to encode and restore the existing MRI parameters to obtain the corresponding latent representation information at any scale level. Then the multi-parameter fusion with attention module enables the interaction of the encoded information from different parameters through a set of algorithmic strategies, and applies different weights to the information through the attention mechanism after information fusion to obtain refined representation information. Finally, a reinforcement fusion scheme embedded in a $V^{-}$-shape generation module is used to combine the hierarchical representations to generate the missing MRI parameter. Results showed that our IMPORTANT-Net is capable of generating missing MRI parameters and outperforms comparable state-of-the-art networks. Our code is available at https://github.com/Netherlands-Cancer-Institute/MRI_IMPORTANT_NET.


title: The Agent-based Modelling for Human Behaviour Special Issue

abstract: If human societies are so complex, then how can we hope to understand them? Artificial Life gives us one answer. The field of Artificial Life comprises a diverse set of introspective studies that largely ask the same questions, albeit from many different perspectives: Why are we here? Who are we? Why do we behave as we do? Starting with the origins of life provides us with fascinating answers to some of these questions. However, some researchers choose to bring their studies closer to the present day. We are after all, human. It has been a few billion years since our ancestors were self-replicating molecules. Thus, more direct studies of ourselves and our human societies can reveal truths that may lead to practical knowledge. The papers in this special issue bring together scientists who choose to perform this kind of research.


title: Understanding metric-related pitfalls in image analysis validation

abstract: Validation metrics are key for the reliable tracking of scientific progress and for bridging the current chasm between artificial intelligence (AI) research and its translation into practice. However, increasing evidence shows that particularly in image analysis, metrics are often chosen inadequately in relation to the underlying research problem. This could be attributed to a lack of accessibility of metric-related knowledge: While taking into account the individual strengths, weaknesses, and limitations of validation metrics is a critical prerequisite to making educated choices, the relevant knowledge is currently scattered and poorly accessible to individual researchers. Based on a multi-stage Delphi process conducted by a multidisciplinary expert consortium as well as extensive community feedback, the present work provides the first reliable and comprehensive common point of access to information on pitfalls related to validation metrics in image analysis. Focusing on biomedical image analysis but with the potential of transfer to other fields, the addressed pitfalls generalize across application domains and are categorized according to a newly created, domain-agnostic taxonomy. To facilitate comprehension, illustrations and specific examples accompany each pitfall. As a structured body of information accessible to researchers of all levels of expertise, this work enhances global comprehension of a key topic in image analysis validation.


title: DilateFormer: Multi-Scale Dilated Transformer for Visual Recognition

abstract: As a de facto solution, the vanilla Vision Transformers (ViTs) are encouraged to model long-range dependencies between arbitrary image patches while the global attended receptive field leads to quadratic computational cost. Another branch of Vision Transformers exploits local attention inspired by CNNs, which only models the interactions between patches in small neighborhoods. Although such a solution reduces the computational cost, it naturally suffers from small attended receptive fields, which may limit the performance. In this work, we explore effective Vision Transformers to pursue a preferable trade-off between the computational complexity and size of the attended receptive field. By analyzing the patch interaction of global attention in ViTs, we observe two key properties in the shallow layers, namely locality and sparsity, indicating the redundancy of global dependency modeling in shallow layers of ViTs. Accordingly, we propose Multi-Scale Dilated Attention (MSDA) to model local and sparse patch interaction within the sliding window. With a pyramid architecture, we construct a Multi-Scale Dilated Transformer (DilateFormer) by stacking MSDA blocks at low-level stages and global multi-head self-attention blocks at high-level stages. Our experiment results show that our DilateFormer achieves state-of-the-art performance on various vision tasks. On ImageNet-1K classification task, DilateFormer achieves comparable performance with 70% fewer FLOPs compared with existing state-of-the-art models. Our DilateFormer-Base achieves 85.6% top-1 accuracy on ImageNet-1K classification task, 53.5% box mAP/46.1% mask mAP on COCO object detection/instance segmentation task and 51.1% MS mIoU on ADE20K semantic segmentation task.


title: Investigating the effect of circuit cutting in QAOA for the MaxCut problem on NISQ devices

abstract: Noisy Intermediate-Scale Quantum (NISQ) devices are restricted by their limited number of qubits and their short decoherence times. An approach addressing these problems is quantum circuit cutting. It decomposes the execution of a large quantum circuit into the execution of multiple smaller quantum circuits with additional classical postprocessing. Since these smaller quantum circuits require fewer qubits and gates, they are more suitable for NISQ devices. To investigate the effect of quantum circuit cutting in a quantum algorithm targeting NISQ devices, we design two experiments using the Quantum Approximate Optimization Algorithm (QAOA) for the Maximum Cut (MaxCut) problem and conduct them on state-of-the-art superconducting devices. Our first experiment studies the influence of circuit cutting on the objective function of QAOA, and the second evaluates the quality of results obtained by the whole algorithm with circuit cutting. The results show that circuit cutting can reduce the effects of noise in QAOA, and therefore, the algorithm yields better solutions on NISQ devices.


title: Self-Supervised In-Domain Representation Learning for Remote Sensing Image Scene Classification

abstract: Transferring the ImageNet pre-trained weights to the various remote sensing tasks has produced acceptable results and reduced the need for labeled samples. However, the domain differences between ground imageries and remote sensing images cause the performance of such transfer learning to be limited. Recent research has demonstrated that self-supervised learning methods capture visual features that are more discriminative and transferable than the supervised ImageNet weights. We are motivated by these facts to pre-train the in-domain representations of remote sensing imagery using contrastive self-supervised learning and transfer the learned features to other related remote sensing datasets. Specifically, we used the SimSiam algorithm to pre-train the in-domain knowledge of remote sensing datasets and then transferred the obtained weights to the other scene classification datasets. Thus, we have obtained state-of-the-art results on five land cover classification datasets with varying numbers of classes and spatial resolutions. In addition, By conducting appropriate experiments, including feature pre-training using datasets with different attributes, we have identified the most influential factors that make a dataset a good choice for obtaining in-domain features. We have transferred the features obtained by pre-training SimSiam on remote sensing datasets to various downstream tasks and used them as initial weights for fine-tuning. Moreover, we have linearly evaluated the obtained representations in cases where the number of samples per class is limited. Our experiments have demonstrated that using a higher-resolution dataset during the self-supervised pre-training stage results in learning more discriminative and general representations.


title: VPNEP: Detailed characterization of TESS targets around the Northern Ecliptic Pole

abstract: We embarked on a high-resolution optical spectroscopic survey of bright Transiting Exoplanet Survey Satellite (TESS) stars around the Northern Ecliptic Pole (NEP), dubbed the Vatican-Potsdam-NEP (VPNEP) survey. Our NEP coverage comprises 1067 stars, of which 352 are bona fide dwarf stars and 715 are giant stars, all cooler than spectral type F0 and brighter than V=8. m 5. Our aim is to characterize these stars for the benefit of future studies in the community. We analyzed the spectra via comparisons with synthetic spectra. Particular line profiles were analyzed by means of eigen-profiles, equivalent widths, and relative emission-line fluxes (when applicable). Two R=200 000 spectra were obtained for each of the dwarf stars with the Vatican Advanced Technology Telescope (VATT) and the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI), with typically three R=55 000 spectra obtained for the giant stars with STELLA and the STELLA Echelle Spectrograph (SES). Combined with V-band magnitudes, Gaia eDR3 parallaxes, and isochrones from the Padova and Trieste Stellar Evolutionary Code, the spectra can be used to obtain radial velocities, effective temperatures, gravities, rotational and turbulence broadenings, stellar masses and ages, and abundances for 27 chemical elements, as well as isotope ratios for lithium and carbon, line bisector spans, convective blue-shifts (when feasible), and levels of magnetic activity from H{\alpha}, H{\beta}, and the Ca ii infrared triplet. In this initial paper, we discuss our analysis tools and biases, presenting our first results from a pilot sub-sample of 54 stars (27 bona-fide dwarf stars observed with VATT+PEPSI and 27 bona-fide giant stars observed with STELLA+SES) and making all reduced spectra available to the community.


title: Signature of quantum phase transition manifested in quantum fidelity at finite temperature

abstract: The signature of quantum phase transition is generally wiped out at finite temperature. A few quantities that have been observed to carry this signature through a nonanalytic behavior are also limited to low temperatures only. With an aim to identify a suitable dynamical quantity at a high temperature, we have recently constructed a function from quantum fidelity, which has the potential to bear a nonanalytic signature at the quantum critical point beyond low temperature regime. In this paper, we elaborate our earlier work and demonstrate the behavior of the corresponding rate function and the robustness of the nonanalyticity for a number of many-body Hamiltonians in different dimensions. We have also shown that our rate function reduces to that used in the demonstration of the dynamical quantum phase transition (DQPT) at zero temperature. It has been further observed that, unlike DQPT, the long time limit of the rate function can faithfully detect the equilibrium quantum phase transition as well.


title: Photonic realization of a generic type of graphene edge states exhibiting topological flat band

abstract: Cutting a honeycomb lattice (HCL) can end up with three types of edges (zigzag, bearded and armchair), as is well known in the study of graphene edge states. Here we theoretically investigate and experimentally demonstrate a class of graphene edges, namely, the twig-shaped edges, using a photonic platform, thereby observing edge states distinctive from those observed before. Our main findings are: (i) the twig edge is a generic type of HCL edges complementary to the armchair edge, formed by choosing the right primitive cell rather than simple lattice cutting or Klein edge modification; (ii) the twig edge states form a complete flat band across the Brillouin zone with zero-energy degeneracy, characterized by nontrivial topological winding of the lattice Hamiltonian; (iii) the twig edge states can be elongated or compactly localized along the boundary, manifesting both flat band and topological features. Such new edge states are realized in a laser-written photonic graphene and well corroborated by numerical simulations. Our results may broaden the understanding of graphene edge states, bringing about new possibilities for wave localization in artificial Dirac-like materials.


title: Theory of intermediate twinning and spontaneous polarization in the phase transformations of ferroelectric potassium sodium niobate

abstract: Potassium sodium niobate is considered a prominent material system as a substitute for toxic lead-containing ferroelectric materials. It exhibits first-order phase transformations and ferroelectricity with potential applications ranging from energy conversion to innovative cooling technologies, hereby addressing urgent societal challenges. However, a major obstacle in the application of potassium sodium niobate is its multi-scale heterogeneity and the lack of understanding of its phase transition pathway and microstructure. This can be seen from the findings of Pop-Ghe 2021 et al. [1] which also reveal the occurrence of intermediate twinning during the phase transition. Here we show that intermediate twinning is a consequence of energy minimization. We employ a geometrically nonlinear electroelastic energy function for potassium sodium niobate, including the cubic-tetragonal-orthorhombic transformations and ferroelectricity. The construction of the minimizers is based on compatibility conditions which ensure continuous deformations and pole-free interfaces. These minimizers agree with the experimental observations, including laminates between the tetragonal variants under the cubic to tetragonal transformation, crossing twins under the tetragonal to orthorhombic transformation, intermediate twinning and spontaneous polarization. This shows how the full nonlinear electroelastic model provides a powerful tool in understanding, exploring and tailoring the electromechanical properties of complex ferroelectric ceramics.


title: Interpretations of Domain Adaptations via Layer Variational Analysis

abstract: Transfer learning is known to perform efficiently in many applications empirically, yet limited literature reports the mechanism behind the scene. This study establishes both formal derivations and heuristic analysis to formulate the theory of transfer learning in deep learning. Our framework utilizing layer variational analysis proves that the success of transfer learning can be guaranteed with corresponding data conditions. Moreover, our theoretical calculation yields intuitive interpretations towards the knowledge transfer process. Subsequently, an alternative method for network-based transfer learning is derived. The method shows an increase in efficiency and accuracy for domain adaptation. It is particularly advantageous when new domain data is sufficiently sparse during adaptation. Numerical experiments over diverse tasks validated our theory and verified that our analytic expression achieved better performance in domain adaptation than the gradient descent method.


title: Electrical noise in electrolytes: a theoretical perspective

abstract: Seemingly unrelated experiments such as electrolyte transport through nanotubes, nano-scale electrochemistry, NMR relaxometry and Surface Force Balance measurements, all probe electrical fluctuations: of the electric current, the charge and polarization, the field gradient (for quadrupolar nuclei) and the coupled mass/charge densities. The fluctuations of such various observables arise from the same underlying microscopic dynamics of the ions and solvent molecules. In principle, the relevant length and time scales of these dynamics are encoded in the dynamic structure factors. However modelling the latter for frequencies and wavevectors spanning many orders of magnitude remains a great challenge to interpret the experiments in terms of physical process such as solvation dynamics, diffusion, electrostatic and hydrodynamic interactions between ions, interactions with solid surfaces, etc. Here, we highlight the central role of the charge-charge dynamic structure factor in the fluctuations of electrical observables in electrolytes and offer a unifying perspective over a variety of complementary experiments. We further analyze this quantity in the special case of an aqueous NaCl electrolyte, using simulations with explicit ions and an explicit or implicit solvent. We discuss the ability of the standard Poisson-Nernst-Planck theory to capture the simulation results, and how the predictions can be improved. We finally discuss the contributions of ions and water to the total charge fluctuations. This work illustrates an ongoing effort towards a comprehensive understanding of electrical fluctuations in bulk and confined electrolytes, in order to enable experimentalists to decipher the microscopic properties encoded in the measured electrical noise.


title: Creating Probabilistic Forecasts from Arbitrary Deterministic Forecasts using Conditional Invertible Neural Networks

abstract: In various applications, probabilistic forecasts are required to quantify the inherent uncertainty associated with the forecast. However, numerous modern forecasting methods are still designed to create deterministic forecasts. Transforming these deterministic forecasts into probabilistic forecasts is often challenging and based on numerous assumptions that may not hold in real-world situations. Therefore, the present article proposes a novel approach for creating probabilistic forecasts from arbitrary deterministic forecasts. In order to implement this approach, we use a conditional Invertible Neural Network (cINN). More specifically, we apply a cINN to learn the underlying distribution of the data and then combine the uncertainty from this distribution with an arbitrary deterministic forecast to generate accurate probabilistic forecasts. Our approach enables the simple creation of probabilistic forecasts without complicated statistical loss functions or further assumptions. Besides showing the mathematical validity of our approach, we empirically show that our approach noticeably outperforms traditional methods for including uncertainty in deterministic forecasts and generally outperforms state-of-the-art probabilistic forecasting benchmarks.


title: Locally conformally product structures on solvmanifolds

abstract: We study left invariant locally conformally product structures on simply connected Lie groups and give their complete description in the solvable unimodular case. Based on previous classification results, we then obtain the complete list of solvable unimodular Lie algebras up to dimension 5 which carry LCP structures, and study the existence of lattices in the corresponding simply connected Lie groups.


title: FR3D: Three-dimensional Flow Reconstruction and Force Estimation for Unsteady Flows Around Extruded Bluff Bodies via Conformal Mapping Aided Convolutional Autoencoders

abstract: In many practical fluid dynamics experiments, measuring variables such as velocity and pressure is possible only at a limited number of sensor locations, \textcolor{black}{for a few two-dimensional planes, or for a small 3D domain in the flow}. However, knowledge of the full fields is necessary to understand the dynamics of many flows. Deep learning reconstruction of full flow fields from sparse measurements has recently garnered significant research interest, as a way of overcoming this limitation. This task is referred to as the flow reconstruction (FR) task. In the present study, we propose a convolutional autoencoder based neural network model, dubbed FR3D, which enables FR to be carried out for three-dimensional flows around extruded 3D objects with different cross-sections. An innovative mapping approach, whereby multiple fluid domains are mapped to an annulus, enables FR3D to generalize its performance to objects not encountered during training. We conclusively demonstrate this generalization capability using a dataset composed of 80 training and 20 testing geometries, all randomly generated. We show that the FR3D model reconstructs pressure and velocity components with a few percentage points of error. Additionally, using these predictions, we accurately estimate the Q-criterion fields as well lift and drag forces on the geometries.


title: Defect-induced magnetism in TiO$_2$: An example of quasi 2D magnetic order with perpendicular anisotropy

abstract: Magnetic order at room temperature induced by atomic lattice defects, like vacancies, interstitials or pairs of them, has been observed in a large number of different nonmagnetic hosts, such as pure graphite, oxides and silicon-based materials. High Curie temperatures and time independent magnetic response at room temperature indicate the extraordinary robustness of this new phenomenon in solid state magnetism. In this work, we review experimental and theoretical results in pure TiO$_2$ (anatase), which magnetic order can be triggered by low-energy ion irradiation. In particular, we discuss the systematic observation of an ultrathin magnetic layer with perpendicular magnetic anisotropy at the surface of this oxide.


title: SRG/eROSITA-triggered XMM-Newton observations of three Be/X-ray binaries in the LMC: Discovery of X-ray pulsations

abstract: Using data from eROSITA, the soft X-ray instrument aboard Spectrum-Roentgen-Gamma (SRG), we report the discovery of two new hard transients, eRASSU J050810.4-660653 and eRASSt J044811.1-691318, in the Large Magellanic Cloud. We also report the detection of the Be/X-ray binary RX J0501.6-7034 in a bright state. We initiated follow-up observations to investigate the nature of the new transients and to search for X-ray pulsations coming from RX J0501.6-7034. We analysed the X-ray spectra and light curves from our XMM-Newton observations, obtained optical spectra using the South African Large Telescope to look for Balmer emission lines and utilised the archival data from the Optical Gravitational Lensing Experiment (OGLE) for the long-term monitoring of the optical counterparts. We find X-ray pulsations for eRASSU J050810.4-660653, RX J0501.6-7034, and eRASSt J044811.1-691318 of 40.6 s, 17.3 s, and 784 s, respectively. The Halpha emission lines with equivalent widths of -10.4 A (eRASSU J050810.4-660653) and -43.9 A (eRASSt J044811.1-691318) were measured, characteristic for a circumstellar disc around Be stars. The OGLE I- and V-band light curves of all three systems exhibit strong variability. A regular pattern of deep dips in the light curves of RX J0501.6-7034 suggests an orbital period of ~451 days. We identify the two new hard eROSITA transients eRASSU J050810.4-660653 and eRASSt J044811.1-691318 and the known Be/X-ray binary RX J0501.6-7034 as Be/X-ray binary pulsars.


title: Model-free inequality for data of Einstein-Podolsky-Rosen-Bohm experiments

abstract: We present a new inequality constraining correlations obtained when performing Einstein-Podolsky-Rosen-Bohm experiments. The proof does not rely on mathematical models that are imagined to have produced the data and is therefore ``model-free''. The new inequality contains the model-free version of the well-known Bell-CHSH inequality as a special case. A violation of the latter implies that not all the data pairs in four data sets can be reshuffled to create quadruples. This conclusion provides a new perspective on the implications of the violation of Bell-type inequalities by experimental data.


title: Mitigating Data Scarcity for Large Language Models

abstract: In recent years, pretrained neural language models (PNLMs) have taken the field of natural language processing by storm, achieving new benchmarks and state-of-the-art performances. These models often rely heavily on annotated data, which may not always be available. Data scarcity are commonly found in specialized domains, such as medical, or in low-resource languages that are underexplored by AI research. In this dissertation, we focus on mitigating data scarcity using data augmentation and neural ensemble learning techniques for neural language models. In both research directions, we implement neural network algorithms and evaluate their impact on assisting neural language models in downstream NLP tasks. Specifically, for data augmentation, we explore two techniques: 1) creating positive training data by moving an answer span around its original context and 2) using text simplification techniques to introduce a variety of writing styles to the original training data. Our results indicate that these simple and effective solutions improve the performance of neural language models considerably in low-resource NLP domains and tasks. For neural ensemble learning, we use a multilabel neural classifier to select the best prediction outcome from a variety of individual pretrained neural language models trained for a low-resource medical text simplification task.


title: Ultracold plasmas from strongly anti-correlated Rydberg gases in the Kinetic Field Theory formalism

abstract: The dynamics of correlated systems is relevant in many fields ranging from cosmology to plasma physics. However, they are challenging to predict and understand even for classical systems due to the typically large numbers of particles involved. Here, we study the evolution of an ultracold, correlated many-body system with repulsive interactions and initial correlations set by the Rydberg blockade using the analytical framework of Kinetic Field Theory (KFT). The KFT formalism is based on the path-integral formulation for classical mechanics and was first developed and successfully used in cosmology to describe structure formation in Dark Matter. The theoretical framework offers a high flexibility regarding the initial configuration and interactions between particles and, in addition, is computationally cheap. More importantly, the analytic approach allows us to gain better insight into the processes which dominate the dynamics. In this work we show that KFT can be applied in a much more general context and study the evolution of a correlated ion plasma. We find good agreement between the analytical KFT results for the evolution of the correlation function and results obtained from numerical simulations. We use the correlation functions obtained with KFT to compute the temperature increase in the ionic system due to disorder-induced heating. For certain choices of parameters we observe that the effect can be reversed, leading to correlation cooling. Due to its numerical efficiency as compared to numerical simulations, a detailed study using KFT can help to constrain parameter spaces where disorder-induced heating is minimal in order to reach the regime of strong coupling.


title: Refining trees of tangles in abstract separation systems I: Inessential parts

abstract: Robertson and Seymour proved two fundamental theorems about tangles in graphs: the tree-of-tangles theorem, which says that every graph has a tree-decomposition such that distinguishable tangles live in different nodes of the tree, and the tangle-tree duality theorem, which says that graphs without a $k$-tangle have a tree-decomposition that witnesses the non-existence of such tangles, in that $k$-tangles would have to live in a node but no node is large enough to accommodate one. Erde combined these two fundamental theorems into one, by constructing a single tree-decomposition such that every node either accommodates a single $k$-tangle or is too small to accommodate one. Such a tree-decomposition thus shows at a glance how many $k$-tangles a graph has and where they are. The two fundamental theorems have since been extended to abstract separation systems, which support tangles in more general discrete structures. In this paper we extend Erde's unified theorem to such general systems.


title: Non-Hermitian zero mode laser in a nanophotonic trimer

abstract: Symmetry-protected zero modes in arrays of coupled optical elements have attracted considerable attention because they are expected to be robust against coupling disorders. In the Hermitian limit, zero modes are dark ones, i.e. the intensity in one sublattice vanishes; yet, in a non-Hermitian counterpart, zero modes can be bright and feature {\pi}/2 phase difference between sublattices. In this work, we report on the direct observation of a lasing zero mode in a non-Hermitian three coupled nanocavity array. We show efficient excitation for nearly equal pump power in the two extreme cavities. Furthermore, its efficiency can be dynamically controlled by pumping the center cavity. The realization of zero mode lasing in large arrays of coupled nanolasers has potential applications in laser-mode engineering and it opens up promising avenues in optical computing.


title: PINN Training using Biobjective Optimization: The Trade-off between Data Loss and Residual Loss

abstract: Physics informed neural networks (PINNs) have proven to be an efficient tool to represent problems for which measured data are available and for which the dynamics in the data are expected to follow some physical laws. In this paper, we suggest a multiobjective perspective on the training of PINNs by treating the data loss and the residual loss as two individual objective functions in a truly biobjective optimization approach. As a showcase example, we consider COVID-19 predictions in Germany and built an extended susceptibles-infected-recovered (SIR) model with additionally considered leaky-vaccinated and hospitalized populations (SVIHR model) to model the transition rates and to predict future infections. SIR-type models are expressed by systems of ordinary differential equations (ODEs). We investigate the suitability of the generated PINN for COVID-19 predictions and compare the resulting predicted curves with those obtained by applying the method of non-standard finite differences to the system of ODEs and initial data. The approach is applicable to various systems of ODEs that define dynamical regimes. Those regimes do not need to be SIR-type models, and the corresponding underlying data sets do not have to be associated with COVID-19.


title: CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety

abstract: Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spatial memory safety in a backward-compatible manner, allowing the mix of checked pointers and regular (unchecked) pointer types. However, unchecked code vulnerabilities can violate the checked code's spatial safety guarantees. We present CheckedCBox, which adds a flexible, type-directed program partitioning mechanism to Checked-C, by enhancing the Checked-C type system with tainted types that enable flexible partitioning of the program into checked and unchecked regions, in a manner such that unchecked region code does not affect the spatial safety in the checked region. We formalize our type system and prove the non-crashing and non-exposure properties of a well-typed CheckedCBox program. We implemented CheckedCBox in a configurable manner, which enables us to use existing sandbox mechanisms (eg WebAssembly) to execute programs. Consequently, in doing so, CheckedCBox has prevented four known vulnerabilities by efficiently partitioning the program.