title: K-stability of Fano threefolds of rank 3 and degree 14

abstract: We prove that all general smooth Fano threefolds of Picard rank $3$ and degree $14$ are K-stable, where the generality condition is stated explicitly.


title: Security Testing of RESTful APIs With Test Case Mutation

abstract: The focus of this paper is on automating the security testing of RESTful APIs. The testing stage of this specific kind of components is often performed manually, and this is yet considered as a long and difficult activity. This paper proposes an automated approach to help developers generate test cases for experimenting with each service in isolation. This approach is based upon the notion of test case mutation, which automatically generates new test cases from an original test case set. Test case mutation operators perform slight test case modifications to mimic possible failures or to test the component under test with new interactions. In this paper, we examine test case mutation operators for RESTful APIs and define 17 operators specialised in security testing. Then, we present our test case mutation algorithm. We evaluate its effectiveness and performance on four web service compositions.


title: Online model error correction with neural networks: application to the Integrated Forecasting System

abstract: In recent years, there has been significant progress in the development of fully data-driven global numerical weather prediction models. These machine learning weather prediction models have their strength, notably accuracy and low computational requirements, but also their weakness: they struggle to represent fundamental dynamical balances, and they are far from being suitable for data assimilation experiments. Hybrid modelling emerges as a promising approach to address these limitations. Hybrid models integrate a physics-based core component with a statistical component, typically a neural network, to enhance prediction capabilities. In this article, we propose to develop a model error correction for the operational Integrated Forecasting System (IFS) of the European Centre for Medium-Range Weather Forecasts using a neural network. The neural network is initially pre-trained offline using a large dataset of operational analyses and analysis increments. Subsequently, the trained network is integrated into the IFS within the Object-Oriented Prediction System (OOPS) so as to be used in data assimilation and forecast experiments. It is then further trained online using a recently developed variant of weak-constraint 4D-Var. The results show that the pre-trained neural network already provides a reliable model error correction, which translates into reduced forecast errors in many conditions and that the online training further improves the accuracy of the hybrid model in many conditions.


title: Decomposing Dedekind Numbers: A Polynomial Representation with Powers of 2

abstract: In this paper, we reveal an internal structure within Dedekind numbers, demonstrating that they can be expressed as polynomials of powers of 2. This discovery is based on innovative concepts and methods, offering a new perspective on the nature of these numbers.


title: Causal Prototype-inspired Contrast Adaptation for Unsupervised Domain Adaptive Semantic Segmentation of High-resolution Remote Sensing Imagery

abstract: Semantic segmentation of high-resolution remote sensing imagery (HRSI) suffers from the domain shift, resulting in poor performance of the model in another unseen domain. Unsupervised domain adaptive (UDA) semantic segmentation aims to adapt the semantic segmentation model trained on the labeled source domain to an unlabeled target domain. However, the existing UDA semantic segmentation models tend to align pixels or features based on statistical information related to labels in source and target domain data, and make predictions accordingly, which leads to uncertainty and fragility of prediction results. In this paper, we propose a causal prototype-inspired contrast adaptation (CPCA) method to explore the invariant causal mechanisms between different HRSIs domains and their semantic labels. It firstly disentangles causal features and bias features from the source and target domain images through a causal feature disentanglement module. Then, a causal prototypical contrast module is used to learn domain invariant causal features. To further de-correlate causal and bias features, a causal intervention module is introduced to intervene on the bias features to generate counterfactual unbiased samples. By forcing the causal features to meet the principles of separability, invariance and intervention, CPCA can simulate the causal factors of source and target domains, and make decisions on the target domain based on the causal features, which can observe improved generalization ability. Extensive experiments under three cross-domain tasks indicate that CPCA is remarkably superior to the state-of-the-art methods.


title: How higher charmonia shape the puzzling data of the $e^+e^-\to \eta J/\psi$ cross section

abstract: Recently, the BESIII collaboration performed a precise measurement of the $e^+e^-\to \eta J/\psi$ cross section. It is puzzling that the resonance parameters of the reported $Y(4230)$ show a substantial divergence from the previously measured results in both the open-charmed and hidden-charmed decay channels, and the line shape asymmetry of the data approaching 4.2 GeV also suggests that it might be difficult to characterize the details of the structure around 4.2 GeV by a single resonance. This has motivated our great curiosity about how the charmonium states are distributed in the measured energy range and how they shape the puzzling data of the $e^+e^-\to \eta J/\psi$ cross section. In this work, we use five theoretically constructed charmonia in the range of $4.0\rm{-}4.5$ $\text{GeV}$, i.e., $\psi(4040)$, $\psi(4160)$, $\psi(4220)$, $\psi(4380)$, and $\psi(4415)$, to apply a combined fit to the data, in which their calculated decay ratios into $\eta J/\psi$ via hadronic loop mechanism are taken as input. The fit results can reproduce the measured cross section data well, especially for the subtle line shape around 4.2 GeV, showing that the structure around 4.2 GeV is possible from the contribution of both $\psi(4160)$ and $\psi(4220)$.


title: Long period modulation of the classical T Tauri star CI Tau: evidence for an eccentric close-in massive planet at 0.17 au

abstract: Detecting planets within protoplanetary disks around young stars is essential for understanding planet formation and evolution. However, planet detection using the radial velocity method faces challenges due to strong stellar activity in these early stages. We aim to detect long-term periodicities in photometric and spectroscopic time series of the classical T Tauri star (CTTS) CI Tau, and retrieve evidence for inner embedded planets in its disk. The study conducted photometric and spectroscopic analyses using K2 and Las Cumbres Observatory Global Network light curves, and high-resolution spectra from ESPaDOnS and SPIRou. We focus our radial velocity analysis on a wavelength domain less affected by spot activity. To account for spot effects, a quasi-periodic Gaussian process model was applied to K2 light curve, ESPaDOnS, and SPIRou radial velocity data. Additionally, a detailed bisector analysis on cross-correlation functions was carried out to understand the cause of long-term periodicity. We detect coherent periods at $\sim$ 6.6 d, 9 d, $\sim$ 11.5 d, $\sim$ 14.2 d and $\sim$ 25.2 d, the latter is seen consistently across all datasets. Bisector analysis of the cross-correlation functions provides strong hints for combined activity-induced and Doppler reflex signal in the radial velocities at a period of 25.2 d. Our analysis suggests that this periodicity is best explained by the presence of a 3.6$\pm$0.3 M$_{Jup}$, eccentric (e$\sim$0.58) planet at a semi-major axis of 0.17 au. Our study outlines the difficulty of searching for disk-embedded planets in the inner 0.1 au's of young and active systems. We demonstrate that, when searching for planets in actively accreting stars such as CI Tau, the primary limitation is stellar activity rather than the precision of RV measurements provided by the instrument.


title: Multi-Grained Cross-modal Alignment for Learning Open-vocabulary Semantic Segmentation from Text Supervision

abstract: Recently, learning open-vocabulary semantic segmentation from text supervision has achieved promising downstream performance. Nevertheless, current approaches encounter an alignment granularity gap owing to the absence of dense annotations, wherein they learn coarse image/region-text alignment during training yet perform group/pixel-level predictions at inference. Such discrepancy leads to suboptimal learning efficiency and inferior zero-shot segmentation results. In this paper, we introduce a Multi-Grained Cross-modal Alignment (MGCA) framework, which explicitly learns pixel-level alignment along with object- and region-level alignment to bridge the granularity gap without any dense annotations. Specifically, MGCA ingeniously constructs pseudo multi-granular semantic correspondences upon image-text pairs and collaborates with hard sampling strategies to facilitate fine-grained cross-modal contrastive learning. Further, we point out the defects of existing group and pixel prediction units in downstream segmentation and develop an adaptive semantic unit which effectively mitigates their dilemmas including under- and over-segmentation. Training solely on CC3M, our method achieves significant advancements over state-of-the-art methods, demonstrating its effectiveness and efficiency.


title: Two-dimensional turbulence in a finite box

abstract: We present theory of two-dimensional turbulence excited by an external force in thin fluid films on scales larger than the film thickness. The principal feature of two-dimensional turbulence is the tendency of producing motions of larger and larger scales thanks to the nonlinear interaction. The tendency leads to formation of the so-called inverse cascade and, at some conditions, of big coherent vortices. We discuss the mean velocity profile of the coherent vortices and the flow fluctuations on the background of the mean velocity for different regimes. We demonstrate that the regime of strongly interacting fluctuations leads to an anisotropic scaling inside the coherent vortices.


title: Portable, heterogeneous ensemble workflows at scale using libEnsemble

abstract: libEnsemble is a Python-based toolkit for running dynamic ensembles, developed as part of the DOE Exascale Computing Project. The toolkit utilizes a unique generator-simulator-allocator paradigm, where generators produce input for simulators, simulators evaluate those inputs, and allocators decide whether and when a simulator or generator should be called. The generator steers the ensemble based on simulation results. libEnsemble communicates between a manager and workers. Flexibility is provided through multiple manager-worker communication substrates each of which has different benefits. These include Python's multiprocessing, mpi4py, and TCP. Multisite ensembles are supported using Balsam or Globus Compute. We overview the unique characteristics of libEnsemble as well as current and potential interoperability with other packages in the workflow ecosystem. We highlight libEnsemble's dynamic resource features: libEnsemble can detect system resources (nodes, cores, and GPUs) and assign these in a portable way. These features allow users to specify resources required for each simulation automatically on a range of systems, including Frontier, Aurora, and Perlmutter. Such ensembles can include multiple simulation types, some using GPUs and others using only CPUs, sharing nodes for maximum efficiency. We demonstrate libEnsemble's capabilities, scalability, and scientific impact via a Gaussian process surrogate training problem for the longitudinal density profile at the exit of a plasma accelerator stage using Wake-T and WarpX simulations. We also describe the benefits of libEnsemble's generator-simulator coupling, which easily exposes to the user the ability to cancel, and portably kill, running simulations. Such control can be directed from the generator or allocator based on models that are updated with intermediate simulation output.


title: Amplitude analysis of the $\Lambda_b^0\to pK^-\gamma$ decay

abstract: The resonant structure of the radiative decay $\Lambda_b^0\to pK^-\gamma$ in the region of proton-kaon invariant-mass up to 2.5 GeV$/c^2$ is studied using proton-proton collision data recorded at centre-of-mass energies of 7, 8, and 13 TeV collected with the LHCb detector, corresponding to a total integrated luminosity of 9 fb$^{-1}$. Results are given in terms of fit and interference fractions between the different components contributing to this final state. Only $\Lambda$ resonances decaying to $pK^-$ are found to be relevant, where the largest contributions stem from the $\Lambda(1520)$, $\Lambda(1600)$, $\Lambda(1800)$, and $\Lambda(1890)$ states.


title: Dust Survival in Galactic Winds

abstract: We present a suite of high-resolution numerical simulations to study the evolution and survival of dust in hot galactic winds. We implement a novel dust framework in the Cholla hydrodynamics code and use wind tunnel simulations of cool, dusty clouds to understand how thermal sputtering affects the dust content of galactic winds. Our simulations illustrate how various regimes of cloud evolution impact dust survival, dependent on cloud size, wind properties, and dust grain size. We find that significant amounts of dust can survive in winds in all scenarios, even without shielding from the cool phase of outflows. We present an analytic framework that explains this result, along with an analysis of the impact of cloud evolution on the total fraction of dust survival. Using these results, we estimate that 60 percent of dust that enters a starburst-driven wind could survive to populate the halo, based on a simulated distribution of cloud properties. We also investigate how these conclusions depend on grain size, exploring grains from 0.1 micron to 10 Angstrom. Under most circumstances, grains smaller than 0.01 micron cannot withstand hot-phase exposure, suggesting that the small grains observed in the CGM are either formed in situ due to shattering of larger grains, or must be carried there in cool phase outflows. Finally, we show that the dust-to-gas ratio of clouds declines as a function of distance from the galaxy due to cloud-wind mixing and condensation. These results provide an explanation for the vast amounts of dust observed in the CGMs of galaxies and beyond.


title: Saturating Sorting without Sorts

abstract: We present a first-order theorem proving framework for establishing the correctness of functional programs implementing sorting algorithms with recursive data structures. We formalize the semantics of recursive programs in many-sorted first-order logic and integrate sortedness/permutation properties within our first-order formalization. Rather than focusing on sorting lists of elements of specific first-order theories, such as integer arithmetic, our list formalization relies on a sort parameter abstracting (arithmetic) theories and hence concrete sorts. We formalize the permutation property of lists in first-order logic so that we automatically prove verification conditions of such algorithms purely by superpositon-based first-order reasoning. Doing so, we adjust recent efforts for automating inducion in saturation. We advocate a compositional approach for automating proofs by induction required to verify functional programs implementing and preserving sorting and permutation properties over parameterized list structures. Our work turns saturation-based first-order theorem proving into an automated verification engine by (i) guiding automated inductive reasoning with manual proof splits and (ii) fully automating inductive reasoning in saturation. We showcase the applicability of our framework over recursive sorting algorithms, including Mergesort and Quicksort.


title: Nuclear magnetism in the deformed halo nucleus $^{31}$Ne

abstract: Based on the point-coupling density functional, the time-odd deformed relativistic Hartree-Bogoliubov theory in continuum (TODRHBc) is developed. Then the effects of nuclear magnetism on halo phenomenon are explored by taking the experimentally suggested deformed halo nucleus $^{31}$Ne as an example. For $^{31}$Ne, nuclear magnetism contributes 0.09 MeV to total binding energy, and the breaking of Kramers degeneracy results in 0-0.2 MeV splitting in canonical single-particle spectra. The blocked neutron level has a dominant component of $p$ wave and it is marginally bound. However, if we ignore nuclear magnetism, the level becomes unbound. This shows a subtle mechanism that nuclear magnetism changes the single-particle energies, causing a nucleus to become bound. Based on the TODRHBc results, a prolate one-neutron halo is formed around the near-spherical core in $^{31}$Ne. The nucleon current is mostly contributed by the halo rather than the core, except near the center of the nucleus. A layered structure in the neutron current distribution is observed and studied in detail.


abstract: Graph neural network (GNN) based recommender systems have become one of the mainstream trends due to the powerful learning ability from user behavior data. Understanding the user intents from behavior data is the key to recommender systems, which poses two basic requirements for GNN-based recommender systems. One is how to learn complex and diverse intents especially when the user behavior is usually inadequate in reality. The other is different behaviors have different intent distributions, so how to establish their relations for a more explainable recommender system. In this paper, we present the Intent-aware Recommendation via Disentangled Graph Contrastive Learning (IDCL), which simultaneously learns interpretable intents and behavior distributions over those intents. Specifically, we first model the user behavior data as a user-item-concept graph, and design a GNN based behavior disentangling module to learn the different intents. Then we propose the intent-wise contrastive learning to enhance the intent disentangling and meanwhile infer the behavior distributions. Finally, the coding rate reduction regularization is introduced to make the behaviors of different intents orthogonal. Extensive experiments demonstrate the effectiveness of IDCL in terms of substantial improvement and the interpretability.


title: MeaCap: Memory-Augmented Zero-shot Image Captioning

abstract: Zero-shot image captioning (IC) without well-paired image-text data can be divided into two categories, training-free and text-only-training. Generally, these two types of methods realize zero-shot IC by integrating pretrained vision-language models like CLIP for image-text similarity evaluation and a pre-trained language model (LM) for caption generation. The main difference between them is whether using a textual corpus to train the LM. Though achieving attractive performance w.r.t. some metrics, existing methods often exhibit some common drawbacks. Training-free methods tend to produce hallucinations, while text-only-training often lose generalization capability. To move forward, in this paper, we propose a novel Memory-Augmented zero-shot image Captioning framework (MeaCap). Specifically, equipped with a textual memory, we introduce a retrieve-then-filter module to get key concepts that are highly related to the image. By deploying our proposed memory-augmented visual-related fusion score in a keywords-to-sentence LM, MeaCap can generate concept-centered captions that keep high consistency with the image with fewer hallucinations and more world-knowledge. The framework of MeaCap achieves the state-of-the-art performance on a series of zero-shot IC settings. Our code is available at https://github.com/joeyz0z/MeaCap.


title: Quantum phase transition between topologically distinct quantum critical points

abstract: By constructing an exactly solvable spin model, we investigate the critical behaviors of transverse field Ising chains interpolated with cluster interactions, which exhibit various types of topologically distinct Ising critical points. Using fidelity susceptibility as an indicator, we establish the global phase diagram, including ferromagnetic, trivial paramagnetic, and symmetry-protected topological phases. Different types of critical points exist between these phases, encompassing both topologically trivial and non-trivial Ising critical points, as well as Gaussian critical points. Importantly, we demonstrate the existence of a Lifshitz transition between these topologically distinct Ising critical points, with central charge and critical exponents determined through finite-size scaling. This work serves as a valuable reference for further research on phase transitions within the gapless quantum phase of matter.


title: A multiplexed control architecture for superconducting qubits with row-column addressing

abstract: In state-of-the-art superconducting quantum processors, each qubit is controlled by at least one control line that delivers control pulses generated at room temperature to qubits operating at millikelvin temperatures. While this strategy has been successfully applied to control hundreds of qubits, it is unlikely to be scalable to control thousands of qubits, let alone millions or even billions of qubits needed in fault-tolerance quantum computing. The primary obstacle lies in the wiring challenge, wherein the number of accommodated control lines is limited by factors, such as the cooling power, physical space of the cryogenic system, the control footprint area at the qubit chip level, and so on. Here, we introduce a multiplexed control architecture for superconducting qubits with two types of shared control lines, row and column lines, providing an efficient approach for parallel controlling $N$ qubits with $O(\sqrt{N})$ control lines. With the combination of the two-type shared lines, unique pairs of control pulses are delivered to qubits at each row-column intersection, enabling parallel qubit addressing. Of particular concern here is that, unlike traditional gate schemes, both single- and two-qubit gates are implemented with pairs of control pulses. Considering the inherent parallelism and the control limitations, the integration of the architecture into quantum computing systems should be tailored as much as possible to the specific properties of the quantum circuits to be executed. As such, the architecture could be scalable for executing structured quantum circuits, such as quantum error correction circuits.


title: Density in the half-line Schwartz space of functions whose Fourier-Laplace transform has natural boundary the real line

abstract: In this note, we prove that the Fourier-Laplace transform of the typical function (i.e., generic in the sense of Baire category theorem) in the Schwartz class of the half-line, being analytic in the lower half of the complex plane, has natural boundary the axis of the real numbers. We also provide variations and generalizations.


title: Multimodal Transformer for Comics Text-Cloze

abstract: This work explores a closure task in comics, a medium where visual and textual elements are intricately intertwined. Specifically, Text-cloze refers to the task of selecting the correct text to use in a comic panel, given its neighboring panels. Traditional methods based on recurrent neural networks have struggled with this task due to limited OCR accuracy and inherent model limitations. We introduce a novel Multimodal Large Language Model (Multimodal-LLM) architecture, specifically designed for Text-cloze, achieving a 10% improvement over existing state-of-the-art models in both its easy and hard variants. Central to our approach is a Domain-Adapted ResNet-50 based visual encoder, fine-tuned to the comics domain in a self-supervised manner using SimCLR. This encoder delivers comparable results to more complex models with just one-fifth of the parameters. Additionally, we release new OCR annotations for this dataset, enhancing model input quality and resulting in another 1% improvement. Finally, we extend the task to a generative format, establishing new baselines and expanding the research possibilities in the field of comics analysis.


title: Criminal organizations exhibit hysteresis, resilience, and robustness by balancing security and efficiency

abstract: The interplay between criminal organizations and law enforcement disruption strategies is crucial in criminology. Criminal enterprises, like legitimate businesses, balance visibility and security to thrive. This study uses evolutionary game theory to analyze criminal networks' dynamics, resilience to interventions, and responses to external conditions. We find strong hysteresis effects, challenging traditional deterrence-focused strategies. Optimal thresholds for organization formation or dissolution are defined by these effects. Stricter punishment doesn't always deter organized crime linearly. Network structure, particularly link density and skill assortativity, significantly influences organization formation and stability. These insights advocate for adaptive policy-making and strategic law enforcement to effectively disrupt criminal networks.


title: CMDA: Cross-Modal and Domain Adversarial Adaptation for LiDAR-Based 3D Object Detection

abstract: Recent LiDAR-based 3D Object Detection (3DOD) methods show promising results, but they often do not generalize well to target domains outside the source (or training) data distribution. To reduce such domain gaps and thus to make 3DOD models more generalizable, we introduce a novel unsupervised domain adaptation (UDA) method, called CMDA, which (i) leverages visual semantic cues from an image modality (i.e., camera images) as an effective semantic bridge to close the domain gap in the cross-modal Bird's Eye View (BEV) representations. Further, (ii) we also introduce a self-training-based learning strategy, wherein a model is adversarially trained to generate domain-invariant features, which disrupt the discrimination of whether a feature instance comes from a source or an unseen target domain. Overall, our CMDA framework guides the 3DOD model to generate highly informative and domain-adaptive features for novel data distributions. In our extensive experiments with large-scale benchmarks, such as nuScenes, Waymo, and KITTI, those mentioned above provide significant performance gains for UDA tasks, achieving state-of-the-art performance.


title: Is Distance Correlation Robust?

abstract: Distance correlation is a popular measure of dependence between random variables. It has some robustness properties, but not all. We prove that the influence function of the usual distance correlation is bounded, but that its breakdown value is zero. Moreover, it has an unbounded sensitivity function, converging to the bounded influence function for increasing sample size. To address this sensitivity to outliers we construct a more robust version of distance correlation, which is based on a new data transformation. Simulations indicate that the resulting method is quite robust, and has good power in the presence of outliers. We illustrate the method on genetic data. Comparing the classical distance correlation with its more robust version provides additional insight.


title: Gravitational waves from first-order phase transitions in LISA: reconstruction pipeline and physics interpretation

abstract: We develop a tool for the analysis of stochastic gravitational wave backgrounds from cosmological first-order phase transitions with LISA: we initiate a template databank for these signals, prototype their searches, and forecast their reconstruction. The templates encompass the gravitational wave signals sourced by bubble collisions, sound waves and turbulence. Accounting for Galactic and extra-Galactic foregrounds, we forecast the region of the parameter space that LISA will reconstruct with better than $\sim 10\,\%$ accuracy, if certain experimental and theoretical uncertainties are solved by the time LISA flies. We illustrate the accuracy with which LISA can reconstruct the parameters on a few benchmark signals, both in terms of the template parameters and the phase transition ones. To show the impact of the forecasts on physics beyond the Standard Model, we map the reconstructed benchmark measurements into the parameter spaces of the singlet extension of the Standard Model and of the classically conformal invariant $U(1)_{B-L}$ model.


title: In the Search of Optimal Tree Networks: Hardness and Heuristics

abstract: Demand-aware communication networks are networks whose topology is optimized toward the traffic they need to serve. These networks have recently been enabled by novel optical communication technologies and are investigated intensively in the context of datacenters. In this work, we consider networks with one of the most common topologies~ -- a binary tree. We show that finding an optimal demand-aware binary tree network is NP-hard. Then, we propose optimization algorithms that generate efficient binary tree networks on real-life and synthetic workloads.


title: To Trust or Not to Trust: Assignment Mechanisms with Predictions in the Private Graph Model

abstract: The realm of algorithms with predictions has led to the development of several new algorithms that leverage (potentially erroneous) predictions to enhance their performance guarantees. The challenge is to devise algorithms that achieve optimal approximation guarantees as the prediction quality varies from perfect (consistency) to imperfect (robustness). This framework is particularly appealing in mechanism design contexts, where predictions might convey private information about the agents. In this paper, we design strategyproof mechanisms that leverage predictions to achieve improved approximation guarantees for several variants of the Generalized Assignment Problem (GAP) in the private graph model. In this model, first introduced by Dughmi & Ghosh (2010), the set of resources that an agent is compatible with is private information. For the Bipartite Matching Problem (BMP), we give a deterministic group-strategyproof (GSP) mechanism that is $(1 +1/\gamma)$-consistent and $(1 + \gamma)$-robust, where $\gamma \ge 1$ is some confidence parameter. We also prove that this is best possible. Remarkably, our mechanism draws inspiration from the renowned Gale-Shapley algorithm, incorporating predictions as a crucial element. Additionally, we give a randomized mechanism that is universally GSP and improves on the guarantees in expectation. The other GAP variants that we consider all make use of a unified greedy mechanism that adds edges to the assignment according to a specific order. Our universally GSP mechanism randomizes over the greedy mechanism, our mechanism for BMP and the predicted assignment, leading to $(1+3/\gamma)$-consistency and $(3+\gamma)$-robustness in expectation. All our mechanisms also provide more fine-grained approximation guarantees that interpolate between the consistency and the robustness, depending on some natural error measure of the prediction.


title: Diffusion on language model embeddings for protein sequence generation

abstract: Protein design requires a deep understanding of the inherent complexities of the protein universe. While many efforts lean towards conditional generation or focus on specific families of proteins, the foundational task of unconditional generation remains underexplored and undervalued. Here, we explore this pivotal domain, introducing DiMA, a model that leverages continuous diffusion on embeddings derived from the protein language model, ESM-2, to generate amino acid sequences. DiMA surpasses leading solutions, including autoregressive transformer-based and discrete diffusion models, and we quantitatively illustrate the impact of the design choices that lead to its superior performance. We extensively evaluate the quality, diversity, distribution similarity, and biological relevance of the generated sequences using multiple metrics across various modalities. Our approach consistently produces novel, diverse protein sequences that accurately reflect the inherent structural and functional diversity of the protein space. This work advances the field of protein design and sets the stage for conditional models by providing a robust framework for scalable and high-quality protein sequence generation.


title: Robust MITL planning under uncertain navigation times

abstract: In environments like offices, the duration of a robot's navigation between two locations may vary over time. For instance, reaching a kitchen may take more time during lunchtime since the corridors are crowded with people heading the same way. In this work, we address the problem of routing in such environments with tasks expressed in Metric Interval Temporal Logic (MITL) - a rich robot task specification language that allows us to capture explicit time requirements. Our objective is to find a strategy that maximizes the temporal robustness of the robot's MITL task. As the first step towards a solution, we define a Mixed-integer linear programming approach to solving the task planning problem over a Varying Weighted Transition System, where navigation durations are deterministic but vary depending on the time of day. Then, we apply this planner to optimize for MITL temporal robustness in Markov Decision Processes, where the navigation durations between physical locations are uncertain, but the time-dependent distribution over possible delays is known. Finally, we develop a receding horizon planner for Markov Decision Processes that preserves guarantees over MITL temporal robustness. We show the scalability of our planning algorithms in simulations of robotic tasks.


title: Bridging Diversity and Uncertainty in Active learning with Self-Supervised Pre-Training

abstract: This study addresses the integration of diversity-based and uncertainty-based sampling strategies in active learning, particularly within the context of self-supervised pre-trained models. We introduce a straightforward heuristic called TCM that mitigates the cold start problem while maintaining strong performance across various data levels. By initially applying TypiClust for diversity sampling and subsequently transitioning to uncertainty sampling with Margin, our approach effectively combines the strengths of both strategies. Our experiments demonstrate that TCM consistently outperforms existing methods across various datasets in both low and high data regimes.


title: Case studies on time-dependent Ginzburg-Landau simulations for superconducting applications

abstract: The macroscopic electromagnetic properties of type II superconductors are primarily influenced by the behavior of microscopic superconducting flux quantum units. Time-dependent Ginzburg-Landau (TDGL) equations provide an elegant and powerful tool for describing and examining both the statics and dynamics of these superconducting entities. They have been instrumental in replicating and elucidating numerous experimental results over the past decades.This paper provides a comprehensive overview of the progress in TDGL simulations, focusing on three key aspects of superconductor applications. The initial section delves into vortex rectification in superconductors described within the TDGL framework. We specifically highlight the superconducting diode effect achieved through asymmetric pinning landscapes and the reversible manipulation of vortex ratchets with dynamic pinning landscapes. The subsequent section reviews the achievements of TDGL simulations concerning the critical current density of superconductors, emphasizing the optimization of pinning sites, particularly vortex pinning and dynamics in polycrystalline Nb$_3$Sn with grain boundaries. The third part concentrates on numerical modeling of vortex penetration and dynamics in superconducting radio frequency (SRF) cavities, including a discussion of superconductor insulator superconductor multilayer structures. In the last section, we present key findings, insights, and perspectives derived from the discussed simulations.


title: Learning 3D object-centric representation through prediction

abstract: As part of human core knowledge, the representation of objects is the building block of mental representation that supports high-level concepts and symbolic reasoning. While humans develop the ability of perceiving objects situated in 3D environments without supervision, models that learn the same set of abilities with similar constraints faced by human infants are lacking. Towards this end, we developed a novel network architecture that simultaneously learns to 1) segment objects from discrete images, 2) infer their 3D locations, and 3) perceive depth, all while using only information directly available to the brain as training data, namely: sequences of images and self-motion. The core idea is treating objects as latent causes of visual input which the brain uses to make efficient predictions of future scenes. This results in object representations being learned as an essential byproduct of learning to predict.


title: Detection prospects of Very and Ultra High-Energy gamma rays from extended sources with ASTRI, CTA, and LHAASO

abstract: Context. The recent discovery of several ultra high-energy gamma-ray emitters in our Galaxy constitutes a significant advancement towards unveiling its most powerful accelerators and their properties. Nonetheless, in order to unambiguously locate the regions where the highest energy particles are produced and understand the responsible physical mechanisms, detailed spectral and morphological studies are required, especially given that most of the observed sources were found to be significantly extended. Aims. In these regards, pointing observations with the next-generation Imaging Atmospheric Cherenkov Telescopes, like the Cherenkov Telescope Array (CTA) Observatory and the ASTRI Mini-Array (ASTRI), are expected to provide significant improvements. Here we aim at identifying the most promising sources to target in future observations. Methods. To this purpose, we performed a comparative analysis of the expected performance of ASTRI and CTA, computing their differential sensitivities towards extended sources, and further explored their capabilities with respect to specific case studies, including follow-ups of existing gamma-ray source catalogs. Results. We find that almost all of the sources so far detected by LHAASO-WCDA and HGPS will be in the reach of ASTRI and CTA with 300 and 50 hours of exposure, respectively. For the highest energy emitters detected by LHAASO-KM2A, in turn, we provide the list of the most promising objects to be investigated. We further examined specific classes of sources in order to identify potentially detectable gamma-ray emitters, such as passive molecular clouds (i.e. illuminated by the cosmic-ray sea) and pulsars surrounded by a halo of runaway particles.


title: Expansion properties of polynomials over finite fields

abstract: We establish expansion properties for suitably generic polynomials of degree $d$ in $d+1$ variables over finite fields. In particular, we show that if $P\in\mathbb{F}_q[x_1,\ldots,x_{d+1}]$ is a polynomial of degree $d$ coming from an explicit, Zariski dense set, and $X_1,\ldots,X_{d+1}\subseteq\mathbb{F}_q$ are suitably large, then $|P(X_1,\ldots,X_{d+1})|=q-O(1)$. Our methods rely on a higher-degree extension of a result of Vinh on point--line incidences over a finite field.


title: Energy and Time Histograms: Fluxes determination in calorimeters

abstract: In high-granularity calorimetry, as proposed for detectors at future Higgs factories, the requirements on electronics can have a strong impact on the design of the detector, especially via the cooling and acquisition systems. This project aims to establish the typical fluxes in the calorimeters: deposited energy, number of cells above the electronics threshold, additional heat, and associated data, etc. Here, a software package is presented which outputs histograms for different selections of the calorimeter components from fully simulated physics and background events. The ILD calorimeter system is taken as a specific example, upon which different histograms are obtained for representative parts of the calorimeter and for various machine configurations. Examples of histograms are shown, along with all details of the data used and the simulation.


title: Some applications of the geometric Satake equivalence to modular representation theory

abstract: These notes present an application of the geometric Satake equivalence to the description of characters of indecomposable tilting modules for reductive algebraic groups over fields of positive characteristic, obtained in joint work with G. Williamson.


title: Engineering of a Layered Ferromagnet via Graphitization: An Overlooked Polymorph of GdAlSi

abstract: Layered magnets are stand-out materials because of their range of functional properties that can be controlled by external stimuli. Regretfully, the class of such compounds is rather narrow, prompting the search for new members. Graphitization - stabilization of layered graphitic structures in the 2D limit - is being discussed for cubic materials. We suggest the phenomenon to extend beyond cubic structures; it can be employed as a viable route to a variety of layered materials. Here, the idea of graphitization is put into practice to produce a new layered magnet, GdAlSi. The honeycomb material, based on graphene-like layers AlSi, is studied both experimentally and theoretically. Epitaxial films of GdAlSi are synthesized on silicon; the critical thickness for the stability of the layered polymorph is around 20 monolayers. Notably, the layered polymorph of GdAlSi demonstrates ferromagnetism stemming from the open 4f-shells of Gd, in contrast to the non-layered, tetragonal polymorph. The ferromagnetism is further supported by electron transport measurements revealing negative magnetoresistance and the anomalous Hall effect. The results show that graphitization can be a powerful tool in the design of functional layered materials.


title: Unifying Generation and Compression: Ultra-low bitrate Image Coding Via Multi-stage Transformer

abstract: Recent progress in generative compression technology has significantly improved the perceptual quality of compressed data. However, these advancements primarily focus on producing high-frequency details, often overlooking the ability of generative models to capture the prior distribution of image content, thus impeding further bitrate reduction in extreme compression scenarios (<0.05 bpp). Motivated by the capabilities of predictive language models for lossless compression, this paper introduces a novel Unified Image Generation-Compression (UIGC) paradigm, merging the processes of generation and compression. A key feature of the UIGC framework is the adoption of vector-quantized (VQ) image models for tokenization, alongside a multi-stage transformer designed to exploit spatial contextual information for modeling the prior distribution. As such, the dual-purpose framework effectively utilizes the learned prior for entropy estimation and assists in the regeneration of lost tokens. Extensive experiments demonstrate the superiority of the proposed UIGC framework over existing codecs in perceptual quality and human perception, particularly in ultra-low bitrate scenarios (<=0.03 bpp), pioneering a new direction in generative compression.


title: Probabilistic Topic Modelling with Transformer Representations

abstract: Topic modelling was mostly dominated by Bayesian graphical models during the last decade. With the rise of transformers in Natural Language Processing, however, several successful models that rely on straightforward clustering approaches in transformer-based embedding spaces have emerged and consolidated the notion of topics as clusters of embedding vectors. We propose the Transformer-Representation Neural Topic Model (TNTM), which combines the benefits of topic representations in transformer-based embedding spaces and probabilistic modelling. Therefore, this approach unifies the powerful and versatile notion of topics based on transformer embeddings with fully probabilistic modelling, as in models such as Latent Dirichlet Allocation (LDA). We utilize the variational autoencoder (VAE) framework for improved inference speed and modelling flexibility. Experimental results show that our proposed model achieves results on par with various state-of-the-art approaches in terms of embedding coherence while maintaining almost perfect topic diversity. The corresponding source code is available at https://github.com/ArikReuter/TNTM.


title: Probability of high intensities of the light wave propagating in turbulent atmosphere

abstract: We examine statistics of fluctuations of the laser beam intensity at its propagating in turbulent atmosphere. We are interested in relatively large propagating distances and the remote tail of the probability density function. The tail is determined by the stretched exponent, we find its index.


title: A&B BNN: Add&Bit-Operation-Only Hardware-Friendly Binary Neural Network

abstract: Binary neural networks utilize 1-bit quantized weights and activations to reduce both the model's storage demands and computational burden. However, advanced binary architectures still incorporate millions of inefficient and nonhardware-friendly full-precision multiplication operations. A&B BNN is proposed to directly remove part of the multiplication operations in a traditional BNN and replace the rest with an equal number of bit operations, introducing the mask layer and the quantized RPReLU structure based on the normalizer-free network architecture. The mask layer can be removed during inference by leveraging the intrinsic characteristics of BNN with straightforward mathematical transformations to avoid the associated multiplication operations. The quantized RPReLU structure enables more efficient bit operations by constraining its slope to be integer powers of 2. Experimental results achieved 92.30%, 69.35%, and 66.89% on the CIFAR-10, CIFAR-100, and ImageNet datasets, respectively, which are competitive with the state-of-the-art. Ablation studies have verified the efficacy of the quantized RPReLU structure, leading to a 1.14% enhancement on the ImageNet compared to using a fixed slope RLeakyReLU. The proposed add&bit-operation-only BNN offers an innovative approach for hardware-friendly network architecture.


title: Self-supervised Photographic Image Layout Representation Learning

abstract: In the domain of image layout representation learning, the critical process of translating image layouts into succinct vector forms is increasingly significant across diverse applications, such as image retrieval, manipulation, and generation. Most approaches in this area heavily rely on costly labeled datasets and notably lack in adapting their modeling and learning methods to the specific nuances of photographic image layouts. This shortfall makes the learning process for photographic image layouts suboptimal. In our research, we directly address these challenges. We innovate by defining basic layout primitives that encapsulate various levels of layout information and by mapping these, along with their interconnections, onto a heterogeneous graph structure. This graph is meticulously engineered to capture the intricate layout information within the pixel domain explicitly. Advancing further, we introduce novel pretext tasks coupled with customized loss functions, strategically designed for effective self-supervised learning of these layout graphs. Building on this foundation, we develop an autoencoder-based network architecture skilled in compressing these heterogeneous layout graphs into precise, dimensionally-reduced layout representations. Additionally, we introduce the LODB dataset, which features a broader range of layout categories and richer semantics, serving as a comprehensive benchmark for evaluating the effectiveness of layout representation learning methods. Our extensive experimentation on this dataset demonstrates the superior performance of our approach in the realm of photographic image layout representation learning.


title: SUPClust: Active Learning at the Boundaries

abstract: Active learning is a machine learning paradigm designed to optimize model performance in a setting where labeled data is expensive to acquire. In this work, we propose a novel active learning method called SUPClust that seeks to identify points at the decision boundary between classes. By targeting these points, SUPClust aims to gather information that is most informative for refining the model's prediction of complex decision regions. We demonstrate experimentally that labeling these points leads to strong model performance. This improvement is observed even in scenarios characterized by strong class imbalance.


title: Mitigating Ageism through Virtual Reality: Intergenerational Collaborative Escape Room Design

abstract: As virtual reality (VR) becomes more popular for intergenerational collaboration, there is still a significant gap in research regarding understanding the potential for reducing ageism. Our study aims to address this gap by analyzing ageism levels before and after VR escape room collaborative experiences. We recruited 28 participants to collaborate with an older player in a challenging VR escape room game. To ensure consistent and reliable performance data of older players, our experimenters simulated older participants following specific guidelines. After completing the game, we found a significant reduction in ageism among younger participants. Furthermore, we introduce a new game mechanism that encourages intergenerational collaboration. Our research highlights the potential of VR collaborative games as a practical tool for mitigating ageism. It provides valuable insights for designing immersive VR experiences that foster enhanced intergenerational collaboration.


title: Don't forget the electrons: extending moderately-sized nuclear networks for multidimensional hydrodynamic codes

abstract: We present here an extended nuclear network, with 90 species, designed for being coupled with hydrodynamic simulations, which includes neutrons, protons, electrons, positrons, and the corresponding neutrino and anti-neutrino emission. This network is also coupled with temperature, making it extremely robust and, together with its size, unique of its kind. The inclusion of electron captures on free protons makes the network very appropriate for multidimensional studies of Type Ia supernova explosions, especially when the exploding object is a massive white dwarf. The results obtained with the proposed medium-sized network compare fairly well, to a few percent, with those computed with the extended network WinNet (> 2000 isotopes) in scenarios reproducing the gross physical conditions of current Type Ia supernova explosion models. In those cases where the carbon and oxygen fuel ignites at high density, the high-temperature plateau typical of the nuclear statistical equilibrium regime is well defined and stable, allowing large integration time steps. We show that the inclusion of electron captures on free protons substantially improves the estimation of the electron fraction of the mixture. Therefore, the pressure is better determined than in networks where electron captures are excluded, which will ultimately lead to more reliable hydrodynamic models. Explosive combustion of helium at low density, occurring near the surface layer of a white dwarf, is also better described with the proposed network, which gives nuclear energy generation rates much closer to WinNet than typical reduced alpha networks.

categories: astro-ph.SR astro-ph.HE astro-ph.IM nucl-th


title: MedSafetyBench: Evaluating and Improving the Medical Safety of Large Language Models

abstract: As large language models (LLMs) develop increasingly sophisticated capabilities and find applications in medical settings, it becomes important to assess their medical safety due to their far-reaching implications for personal and public health, patient safety, and human rights. However, there is little to no understanding of the notion of medical safety in the context of LLMs, let alone how to evaluate and improve it. To address this gap, we first define the notion of medical safety in LLMs based on the Principles of Medical Ethics set forth by the American Medical Association. We then leverage this understanding to introduce MedSafetyBench, the first benchmark dataset specifically designed to measure the medical safety of LLMs. We demonstrate the utility of MedSafetyBench by using it to evaluate and improve the medical safety of LLMs. Our results show that publicly-available medical LLMs do not meet standards of medical safety and that fine-tuning them using MedSafetyBench improves their medical safety. By introducing this new benchmark dataset, our work enables a systematic study of the state of medical safety in LLMs and motivates future work in this area, thereby mitigating the safety risks of LLMs in medicine.


title: Thermally Stable Peltier Controlled Vacuum Chamber for Electrical Transport Measurements

abstract: The design, manufacture and characterisation of an inexpensive, temperature controlled vacuum chamber with millikelvin stability for electrical transport measurements at and near room temperature is reported. A commercially available Peltier device and high-precision temperature controller are used to actively heat and cool the sample space. The system was designed to minimise thermal fluctuations in spintronic and semiconductor transport measurements but the general principle is relevant to a wide range of electrical measurement applications. The main issues overcome are the mounting of a sample with a path of high thermal conductivity through to the Peltier device and the heat-sinking of said Peltier device inside of a vacuum. A copper slug is used as the mount for a sample and a large copper block is used as a thermal feedthrough before a passive heatsink is used to cool this block. The Peltier device provides 20 W of heating and cooling power achieving a maximum range of 30 K below and 40 K above the ambient temperature. The temperature stability is within 5 mK at all set points with even better performance above ambient temperature. A vacuum pressure of 1e-8 hPa is achievable. As a demonstration, we present experimental results from current-induced electrical switching of a CuMnAs thin film. Transport measurements with and without the Peltier control emphasise the importance of a constant temperature in these applications. The thermal lag between the sample space measurement and the sample itself is observed through magnetoresistance values measured during a temperature sweep.


title: Emotional Tandem Robots: How Different Robot Behaviors Affect Human Perception While Controlling a Mobile Robot

abstract: In human-robot interaction (HRI), we study how humans interact with robots, but also the effects of robot behavior on human perception and well-being. Especially, the influence on humans by tandem robots with one human controlled and one autonomous robot or even semi-autonomous multi-robot systems is not yet fully understood. Here, we focus on a leader-follower scenario and study how emotionally expressive motion patterns of a small, mobile follower robot affect the perception of a human operator controlling the leading robot. We examined three distinct emotional behaviors for the follower compared to a neutral condition: angry, happy and sad. We analyzed how participants maneuvered the leader robot along a set path while experiencing each follower behavior in a randomized order. We identified a significant shift in attention toward the follower with emotionally expressive behaviors compared to the neutral condition. For example, the angry behavior significantly heightened participant stress levels and was considered the least preferred behavior. The happy behavior was the most preferred and associated with increased excitement by the participants. Integrating the proposed behaviors in robots can profoundly influence the human operator's attention, emotional state, and overall experience. These insights are valuable for future HRI tandem robot designs.


title: Accurate reference spectra of HD in H$_2$/He bath for planetary applications

abstract: The hydrogen deuteride (HD) molecule is an important deuterium tracer in astrophysical studies. The atmospheres of gas giants are dominated by molecular hydrogen, and simultaneous observation of H$_2$ and HD lines provides reliable information on the D/H ratios on these planets. The reference spectroscopic parameters play a crucial role in such studies. Under thermodynamic conditions encountered in these atmospheres, the spectroscopic studies of HD require not only the knowledge of line intensities and positions but also accurate reference data on pressure-induced line shapes and shifts. Our aim is to provide accurate collision-induced line-shape parameters for HD lines that cover any thermodynamic conditions relevant to the atmospheres of giant planets, i.e., any relevant temperature, pressure, and perturbing gas (the H$_2$/He mixture) composition. We perform quantum-scattering calculations on a new highly accurate ab initio potential energy surface, and we use scattering S-matrices obtained this way to determine the collision-induced line-shape parameters. We use the cavity ring-down spectroscopy for validation of our theoretical methodology. We report accurate collision-induced line-shape parameters for the pure rotational R(0), R(1), and R(2) lines, the most relevant HD lines for the investigations of atmospheres of the giant planets. Besides the basic Voigt-profile collisional parameters (i.e. the broadening and shift parameters), we also report their speed dependences and the complex Dicke parameter, which can influence the effective width and height of the HD lines up to almost a factor of 2 for giant planet conditions. The sub-percent-level accuracy, reached in this work, considerably improves the previously available data. All the reported parameters are consistent with the HITRAN database format, hence allowing for the use of HAPI for generating the beyond-Voigt spectra of HD.

categories: astro-ph.EP astro-ph.IM physics.atom-ph physics.chem-ph


title: On the motivic description of truncated fundamental group rings

abstract: A topological theorem that appears in a paper by Deligne-Goncharov (and which they attribute to Beilinson) states the following. Let $(X,*)$ be a path connected pointed space with a reasonable topology and denote by $I$ the augmentation ideal of its fundamental group ring. Then for every field F and positive integer n, the space of F-valued linear forms on $ I/I^{n+1}$ is naturally isomorphic to $H^n(X^n,X(n,*); F)$, where $X(n,*)$ is an explicitly defined subspace of $X^n$. We here construct a simple isomorphism between $I/I^{n+1}$ and $H_n(X^n,X(n,*); \mathbf{Z})$ and express the maps that define the Hopf algebra structure on the $I$-adic completion of the fundamental group ring of $(X,*)$ in these terms.


title: Coulomb Green's function and an addition formula for the Whittaker functions

abstract: A series of the form $\sum_{\ell=0}^{\infty}c(\kappa,\ell)\,M_{\kappa,\ell+1/2}(r_{0})W_{\kappa,\ell+1/2}(r)P_{\ell}(\cos(\gamma))$ is evaluated explicitly where $c(\kappa,\ell)$ are suitable complex coefficients, $M_{\kappa,\mu}$ and $W_{\kappa,\mu}$ are the Whittaker functions, $P_{\ell}$ are the Legendre polynomials, $r_{0}<r$ are radial variables, $\gamma$ is an angle and $\kappa$ is a complex parameter. The sum depends, as far as the radial variables and the angle are concerned, on their combinations $r+r_{0}$ and $(r^{2}+r_{0}^{\,2}-rr_{0}\cos(\gamma))^{1/2}$. This addition formula generalizes in some respect Gegenbauer's Addition Theorem and follows rather straightforwardly from some already known results, particularly from Hostler's formula for Coulomb Green's function. In addition, several complementary summation formulas are derived. They suggest that a further extension of this addition formula may be possible.


title: German also Hallucinates! Inconsistency Detection in News Summaries with the Absinth Dataset

abstract: The advent of Large Language Models (LLMs) has led to remarkable progress on a wide range of natural language processing tasks. Despite the advances, these large-sized models still suffer from hallucinating information in their output, which poses a major issue in automatic text summarization, as we must guarantee that the generated summary is consistent with the content of the source document. Previous research addresses the challenging task of detecting hallucinations in the output (i.e. inconsistency detection) in order to evaluate the faithfulness of the generated summaries. However, these works primarily focus on English and recent multilingual approaches lack German data. This work presents absinth, a manually annotated dataset for hallucination detection in German news summarization and explores the capabilities of novel open-source LLMs on this task in both fine-tuning and in-context learning settings. We open-source and release the absinth dataset to foster further research on hallucination detection in German.


title: Trigram-Based Persistent IDE Indices with Quick Startup

abstract: One common way to speed up the find operation within a set of text files involves a trigram index. This structure is merely a map from a trigram (sequence consisting of three characters) to a set of files which contain it. When searching for a pattern, potential file locations are identified by intersecting the sets related to the trigrams in the pattern. Then, the search proceeds only in these files. However, in a code repository, the trigram index evolves across different versions. Upon checking out a new version, this index is typically built from scratch, which is a time-consuming task, while we want our index to have almost zero-time startup. Thus, we explore the persistent version of a trigram index for full-text and key word patterns search. Our approach just uses the current version of the trigram index and applies only the changes between versions during checkout, significantly enhancing performance. Furthermore, we extend our data structure to accommodate CamelHump search for class and function names.


title: Two 100 TeV neutrinos coincident with the Seyfert galaxy NGC 7469

abstract: In 2013, the IceCube collaboration announced the detection of a diffuse high-energy astrophysical neutrino flux. The origin of this flux is still largely unknown. The most significant individual source is the close-by Seyfert galaxy NGC 1068 at 4.2-sigma level with a soft spectral index. To identify sources based on their counterpart, IceCube releases realtime alerts corresponding to neutrinos with a high probability of astrophysical origin. We report here the spatial coincidence of two neutrino alerts, IC220424A and IC230416A, with the Seyfert galaxy NGC 7469 at a distance of 70 Mpc. We evaluate, a-posteriori, the chance probability of such a coincidence and discuss this source as a neutrino emitter based on its multi-wavelength properties and in comparison to NGC 1068. To calculate the chance coincidence considering neutrino emission from a specific source population, we perform a Goodness-of-Fit test with a test statistic derived from a likelihood ratio that includes the neutrino angular uncertainty and the source distance. We apply this test first to a catalog of AGN sources and second to a catalog of Seyfert galaxies only. Our a-posteriori evaluation excludes the chance coincidence of the two neutrinos with the Seyfert galaxy NGC 7469 at 3.3-sigma level. To be compatible with non-detections of TeV neutrinos, the source would need to have a hard spectral index.


title: The solenoidal Virasoro algebra and its simple weight modules

abstract: Let $A_n=\mathbb{C}[t_i^{\pm1},~1\leq i\leq n]$ be the algebra of Laurent polynomials in $n$-variables. Let $\mu=(\mu_1,\ldots,\mu_n)$ be a generic vector in $\mathbb{C}^n$ and $\Gamma_{\mu}=\{\mu\cdot\alpha,\alpha\in \mathbb{Z}^n\}$ where $\mu\cdot\alpha=\displaystyle\sum_{i=1}^n\mu_i\alpha_i$ for $\alpha=(\alpha_1,\ldots,\alpha_n)\in \mathbb{Z}^n$. Denote by $d_\mu$ the vector field: $$d_\mu=\displaystyle\sum_{i=1}^n\mu_it_i\frac{d}{dt_i}.$$ In \cite{BiFu}, Y. Billig and V. Futorny introduce the solenoidal Lie algebra $\mathbf{W}(n)_{\mu}:=A_nd_\mu$, where the Lie structure is given by the commutators of vector fields. In the first part of this paper, we study the universal central extension of $\mathbf{W}(n)_{\mu}$. We obtain a rank $n$ Virasoro algebra called the solenoidal Virasoro algebra $\mathbf{Vir}(n)_\mu$. In the second part, we recall in the case of $\mathbf{Vir}(n)_\mu$, the well know Harich-Chandra modules for generalized Virasoro algebra studied in \cite{Su,Su1,LuZhao}. In the third part, we construct irreducible highest and lowest $\mathbf{Vir}(n)_\mu$-modules using triangular decomposition given by lexicographic order on $\mathbb{Z}^{n}$. We prove that these modules are weight modules which have infinite dimensional weight spaces.


title: Twisted Knots and the Perturbed Alexander Invariant

abstract: The perturbed Alexander invariant $\rho_1$, defined by Bar-Natan and van der Veen, is a powerful, easily computable polynomial knot invariant with deep connections to the Alexander and colored Jones polynomials. We study the behavior of $\rho_1$ for families of knots $\{K_t\}$ given by performing $t$ full twists on a set of coherently oriented strands in a knot $K_0 \subset S^3$. We prove that as $t \to \infty$ the coefficients of $\rho_1$ grow asymptotically linearly, and we show how to compute this growth rate for any such family. As an application we give the first theorem on the ability of $\rho_1$ to distinguish knots in infinite families, and we conjecture that $\rho_1$ obstructs knot positivity via a "perturbed Conway invariant." Along the way we expand on a model of random walks on knot diagrams defined by Lin, Tian and Wang.


title: Relativization is naturally functorial

abstract: In this note, we provide some categorical perspectives on the relativization construction arising from quantum measurement theory in the presence of symmetries and occupying a central place in the operational approach to quantum reference frames. This construction provides, for any quantum system, a quantum channel from the system's algebra to the invariant algebra on the composite system also encompassing the chosen reference, contingent upon a choice of the pointer observable. These maps are understood as relativizing observables on systems upon the specification of a quantum reference frame. We begin by extending the construction to systems modelled on subspaces of algebras of operators to then define a functor taking a pair consisting of a reference frame and a system and assigning to them a subspace of relative operators defined in terms of an image of the corresponding relativization map. When a single frame and equivariant channels are considered, the relativization maps can be understood as a natural transformation. Upon fixing a system, the functor provides a novel kind of frame transformation that we call external. Results achieved provide a deeper structural understanding of the framework of interest and point towards its categorification and potential application to local systems of algebraic quantum field theories.


title: Maximizing Energy Charging for UAV-assisted MEC Systems with SWIPT

abstract: A Unmanned aerial vehicle (UAV)-assisted mobile edge computing (MEC) scheme with simultaneous wireless information and power transfer (SWIPT) is proposed in this paper. Unlike existing MEC-WPT schemes that disregard the downlink period for returning computing results to the ground equipment (GEs), our proposed scheme actively considers and capitalizes on this period. By leveraging the SWIPT technique, the UAV can simultaneously transmit energy and the computing results during the downlink period. In this scheme, our objective is to maximize the remaining energy among all GEs by jointly optimizing computing task scheduling, UAV transmit and receive beamforming, BS receive beamforming, GEs' transmit power and power splitting ratio for information decoding, time scheduling, and UAV trajectory. We propose an alternating optimization algorithm that utilizes the semidefinite relaxation (SDR), singular value decomposition (SVD), and fractional programming (FP) methods to effectively solve the nonconvex problem. Numerous experiments validate the effectiveness of the proposed scheme.


title: Non-Abelian anyon statistics through AC conductance of a Majorana interferometer

abstract: Demonstrating the non-Abelian Ising anyon statistics of Majorana zero modes in a physical platform still represents a major open challenge in physics. We here show that the linear low-frequency charge conductance of a Majorana interferometer containing a floating superconducting island can reveal the topological spin of quantum edge vortices. The latter are associated with chiral Majorana fermion edge modes and represent "flying" Ising anyons. We describe possible device implementations and outline how to detect non-Abelian anyon braiding through AC conductance measurements.


title: Coherent feedback for quantum expander in gravitational wave observatories

abstract: The observation of gravitational waves from binary neutron star mergers offers insights into properties of extreme nuclear matter. However, their high-frequency signals in the kHz range are often masked by quantum noise of the laser light used. Here, we propose the "quantum expander with coherent feedback", a new detector design that features an additional optical cavity in the detector output and an internal squeeze operation. This approach allows to boost the sensitivity at high frequencies, at the same time providing a compact and tunable design for signal extraction. It allows to tailor the sensitivity of the detector to the specific signal frequency range. We demonstrate that our design allows to improve the sensitivity of the high-frequency detector concept NEMO (neutron star extreme matter observatory), increasing the detection rates by around 15%. Our approach promises new level of flexibility in designing the detectors aiming at high-frequency signals.

categories: physics.ins-det astro-ph.IM gr-qc quant-ph


title: Homoclinic classes of geodesic flows on rank 1 manifolds

abstract: We prove that the homoclinic class of every hyperbolic periodic orbit of a geodesic flow over a $C^\infty$ closed rank 1 Riemannian manifold equals the unit tangent bundle. As an application, we give a proof using symbolic dynamics of the theorem of Knieper on the uniqueness of the measure of maximal entropy and theorems of Burns et al on the uniqueness of equilibrium states.


title: A new pairwise boost quantum number from celestial states

abstract: Infrared effects in the scattering of particles in gravity and electrodynamics entail an exchange of relativistic angular momentum between pairs of particles and the gauge field. Due to this exchange particles can carry an asymptotically non-vanishing "pairwise" boost-like angular momentum proportional to the product of their couplings to the field. At the quantum level this asymptotic angular momentum suggests the existence of a new quantum number carried by multi-particle states. We argue that such quantum number is related to a modification of the action of the generators of Lorentz transformations on multi-particle states. We derive such a modification using a group-theoretic argument based on the little group of the conformal primary basis for asymptotic states. The corresponding representation is an extension of the ordinary multi-particle Fock representation of the Poincar\'e group. The new multi-particle states belonging to such representation no longer factorize into tensor products of one-particle states. Viewed from a gravitational point of view, our results provide evidence for a universal breakdown of the description of multi-particle sates in terms of Fock space due to infrared back-reaction.


title: Parameterized quantum comb and simpler circuits for reversing unknown qubit-unitary operations

abstract: Quantum comb is an essential tool for characterizing complex quantum protocols in quantum information processing. In this work, we introduce PQComb, a framework leveraging parameterized quantum circuits to explore the capabilities of quantum combs for general quantum process transformation tasks and beyond. By optimizing PQComb for time-reversal simulations of unknown unitary evolutions, we develop a simpler protocol for unknown qubit unitary inversion that reduces the ancilla qubit overhead from 6 to 3 compared to the existing method in [Yoshida, Soeda, Murao, PRL 131, 120602, 2023]. This demonstrates the utility of quantum comb structures and showcases PQComb's potential for solving complex quantum tasks. Our results pave the way for broader PQComb applications in quantum computing and quantum information, emphasizing its versatility for tackling diverse problems in quantum machine learning.


title: Room Impulse Response Estimation using Optimal Transport: Simulation-Informed Inference

abstract: The ability to accurately estimate room impulse responses (RIRs) is integral to many applications of spatial audio processing. Regrettably, estimating the RIR using ambient signals, such as speech or music, remains a challenging problem due to, e.g., low signal-to-noise ratios, finite sample lengths, and poor spectral excitation. Commonly, in order to improve the conditioning of the estimation problem, priors are placed on the amplitudes of the RIR. Although serving as a regularizer, this type of prior is generally not useful when only approximate knowledge of the delay structure is available, which, for example, is the case when the prior is a simulated RIR from an approximation of the room geometry. In this work, we target the delay structure itself, constructing a prior based on the concept of optimal transport. As illustrated using both simulated and measured data, the resulting method is able to beneficially incorporate information even from simple simulation models, displaying considerable robustness to perturbations in the assumed room dimensions and its temperature.


title: Flipped non-associative polynomial rings and the Cayley-Dickson construction

abstract: We introduce and study flipped non-associative polynomial rings. In particular, we show that all Cayley-Dickson algebras naturally appear as quotients of a certain type of such rings; this extends the classical construction of the complex numbers (and quaternions) as a quotient of a (skew) polynomial ring to the octonions, and beyond. We also extend some classical results on algebraic properties of Cayley-Dickson algebras by McCrimmon to a class of flipped non-associative polynomial rings.


title: The role of interfacial interactions and oxygen vacancies in tuning magnetic anisotropy in LaCrO$_{3}$/LaMnO$_{3}$ heterostructures

abstract: The interplay of lattice, electronic, and spin degrees of freedom at epitaxial complex oxide interfaces provides a route to tune their magnetic ground states. Unraveling the competing contributions is critical for tuning their functional properties. We investigate the relationship between magnetic ordering and magnetic anisotropy and the lattice symmetry, oxygen content, and film thickness in compressively strained LaMnO$_3$/LaCrO$_3$ superlattices. Mn-O-Cr antiferromagnetic superexchange interactions across the heterointerface resulting in a net ferrimagnetic magnetic structure. Bulk magnetometry measurements reveal isotropic in-plane magnetism for as-grown oxygen-deficient thinner thin samples due to equal fractions of orthorhombic a+a-c-, and a-a+c- twin domains. As the superlattice thickness is increased, in-plane magnetic anisotropy emerges as the fraction of the a+a-c- domain increases. On annealing in oxygen, the suppression of oxygen vacancies results in a contraction of the lattice volume, and an orthorhombic to rhombohedral transition leads to isotropic magnetism independent of the film thickness. The complex interactions are investigated using high-resolution synchrotron diffraction and X-ray absorption spectroscopy. These results highlight the role of the evolution of structural domains with film thickness, interfacial spin interactions, and oxygen-vacancy-induced structural phase transitions in tuning the magnetic properties of complex oxide heterostructures.


title: Nonlinear Landau fan diagram and aperiodic magnetic oscillations in three-dimensional systems

abstract: Quantum oscillations offer a powerful probe for the geometry and topology of the Fermi surface in metals. Onsager's semiclassical quantization relation governs these periodic oscillations in 1/B, leading to a linear Landau fan diagram. However, higher-order magnetic susceptibility-induced corrections give rise to a generalized Onsager's relation, manifesting in experiments as a nonlinear Landau fan diagram and aperiodic quantum oscillations. Here, we explore the generalized Onsager's relation to three-dimensional (3D) systems to capture the B-induced corrections in the free energy and the Fermi surface. We unravel the manifestation of these corrections in the nonlinear Landau fan diagrams and aperiodic quantum oscillations by deriving the B-dependent oscillation frequency and the generalized Lifshitz-Kosevich equation, respectively. Our theory explains the necessary conditions to observe these fascinating effects and predicts the magnetic field dependence of the cyclotron mass. As a concrete example, we elucidate these effects in a 3D spin-orbit coupled system and extract zero-field magnetic response functions from analytically obtained Landau levels. Our comprehensive study deepens and advances our understanding of aperiodic quantum oscillations.


title: How to find optimal quantum states for optical micromanipulation and metrology in complex scattering problems: tutorial

abstract: The interaction of quantum light with matter is of great importance to a wide range of scientific disciplines, ranging from optomechanics to high precision measurements. A central issue we discuss here, is how to make optimal use of both the spatial and the quantum degrees of freedom of light for characterizing and manipulating arbitrary observable parameters in a linear scattering system into which suitably engineered light fields are injected. Here, we discuss a comprehensive framework based on a quantum operator that can be assembled solely from the scattering matrix of a system and its dependence on the corresponding local parameter, making this operator experimentally measurable from the far-field using only classical light. From this, the effect of quantum light in the near-field, i.e., in the vicinity of the target object, can be inferred. Based on this framework, it is straightforward to formulate optimal protocols on how to jointly design both the spatial shape and the quantum characteristics of light for micromanipulation as well as for parameter estimation in arbitrarily complex media. Also the forces of the quantum vacuum naturally emerge from this formalism. The aim of our tutorial is to bring different perspectives into alignment and thereby build a bridge between the different communities of wave control, quantum optics, micromanipulation, quantum metrology and vacuum physics.


title: Predicting the Temperature Dependence of Surfactant CMCs Using Graph Neural Networks

abstract: The critical micelle concentration (CMC) of surfactant molecules is an essential property for surfactant applications in industry. Recently, classical QSPR and Graph Neural Networks (GNNs), a deep learning technique, have been successfully applied to predict the CMC of surfactants at room temperature. However, these models have not yet considered the temperature dependency of the CMC, which is highly relevant for practical applications. We herein develop a GNN model for temperature-dependent CMC prediction of surfactants. We collect about 1400 data points from public sources for all surfactant classes, i.e., ionic, nonionic, and zwitterionic, at multiple temperatures. We test the predictive quality of the model for following scenarios: i) when CMC data for surfactants are present in the training of the model in at least one different temperature, and ii) CMC data for surfactants are not present in the training, i.e., generalizing to unseen surfactants. In both test scenarios, our model exhibits a high predictive performance of R$^2 \geq $ 0.94 on test data. We also find that the model performance varies by surfactant class. Finally, we evaluate the model for sugar-based surfactants with complex molecular structures, as these represent a more sustainable alternative to synthetic surfactants and are therefore of great interest for future applications in the personal and home care industries.


title: DeepCRE: Transforming Drug R&D via AI-Driven Cross-drug Response Evaluation

abstract: The fields of therapeutic application and drug research and development (R&D) both face substantial challenges, i.e., the therapeutic domain calls for more treatment alternatives, while numerous promising pre-clinical drugs have failed in clinical trials. One of the reasons is the inadequacy of Cross-drug Response Evaluation (CRE) during the late stages of drug R&D. Although in-silico CRE models bring a promising solution, existing methodologies are restricted to early stages of drug R&D, such as target and cell-line levels, offering limited improvement to clinical success rates. Herein, we introduce DeepCRE, a pioneering AI model designed to predict CRE effectively in the late stages of drug R&D. DeepCRE outperforms the existing best models by achieving an average performance improvement of 17.7% in patient-level CRE, and a 5-fold increase in indication-level CRE, facilitating more accurate personalized treatment predictions and better pharmaceutical value assessment for indications, respectively. Furthermore, DeepCRE has identified a set of six drug candidates that show significantly greater effectiveness than a comparator set of two approved drugs in 5/8 colorectal cancer organoids. This demonstrates the capability of DeepCRE to systematically uncover a spectrum of drug candidates with enhanced therapeutic effects, highlighting its potential to transform drug R&D.


title: Impact of theoretical uncertainties on model parameter reconstruction from GW signals sourced by cosmological phase transitions

abstract: Different computational techniques for cosmological phase transition parameters can impact the Gravitational Wave (GW) spectra predicted in a given particle physics model. To scrutinize the importance of this effect, we perform large-scale parameter scans of the dynamical real-singlet extended Standard Model using three perturbative approximations for the effective potential: the $\overline{\rm MS}$ and on-shell schemes at leading order, and three-dimensional thermal effective theory (3D EFT) at next-to-leading order. While predictions of GW amplitudes are typically unreliable in the absence of higher-order corrections, we show that the reconstructed model parameter spaces are robust up to a few percent in uncertainty. While 3D EFT is accurate from one loop order, theoretical uncertainties of reconstructed model parameters, using four-dimensional standard techniques, remain dominant over the experimental ones even for signals merely strong enough to claim a detection by LISA.


title: An assessment of $\mathbf{\Upsilon}$-states above $\mathbf{B\bar B}$-threshold using a constituent-quark-model based meson-meson coupled-channels framework

abstract: The $\Upsilon(10753)$ state has been recently observed by the Belle and Belle~II collaborations with enough global significance to motivate an assessment of the high-energy spectrum usually predicted by any reasonable \emph{na\"ive} quark model. In the framework of a constituent quark model which satisfactorily describes a wide range of properties of conventional hadrons containing heavy quarks, the quark-antiquark and meson-meson degrees of freedom have been incorporated with the goal of elucidating the influence of open-bottom meson-meson thresholds into the $\Upsilon$ states whose masses are within the energy range of the $\Upsilon(10753)$'s mass. It is well known that such effects could be relevant enough as to generate dynamically new states and thus provide a plausible explanation of the nature of the $\Upsilon(10753)$ state. In particular, we have performed a coupled-channels calculation in which the bare states $\Upsilon(4S)$, $\Upsilon(3D)$, $\Upsilon(5S)$ and $\Upsilon(4D)$ are considered together with the threshold channels $B\bar{B}$, $B\bar{B}^\ast$, $B^\ast \bar{B}^\ast$, $B_s\bar{B}_s$, $B_s\bar{B}_s^\ast$ and $B_s^\ast \bar{B}_s^\ast$. Among the results we have described, the following conclusions are of particular interest: (i) a richer complex spectrum is gained when thresholds are present and bare bound states are sufficiently non-relativistic; (ii) those poles obtained in the complex energy plane do not have to appear as simple peaks in the relevant cross sections; and (iii) the $\Upsilon(10750)$ candidate is interpreted as a dressed hadronic resonance whose structure is an equally mixture of a conventional $b\bar b$ state and $B^\ast \bar B^\ast$ molecule.


title: Joint Sparsity Pattern Learning Based Channel Estimation for Massive MIMO-OTFS Systems

abstract: We propose a channel estimation scheme based on joint sparsity pattern learning (JSPL) for massive multi-input multi-output (MIMO) orthogonal time-frequency-space (OTFS) modulation aided systems. By exploiting the potential joint sparsity of the delay-Doppler-angle (DDA) domain channel, the channel estimation problem is transformed into a sparse recovery problem. To solve it, we first apply the spike and slab prior model to iteratively estimate the support set of the channel matrix, and a higher-accuracy parameter update rule relying on the identified support set is introduced into the iteration. Then the specific values of the channel elements corresponding to the support set are estimated by the orthogonal matching pursuit (OMP) method. Both our simulation results and analysis demonstrate that the proposed JSPL channel estimation scheme achieves an improved performance over the representative state-of-the-art baseline schemes, despite its reduced pilot overhead.


title: AcceleratedLiNGAM: Learning Causal DAGs at the speed of GPUs

abstract: Existing causal discovery methods based on combinatorial optimization or search are slow, prohibiting their application on large-scale datasets. In response, more recent methods attempt to address this limitation by formulating causal discovery as structure learning with continuous optimization but such approaches thus far provide no statistical guarantees. In this paper, we show that by efficiently parallelizing existing causal discovery methods, we can in fact scale them to thousands of dimensions, making them practical for substantially larger-scale problems. In particular, we parallelize the LiNGAM method, which is quadratic in the number of variables, obtaining up to a 32-fold speed-up on benchmark datasets when compared with existing sequential implementations. Specifically, we focus on the causal ordering subprocedure in DirectLiNGAM and implement GPU kernels to accelerate it. This allows us to apply DirectLiNGAM to causal inference on large-scale gene expression data with genetic interventions yielding competitive results compared with specialized continuous optimization methods, and Var-LiNGAM for causal discovery on U.S. stock data.


title: Verified Training for Counterfactual Explanation Robustness under Data Shift

abstract: Counterfactual explanations (CEs) enhance the interpretability of machine learning models by describing what changes to an input are necessary to change its prediction to a desired class. These explanations are commonly used to guide users' actions, e.g., by describing how a user whose loan application was denied can be approved for a loan in the future. Existing approaches generate CEs by focusing on a single, fixed model, and do not provide any formal guarantees on the CEs' future validity. When models are updated periodically to account for data shift, if the generated CEs are not robust to the shifts, users' actions may no longer have the desired impacts on their predictions. This paper introduces VeriTraCER, an approach that jointly trains a classifier and an explainer to explicitly consider the robustness of the generated CEs to small model shifts. VeriTraCER optimizes over a carefully designed loss function that ensures the verifiable robustness of CEs to local model updates, thus providing deterministic guarantees to CE validity. Our empirical evaluation demonstrates that VeriTraCER generates CEs that (1) are verifiably robust to small model updates and (2) display competitive robustness to state-of-the-art approaches in handling empirical model updates including random initialization, leave-one-out, and distribution shifts.


title: Multimessenger signals from compact axion star mergers

abstract: Axion dark matter can form stable, self-gravitating, and coherent configurations known as axion stars, which are rendered unstable above a critical mass by the Chern-Simons coupling to electromagnetism. We study, using numerical relativity, the merger and subsequent decay of compact axion stars. We show that two sub-critical stars can merge, and form a more massive, excited and critical star, which survives for a finite period before rapidly decaying via electromagnetic radiation. We find a rich multimessenger signal, composed of gravitational waves, electromagnetic radiation, and axion radiation. The gravitational wave signal is broken into two parts: a weak and broad signal from the merger, followed by a much stronger signal of almost fixed frequency from the decay. The electromagnetic radiation follows only the gravitational waves from the decay, while the axion signal is continuous throughout the process. We briefly discuss the detectability of such a signal.


title: Photonic-electronic spiking neuron with multi-modal and multi-wavelength excitatory and inhibitory operation for high-speed neuromorphic sensing and computing

abstract: We report a multi-modal spiking neuron that allows optical and electronic input and control, and wavelength-multiplexing operation, for use in novel high-speed neuromorphic sensing and computing functionalities. The photonic-electronic neuron is built with a micro-scale, nanostructure resonant tunnelling diode (RTD) with photodetection (PD) capability. Leveraging the advantageous intrinsic properties of this RTD-PD system, namely highly nonlinear characteristics, photo-sensitivity, light-induced I-V curve shift, and the ability to deliver excitable responses under electrical and optical inputs, we successfully achieve flexible neuromorphic spike activation and inhibition regimes through photonic-electrical control. We also demonstrate the ability of this RTD-PD spiking sensing-processing neuron to operate under the simultaneous arrival of multiple wavelength-multiplexed optical signals, due to its large photodetection spectral window (covering the 1310 and 1550 nm telecom wavelength bands). Our results highlight the potential of RTD photonic-electronic neurons to reproduce multiple key excitatory and inhibitory spiking regimes, at high speed (ns-rate spiking responses, with faster sub-ns regimes theoretically predicted) and low energy (requiring only ~10 mV and ~150 microW, electrical and optical input amplitudes, respectively), similar in nature to those commonly found in the biological neurons of the visual system and the brain. This work offers a highly promising approach for the realisation of high-speed, energy-efficient photonic-electronic spiking neurons and spiking neural networks, enabling multi-modal and multi-wavelength operation for sensing and information processing tasks. This work therefore paves the way for innovative high-speed, photonic-electronic, and spike-based neuromorphic sensing and computing systems and artificial intelligence hardware.


title: Lars Brink: November 12, 1943 - October 29, 2022

abstract: We give some personal reflections on the person and scientist Lars Brink and on some of his scientific achievements. Our relations to Lars are briefly described in [1] and [2], while the sources relevant for this text are summarised in [3].


title: ENOT: Expectile Regularization for Fast and Accurate Training of Neural Optimal Transport

abstract: We present a new approach for Neural Optimal Transport (NOT) training procedure, capable of accurately and efficiently estimating optimal transportation plan via specific regularization on dual Kantorovich potentials. The main bottleneck of existing NOT solvers is associated with the procedure of finding a near-exact approximation of the conjugate operator (i.e., the c-transform), which is done either by optimizing over non-convex max-min objectives or by the computationally intensive fine-tuning of the initial approximated prediction. We resolve both issues by proposing a new, theoretically justified loss in the form of expectile regularisation which enforces binding conditions on the learning process of dual potentials. Such a regularization provides the upper bound estimation over the distribution of possible conjugate potentials and makes the learning stable, completely eliminating the need for additional extensive fine-tuning. Proposed method, called Expectile-Regularised Neural Optimal Transport (ENOT), outperforms previous state-of-the-art approaches on the established Wasserstein-2 benchmark tasks by a large margin (up to a 3-fold improvement in quality and up to a 10-fold improvement in runtime). Moreover, we showcase performance of ENOT for varying cost functions on different tasks such as image generation, showing robustness of proposed algorithm.


title: Ancestor regression in structural vector autoregressive models

abstract: We present a new method for causal discovery in linear structural vector autoregressive models. We adapt an idea designed for independent observations to the case of time series while retaining its favorable properties, i.e., explicit error control for false causal discovery, at least asymptotically. We apply our method to several real-world bivariate time series datasets and discuss its findings which mostly agree with common understanding. The arrow of time in a model can be interpreted as background knowledge on possible causal mechanisms. Hence, our ideas could be extended to incorporating different background knowledge, even for independent observations.


title: High-Impedance Microwave Resonators with Two-Photon Nonlinear Effects

abstract: In this article, we present an experimental study of a Josephson junction -based high-impedance resonator. By taking the resonator to the limit of consisting effectively only of one junction, results in strong non-linear effects already for the second photon while maintaining a high impedance of the resonance mode. Our experiment yields thus resonators with the strong interactions both between individual resonator photons and from the resonator photons to other electric quantum systems. We also present an energy diagram technique which enables to measure, identify and analyse different multi-photon optics processes along their energy conservation lines.


title: Loophole-free Bell inequality violations cannot disprove local realism

abstract: For almost three decades in the twentieth century, the physics community believed that John von Neumann had proved the impossibility of completing quantum mechanics by a local realist, hidden-variables theory. Although Grete Hermann had raised strong objections to von Neumann's proof, she was largely ignored. This situation lasted, until John Bell rediscovered that von Neumann's proof was flawed: a \emph{sufficient} condition for local realism had been taken as a \emph{necessary} one. Bell subsequently established various constraints on hidden-variables theories, in the form of inequalities that can be submitted to experimental test. All performed tests to date have opened some loopholes. The quest to close them motivated great technical achievements and ongoing efforts to improve what has already been reached. There is, however, a rather ironic twist concerning Bell inequalities. On deriving them, Bell also took a sufficient condition for local-realism, as if it were a necessary one. As a consequence, even completely loophole-free Bell inequality violations would not disprove local realism. We argue that Bell inequalities cannot follow from local-realism alone. The proof is given by constructing three local-realist models that entail Bell inequality violations.


title: Neural Architecture Search using Particle Swarm and Ant Colony Optimization

abstract: Neural network models have a number of hyperparameters that must be chosen along with their architecture. This can be a heavy burden on a novice user, choosing which architecture and what values to assign to parameters. In most cases, default hyperparameters and architectures are used. Significant improvements to model accuracy can be achieved through the evaluation of multiple architectures. A process known as Neural Architecture Search (NAS) may be applied to automatically evaluate a large number of such architectures. A system integrating open source tools for Neural Architecture Search (OpenNAS), in the classification of images, has been developed as part of this research. OpenNAS takes any dataset of grayscale, or RBG images, and generates Convolutional Neural Network (CNN) architectures based on a range of metaheuristics using either an AutoKeras, a transfer learning or a Swarm Intelligence (SI) approach. Particle Swarm Optimization (PSO) and Ant Colony Optimization (ACO) are used as the SI algorithms. Furthermore, models developed through such metaheuristics may be combined using stacking ensembles. In the context of this paper, we focus on training and optimizing CNNs using the Swarm Intelligence (SI) components of OpenNAS. Two major types of SI algorithms, namely PSO and ACO, are compared to see which is more effective in generating higher model accuracies. It is shown, with our experimental design, that the PSO algorithm performs better than ACO. The performance improvement of PSO is most notable with a more complex dataset. As a baseline, the performance of fine-tuned pre-trained models is also evaluated.