title: Optimized Views Photogrammetry: Precision Analysis and A Large-scale Case Study in Qingdao

abstract: UAVs have become one of the widely used remote sensing platforms and played a critical role in the construction of smart cities. However, due to the complex environment in urban scenes, secure and accurate data acquisition brings great challenges to 3D modeling and scene updating. Optimal trajectory planning of UAVs and accurate data collection of onboard cameras are non-trivial issues in urban modeling. This study presents the principle of optimized views photogrammetry and verifies its precision and potential in large-scale 3D modeling. Different from oblique photogrammetry, optimized views photogrammetry uses rough models to generate and optimize UAV trajectories, which is achieved through the consideration of model point reconstructability and view point redundancy. Based on the principle of optimized views photogrammetry, this study first conducts a precision analysis of 3D models by using UAV images of optimized views photogrammetry and then executes a large-scale case study in the urban region of Qingdao city, China, to verify its engineering potential. By using GCPs for image orientation precision analysis and TLS (terrestrial laser scanning) point clouds for model quality analysis, experimental results show that optimized views photogrammetry could construct stable image connection networks and could achieve comparable image orientation accuracy. Benefiting from the accurate image acquisition strategy, the quality of mesh models significantly improves, especially for urban areas with serious occlusions, in which 3 to 5 times of higher accuracy has been achieved. Besides, the case study in Qingdao city verifies that optimized views photogrammetry can be a reliable and powerful solution for the large-scale 3D modeling in complex urban scenes.


title: Joint Beam Hopping and Carrier Aggregation in High Throughput Multi-Beam Satellite Systems

abstract: Beam hopping (BH) and carrier aggregation (CA) are two promising technologies for the next generation satellite communication systems to achieve several orders of magnitude increase in system capacity and to significantly improve the spectral efficiency. While BH allows a great flexibility in adapting the offered capacity to the heterogeneous demand, CA further enhances the user quality-of-service (QoS) by allowing it to pool resources from multiple adjacent beams. In this paper, we consider a multi-beam high throughput satellite (HTS) system that employs BH in conjunction with CA to capitalize on the mutual interplay between both techniques. Particularly, an innovative joint BH-CA scheme is proposed and analyzed in this work to utilize their individual competencies. This includes designing an efficient joint time-space beam illumination pattern for BH and multi-user aggregation strategy for CA. Through this, user-carrier assignment, transponder filling-rates, beams hopping pattern, and illumination duration are all simultaneously optimized by formulating a joint optimization problem as a multi-objective mixed integer linear programming problem (MINLP). Simulation results are provided to corroborate our analysis, demonstrate the design tradeoffs, and point out the potentials of the proposed joint BH-CA concept. Advantages of our BH-CA scheme versus the conventional BH method without employing CA are investigated and presented under the same system circumstances.


title: Stochastic formalism for U(1) gauge fields in axion inflation

abstract: We develop the stochastic formalism for $\mathrm{U}(1)$ gauge fields that has the Chern-Simons coupling to a rolling pseudo-scalar field during inflation. The Langevin equations for the physical electromagnetic fields are derived and the analytic solutions are studied. Using numerical simulation we demonstrate that the electromagnetic fields averaged over the Hubble scale continuously change their direction and their amplitudes fluctuate around the analytically obtained expectation values. Though the isotropy is spontaneously broken by picking up a particular local Hubble patch, each Hubble patch is understood independent and the isotropy is conserved globally by averaging all the Hubble patches.


title: Surface induced electronic Berry curvature in Berry curvature free bulk materials

abstract: In recent years it has become clear that electronic Berry curvature (BC) is a key concept to understand and predict physical properties of crystalline materials. A wealth of interesting Hall-type responses in charge, spin and heat transport are caused by the BC associated to electronic bands inside a solid: anomalous Hall effects in magnetic materials, and various nonlinear Hall and Nernst effects in non-magnetic systems that lack inversion symmetry. However, for the largest class of known materials -- non-magnetic ones with inversion symmetry -- electronic BC is strictly zero. Here we show that precisely for these bulk BC-free materials, a finite BC can emerge at their surfaces and interfaces. This immediately activates certain surfaces in producing Hall-type transport responses. We demonstrate this by first principles calculations of the BC at bismuth, mercury-telluride (HgTe) and rhodium surfaces of various symmetries, revealing the presence of a surface Berry curvature dipole and associated quantum nonlinear Hall effects at a number of these. This opens up a plethora of materials to explore and harness the physical effects emerging from the electronic Berry curvature associated exclusively to their boundaries.


title: Optimal dividends under a drawdown constraint and a curious square-root rule

abstract: In this paper we address the problem of optimal dividend payout strategies from a surplus process governed by Brownian motion with drift under a drawdown constraint, i.e. the dividend rate can never decrease below a given fraction $a$ of its historical maximum. We solve the resulting two-dimensional optimal control problem and identify the value function as the unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. We then derive sufficient conditions under which a two-curve strategy is optimal, and show how to determine its concrete form using calculus of variations. We establish a smooth-pasting principle and show how it can be used to prove the optimality of two-curve strategies for sufficiently large initial and maximum dividend rate. We also give a number of numerical illustrations in which the optimality of the two-curve strategy can be established for instances with smaller values of the maximum dividend rate, and the concrete form of the curves can be determined. One observes that the resulting drawdown strategies nicely interpolate between the solution for the classical unconstrained dividend problem and the one for a ratcheting constraint as recently studied in Albrecher et al. (2022). When the maximum allowed dividend rate tends to infinity, we show a surprisingly simple and somewhat intriguing limit result in terms of the parameter $a$ for the surplus level on from which, for sufficiently large current dividend rate, a take-the-money-and-run strategy is optimal in the presence of the drawdown constraint.


title: Vibration-Assisted Multi-Photon Resonance and Multi-Ion Excitation

abstract: We investigate the multi-photon resonance and multi-ion excitation in a single-mode cavity with identical vibrating ion-qubits, which enables the tripartite interaction among the internal states of ions, the cavity mode and the ions' vibrational motion. Under particular resonant conditions, we derive effective Hamiltonians for the three-photon and the three-excitation cases, respectively, and find that the magnitude of the effective coupling energy can be tuned through the vibration mode, allowing for manipulations of ion-photon coupling in experiments. Furthermore, we analyze the system dynamics of our proposed setups and demonstrate the Rabi oscillation behaviors in these systems with dissipation effects. We propose our system as a versatile platform for the exploration of entangled multi-qubit physics.


title: On the Optimisation of the GSACA Suffix Array Construction Algorithm

abstract: The suffix array is arguably one of the most important data structures in sequence analysis and consequently there is a multitude of suffix sorting algorithms. However, to this date the GSACA algorithm introduced in 2015 is the only known non-recursive linear-time suffix array construction algorithm (SACA). Despite its interesting theoretical properties, there has been little effort in improving the algorithm's subpar real-world performance. There is a super-linear algorithm DSH which relies on the same sorting principle and is faster than DivSufSort, the fastest SACA for over a decade. This paper is concerned with analysing the sorting principle used in GSACA and DSH and exploiting its properties in order to give an optimised linear-time algorithm. Our resulting algorithm is not only significantly faster than GSACA but also outperforms DivSufSort and DSH.


title: Symmetry Resolved Entanglement of Excited States in Quantum Field Theory II: Numerics, Interacting Theories and Higher Dimensions

abstract: In a recent paper we studied the entanglement content of zero-density excited states in complex free quantum field theories, focusing on the symmetry resolved entanglement entropy (SREE). By zero-density states we mean states consisting of a fixed, finite number of excitations above the ground state in an infinite-volume system. The SREE is defined for theories that possess an internal symmetry and provides a measure of the contribution to the total entanglement of each symmetry sector. In our work, we showed that the ratio of Fourier-transforms of the SREEs (i.e. the ratio of charged moments) takes a very simple and universal form for these states, which depends only on the number, statistics and symmetry charge of the excitations as well as the relative size of the entanglement region with respect to the whole system's size. In this paper we provide numerical evidence for our formulae by computing functions of the charged moments in two free lattice theories: a 1D Fermi gas and a complex harmonic chain. We also extend our results in two directions: by showing that they apply also to excited states of interacting theories (i.e. magnon states) and by developing a higher dimensional generalisation of the branch point twist field picture, leading to results in (interacting) higher-dimensional models.


title: MPClan: Protocol Suite for Privacy-Conscious Computations

abstract: The growing volumes of data being collected and its analysis to provide better services are creating worries about digital privacy. To address privacy concerns and give practical solutions, the literature has relied on secure multiparty computation. However, recent research has mostly focused on the small-party honest-majority setting of up to four parties, noting efficiency concerns. In this work, we extend the strategies to support a larger number of participants in an honest-majority setting with efficiency at the center stage. Cast in the preprocessing paradigm, our semi-honest protocol improves the online complexity of the decade-old state-of-the-art protocol of Damg\aa rd and Nielson (CRYPTO'07). In addition to having an improved online communication cost, we can shut down almost half of the parties in the online phase, thereby saving up to 50% in the system's operational costs. Our maliciously secure protocol also enjoys similar benefits and requires only half of the parties, except for one-time verification, towards the end. To showcase the practicality of the designed protocols, we benchmark popular applications such as deep neural networks, graph neural networks, genome sequence matching, and biometric matching using prototype implementations. Our improved protocols aid in bringing up to 60-80% savings in monetary cost over prior work.


title: Adaptive Nonlinear Regulation via Gaussian Process

abstract: The paper deals with the problem of output regulation of nonlinear systems by presenting a learning-based adaptive internal model-based design strategy. We borrow from the adaptive internal model design technique recently proposed in [1] and extend it by means of a Gaussian process regressor. The learning-based adaptation is performed by following an "event-triggered" logic so that hybrid tools are used to analyse the resulting closed-loop system. Unlike the approach proposed in [1] where the friend is supposed to belong to a specific finite-dimensional model set, here we only require smoothness of the ideal steady-state control action. The paper also presents numerical simulations showing how the proposed method outperforms previous approaches.


title: Generalized multifractality at metal-insulator transitions and in metallic phases of 2D disordered systems

abstract: We study generalized multifractality characterizing fluctuations and correlations of eigenstates in disordered systems of symmetry classes AII, D, and DIII. Both metallic phases and Andersonlocalization transitions are considered. By using the non-linear sigma-model approach, we construct pure-scaling eigenfunction observables. The construction is verified by numerical simulations of appropriate microscopic models, which also yield numerical values of the corresponding exponents. In the metallic phases, the numerically obtained exponents satisfy Weyl symmetry relations as well as generalized parabolicity (proportionality to eigenvalues of the quadratic Casimir operator). At the same time, the generalized parabolicity is strongly violated at critical points of metal-insulator transitions, signalling violation of local conformal invariance. Moreover, in classes D and DIII, even the Weyl symmetry breaks down at critical points of metal-insulator transitions. This last feature is related with a peculiarity of the sigma-model manifolds in these symmetry classes: they consist of two disjoint components. Domain walls associated with these additional degrees of freedom are crucial for ensuring Anderson localization and, at the same time, lead to the violation of the Weyl symmetry.

categories: cond-mat.dis-nn cond-mat.supr-con math-ph math.MP


title: Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

abstract: Neural networks have been widely applied in security applications such as spam and phishing detection, intrusion prevention, and malware detection. This black-box method, however, often has uncertainty and poor explainability in applications. Furthermore, neural networks themselves are often vulnerable to adversarial attacks. For those reasons, there is a high demand for trustworthy and rigorous methods to verify the robustness of neural network models. Adversarial robustness, which concerns the reliability of a neural network when dealing with maliciously manipulated inputs, is one of the hottest topics in security and machine learning. In this work, we survey existing literature in adversarial robustness verification for neural networks and collect 39 diversified research works across machine learning, security, and software engineering domains. We systematically analyze their approaches, including how robustness is formulated, what verification techniques are used, and the strengths and limitations of each technique. We provide a taxonomy from a formal verification perspective for a comprehensive understanding of this topic. We classify the existing techniques based on property specification, problem reduction, and reasoning strategies. We also demonstrate representative techniques that have been applied in existing studies with a sample model. Finally, we discuss open questions for future research.


title: Noncommutative maximal ergodic inequalities for amenable groups

abstract: We prove a pointwise ergodic theorem for actions of amenable groups on noncommutative measure spaces. To do so, we establish the maximal ergodic inequality for averages of operator-valued functions on amenable groups. The main arguments are a geometric construction of martingales based on the Ornstein-Weiss quasi-tilings and harmonic analytic estimates coming from noncommutative Calder\'on-Zygmund theory.


title: Exact Prosody Cloning in Zero-Shot Multispeaker Text-to-Speech

abstract: The cloning of a speaker's voice using an untranscribed reference sample is one of the great advances of modern neural text-to-speech (TTS) methods. Approaches for mimicking the prosody of a transcribed reference audio have also been proposed recently. In this work, we bring these two tasks together for the first time through utterance level normalization in conjunction with an utterance level speaker embedding. We further introduce a lightweight aligner for extracting fine-grained prosodic features, that can be finetuned on individual samples within seconds. We show that it is possible to clone the voice of a speaker as well as the prosody of a spoken reference independently without any degradation in quality and high similarity to both original voice and prosody, as our objective evaluation and human study show. All of our code and trained models are available, alongside static and interactive demos.


title: Deformable CNN and Imbalance-Aware Feature Learning for Singing Technique Classification

abstract: Singing techniques are used for expressive vocal performances by employing temporal fluctuations of the timbre, the pitch, and other components of the voice. Their classification is a challenging task, because of mainly two factors: 1) the fluctuations in singing techniques have a wide variety and are affected by many factors and 2) existing datasets are imbalanced. To deal with these problems, we developed a novel audio feature learning method based on deformable convolution with decoupled training of the feature extractor and the classifier using a class-weighted loss function. The experimental results show the following: 1) the deformable convolution improves the classification results, particularly when it is applied to the last two convolutional layers, and 2) both re-training the classifier and weighting the cross-entropy loss function by a smoothed inverse frequency enhance the classification performance.


title: Creation and unification of development and life stage ontologies for animals

abstract: With the new era of genomics, an increasing number of animal species are amenable to large-scale data generation. This had led to the emergence of new multi-species ontologies to annotate and organize these data. While anatomy and cell types are well covered by these efforts, information regarding development and life stages is also critical in the annotation of animal data. Its lack can hamper our ability to answer comparative biology questions and to interpret functional results. We present here a collection of development and life stage ontologies for 21 animal species, and their merge into a common multi-species ontology. This work has allowed the integration and comparison of transcriptomics data in 52 animal species.


title: A Fundamental Limit of Distributed Hypothesis Testing Under Memoryless Quantization

abstract: We study a distributed hypothesis testing setup where peripheral nodes send quantized data to the fusion center in a memoryless fashion. The \emph{expected} number of bits sent by each node under the null hypothesis is kept limited. We characterize the optimal decay rate of the mis-detection (type-II error) probability provided that false alarms (type-I error) are rare, and study the tradeoff between the communication rate and maximal type-II error decay rate. We resort to rate-distortion methods to provide upper bounds to the tradeoff curve and show that at high rates lattice quantization achieves near-optimal performance. We also characterize the tradeoff for the case where nodes are allowed to record and quantize a fixed number of samples. Moreover, under sum-rate constraints, we show that an upper bound to the tradeoff curve is obtained with a water-filling solution.


title: Reinforcement learning based adaptive metaheuristics

abstract: Parameter adaptation, that is the capability to automatically adjust an algorithm's hyperparameters depending on the problem being faced, is one of the main trends in evolutionary computation applied to numerical optimization. While several handcrafted adaptation policies have been proposed over the years to address this problem, only few attempts have been done so far at applying machine learning to learn such policies. Here, we introduce a general-purpose framework for performing parameter adaptation in continuous-domain metaheuristics based on state-of-the-art reinforcement learning algorithms. We demonstrate the applicability of this framework on two algorithms, namely Covariance Matrix Adaptation Evolution Strategies (CMA-ES) and Differential Evolution (DE), for which we learn, respectively, adaptation policies for the step-size (for CMA-ES), and the scale factor and crossover rate (for DE). We train these policies on a set of 46 benchmark functions at different dimensionalities, with various inputs to the policies, in two settings: one policy per function, and one global policy for all functions. Compared, respectively, to the Cumulative Step-size Adaptation (CSA) policy and to two well-known adaptive DE variants (iDE and jDE), our policies are able to produce competitive results in the majority of cases, especially in the case of DE.


title: Explicit expressions and computational methods for the Fortet-Mourier distance to finite weighted sums of Dirac measures

abstract: Explicit expressions and computational approaches are given for the Fortet-Mourier distance between a positively weighted sum of Dirac measures on a metric space and a positive finite Borel measure. Explicit expressions are given for the distance to a single Dirac measure. For the case of a sum of several Dirac measures one needs to resort to a computational approach. In particular, two algorithms are given to compute the Fortet-Mourier norm of a molecular measure, i.e. a finite weighted sum of Dirac measures. It is discussed how one of these can be modified to allow computation of the dual bounded Lipschitz (or Dudley) norm of such measures.


title: Guided sequential ABC schemes for intractable Bayesian models

abstract: Sequential algorithms such as sequential importance sampling (SIS) and sequential Monte Carlo (SMC) have proven fundamental in Bayesian inference for models not admitting a readily available likelihood function. For approximate Bayesian computation (ABC), SMC-ABC is the state-of-art sampler. However, since the ABC paradigm is intrinsically wasteful, sequential ABC schemes can benefit from well-targeted proposal samplers that efficiently avoid improbable parameter regions. We contribute to the ABC modeller's toolbox with novel proposal samplers that are conditional to summary statistics of the data. In a sense, the proposed parameters are "guided" to rapidly reach regions of the posterior surface that are compatible with the observed data. This speeds up the convergence of these sequential samplers, thus reducing the computational effort, while preserving the accuracy in the inference. We provide a variety of guided Gaussian and copula-based samplers for both SIS-ABC and SMC-ABC easing inference for challenging case-studies, including multimodal posteriors, highly correlated posteriors, hierarchical models with about 20 parameters, and a simulation study of cell movements using more than 400 summary statistics.


title: Multi-relational Instruction Association Graph for Cross-architecture Binary Similarity Comparison

abstract: Cross-architecture binary similarity comparison is essential in many security applications. Recently, researchers have proposed learning-based approaches to improve comparison performance. They adopted a paradigm of instruction pre-training, individual binary encoding, and distance-based similarity comparison. However, instruction embeddings pre-trained on external code corpus are not universal in diverse real-world applications. And separately encoding cross-architecture binaries will accumulate the semantic gap of instruction sets, limiting the comparison accuracy. This paper proposes a novel cross-architecture binary similarity comparison approach with multi-relational instruction association graph. We associate mono-architecture instruction tokens with context relevance and cross-architecture tokens with potential semantic correlations from different perspectives. Then we exploit the relational graph convolutional network (R-GCN) to perform type-specific graph information propagation. Our approach can bridge the gap in the cross-architecture instruction representation spaces while avoiding the external pre-training workload. We conduct extensive experiments on basic block-level and function-level datasets to prove the superiority of our approach. Furthermore, evaluations on a large-scale real-world IoT malware reuse function collection show that our approach is valuable for identifying malware propagated on IoT devices of various architectures.


title: Solid confirmation of the broad DIB around 864.8 nm using stacked Gaia-RVS spectra

abstract: Studies of the correlation between different diffuse interstellar bands (DIBs) are important for exploring their origins. However, the Gaia-RVS spectral window between 846 and 870 nm contains few DIBs, the strong DIB at 862 nm being the only convincingly confirmed one. Here we attempt to confirm the existence of a broad DIB around 864.8 nm and estimate its characteristics using the stacked Gaia-RVS spectra of a large number of stars. We study the correlations between the two DIBs at 862 nm and 864.8 nm, as well as the interstellar extinction. We obtained spectra of the interstellar medium absorption by subtracting the stellar components using templates constructed from real spectra at high Galactic latitudes with low extinctions. We then stacked the ISM spectra in Galactic coordinates, pixelized by the HEALPix scheme, to measure the DIBs. The stacked spectrum is modeled by the profiles of the two DIBs, Gaussian for $\lambda$862 and Lorentzian for $\lambda$864.8, and a linear continuum. We obtain 8458 stacked spectra in total, of which 1103 (13%) have reliable fitting results after applying numerous conservative filters. This work is the first of its kind to fit and measure $\lambda$862 and $\lambda$864.8 simultaneously in cool-star spectra. We find that the EWs and CDs of the two DIBs are well correlated with each other. The full width at half maximum (FWHM) of $\lambda$864.8 is estimated as $1.62 \pm 0.33$ nm which compares to $0.55 \pm 0.06$ nm for $\lambda$862. We also measure the vacuum rest-frame wavelength of $\lambda$864.8 to be $\lambda_0 = 864.53 \pm 0.14$ nm, smaller than previous estimates. We find a solid confirmation of the existence of the DIB around 864.8 nm based on an exploration of its correlation with $\lambda$862 and estimation of its FWHM. $\lambda$862 correlates better with E(BP-RP) than $\lambda$864.8.


title: All-optical non-linear chiral ultrafast magnetization dynamics driven by circularly polarized magnetic fields

abstract: Ultrafast laser pulses provide unique tools to manipulate magnetization dynamics at femtosecond timescales, where the interaction of the electric field -- such as excitation of spin carriers to non-equilibrium states, generation of localized charge currents, demagnetization, or inverse Faraday effect -- dominates over the magnetic field. Recent proposals using structured laser beams have enlightened the possibility to generate intense femtosecond magnetic fields, spatially isolated from the electric field. Here we demonstrate the relevance of this novel scenario to femtomagnetism, unveiling the purely precessional, non-linear, chiral response of the magnetization when subjected to circularly polarized magnetic fields. This fundamental result not only opens an avenue in the study of laser-induced ultrafast magnetization dynamics, but also sustains technological implications as a route to promote all-optical non-thermal magnetization switching both at shorter timescales -- towards the attosecond regime -- and at THz frequencies.


title: Machine Learning for the edge energies of high symmetry Au nanoparticles

abstract: We present data-driven simulations for gold nanostructures, and develop a model that links total energy to geometrical features of the particle, with the ultimate goal of deriving reliable edge energies of gold. Assuming that the total energy can be decomposed into contributions from the bulk, surfaces, edges, and vertices, we use machine learning for reliable multi-variant fits of the associated coefficients. The proposed method of total energy calculations using machine learning produces almost ab-initio-like accuracy with minimal computational cost. Furthermore, a clear definition and metric for edge energy is introduced for edge-energy density calculations that avoid the troublesome definition of edge length in nanostructures. Our results for edge-energy density are 0.22 eV/{\AA} for (100)/(100) edges and 0.20 eV/{\AA} for (111)/(111) edges. Calculated vertex energies are about 1 eV/atom. The present method can be readily extended to other metals and edge orientations as well as arbitrary nanoparticle shapes.


title: PSP: Million-level Protein Sequence Dataset for Protein Structure Prediction

abstract: Proteins are essential component of human life and their structures are important for function and mechanism analysis. Recent work has shown the potential of AI-driven methods for protein structure prediction. However, the development of new models is restricted by the lack of dataset and benchmark training procedure. To the best of our knowledge, the existing open source datasets are far less to satisfy the needs of modern protein sequence-structure related research. To solve this problem, we present the first million-level protein structure prediction dataset with high coverage and diversity, named as PSP. This dataset consists of 570k true structure sequences (10TB) and 745k complementary distillation sequences (15TB). We provide in addition the benchmark training procedure for SOTA protein structure prediction model on this dataset. We validate the utility of this dataset for training by participating CAMEO contest in which our model won the first place. We hope our PSP dataset together with the training benchmark can enable a broader community of AI/biology researchers for AI-driven protein related research.


title: CoSP: Co-supervised pretraining of pocket and ligand

abstract: Can we inject the pocket-ligand interaction knowledge into the pre-trained model and jointly learn their chemical space? Pretraining molecules and proteins has attracted considerable attention in recent years, while most of these approaches focus on learning one of the chemical spaces and lack the injection of biological knowledge. We propose a co-supervised pretraining (CoSP) framework to simultaneously learn 3D pocket and ligand representations. We use a gated geometric message passing layer to model both 3D pockets and ligands, where each node's chemical features, geometric position and orientation are considered. To learn biological meaningful embeddings, we inject the pocket-ligand interaction knowledge into the pretraining model via contrastive loss. Considering the specificity of molecules, we further propose a chemical similarity-enhanced negative sampling strategy to improve the contrastive learning performance. Through extensive experiments, we conclude that CoSP can achieve competitive results in pocket matching, molecule property predictions, and virtual screening.


title: Intersecting near-optimal spaces: European power systems with more resilience to weather variability

abstract: We suggest a new methodology for designing robust energy systems. For this, we investigate so-called near-optimal solutions to energy system optimisation models; solutions whose objective values deviate only marginally from the optimum. Using a refined method for obtaining explicit geometric descriptions of these near-optimal feasible spaces, we find designs that are as robust as possible to perturbations. This contributes to the ongoing debate on how to define and work with robustness in energy systems modelling. We apply our methods in an investigation using multiple decades of weather data. For the first time, we run a capacity expansion model of the European power system (one node per country) with a 3-hourly temporal resolution with 41 years of weather data. While an optimisation with 41 weather years is at the limits of computational feasibility, we use the near-optimal feasible spaces of single years to gain an understanding of the design space over the full time period. Specifically, we intersect all near-optimal feasible spaces for the individual years in order to get designs that are likely to be feasible over the entire time period. We find significant potential for investment flexibility, and verify the feasibility of these designs by simulating the resulting dispatch problem with four decades of weather data. They are characterised by a shift towards more onshore wind and solar power, while emitting up to 50% less $CO_2$ than a cost-optimal solution over that period. Our work builds on recent developments in the field, including techniques such as Modelling to Generate Alternatives and Modelling All Alternatives, and provides new insights into the geometry of near-optimal feasible spaces and the importance of multi-decade weather variability for energy systems design. We also provide an effective way of working with a multi-decade time frame in a highly parallelised manner.


title: Dynamic stability of nano-scale ferroelectric domains by molecular dynamics modeling

abstract: Ultra-dense domain walls are increasingly important for many devices but their microscopic properties are so far not fully understood. In this study we combine atomistic and coarse-grained molecular dynamic simulations to study the domain wall stability in the prototypical ferroelectric BaTiO3. We transfer the discussion of the field-driven nucleation and motion of domain walls to thermally induced modifications of the wall without an external driving force. Our simulations show that domain wall dynamics and stability depend crucially on microscopic thermal fluctuations. Enhanced fluctuations at domain walls may result in the formation of critical nuclei for the permanent shift of the domain wall. If two domain walls are close - put in other words, when domains are small - thermal fluctuations can be sufficient to bring domain walls into contact and lead to the annihilation of small domains. This is even true well below the Curie temperature and when domain walls are initially as far apart as 6 unit cells. Such small domains are, thus, not stable and limit the maximum achievable domain wall density in nanoelectronic devices.


title: Equivariant hierarchically hyperbolic structures for 3-manifold groups via quasimorphisms

abstract: Behrstock, Hagen, and Sisto classified 3-manifold groups admitting a hierarchically hyperbolic space structure. However, these structures were not always equivariant with respect to the group. In this paper, we classify 3-manifold groups admitting equivariant hierarchically hyperbolic structures. The key component of our proof is that the admissible groups introduced by Croke and Kleiner always admit equivariant hierarchically hyperbolic structures. For non-geometric graph manifolds, this is contrary to a conjecture of Behrstock, Hagen, and Sisto and also contrasts with results about CAT(0) cubical structures on these groups. Perhaps surprisingly, our arguments involve the construction of suitable quasimorphisms on the Seifert pieces, in order to construct actions on quasi-lines.


title: Relative Survivable Network Design

abstract: One of the most important and well-studied settings for network design is edge-connectivity requirements. This encompasses uniform demands such as the Minimum $k$-Edge-Connected Spanning Subgraph problem ($k$-ECSS), as well as nonuniform demands such as the Survivable Network Design problem. A weakness of these formulations, though, is that we are not able to ask for fault-tolerance larger than the connectivity. We introduce and study new variants of these problems under a notion of relative fault-tolerance. Informally, we require not that two nodes are connected if there are a bounded number of faults (as in the classical setting), but that two nodes are connected if there are a bounded number of faults and the two nodes are connected in the underlying graph post-faults. That is, the subgraph we build must "behave" identically to the underlying graph with respect to connectivity after bounded faults. We define and introduce these problems, and provide the first approximation algorithms: a $(1+4/k)$-approximation for the unweighted relative version of $k$-ECSS, a $2$-approximation for the weighted relative version of $k$-ECSS, and a $27/4$-approximation for the special case of Relative Survivable Network Design with only a single demand with a connectivity requirement of $3$. To obtain these results, we introduce a number of technical ideas that may of independent interest. First, we give a generalization of Jain's iterative rounding analysis that works even when the cut-requirement function is not weakly supermodular, but instead satisfies a weaker definition we introduce and term local weak supermodularity. Second, we prove a structure theorem and design an approximation algorithm utilizing a new decomposition based on important separators, which are structures commonly used in fixed-parameter algorithms that have not commonly been used in approximation algorithms.


title: Cosmic nucleosynthesis: a multi-messenger challenge

abstract: The origins of the elements and isotopes of cosmic material is a critical aspect of understanding the evolution of the universe. Nucleosynthesis typically requires physical conditions of high temperatures and densities. These are found in the Big Bang, in the interiors of stars, and in explosions with their compressional shocks and high neutrino and neutron fluxes. Many different tools are available to disentangle the composition of cosmic matter, in material of extraterrestrial origins such as cosmic rays, meteorites, stardust grains, lunar and terrestrial sediments, and through astronomical observations across the electromagnetic spectrum. Understanding cosmic abundances and their evolution requires combining such measurements with approaches of astrophysical, nuclear theories and laboratory experiments, and exploiting additional cosmic messengers, such as neutrinos and gravitational waves. Recent years have seen significant progress in almost all these fields; they are presented in this review. Models are required to explore nuclear fusion of heavier elements. These have been confirmed by observations of nucleosynthesis products in the ejecta of stars and supernovae, as captured by stardust grains and by characteristic lines in spectra seen from these objects, and also by ejecta material captured by Earth over millions of years in sediments. All these help to piece together how cosmic materials are transported in interstellar space and re-cycled into and between generations of stars. Our description of cosmic compositional evolution needs observational support, as it rests on several assumptions that appear challenged. This overview presents the flow of cosmic matter and the various sites of nucleosynthesis, as understood from combining many techniques and observations, towards the current knowledge of how the universe is enriched with elements.


title: Generative Datalog with Stable Negation

abstract: Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this direction is a declarative probabilistic programming language, proposed by Barany et al. in 2017, which operates on standard relational databases. In particular, Barany et al. proposed generative Datalog, a probabilistic extension of Datalog that allows sampling from discrete probability distributions. Intuitively, the output of a generative Datalog program P on an input database D is a probability space over the minimal models of D and P, the so-called possible outcomes. This is a natural generalization of the (deterministic) semantics of Datalog, where the output of a program on a database is their unique minimal model. A natural question to ask is how generative Datalog can be enriched with the useful feature of negation, which in turn leads to a strictly more expressive declarative probabilistic programming language. In particular, the challenging question is how the probabilistic semantics of generative Datalog with negation can be robustly defined. Our goal is to provide an answer to this question by interpreting negation according to the stable model semantics.


title: Existence of Optimally-Greatest Digraphs for Strongly Connected Node Reliability

abstract: In this paper, we introduce a new model to study network reliability with node failures. This model, strongly connected node reliability, is the directed variant of node reliability and measures the probability that the operational vertices induce a subdigraph that is strongly connected. If we are restricted to directed graphs with $n$ vertices and $n+1\leq m\leq 2n-3$ or $m=2n$ arcs, an optimally-greatest digraph does not exist. Furthermore, we study optimally-greatest directed circulant graphs when the vertices operate with probability $p$ near zero and near one. In particular, we show that the graph $\Gamma\left(\mathbb{Z}_n,\{1,-1\}\right)$ is optimally-greatest for values of $p$ near zero. Then, we determine that the graph $\Gamma\left(\mathbb{Z}_{n},\{1,\frac{n+2}{2}\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is even. Next, we show that the graph $\Gamma\left(\mathbb{Z}_{n},\{1,2(3^{-1})\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is odd and not divisible by three and that $\Gamma\left(\mathbb{Z}_{n},\{1,3(2^{-1})\}\right)$ is optimally-greatest for values of $p$ near one when $n$ is odd and divisible by three. We conclude with a discussion of open problems.


title: Loskot-Rudnicki's inequality and General Relative Entropy inequality for Cauchy problems preserving positivity

abstract: The Generalized Relative Entropy inequality is a ubiquitous property in mathematical models applied in physics or biology. In spite of its importance, it is currently proved on a case-by-case basis in the literature. Here, we show that GRE is actually a generic consequence of Loskot-Rudnicki's inequality that is reminiscent of Jensen's inequality.


title: Comment on ''Traversable Wormholes in General Relativity''

abstract: In the letter titled ''Traversable Wormholes in General Relativity'' [Phys. Rev. Lett. 128, 091104 (2022)], R. A. Konoplya and A. Zhidenko have constructed an asymmetric wormhole solution, which is not symmetric about the throat and is compounded from smooth gravitational and charged Dirac fields. However, the authors have claimed that a physically relevant condition on the throat is imposed to lead to no gravitational force experienced by a stationary observer at the throat. In this comment, we point out that the above condition is unnecessary.


title: Adversarial Zoom Lens: A Novel Physical-World Attack to DNNs

abstract: Although deep neural networks (DNNs) are known to be fragile, no one has studied the effects of zooming-in and zooming-out of images in the physical world on DNNs performance. In this paper, we demonstrate a novel physical adversarial attack technique called Adversarial Zoom Lens (AdvZL), which uses a zoom lens to zoom in and out of pictures of the physical world, fooling DNNs without changing the characteristics of the target object. The proposed method is so far the only adversarial attack technique that does not add physical adversarial perturbation attack DNNs. In a digital environment, we construct a data set based on AdvZL to verify the antagonism of equal-scale enlarged images to DNNs. In the physical environment, we manipulate the zoom lens to zoom in and out of the target object, and generate adversarial samples. The experimental results demonstrate the effectiveness of AdvZL in both digital and physical environments. We further analyze the antagonism of the proposed data set to the improved DNNs. On the other hand, we provide a guideline for defense against AdvZL by means of adversarial training. Finally, we look into the threat possibilities of the proposed approach to future autonomous driving and variant attack ideas similar to the proposed attack.


title: Indecision Trees: Learning Argument-Based Reasoning under Quantified Uncertainty

abstract: Using Machine Learning systems in the real world can often be problematic, with inexplicable black-box models, the assumed certainty of imperfect measurements, or providing a single classification instead of a probability distribution. This paper introduces Indecision Trees, a modification to Decision Trees which learn under uncertainty, can perform inference under uncertainty, provide a robust distribution over the possible labels, and can be disassembled into a set of logical arguments for use in other reasoning systems.


title: The role of rationality in integer-programming relaxations

abstract: For a finite set $X \subset \mathbb{Z}^d$ that can be represented as $X = Q \cap \mathbb{Z}^d$ for some polyhedron $Q$, we call $Q$ a relaxation of $X$ and define the relaxation complexity $rc(X)$ of $X$ as the least number of facets among all possible relaxations $Q$ of $X$. The rational relaxation complexity $rc_\mathbb{Q}(X)$ restricts the definition of $rc(X)$ to rational polyhedra $Q$. In this article, we focus on $X = \Delta_d$, the vertex set of the standard simplex, which consists of the null vector and the standard unit vectors in $\mathbb{R}^d$. We show that $rc(\Delta_d) \leq d$ for every $d \geq 5$. That is, since $rc_{\mathbb{Q}}(\Delta_d)=d+1$, irrationality can reduce the minimal size of relaxations. This answers an open question posed by Kaibel and Weltge (Lower bounds on the size of integer programs without additional variables, Mathematical Programming, 154(1):407-425, 2015). Moreover, we prove the asymptotic statement $rc(\Delta_d) \in O(\frac{d}{\sqrt{\log(d)}})$, which shows that the ratio $rc(\Delta_d)/rc_{\mathbb{Q}}(\Delta_d)$ goes to $0$, as $d\to \infty$.


title: A Manifold-based Airfoil Geometric-feature Extraction and Discrepant Data Fusion Learning Method

abstract: Geometrical shape of airfoils, together with the corresponding flight conditions, are crucial factors for aerodynamic performances prediction. The obtained airfoils geometrical features in most existing approaches (e.g., geometrical parameters extraction, polynomial description and deep learning) are in Euclidean space. State-of-the-art studies showed that curves or surfaces of an airfoil formed a manifold in Riemannian space. Therefore, the features extracted by existing methods are not sufficient to reflect the geometric-features of airfoils. Meanwhile, flight conditions and geometric features are greatly discrepant with different types, the relevant knowledge of the influence of these two factors that on final aerodynamic performances predictions must be evaluated and learned to improve prediction accuracy. Motivated by the advantages of manifold theory and multi-task learning, we propose a manifold-based airfoil geometric-feature extraction and discrepant data fusion learning method (MDF) to extract geometric-features of airfoils in Riemannian space (we call them manifold-features) and further fuse the manifold-features with flight conditions to predict aerodynamic performances. Experimental results show that our method could extract geometric-features of airfoils more accurately compared with existing methods, that the average MSE of re-built airfoils is reduced by 56.33%, and while keeping the same predicted accuracy level of CL, the MSE of CD predicted by MDF is further reduced by 35.37%.


title: Observation of $\chi_{cJ}\to \Lambda\bar \Lambda \eta$

abstract: By analyzing $(448.1\pm2.9)\times10^6$ $\psi(3686)$ events collected with the BESIII detector operating at the BEPCII collider, the decays of $\chi_{cJ} \to \Lambda\bar \Lambda \eta$ ($J=0$, 1 and 2) are observed for the first time with statistical significances of $13.9\sigma$, $6.7\sigma$, and $8.2\sigma$, respectively. The product branching fractions of $\psi(3686)\to\gamma\chi_{cJ}$ and $\chi_{cJ}\to \Lambda\bar \Lambda \eta$ are measured. Dividing by the world averages of the branching fractions of $\psi(3686)\to\gamma\chi_{cJ}$, the branching fractions of $\chi_{cJ}\to \Lambda\bar \Lambda \eta$ decays are determined to be $(2.31\pm0.30\pm0.21)\times10^{-4}$, $(5.86\pm1.38\pm0.68)\times10^{-5}$, and $(1.05\pm0.21\pm0.15)\times10^{-4}$ for $J=0$, 1 and 2, respectively, where the first uncertainties are statistical and the second systematic.


title: New anisotropic star solutions in mimetic gravity

abstract: We extract new classes of anisotropic solutions in the framework of mimetic gravity, by applying the Tolman-Finch-Skea metric and a specific anisotropy not directly depending on it, and by matching smoothly the interior anisotropic solution to the Schwarzschild exterior one. Then, in order to provide a transparent picture we use the data from the 4U 1608-52 pulsar. We study the profile of the energy density, as well as the radial and tangential pressures, and we show that they are all positive and decrease towards the center of the star. Furthermore, we investigate the anisotropy parameter and the anisotropic force, that are both increasing functions of the radius, which implies that the latter is repulsive. Additionally, by examining the radial and tangential equation-of-state parameters, we show that they are monotonically increasing, not corresponding to exotic matter. Concerning the metric potentials we find that they have no singularity, either at the center of the star or at the boundary. Furthermore, we verify that all energy conditions are satisfied, we show that the radial and tangential sound speed squares are positive and sub-luminal, and we find that the surface redshift satisfies the theoretical requirement. Finally, in order to investigate the stability we apply the Tolman-Oppenheimer-Volkoff equation, we perform the adiabatic index analysis, and we examine the static case, showing that in all cases the star is stable.


title: Black hole solution and thermal properties in $4D$ AdS Gauss-Bonnet massive gravity

abstract: We consider an Einstein-Gauss-Bonnet massive gravity model in $4D$ AdS spacetime to obtain a possible black hole solution and discuss the horizon structure of this black hole. The real roots of the vanishing metric function lead to various types of horizons. Furthermore, we derive various thermodynamic quantities, thus insuring the validity of the first-law of thermodynamics and the Smarr relation. The thermodynamic quantities are modified in the presence of the massive gravity parameter and also discuss the stability of the system from the heat capacity. Black hole space times can not only possess standard thermodynamics, but also possess phase structures when the cosmological constant is treated as the thermodynamic pressure. The effects of massive parameter and GB parameter on phase transition are also discussed. We also examine the phase structure through Maxwell's equal area law. The first order phase transition occurs only when pressure is lower than its critical value. At critical pressure, the first order phase transition terminates, and the second order phase transition occurs. No phase transition occurs when pressure is greater than its critical value.


title: Content Popularity Prediction Based on Quantized Federated Bayesian Learning in Fog Radio Access Networks

abstract: In this paper, we investigate the content popularity prediction problem in cache-enabled fog radio access networks (F-RANs). In order to predict the content popularity with high accuracy and low complexity, we propose a Gaussian process based regressor to model the content request pattern. Firstly, the relationship between content features and popularity is captured by our proposed model. Then, we utilize Bayesian learning to train the model parameters, which is robust to overfitting. However, Bayesian methods are usually unable to find a closed-form expression of the posterior distribution. To tackle this issue, we apply a stochastic variance reduced gradient Hamiltonian Monte Carlo (SVRG-HMC) method to approximate the posterior distribution. To utilize the computing resources of other fog access points (F-APs) and to reduce the communications overhead, we propose a quantized federated learning (FL) framework combining with Bayesian learning. The quantized federated Bayesian learning framework allows each F-AP to send gradients to the cloud server after quantizing and encoding. It can achieve a tradeoff between prediction accuracy and communications overhead effectively. Simulation results show that the performance of our proposed policy outperforms the existing policies.


title: Exploring shareability networks of probabilistic ride-pooling problems

abstract: Travellers sharing rides in ride-pooling systems form various kinds of networks. While the notions of the so-called shareability graphs, has been in the core of many ride-pooling algorithms, so far they have not been explicitly analysed. Here, we introduce and examine four kinds of networks resulting from ride-pooling problems. We use 147 NYC taxi requests from 2016 pooled into attractive shared-rides with our utility based ExMAS algorithm and explore resulting shareability networks. To cover unknown individual properties of pooling travellers, we run 1000 replications of probabilistic pooling process, resulting in richer representation of weighted graphs instrumental to reveal complex network structures. Our findings reveal substantial differences between network structures and topologies. Properties of ride-pooling networks may be further analysed to better understand and improve ride-pooling systems.


title: Label Noise-Resistant Mean Teaching for Weakly Supervised Fake News Detection

abstract: Fake news spreads at an unprecedented speed, reaches global audiences and poses huge risks to users and communities. Most existing fake news detection algorithms focus on building supervised training models on a large amount of manually labeled data, which is expensive to acquire or often unavailable. In this work, we propose a novel label noise-resistant mean teaching approach (LNMT) for weakly supervised fake news detection. LNMT leverages unlabeled news and feedback comments of users to enlarge the amount of training data and facilitates model training by generating refined labels as weak supervision. Specifically, LNMT automatically assigns initial weak labels to unlabeled samples based on semantic correlation and emotional association between news content and the comments. Moreover, in order to suppress the noises in weak labels, LNMT establishes a mean teacher framework equipped with label propagation and label reliability estimation. The framework measures a weak label similarity matrix between the teacher and student networks, and propagates different valuable weak label information to refine the weak labels. Meanwhile, it exploits the consistency between the output class likelihood vectors of the two networks to evaluate the reliability of the weak labels and incorporates the reliability into model optimization to alleviate the negative effect of noisy weak labels. Extensive experiments show the superior performance of LNMT.


title: Unsupervised Sentence Simplification via Dependency Parsing

abstract: Text simplification is the task of rewriting a text so that it is readable and easily understood. In this paper, we propose a simple yet novel unsupervised sentence simplification system that harnesses parsing structures together with sentence embeddings to produce linguistically effective simplifications. This means our model is capable of introducing substantial modifications to simplify a sentence while maintaining its original semantics and adequate fluency. We establish the unsupervised state-of-the-art at 39.13 SARI on TurkCorpus set and perform competitively against supervised baselines on various quality metrics. Furthermore, we demonstrate our framework's extensibility to other languages via a proof-of-concept on Vietnamese data. Code for reproduction is published at \url{https://github.com/isVy08/USDP}.


title: Emoji-based Fine-grained Attention Network for Sentiment Analysis in the Microblog Comments

abstract: Microblogs have become a social platform for people to express their emotions in real-time, and it is a trend to analyze user emotional tendencies from the information on Microblogs. The dynamic features of emojis can affect the sentiment polarity of microblog texts. Since existing models seldom consider the diversity of emoji sentiment polarity,the paper propose a microblog sentiment classification model based on ALBERT-FAET. We obtain text embedding via ALBERT pretraining model and learn the inter-emoji embedding with an attention-based LSTM network. In addition, a fine-grained attention mechanism is proposed to capture the word-level interactions between plain text and emoji. Finally, we concatenate these features and feed them into a CNN classifier to predict the sentiment labels of the microblogs. To verify the effectiveness of the model and the fine-grained attention network, we conduct comparison experiments and ablation experiments. The comparison experiments show that the model outperforms previous methods in three evaluation indicators (accuracy, precision, and recall) and the model can significantly improve sentiment classification. The ablation experiments show that compared with ALBERT-AET, the proposed model ALBERT-FAET is better in the metrics, indicating that the fine-grained attention network can understand the diversified information of emoticons.


title: The origin of the nuclear star-forming ring in NGC 3182

abstract: We investigate the stellar and ionized gas kinematics, and stellar populations of NGC3182 galaxy using integral field spectrograph data from the Calar Alto Legacy Integral Field Area survey. We try to clarify the nature of the ring structure in NGC 3182. We find a negative stellar age gradient out to the ring, while [{\alpha}/Fe] considerably enhanced in the ring. The stellar metallicity shows a smooth negative gradient. From the line ratio diagnostic diagrams, we confirm that NGC 3182 is a Seyfert galaxy from emission line flux ratio, while the gas in the inner ring is ionized mostly by young stars. However, any obvious feature of outflows is not found in its gas kinematics. In the ring, star formation seems to have recently occurred and the gas metallicity is slightly enhanced compared to the center. From our results, we conclude that star formation has occurred in the circumnuclear region within a short period and this may result from a positive feedback by AGN radiation pressure.


title: Impact of the political risk on food reserve ratio: evidence across countries

abstract: Using an unbalanced panel data covering 75 countries from 1991 to 2019, we explore how the political risk impacts on food reserve ratio. The empirical findings show that an increasing political risk negatively affect food reserve ratio, and same effects hold for both internal risk and external risk. Moreover, we find that the increasing external or internal risks both negatively affect production and exports, but external risk does not significantly impact on imports and it positively impacts on consumption, while internal risk negatively impacts on imports and consumption. The results suggest that most of governments have difficulty to raise subsequent food reserve ratio in face of an increasing political risk, no matter it is an internal risk or an external risk although the mechanisms behind the impacts are different.


title: Observation of vortices and vortex stripes in a dipolar Bose-Einstein condensate

abstract: Quantized vortices are the prototypical feature of superfluidity. Pervasive in all natural systems, vortices are yet to be observed in dipolar quantum gases. Here, we exploit the anisotropic nature of the dipole-dipole interaction of a dysprosium Bose-Einstein condensate to induce angular symmetry breaking in an otherwise cylindrically symmetric pancake-shaped trap. Tilting the magnetic field towards the radial plane deforms the cloud into an ellipsoid through magnetostriction, which is then set into rotation. At stirring frequencies approaching the radial trap frequency, we observe the generation of dynamically unstable surface excitations, which cause angular momentum to be pumped into the system through vortices. Under continuous rotation, the vortices arrange into a stripe configuration along the field--in close corroboration with simulations--realizing a long sought-after prediction for dipolar vortices.


title: Constraining masses and separations of unseen companions to five accelerating nearby stars

abstract: Aims. This work aims at constraining the masses and separations of potential substellar companions to five accelerating stars (HIP 1481, HIP 88399, HIP 96334, HIP 30314 and HIP 116063) using multiple data sets acquired with different techniques. Methods. Our targets were originally observed as part of the SPHERE/SHINE survey, and radial velocity (RV) archive data were also available for four of the five objects. No companions were originally detected in any of these data sets, but the presence of significant proper motion anomalies (PMa) for all the stars strongly suggested the presence of a companion. Combining the information from the PMa with the limits derived from the RV and SPHERE data, we were able to put constraints on the characteristics of the unseen companions. Results. Our analysis led to relatively strong constraints for both HIP 1481 and HIP 88399, narrowing down the companion masses to 2-5 M_Jup and 3-5 M_Jup and separations within 2-15 au and 3-9 au, respectively. Because of the large age uncertainties for HIP 96334, the poor observing conditions for the SPHERE epochs of HIP 30314 and the lack of RV data for HIP 116063, the results for these targets were not as well defined, but we were still able to constrain the properties of the putative companions within a reasonable confidence level. Conclusions. For all five targets, our analysis has revealed that the companions responsible for the PMa signal would be well within reach for future instruments planned for the ELT (e.g., MICADO), which would easily achieve the required contrast and angular resolution. Our results therefore represent yet another confirmation of the power of multi-technique approaches for both the discovery and characterisation of planetary systems.


title: Efficient Penalized Generalized Linear Mixed Models for Variable Selection and Genetic Risk Prediction in High-Dimensional Data

abstract: Sparse regularized regression methods are now widely used in genome-wide association studies (GWAS) to address the multiple testing burden that limits discovery of potentially important predictors. Linear mixed models (LMMs) have become an attractive alternative to principal components (PC) adjustment to account for population structure and relatedness in high-dimensional penalized models. However, their use in binary trait GWAS rely on the invalid assumption that the residual variance does not depend on the estimated regression coefficients. Moreover, LMMs use a single spectral decomposition of the covariance matrix of the responses, which is no longer possible in generalized linear mixed models (GLMMs). We introduce a new method called pglmm, a penalized GLMM that allows to simultaneously select genetic markers and estimate their effects, accounting for between-individual correlations and binary nature of the trait. We develop a computationally efficient algorithm based on PQL estimation that allows to scale regularized mixed models on high-dimensional binary trait GWAS (~300,000 SNPs). We show through simulations that penalized LMM and logistic regression with PC adjustment fail to correctly select important predictors and/or that prediction accuracy decreases for a binary response when the dimensionality of the relatedness matrix is high compared to pglmm. Further, we demonstrate through the analysis of two polygenic binary traits in the UK Biobank data that our method can achieve higher predictive performance, while also selecting fewer predictors than a sparse regularized logistic lasso with PC adjustment. Our method is available as a Julia package PenalizedGLMM.jl.


title: Massive Ray-Singer Torsion and Path Integrals

abstract: Zero modes are an essential part of topological field theories, but they are frequently also an obstacle to the explicit evaluation of the associated path integrals. In order to address this issue in the case of Ray-Singer Torsion, which appears in various topological gauge theories, we introduce a massive variant of the Ray-Singer Torsion which involves determinants of the twisted Laplacian with mass but without zero modes. This has the advantage of allowing one to explicitly keep track of the zero mode dependence of the theory. We establish a number of general properties of this massive Ray-Singer Torsion. For product manifolds $M=N \times S^1$ and mapping tori one is able to interpret the mass term as a flat $\mathbb{R}_{+}$ connection and one can represent the massive Ray-Singer Torsion as the path integral of a Schwarz type topological gauge theory. Using path integral techniques, with a judicious choice of an algebraic gauge fixing condition and a change of variables which leaves one with a free action, we can evaluate the torsion in closed form. We discuss a number of applications, including an explicit calculation of the Ray-Singer Torsion on $S^1$ for $G=PSL(2,R)$ and a path integral derivation of a generalisation of a formula of Fried for the torsion of finite order mapping tori.


title: Data-driven reduced order models using invariant foliations, manifolds and autoencoders

abstract: This paper explores how to identify a reduced order model (ROM) from a physical system. A ROM captures an invariant subset of the observed dynamics. We find that there are four ways a physical system can be related to a mathematical model: invariant foliations, invariant manifolds, autoencoders and equation-free models. Identification of invariant manifolds and equation-free models require closed-loop manipulation of the system. Invariant foliations and autoencoders can also use off-line data. Only invariant foliations and invariant manifolds can identify ROMs, the rest identify complete models. Therefore, the common case of identifying a ROM from existing data can only be achieved using invariant foliations. Finding an invariant foliation requires approximating high-dimensional functions. For function approximation, we use polynomials with compressed tensor coefficients, whose complexity increases linearly with increasing dimensions. An invariant manifold can also be found as the fixed leaf of a foliation. This only requires us to resolve the foliation in a small neighbourhood of the invariant manifold, which greatly simplifies the process. Combining an invariant foliation with the corresponding invariant manifold provides an accurate ROM. We analyse the ROM in case of a focus type equilibrium, typical in mechanical systems. The nonlinear coordinate system defined by the invariant foliation or the invariant manifold distorts instantaneous frequencies and damping ratios, which we correct. Through examples we illustrate the calculation of invariant foliations and manifolds, and at the same time show that Koopman eigenfunctions and autoencoders fail to capture accurate ROMs under the same conditions.


title: Using Autoencoders on Differentially Private Federated Learning GANs

abstract: Machine learning has been applied to almost all fields of computer science over the past decades. The introduction of GANs allowed for new possibilities in fields of medical research and text prediction. However, these new fields work with ever more privacy-sensitive data. In order to maintain user privacy, a combination of federated learning, differential privacy and GANs can be used to work with private data without giving away a users' privacy. Recently, two implementations of such combinations have been published: DP-Fed-Avg GAN and GS-WGAN. This paper compares their performance and introduces an alternative version of DP-Fed-Avg GAN that makes use of denoising techniques to combat the loss in accuracy that generally occurs when applying differential privacy and federated learning to GANs. We also compare the novel adaptation of denoised DP-Fed-Avg GAN to the state-of-the-art implementations in this field.


title: Axion Haloscope Using an 18 T High Temperature Superconducting Magnet

abstract: We report details on the axion dark matter search experiment that uses the innovative technologies of a High-Temperature Superconducting (HTS) magnet and a Josephson Parametric Converter (JPC). An 18 T HTS solenoid magnet is developed for this experiment. The JPC is used as the first stage amplifier to achieve a near quantum-limited low-noise condition. The first dark matter axion search was performed with the 18 T axion haloscope. The scan frequency range is from 4.7789 GHz to 4.8094 GHz (30.5 MHz range). No significant signal consistent with Galactic dark matter axion is observed. Our results set the best limit of the axion-photon-photon coupling ($g_{a\gamma\gamma}$) in the axion mass range of 19.764 to 19.890 $\mu$eV. Using the Bayesian method, the upper bounds of $g_{a\gamma\gamma}$ are set at 0.98$\times|g_{a\gamma\gamma}^{\text{KSVZ}}|$ (1.11$\times|g_{a\gamma\gamma}^{\text{KSVZ}}|$) in the mass ranges of 19.764 to 19.771 $\mu$eV (19.863 to 19.890 $\mu$eV), and at 1.76 $\times|g_{a\gamma\gamma}^{\text{KSVZ}}|$ in the mass ranges of 19.772 to 19.863 $\mu$eV with 90\% confidence level, respectively. We report design, construction, operation, and data analysis of the 18 T axion haloscope experiment.


title: Physically Consistent Learning of Conservative Lagrangian Systems with Gaussian Processes

abstract: This paper proposes a physically consistent Gaussian Process (GP) enabling the identification of uncertain Lagrangian systems. The function space is tailored according to the energy components of the Lagrangian and the differential equation structure, analytically guaranteeing physical and mathematical properties such as energy conservation and quadratic form. The novel formulation of Cholesky decomposed matrix kernels allow the probabilistic preservation of positive definiteness. Only differential input-to-output measurements of the function map are required while Gaussian noise is permitted in torques, velocities, and accelerations. We demonstrate the effectiveness of the approach in numerical simulation.


title: Iterative Sound Source Localization for Unknown Number of Sources

abstract: Sound source localization aims to seek the direction of arrival (DOA) of all sound sources from the observed multi-channel audio. For the practical problem of unknown number of sources, existing localization algorithms attempt to predict a likelihood-based coding (i.e., spatial spectrum) and employ a pre-determined threshold to detect the source number and corresponding DOA value. However, these threshold-based algorithms are not stable since they are limited by the careful choice of threshold. To address this problem, we propose an iterative sound source localization approach called ISSL, which can iteratively extract each source's DOA without threshold until the termination criterion is met. Unlike threshold-based algorithms, ISSL designs an active source detector network based on binary classifier to accept residual spatial spectrum and decide whether to stop the iteration. By doing so, our ISSL can deal with an arbitrary number of sources, even more than the number of sources seen during the training stage. The experimental results show that our ISSL achieves significant performance improvements in both DOA estimation and source number detection compared with the existing threshold-based algorithms.


title: Traversable and stable wormhole solutions in logarithmic f(R) gravity

abstract: This study aims to investigate the viability of a viable logarithmic f(R) gravity for inflation in giving wormhole solutions. We consider a static and spherically symmetric spacetime and two different shape functions. We found that the model provides traversable wormhole solutions shown by its violation to energy conditions. Violation to null energy condition indicates the existence of traversable wormhole and the existence of exotic matter. The equation of state parameter is less than -1 which shows the presence of phantom fluid. Furthermore, the stability of wormhole is analyzed using Tolman-Oppenheimer-Volkoff equation and we found that the wormhole solutions are stable. Finally, we conclude that the model is viable in giving wormhole solutions with the same parameter constraints as inflation.


title: Rise of the Planet of Serverless Computing: A Systematic Review

abstract: Serverless computing is an emerging cloud computing paradigm, being adopted to develop a wide range of software applications. It allows developers to focus on the application logic in the granularity of function, thereby freeing developers from tedious and error-prone infrastructure management. Meanwhile, its unique characteristic poses new challenges to the development and deployment of serverless-based applications. To tackle these challenges, enormous research efforts have been devoted. This paper provides a comprehensive literature review to characterize the current research state of serverless computing. Specifically, this paper covers 164 papers on 17 research directions of serverless computing, including performance optimization, programming framework, application migration, multi-cloud development, testing and debugging, etc. It also derives research trends, focus, and commonly-used platforms for serverless computing, as well as promising research opportunities.


title: Multi-Frequency Joint Community Detection and Phase Synchronization

abstract: This paper studies the joint community detection and phase synchronization problem on the \textit{stochastic block model with relative phase}, where each node is associated with an unknown phase angle. This problem, with a variety of real-world applications, aims to recover the cluster structure and associated phase angles simultaneously. We show this problem exhibits a \textit{``multi-frequency''} structure by closely examining its maximum likelihood estimation (MLE) formulation, whereas existing methods are not originated from this perspective. To this end, two simple yet efficient algorithms that leverage the MLE formulation and benefit from the information across multiple frequencies are proposed. The former is a spectral method based on the novel multi-frequency column-pivoted QR factorization. The factorization applied to the top eigenvectors of the observation matrix provides key information about the cluster structure and associated phase angles. The second approach is an iterative multi-frequency generalized power method, where each iteration updates the estimation in a matrix-multiplication-then-projection manner. Numerical experiments show that our proposed algorithms significantly improve the ability of exactly recovering the cluster structure and the accuracy of the estimated phase angles, compared to state-of-the-art algorithms.


title: Quantitative Analysis of Implementation Challenges of IoT-Based Digital Supply Chain (Supply Chain 0/4)

abstract: Over the past thirty years, logistics has undergone tremendous change from a purely operational performance that led to sales or production and focused on securing supply and delivery lines to customers, with the transformation of intelligent technologies into a professional operator. In today's world, the fourth generation of industry has forced companies to rethink how their supply chain is designed. In this case, in addition to the need for adaptation, supply chains also have the opportunity to reach operational horizons, use emerging digital supply chain business models, and transform the company into a digital supply chain. One of the transformational technologies that has had a tremendous impact on the supply chain in this regard is IoT technology. This technology, as one of the largest sources of data production, can facilitate supply chain processes in all its dimensions. However, due to the presence of the Internet and the location of supply chain components in the context of information networks, this digital supply chain always faces major challenges. Therefore, in this paper, an attempt was made to examine and prioritize the most important challenges of implementing a supply chain 0/4 using a nonlinear hierarchical analysis method. In order to investigate these challenges, the opinions of experts active in the supply chain of Fast-moving consumer goods industries (FMCG) were used as a case study as well as some academic experts.The results show that the lack of technological infrastructure and security challenges are the most important challenges of implementing supply chain 0/4 in the era of digital developments, which should be given special attention for a successful implementation.


title: Route towards complete 3D hydro-chemical simulations of companion-perturbed AGB outflows

abstract: Low- and intermediate mass stars experience a significant mass loss during the last phases of their evolution, which obscures them in a vast, dusty envelope. Although it has long been thought this envelope is generally spherically symmetric in shape, recent high-resolution observations find that most of these stars exhibit complex and asymmetrical morphologies, most likely resulting from binary interaction. In order to improve our understanding about these systems, theoretical studies are needed in the form of numerical simulations. Currently, a handful of simulations exist, albeit they mainly focus on the hydrodynamics of the outflow. Hence, we here present the pathway to more detailed and accurate modelling of companion-perturbed outflows with Phantom, by discussing the missing but crucial physical and chemical processes. With these state-of-the-art simulations we aim to make a direct comparison with observations to unveil the true identity on the embedded systems.


title: AnyMorph: Learning Transferable Polices By Inferring Agent Morphology

abstract: The prototypical approach to reinforcement learning involves training policies tailored to a particular agent from scratch for every new morphology. Recent work aims to eliminate the re-training of policies by investigating whether a morphology-agnostic policy, trained on a diverse set of agents with similar task objectives, can be transferred to new agents with unseen morphologies without re-training. This is a challenging problem that required previous approaches to use hand-designed descriptions of the new agent's morphology. Instead of hand-designing this description, we propose a data-driven method that learns a representation of morphology directly from the reinforcement learning objective. Ours is the first reinforcement learning algorithm that can train a policy to generalize to new agent morphologies without requiring a description of the agent's morphology in advance. We evaluate our approach on the standard benchmark for agent-agnostic control, and improve over the current state of the art in zero-shot generalization to new agents. Importantly, our method attains good performance without an explicit description of morphology.


title: Bayesian Circular Lattice Filters for Computationally Efficient Estimation of Multivariate Time-Varying Autoregressive Models

abstract: Nonstationary time series data exist in various scientific disciplines, including environmental science, biology, signal processing, econometrics, among others. Many Bayesian models have been developed to handle nonstationary time series. The time-varying vector autoregressive (TV-VAR) model is a well-established model for multivariate nonstationary time series. Nevertheless, in most cases, the large number of parameters presented by the model results in a high computational burden, ultimately limiting its usage. This paper proposes a computationally efficient multivariate Bayesian Circular Lattice Filter to extend the usage of the TV-VAR model to a broader class of high-dimensional problems. Our fully Bayesian framework allows both the autoregressive (AR) coefficients and innovation covariance to vary over time. Our estimation method is based on the Bayesian lattice filter (BLF), which is extremely computationally efficient and stable in univariate cases. To illustrate the effectiveness of our approach, we conduct a comprehensive comparison with other competing methods through simulation studies and find that, in most cases, our approach performs superior in terms of average squared error between the estimated and true time-varying spectral density. Finally, we demonstrate our methodology through applications to quarterly Gross Domestic Product (GDP) data and Northern California wind data.


title: Real-time Dual-channel 2 * 2 MIMO Fiber-THz-Fiber Seamless Integration System at 385 GHz and 435 GHz

abstract: We demonstrate the first practical real-time dual-channel fiber-THz-fiber 2 * 2 MIMO seamless integration system with a record net data rate of 2 * 103.125 Gb/s at 385 GHz and 435 GHz over two spans of 20 km SSMF and 3 m wireless link.


title: A comparative study of the MACD-base trading strategies: evidence from the US stock market

abstract: In recent years, more and more investors use technical analysis methods in their own trading. Evaluating the effectiveness of technical analysis has become more feasible due to increasing computing capability and blooming public data, which indie investors can perform stock analysis and backtest their own trading strategy conveniently. The Moving Average Convergence Divergence (MACD) indicator is one of the popular technical indicators that are widely used in different strategies. In order to verify the MACD effectiveness, in this thesis, I use the MACD indicator with traditional parameters (12, 26, 9) to build various trading strategies. Then, I apply these strategies to stocks listed on three indices in the US stock market (i.e., Dow-Jones, Nasdaq, and S&P 500) and evaluate its performance in terms of win rate, profitability, Sharpe ratio, number of trades and maximum drawdown. The backtesting is programmed using Python, covering the period between 01/01/2015 and 28-08-2021. The result shows that the win-rate of the strategy with only the MACD indicator is less than 50%. However, the win-rate is improved for the trading strategies that combine the MACD indicator with other momentum indicators like the Money Flow Index (MFI) and the Relative Strength Index (RSI). Based on this result, I redesign the MACD mathematical formula by taking the trading volume and daily price volatility into consideration to derive a new indicator called VPVMA. The results show that the win-rate and risk-adjust performance of this new trading strategy have been improved significantly. In general, the findings suggest that while all the MACD trading strategies mentioned above can generate positive returns, the performance is not good without using other momentum indicators. Hence, the VPVMA indicator performs better.


title: Open-source objective-oriented framework for head-related transfer function

abstract: Throughout last 30 years, numerous head-related transfer function (HRTF) models have been developed and there are more to come. This paper describes a framework based on objective-oriented programming paradigm, in which each HRTF representation method can be implemented as a separate class. Its modular structure allows the source code to be conveniently shared between researchers, while common interface provides easy access to data regardless of the internal structure of the classes. The paper discusses difficulties of designing the framework, maintaining the balance between its flexibility and finding common features of every possible directivity representation. Exemplary use cases are included and explained. Adoption of the framework will enhance possibilities of accuracy comparison between various HRTF models, thus improving the evaluation of current and future representation methods. The framework, developed in the form of a MATLAB toolbox, is designed to handle not only HRTFs but also other types of spatial data, such as e.g. sound source directivity, microphone directivity, etc.


title: Robustness of Explanation Methods for NLP Models

abstract: Explanation methods have emerged as an important tool to highlight the features responsible for the predictions of neural networks. There is mounting evidence that many explanation methods are rather unreliable and susceptible to malicious manipulations. In this paper, we particularly aim to understand the robustness of explanation methods in the context of text modality. We provide initial insights and results towards devising a successful adversarial attack against text explanations. To our knowledge, this is the first attempt to evaluate the adversarial robustness of an explanation method. Our experiments show the explanation method can be largely disturbed for up to 86% of the tested samples with small changes in the input sentence and its semantics.


title: Speech Quality Assessment through MOS using Non-Matching References

abstract: Human judgments obtained through Mean Opinion Scores (MOS) are the most reliable way to assess the quality of speech signals. However, several recent attempts to automatically estimate MOS using deep learning approaches lack robustness and generalization capabilities, limiting their use in real-world applications. In this work, we present a novel framework, NORESQA-MOS, for estimating the MOS of a speech signal. Unlike prior works, our approach uses non-matching references as a form of conditioning to ground the MOS estimation by neural networks. We show that NORESQA-MOS provides better generalization and more robust MOS estimation than previous state-of-the-art methods such as DNSMOS and NISQA, even though we use a smaller training set. Moreover, we also show that our generic framework can be combined with other learning methods such as self-supervised learning and can further supplement the benefits from these methods.


title: An attempt to trace the birth of importance sampling

abstract: In this note, we try to trace the birth of importance sampling (IS) back to 1949. We found the classical formulation of IS in a paper from Kahn in June 1949. As for the appearance of the expression importance sampling itself, it may have appeared a few months later, maybe in 1949 during conferences, but there is no published article with the name before 1950.


title: Boson thermodynamics in the gravity field

abstract: A uniform force like the weight has been shown to forbid Bose-Einstein condensation (BEC), due to the discreteness of the Airy spectrum, resulting from the weight. We show that BEC is forbidden even if the Airy spectrum is treated as continuous, in what we call the approximate continuous limit (ACL). The absence of BEC is due to the finite difference $\epsilon_0$ between the quantum and the classical ground level. A thorough study is made, showing the way the Bose-Einstein condensate grows, at temperatures lower than the fictious BEC temperature $T_f$, resulting from the limit $\epsilon_0\rightarrow0$. A comparison with some experimental data shows the difference between the confinement in a rigid-wall reservoir and in a harmonic trap.


title: Optimization of Geometric Constellation Shaping for Wiener Phase Noise Channels with Varying Channel Parameters

abstract: We present a novel method to investigate the effects of varying channel parameters on geometrically shaped constellations for communication systems employing the blind phase search algorithm. We show that introduced asymmetries significantly improve performance if adapted to changing channel parameters.


title: Mathematical modeling of multilane vehicular traffic by discrete kinetic theory approach

abstract: This paper deals with the modeling and numerical simulations of multilane vehicular traffic according to the discrete kinetic theory approach. The nonlinear additive interactions and external actions such as tollgates as well traffic signs are considered and modeled. The well-posedness of the related Cauchy problem for the spatially homogeneous case has been proved by using Banach fixed-point theory. Numerical simulations are carried out to validate the improved model in the cases of spatially homogeneous and inhomogeneous problems.


title: Evidential Calibration of Confidence Intervals

abstract: We present a novel and easy-to-use method for calibrating error-rate based confidence intervals to evidence-based support intervals. Support intervals are obtained from inverting Bayes factors based on a parameter estimate and its standard error. A $k$ support interval can be interpreted as "the observed data are at least $k$ times more likely under the included parameter values than under a specified alternative". Support intervals depend on the specification of prior distributions for the parameter under the alternative, and we present several types that allow different forms of external knowledge to be encoded. We also show how prior specification can to some extent be avoided by considering a class of prior distributions and then computing so-called minimum support intervals which, for a given class of priors, have a one-to-one mapping with confidence intervals. We also illustrate how the sample size of a future study can be determined based on the concept of support. Finally, we show how the bound for the type I error rate of Bayes factors leads to a bound for the coverage of support intervals. An application to data from a clinical trial illustrates how support intervals can lead to inferences that are both intuitive and informative.


title: A Design of A Simple Yet Effective Exercise Recommendation System in K-12 Online Learning

abstract: We propose a simple but effective method to recommend exercises with high quality and diversity for students. Our method is made up of three key components: (1) candidate generation module; (2) diversity-promoting module; and (3) scope restriction module. The proposed method improves the overall recommendation performance in terms of recall, and increases the diversity of the recommended candidates by 0.81\% compared to the baselines.


title: InfoAT: Improving Adversarial Training Using the Information Bottleneck Principle

abstract: Adversarial training (AT) has shown excellent high performance in defending against adversarial examples. Recent studies demonstrate that examples are not equally important to the final robustness of models during AT, that is, the so-called hard examples that can be attacked easily exhibit more influence than robust examples on the final robustness. Therefore, guaranteeing the robustness of hard examples is crucial for improving the final robustness of the model. However, defining effective heuristics to search for hard examples is still difficult. In this article, inspired by the information bottleneck (IB) principle, we uncover that an example with high mutual information of the input and its associated latent representation is more likely to be attacked. Based on this observation, we propose a novel and effective adversarial training method (InfoAT). InfoAT is encouraged to find examples with high mutual information and exploit them efficiently to improve the final robustness of models. Experimental results show that InfoAT achieves the best robustness among different datasets and models in comparison with several state-of-the-art methods.


title: Text and author-level political inference using heterogeneous knowledge representations

abstract: The inference of politically-charged information from text data is a popular research topic in Natural Language Processing (NLP) at both text- and author-level. In recent years, studies of this kind have been implemented with the aid of representations from transformers such as BERT. Despite considerable success, however, we may ask whether results may be improved even further by combining transformed-based models with additional knowledge representations. To shed light on this issue, the present work describes a series of experiments to compare alternative model configurations for political inference from text in both English and Portuguese languages. Results suggest that certain text representations - in particular, the combined use of BERT pre-trained language models with a syntactic dependency model - may outperform the alternatives across multiple experimental settings, making a potentially strong case for further research in the use of heterogeneous text representations in these and possibly other NLP tasks.


title: Learning Rhetorical Structure Theory-based descriptions of observed behaviour

abstract: In a previous paper, we have proposed a set of concepts, axiom schemata and algorithms that can be used by agents to learn to describe their behaviour, goals, capabilities, and environment. The current paper proposes a new set of concepts, axiom schemata and algorithms that allow the agent to learn new descriptions of an observed behaviour (e.g., perplexing actions), of its actor (e.g., undesired propositions or actions), and of its environment (e.g., incompatible propositions). Each learned description (e.g., a certain action prevents another action from being performed in the future) is represented by a relationship between entities (either propositions or actions) and is learned by the agent, just by observation, using domain-independent axiom schemata and or learning algorithms. The relations used by agents to represent the descriptions they learn were inspired on the Theory of Rhetorical Structure (RST). The main contribution of the paper is the relation family Although, inspired on the RST relation Concession. The accurate definition of the relations of the family Although involves a set of deontic concepts whose definition and corresponding algorithms are presented. The relations of the family Although, once extracted from the agent's observations, express surprise at the observed behaviour and, in certain circumstances, present a justification for it. The paper shows results of the presented proposals in a demonstration scenario, using implemented software.


title: Imputation and Missing Indicators for handling missing data in the development and implementation of clinical prediction models: a simulation study

abstract: Background: Existing guidelines for handling missing data are generally not consistent with the goals of prediction modelling, where missing data can occur at any stage of the model pipeline. Multiple imputation (MI), often heralded as the gold standard approach, can be challenging to apply in the clinic. Clearly, the outcome cannot be used to impute data at prediction time. Regression imputation (RI) may offer a pragmatic alternative in the prediction context, that is simpler to apply in the clinic. Moreover, the use of missing indicators can handle informative missingness, but it is currently unknown how well they perform within CPMs. Methods: We performed a simulation study where data were generated under various missing data mechanisms to compare the predictive performance of CPMs developed using both imputation methods. We consider deployment scenarios where missing data is permitted/prohibited, and develop models that use/omit the outcome during imputation and include/omit missing indicators. Results: When complete data must be available at deployment, our findings were in line with widely used recommendations; that the outcome should be used to impute development data under MI, yet omitted under RI. When imputation is applied at deployment, omitting the outcome from the imputation at development was preferred. Missing indicators improved model performance in some specific cases, but can be harmful when missingness is dependent on the outcome. Conclusion: We provide evidence that commonly taught principles of handling missing data via MI may not apply to CPMs, particularly when data can be missing at deployment. In such settings, RI and missing indicator methods can (marginally) outperform MI. As shown, the performance of the missing data handling method must be evaluated on a study-by-study basis, and should be based on whether missing data are allowed at deployment.