title: Uplifting edges in higher order networks: spectral centralities for non-uniform hypergraphs

abstract: Spectral analysis of networks states that many structural properties of graphs, such as centrality of their nodes, are given in terms of their adjacency matrices. The natural extension of such spectral analysis to higher order networks is strongly limited by the fact that a given hypergraph could have several different adjacency hypermatrices, hence the results obtained so far are mainly restricted to the class of uniform hypergraphs, which leaves many real systems unattended. A new method for analysing non-linear eigenvector-like centrality measures of non-uniform hypergraphs is presented in this paper that could be useful for studying properties of $\mathcal{H}$-eigenvectors and $\mathcal{Z}$-eigenvectors in the non-uniform case. In order to do so, a new operation - the $\textit{uplift}$ - is introduced, incorporating auxiliary nodes in the hypergraph to allow for a uniform-like analysis. We later argue why this is a mathematically sound operation, and we furthermore use it to classify a whole family of hypergraphs with unique Perron-like $\mathcal{Z}$-eigenvectors. We supplement the theoretical analysis with several examples and numerical simulations on synthetic and real datasets.

categories: math.SP math-ph math.MP physics.comp-ph physics.soc-ph


title: Origins and conservation of topological polarization defects in resonant photonic-crystal diffraction

abstract: We present a continuative definition of topological charge to depict the polarization defects on any resonant diffraction orders in photonic crystal slab regardless they are radiative or evanescent. By using such a generalized definition, we investigate the origins and conservation of integer polarization defects across the whole Brollouin zone. We found that these polarization defects eventually originate from the mode degeneracy that is induced by lattice coupling as a consequence of momentum space folding, or inter-band coupling that can be either Hermitian or Non-hermitian. By counting all types of polarization defects, the total topological charge numbers in a given diffraction order is a conserved quantity across the whole Brillouin zone that is determined by lattice geometry only.


title: Anomalous T-dependence of phonon lifetimes in metallic VO2

abstract: We investigate phonon lifetimes in VO2 single crystals. We do so in the metallic state above the metal-insulator transition (MIT), where strong structural fluctuations are known to take place. By combining inelastic X-ray scattering and Raman spectroscopy, we track the temperature dependence of several acoustic and optical phonon modes up to 1000 K. Contrary to what is commonly observed, we find that phonon lifetimes decrease with decreasing temperature. Our results show that pre-transitional fluctuations in the metallic state give rise to strong electron-phonon scattering that onsets hundreds of degrees above the transition and increases as the MIT is approached. Notably, this effect is not limited to specific points of reciprocal space that could be associated with the structural transition.


title: de Haas-van Alphen spectroscopy and fractional quantization of magnetic-breakdown orbits in moir\'e graphene

abstract: Quantum oscillations originating from the quantization of the electron cyclotron orbits provide ultrasensitive diagnostics of electron bands and interactions in novel materials. We report on the first direct-space nanoscale imaging of the thermodynamic magnetization oscillations due to the de Haas-van Alphen effect in moir\'e graphene. Scanning by SQUID-on-tip in Bernal bilayer graphene crystal-axis-aligned to hBN reveals abnormally large magnetization oscillations with amplitudes reaching 500 {\mu}_B/electron in weak magnetic fields, unexpectedly low frequencies, and high sensitivity to the superlattice filling fraction. The oscillations allow us to reconstruct the complex band structure in exquisite detail, revealing narrow moir\'e bands with multiple overlapping Fermi surfaces separated by unusually small momentum gaps. We identify distinct sets of oscillations that violate the textbook Onsager Fermi surface sum rule, signaling formation of exotic broad-band particle-hole superposition states induced by coherent magnetic breakdown.


title: ExoRecovery: Push Recovery with a Lower-Limb Exoskeleton based on Stepping Strategy

abstract: Balance loss is a significant challenge in lower-limb exoskeleton applications, as it can lead to potential falls, thereby impacting user safety and confidence. We introduce a control framework for omnidirectional recovery step planning by online optimization of step duration and position in response to external forces. We map the step duration and position to a human-like foot trajectory, which is then translated into joint trajectories using inverse kinematics. These trajectories are executed via an impedance controller, promoting cooperation between the exoskeleton and the user. Moreover, our framework is based on the concept of the divergent component of motion, also known as the Extrapolated Center of Mass, which has been established as a consistent dynamic for describing human movement. This real-time online optimization framework enhances the adaptability of exoskeleton users under unforeseen forces thereby improving the overall user stability and safety. To validate the effectiveness of our approach, simulations, and experiments were conducted. Our push recovery experiments employing the exoskeleton in zero-torque mode (without assistance) exhibit an alignment with the exoskeleton's recovery assistance mode, that shows the consistency of the control framework with human intention. To the best of our knowledge, this is the first cooperative push recovery framework for the lower-limb human exoskeleton that relies on the simultaneous adaptation of intra-stride parameters in both frontal and sagittal directions. The proposed control scheme has been validated with human subject experiments.


title: Near-Optimal Coverage Path Planning with Turn Costs

abstract: Coverage path planning is a fundamental challenge in robotics, with diverse applications in aerial surveillance, manufacturing, cleaning, inspection, agriculture, and more. The main objective is to devise a trajectory for an agent that efficiently covers a given area, while minimizing time or energy consumption. Existing practical approaches often lack a solid theoretical foundation, relying on purely heuristic methods, or overly abstracting the problem to a simple Traveling Salesman Problem in Grid Graphs. Moreover, the considered cost functions only rarely consider turn cost, prize-collecting variants for uneven cover demand, or arbitrary geometric regions. In this paper, we describe an array of systematic methods for handling arbitrary meshes derived from intricate, polygonal environments. This adaptation paves the way to compute efficient coverage paths with a robust theoretical foundation for real-world robotic applications. Through comprehensive evaluations, we demonstrate that the algorithm also exhibits low optimality gaps, while efficiently handling complex environments. Furthermore, we showcase its versatility in handling partial coverage and accommodating heterogeneous passage costs, offering the flexibility to trade off coverage quality and time efficiency.


title: Signature of Topological Semimetal in Harmonic-honeycomb ReO3

abstract: Transition-metal honeycomb compounds are capturing scientific attention due to their distinctive electronic configurations, underscored by the triangular-lattice spin-orbit coupling and competition between multiple interactions, paving the way for potential manifestations of phenomena such as Dirac semimetal, superconductivity, and quantum spin liquid states. These compounds can undergo discernible pressure-induced alterations in their crystallographic and electronic paradigms, as exemplified by our high-pressure (HP) synthesis and exploration of the honeycomb polymorph of ReO3 (P6322). This HP-P6322 polymorph bears a phase transition from P6322 to P63/mmc upon cooling around Tp = 250 K, as evidenced by the evolution of temperature-dependent magnetization (M-T curves), cell dimension, and conductivity initiated by an inherent bifurcation of the oxygen position in the ab plane. Insightful analysis of its band structure positions suggests this HP-P6322 polymorph being a plausible candidate for Dirac semimetal properties. This phase transition evokes anomalies in the temperature-dependent variation of paramagnetism (non-linearity) and a crossover from semiconductor to temperature-independent metal, showing a temperature independent conductivity behavior below ~200 K. Under increasing external pressure, both the Tp and resistance of this HP-polymorph is slightly magnetic-field dependent and undergo a "V"-style evolution (decreasing and then increasing) before becoming pressure independent up to 20.2 GPa. Theoretical calculations pinpoint this anionic disorder as a probable catalyst for the decrement in the conductive efficiency and muted temperature-dependent conductivity response.


title: Bohr sets generated by polynomials and Coppersmith's method in many variables

abstract: We obtain bounds on the average size of Bohr sets with coefficients parametrised by polynomials over finite fields and obtain a series of general results and also some sharper results for specific sets which are important for applications to computer science. In particular, we use our estimates to show that a heuristic assumption used in the many variable version of Coppersmith's method holds with high probability. We demonstrate the use of our results on the approximate greatest common divisor problem and obtain a fully rigorous version of the heuristic algorithm of H. Cohn and N. Heninger (2013).


title: Large Multi-modal Encoders for Recommendation

abstract: In recent years, the rapid growth of online multimedia services, such as e-commerce platforms, has necessitated the development of personalised recommendation approaches that can encode diverse content about each item. Indeed, modern multi-modal recommender systems exploit diverse features obtained from raw images and item descriptions to enhance the recommendation performance. However, the existing multi-modal recommenders primarily depend on the features extracted individually from different media through pre-trained modality-specific encoders, and exhibit only shallow alignments between different modalities - limiting these systems' ability to capture the underlying relationships between the modalities. In this paper, we investigate the usage of large multi-modal encoders within the specific context of recommender systems, as these have previously demonstrated state-of-the-art effectiveness when ranking items across various domains. Specifically, we tailor two state-of-the-art multi-modal encoders (CLIP and VLMo) for recommendation tasks using a range of strategies, including the exploration of pre-trained and fine-tuned encoders, as well as the assessment of the end-to-end training of these encoders. We demonstrate that pre-trained large multi-modal encoders can generate more aligned and effective user/item representations compared to existing modality-specific encoders across three multi-modal recommendation datasets. Furthermore, we show that fine-tuning these large multi-modal encoders with recommendation datasets leads to an enhanced recommendation performance. In terms of different training paradigms, our experiments highlight the essential role of the end-to-end training of large multi-modal encoders in multi-modal recommendation systems.


title: Multi-Valued Verification of Strategic Ability

abstract: Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued alternating-time temporal logic (mv-ATL*), an expressive logic to specify strategic abilities in multi-agent systems. It is well known that, for branching-time logics, a general method for model-independent translation from multi-valued to two-valued model checking exists. We show that the method cannot be directly extended to mv-ATL*. We also propose two ways of overcoming the problem. Firstly, we identify constraints on formulas for which the model-independent translation can be suitably adapted. Secondly, we present a model-dependent reduction that can be applied to all formulas of mv-ATL*. We show that, in all cases, the complexity of verification increases only linearly when new truth values are added to the evaluation domain. We also consider several examples that show possible applications of mv-ATL* and motivate its use for model checking multi-agent systems.


title: Variational formalism for the Klein-Gordon oscillon

abstract: The variational method employing the amplitude and width as collective coordinates of the Klein-Gordon oscillon leads to a dynamical system with unstable periodic orbits that blow up when perturbed. We propose a multiscale variational approach free from the blow-up singularities. An essential feature of the proposed trial function is the inclusion of the third collective variable: a correction for the nonuniform phase growth. In addition to determining the parameters of the oscillon, our approach detects the onset of its instability.


title: Norm attaining vectors and Hilbert points

abstract: Let $H$ be a Hilbert space that can be embedded as a dense subspace of a Banach space $X$ such that the norm of the embedding is equal to $1$. We consider the following statements for a nonzero vector $\varphi$ in $H$: (A) $\|\varphi\|_X = \|\varphi\|_H$. (H) $\|\varphi+f\|_X \geq \|\varphi\|_X$ for every $f$ in $H$ such that $\langle f, \varphi \rangle =0$. We use duality arguments to establish that (A) $\implies$ (H), before turning our attention to the special case when the Hilbert space in question is the Hardy space $H^2(\mathbb{T}^d)$ and the Banach space is either the Hardy space $H^1(\mathbb{T}^d)$ or the weak product space $H^2(\mathbb{T}^d) \odot H^2(\mathbb{T}^d)$. If $d=1$, then the two Banach spaces are equal and it is known that (H) $\implies$ (A). If $d\geq2$, then the Banach spaces do not coincide and a case study of the polynomials $\varphi_\alpha(z) = z_1^2 + \alpha z_1 z_2 + z_2^2$ for $\alpha\geq0$ illustrates that the statements (A) and (H) for the two Banach spaces describe four distinct sets of functions.


title: Automatic Generators for a Family of Matrix Multiplication Routines with Apache TVM

abstract: We explore the utilization of the Apache TVM open source framework to automatically generate a family of algorithms that follow the approach taken by popular linear algebra libraries, such as GotoBLAS2, BLIS and OpenBLAS, in order to obtain high-performance blocked formulations of the general matrix multiplication (GEMM). % In addition, we fully automatize the generation process, by also leveraging the Apache TVM framework to derive a complete variety of the processor-specific micro-kernels for GEMM. This is in contrast with the convention in high performance libraries, which hand-encode a single micro-kernel per architecture using Assembly code. % In global, the combination of our TVM-generated blocked algorithms and micro-kernels for GEMM 1)~improves portability, maintainability and, globally, streamlines the software life cycle; 2)~provides high flexibility to easily tailor and optimize the solution to different data types, processor architectures, and matrix operand shapes, yielding performance on a par (or even superior for specific matrix shapes) with that of hand-tuned libraries; and 3)~features a small memory footprint.


title: Class Incremental Learning with Pre-trained Vision-Language Models

abstract: With the advent of large-scale pre-trained models, interest in adapting and exploiting them for continual learning scenarios has grown. In this paper, we propose an approach to exploiting pre-trained vision-language models (e.g. CLIP) that enables further adaptation instead of only using zero-shot learning of new tasks. We augment a pre-trained CLIP model with additional layers after the Image Encoder or before the Text Encoder. We investigate three different strategies: a Linear Adapter, a Self-attention Adapter, each operating on the image embedding, and Prompt Tuning which instead modifies prompts input to the CLIP text encoder. We also propose a method for parameter retention in the adapter layers that uses a measure of parameter importance to better maintain stability and plasticity during incremental learning. Our experiments demonstrate that the simplest solution -- a single Linear Adapter layer with parameter retention -- produces the best results. Experiments on several conventional benchmarks consistently show a significant margin of improvement over the current state-of-the-art.


title: A Low-cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks

abstract: We present a highly compact run-time monitoring approach for deep computer vision networks that extracts selected knowledge from only a few (down to merely two) hidden layers, yet can efficiently detect silent data corruption originating from both hardware memory and input faults. Building on the insight that critical faults typically manifest as peak or bulk shifts in the activation distribution of the affected network layers, we use strategically placed quantile markers to make accurate estimates about the anomaly of the current inference as a whole. Importantly, the detector component itself is kept algorithmically transparent to render the categorization of regular and abnormal behavior interpretable to a human. Our technique achieves up to ~96% precision and ~98% recall of detection. Compared to state-of-the-art anomaly detection techniques, this approach requires minimal compute overhead (as little as 0.3% with respect to non-supervised inference time) and contributes to the explainability of the model.


title: Combining Shape Completion and Grasp Prediction for Fast and Versatile Grasping with a Multi-Fingered Hand

abstract: Grasping objects with limited or no prior knowledge about them is a highly relevant skill in assistive robotics. Still, in this general setting, it has remained an open problem, especially when it comes to only partial observability and versatile grasping with multi-fingered hands. We present a novel, fast, and high fidelity deep learning pipeline consisting of a shape completion module that is based on a single depth image, and followed by a grasp predictor that is based on the predicted object shape. The shape completion network is based on VQDIF and predicts spatial occupancy values at arbitrary query points. As grasp predictor, we use our two-stage architecture that first generates hand poses using an autoregressive model and then regresses finger joint configurations per pose. Critical factors turn out to be sufficient data realism and augmentation, as well as special attention to difficult cases during training. Experiments on a physical robot platform demonstrate successful grasping of a wide range of household objects based on a depth image from a single viewpoint. The whole pipeline is fast, taking only about 1 s for completing the object's shape (0.7 s) and generating 1000 grasps (0.3 s).


title: Long-range interaction of hydrogen atoms at finite temperatures

abstract: In this study, we reexamine the long-range interaction between two atoms placed in an equilibrium thermal radiation environment. Employing the formalism of quantum electrodynamics at finite temperatures, we derive an expression for the thermal correction to the interaction potential and explore various asymptotic behaviors. The numerical calculations of temperature-dependent dispersion coefficients for both the ground and highly excited states of the hydrogen atom are performed. We proceed from the first principles of the theory to derive the dipole-dipole interaction at finite temperature. The analysis presented in this work reveals that the expressions established earlier in the context of phenomenological extrapolation from zero- to finite-temperature scenarios exhibit disparate asymptotic behavior and lead to overestimated results to those of the rigorous quantum electrodynamics approach.


title: AMERICANO: Argument Generation with Discourse-driven Decomposition and Agent Interaction

abstract: Argument generation is a challenging task in natural language processing, which requires rigorous reasoning and proper content organization. Inspired by recent chain-of-thought prompting that breaks down a complex task into intermediate steps, we propose Americano, a novel framework with agent interaction for argument generation. Our approach decomposes the generation process into sequential actions grounded on argumentation theory, which first executes actions sequentially to generate argumentative discourse components, and then produces a final argument conditioned on the components. To further mimic the human writing process and improve the left-to-right generation paradigm of current autoregressive language models, we introduce an argument refinement module which automatically evaluates and refines argument drafts based on feedback received. We evaluate our framework on the task of counterargument generation using a subset of Reddit/CMV dataset. The results show that our method outperforms both end-to-end and chain-of-thought prompting methods and can generate more coherent and persuasive arguments with diverse and rich contents.


title: General formulation of impedance in Frenet-Serret coordinate system

abstract: In accelerator physics, the concept of impedance is popularly used to describe the interactions of charged particles inside a bunch or between bunches in a train. Standard formulations of impedance assume that the driving charge has a constant velocity $\vec{v}=v\vec{i}_z$ in the $z$ direction of the Cartesian coordinate system. For the case of driving charge moving along a curved orbit, impedance can be formulated in the Frenet-Serret coordinate system, but there seems to be a lack of systematic formulations. This note presents an effort in this direction.


title: Statistical Complexity of Heterogeneous Geometric Networks

abstract: Heterogeneity and geometry are key explanatory components underlying the structure of real-world networks. The relationship between these components and the statistical complexity of networks is not well understood. We introduce a parsimonious normalised measure of statistical complexity for networks -- normalised hierarchical complexity. The measure is trivially 0 in regular graphs and we prove that this measure tends to 0 in Erd\"os-R\'enyi random graphs in the thermodynamic limit. We go on to demonstrate that greater complexity arises from the combination of hierarchical and geometric components to the network structure than either on their own. Further, the levels of complexity achieved are similar to those found in many real-world networks. We also find that real world networks establish connections in a way which increases hierarchical complexity and which our null models and a range of attachment mechanisms fail to explain. This underlines the non-trivial nature of statistical complexity in real-world networks and provides foundations for the comparative analysis of network complexity within and across disciplines.


title: Muscle volume quantification: guiding transformers with anatomical priors

abstract: Muscle volume is a useful quantitative biomarker in sports, but also for the follow-up of degenerative musculo-skelletal diseases. In addition to volume, other shape biomarkers can be extracted by segmenting the muscles of interest from medical images. Manual segmentation is still today the gold standard for such measurements despite being very time-consuming. We propose a method for automatic segmentation of 18 muscles of the lower limb on 3D Magnetic Resonance Images to assist such morphometric analysis. By their nature, the tissue of different muscles is undistinguishable when observed in MR Images. Thus, muscle segmentation algorithms cannot rely on appearance but only on contour cues. However, such contours are hard to detect and their thickness varies across subjects. To cope with the above challenges, we propose a segmentation approach based on a hybrid architecture, combining convolutional and visual transformer blocks. We investigate for the first time the behaviour of such hybrid architectures in the context of muscle segmentation for shape analysis. Considering the consistent anatomical muscle configuration, we rely on transformer blocks to capture the longrange relations between the muscles. To further exploit the anatomical priors, a second contribution of this work consists in adding a regularisation loss based on an adjacency matrix of plausible muscle neighbourhoods estimated from the training data. Our experimental results on a unique database of elite athletes show it is possible to train complex hybrid models from a relatively small database of large volumes, while the anatomical prior regularisation favours better predictions.


title: Large enhancement of near-field radiative heat transfer in the dual nanoscale regime enabled by electromagnetic corner and edge modes

abstract: It is well established that near-field radiative heat transfer (NFRHT) can exceed Planck's blackbody limit1 by orders of magnitude owing to the tunneling of evanescent electromagnetic frustrated and surface modes2-4, as has been demonstrated experimentally for NFRHT between two large parallel surfaces5-7 and between two subwavelength membranes8,9. However, while nanostructures can also sustain a much richer variety of localized electromagnetic modes at their corners and edges,10,11 the contributions of such additional modes to further enhancing NFRHT remain unexplored. Here, for the first time, we demonstrate both theoretically and experimentally a new physical mechanism of NFRHT mediated by these corner and edge modes, and show it can dominate the NFRHT in the "dual nanoscale regime" in which both the thickness of the emitter and receiver, and their gap spacing, are much smaller than the thermal photon wavelengths. For two coplanar 20 nm thick SiC membranes separated by a 100 nm vacuum gap, the NFRHT coefficient at room temperature is both predicted and measured to be 830 W/m2K, which is 5.5 times larger than that for two infinite SiC surfaces separated by the same gap, and 1400 times larger than the corresponding blackbody limit accounting for the geometric view factor between the emitter and receiver. This enhancement is dominated by the electromagnetic corner and edge modes which account for 81% of the NFRHT between these SiC membranes. These findings are important for future NFRHT applications in thermal management and energy conversion.


title: Enhancing the Spatial Awareness Capability of Multi-Modal Large Language Model

abstract: The Multi-Modal Large Language Model (MLLM) refers to an extension of the Large Language Model (LLM) equipped with the capability to receive and infer multi-modal data. Spatial awareness stands as one of the crucial abilities of MLLM, encompassing diverse skills related to understanding spatial relationships among objects and between objects and the scene area. Industries such as autonomous driving, smart healthcare, robotics, virtual, and augmented reality heavily demand MLLM's spatial awareness capabilities. However, there exists a noticeable gap between the current spatial awareness capabilities of MLLM and the requirements set by human needs. To address this issue, this paper proposes using more precise spatial position information between objects to guide MLLM in providing more accurate responses to user-related inquiries. Specifically, for a particular multi-modal task, we utilize algorithms for acquiring geometric spatial information and scene graphs to obtain relevant geometric spatial information and scene details of objects involved in the query. Subsequently, based on this information, we direct MLLM to address spatial awareness-related queries posed by the user. Extensive experiments were conducted in benchmarks such as MME, MM-Vet, and other multi-modal large language models. The experimental results thoroughly confirm the efficacy of the proposed method in enhancing the spatial awareness tasks and associated tasks of MLLM.


title: On Entire solutions of system of Fermat-type difference and partial differential-difference equations in $\mathbb{C}^n$

abstract: The equation $f^n+g^n=1$, $n\in\mathbb{N}$ can be regarded as the Fermat Diophantine equation over the function field. In this paper we study the characterization of entire solutions of some system of Fermat type functional equations by taking $e^{g_1(z)}$ and $e^{g_2(z)}$ in the right hand side of each equation, where $g_1(z)$ and $g_2(z)$ are polynomials in $\mathbb{C}^n$. Our results extend and generalize some recent results. Moreover, some examples have been exhibited to show that our results are precise to some extent.


title: Homogeneous continuous images of smaller weight

abstract: We show that every infinite crowded space can be mapped onto a homogeneous space of countable weight, and that there is a homogeneous space of weight continuum that cannot be mapped onto a homogeneous space of uncountable weight strictly less than continuum.


title: Mathematical Introduction to Deep Learning: Methods, Implementations, and Theory

abstract: This book aims to provide an introduction to the topic of deep learning algorithms. We review essential components of deep learning algorithms in full mathematical detail including different artificial neural network (ANN) architectures (such as fully-connected feedforward ANNs, convolutional ANNs, recurrent ANNs, residual ANNs, and ANNs with batch normalization) and different optimization algorithms (such as the basic stochastic gradient descent (SGD) method, accelerated methods, and adaptive methods). We also cover several theoretical aspects of deep learning algorithms such as approximation capacities of ANNs (including a calculus for ANNs), optimization theory (including Kurdyka-{\L}ojasiewicz inequalities), and generalization errors. In the last part of the book some deep learning approximation methods for PDEs are reviewed including physics-informed neural networks (PINNs) and deep Galerkin methods. We hope that this book will be useful for students and scientists who do not yet have any background in deep learning at all and would like to gain a solid foundation as well as for practitioners who would like to obtain a firmer mathematical understanding of the objects and methods considered in deep learning.

categories: cs.LG cs.AI cs.NA math.NA math.PR stat.ML


title: Reflected BSDE driven by a marked point process with a convex/concave generator

abstract: In this paper, a class of reflected backward stochastic differential equations (RBSDE) driven by a marked point process (MPP) with a convex/concave generator is studied. Based on fixed point argument, $\theta$-method and truncation technique, the well-posedness of this kind of RBSDE with unbounded terminal condition and obstacle is investigated. Besides, we present an application on the pricing of American options via utility maximization, which is solved by constructing an RBSDE with a convex generator.


title: Two for One -- Combined Morphologic and Quantitative Knee Joint MRI Using a Versatile Turbo Spin-Echo Platform

abstract: Introduction: Quantitative MRI techniques such as T2 and T1\r{ho} mapping are beneficial in evaluating knee joint pathologies; however, long acquisition times limit their clinical adoption. MIXTURE (Multi-Interleaved X-prepared Turbo-Spin Echo with IntUitive RElaxometry) provides a versatile turbo spin-echo (TSE) sequence platform for simultaneous morphologic and quantitative joint imaging yet lacks comparative evaluation in basic and translational research contexts. Methods: Two MIXTURE sequences were designed along clinical requirements: (i) MIX1, combining proton density (PD)-weighted fat-saturated (FS) images and quantitative T2 mapping (acquisition time: 4:59 min), and (ii) MIX2, combining T1-weighted images with quantitative T1\r{ho} mapping (6:38 min). MIXTURE sequences and their reference 2D and 3D TSE counterparts were acquired from ten human cadaveric knee joints using a clinical 3T MRI scanner and knee coil. Contrast, contrast-to-noise ratios, and coefficients of variation were comparatively evaluated using parametric tests. Clinical radiologists (n=3) assessed diagnostic quality as a function of sequence and anatomic structure using 5-point Likert scales and ordinal regression. The significance level was set to {\alpha}=0.01. Results: MIX1 and MIX2 had at least equal diagnostic quality compared to the 2D and 3D TSE sequences of the same image weighting. Contrast, contrast-to-noise ratios, and coefficients of variation were largely similar for the PD-weighted FS and T1-weighted images. Discussion: In clinically feasible scan times, the MIXTURE sequence platform yields (i) morphologic images of diagnostic quality and adjustable TSE-based contrasts and (ii) quantitative parameter mapping with additional insights on soft tissue composition and ultrastructure.


title: CAFE: Conflict-Aware Feature-wise Explanations

abstract: Feature attribution methods are widely used to explain neural models by determining the influence of individual input features on the models' outputs. We propose a novel feature attribution method, CAFE (Conflict-Aware Feature-wise Explanations), that addresses three limitations of the existing methods: their disregard for the impact of conflicting features, their lack of consideration for the influence of bias terms, and an overly high sensitivity to local variations in the underpinning activation functions. Unlike other methods, CAFE provides safeguards against overestimating the effects of neuron inputs and separately traces positive and negative influences of input features and biases, resulting in enhanced robustness and increased ability to surface feature conflicts. We show experimentally that CAFE is better able to identify conflicting features on synthetic tabular data and exhibits the best overall fidelity on several real-world tabular datasets, while being highly computationally efficient.


title: Flavor Hierarchies in Fundamental Partial Compositeness

abstract: The idea of partial compositeness (PC) in Composite Higgs models offers an attractive means to explain the flavour hierarchies observed in nature. In this talk, predictions of a minimal UV realisation of PC, considering each Standard-Model (SM) fermion to mix linearly with a bound state consisting of a new scalar and a new fermion, are presented, taking into account the dynamical emergence of the composites. Employing the non-perturbative functional renormalisation group, the scaling of the relevant correlation functions is examined and the resulting SM-fermion mass spectrum is analysed.


title: Physical-layer key distribution using synchronous complex dynamics of DBR semiconductor lasers

abstract: Common-signal-induced synchronization of semiconductor lasers with optical feedback inspired a promising physical key distribution with information-theoretic security and potential in high rate. A significant challenge is the requirement to shorten the synchronization recovery time for increasing key rate without sacrificing operation parameter space for security. Here, open-loop synchronization of wavelength-tunable multi-section distributed Bragg reflector (DBR) lasers is proposed as a solution for physical-layer key distribution. Experiments show that the synchronization is sensitive to two operation parameters, i.e., currents of grating section and phase section. Furthermore, fast wavelength-shift keying synchronization can be achieved by direct modulation on one of the two currents. The synchronization recovery time is shortened by one order of magnitude compared to close-loop synchronization. An experimental implementation is demonstrated with a final key rate of 5.98 Mbit/s over 160 km optical fiber distance. It is thus believed that fast-tunable multi-section semiconductor lasers opens a new avenue of high-rate physical-layer key distribution using laser synchronization.


title: Distil the informative essence of loop detector data set: Is network-level traffic forecasting hungry for more data?

abstract: Network-level traffic condition forecasting has been intensively studied for decades. Although prediction accuracy has been continuously improved with emerging deep learning models and ever-expanding traffic data, traffic forecasting still faces many challenges in practice. These challenges include the robustness of data-driven models, the inherent unpredictability of traffic dynamics, and whether further improvement of traffic forecasting requires more sensor data. In this paper, we focus on this latter question and particularly on data from loop detectors. To answer this, we propose an uncertainty-aware traffic forecasting framework to explore how many samples of loop data are truly effective for training forecasting models. Firstly, the model design combines traffic flow theory with graph neural networks, ensuring the robustness of prediction and uncertainty quantification. Secondly, evidential learning is employed to quantify different sources of uncertainty in a single pass. The estimated uncertainty is used to "distil" the essence of the dataset that sufficiently covers the information content. Results from a case study of a highway network around Amsterdam show that, from 2018 to 2021, more than 80\% of the data during daytime can be removed. The remaining 20\% samples have equal prediction power for training models. This result suggests that indeed large traffic datasets can be subdivided into significantly smaller but equally informative datasets. From these findings, we conclude that the proposed methodology proves valuable in evaluating large traffic datasets' true information content. Further extensions, such as extracting smaller, spatially non-redundant datasets, are possible with this method.


title: A Machine Learning-Based Framework for Clustering Residential Electricity Load Profiles to Enhance Demand Response Programs

abstract: Load shapes derived from smart meter data are frequently employed to analyze daily energy consumption patterns, particularly in the context of applications like Demand Response (DR). Nevertheless, one of the most important challenges to this endeavor lies in identifying the most suitable consumer clusters with similar consumption behaviors. In this paper, we present a novel machine learning based framework in order to achieve optimal load profiling through a real case study, utilizing data from almost 5000 households in London. Four widely used clustering algorithms are applied specifically K-means, K-medoids, Hierarchical Agglomerative Clustering and Density-based Spatial Clustering. An empirical analysis as well as multiple evaluation metrics are leveraged to assess those algorithms. Following that, we redefine the problem as a probabilistic classification one, with the classifier emulating the behavior of a clustering algorithm,leveraging Explainable AI (xAI) to enhance the interpretability of our solution. According to the clustering algorithm analysis the optimal number of clusters for this case is seven. Despite that, our methodology shows that two of the clusters, almost 10\% of the dataset, exhibit significant internal dissimilarity and thus it splits them even further to create nine clusters in total. The scalability and versatility of our solution makes it an ideal choice for power utility companies aiming to segment their users for creating more targeted Demand Response programs.


title: A new inertial condition on the subgradient extragradient method for solving pseudomonotone equilibrium problem

abstract: In this paper we study the pseudomonotone equilibrium problem. We consider a new inertial condition for the subgradient extragradient method with self-adaptive step size for approximating a solution of the equilibrium problem in a real Hilbert space. Our proposed method contains inertial factor with new conditions that only depend on the iteration coefficient. We obtain a weak convergence result of the proposed method under weaker conditions on the inertial factor than many existing conditions in the literature. Finally, we present some numerical experiments for our proposed method in comparison with existing methods in the literature. Our result improves, extends and generalizes several existing results in the literature.


title: Stability and Generalization of the Decentralized Stochastic Gradient Descent Ascent Algorithm

abstract: The growing size of available data has attracted increasing interest in solving minimax problems in a decentralized manner for various machine learning tasks. Previous theoretical research has primarily focused on the convergence rate and communication complexity of decentralized minimax algorithms, with little attention given to their generalization. In this paper, we investigate the primal-dual generalization bound of the decentralized stochastic gradient descent ascent (D-SGDA) algorithm using the approach of algorithmic stability under both convex-concave and nonconvex-nonconcave settings. Our theory refines the algorithmic stability in a decentralized manner and demonstrates that the decentralized structure does not destroy the stability and generalization of D-SGDA, implying that it can generalize as well as the vanilla SGDA in certain situations. Our results analyze the impact of different topologies on the generalization bound of the D-SGDA algorithm beyond trivial factors such as sample sizes, learning rates, and iterations. We also evaluate the optimization error and balance it with the generalization gap to obtain the optimal population risk of D-SGDA in the convex-concave setting. Additionally, we perform several numerical experiments which validate our theoretical findings.


title: Exotic Meson candidates in COMPASS data

abstract: One of the prime goals of the COMPASS experiment at CERN is the study of the light meson spectrum, with a particular emphasis on the search for exotic states. The focus of this paper is on signals of the lightest hybrid candidate $\pi_1(1600)$ with spin-exotic quantum numbers $J^{PC}=1^{-+}$ in several decay channels such as $\pi^-\pi^+\pi^-$, $\eta^{(\prime)}\pi^-$, $\omega\pi^-\pi^0$, $\pi^-\pi^+\pi^-\eta$, and $K_S K_S \pi$. In addition, we highlight new results for the $K^-\pi^+\pi^-$ final state, which indicate a supernumerary state with respect to the constituent quark model with $J^{P}=0^-$.


title: Optimal work fluctuations for thermally isolated systems in weak processes

abstract: The fluctuation-dissipation relation for the classical definition of work is extended to thermally isolated systems, in classical and quantum realms. From this, the optimal work variance is calculated, showing it achieves its minimum possible value, independent of the rate of the process, in a so-called quasistatic variance, related to the difference between the quasistatic work and the difference of Helmholtz's free energy of the system. The result is corroborated by the example of the classical and driven harmonic oscillator, whose probability density function of the work distribution is non-Gaussian and constant for different rates. The optimal variance is calculated for the quantum Ising chain as well, showing its finiteness if the linear response validity criterion is complied with. A stronger definition of the arbitrary constant for the relaxation function of thermally isolated systems is obtained along the work.


title: Shareability of Quantum Correlations in a Many-Body Spin System with Two- and Three-Body Interactions

abstract: The shareability of quantum correlations among the constituent parties of a multiparty quantum system is restricted by the quantum information theoretic concept called monogamy. Depending on the multiparty quantum systems, different measures of quantum correlations show disparate signatures for monogamy. We characterize the shareability of quantum correlations, from both entanglement-separability and information-theoretic kinds, in a multiparty quantum spin system containing two- and three-body interactions with respect to its system parameters and external applied magnetic field. Monogamy score in this system exhibits both monogamous and non-monogamous traits depending on the quantum correlation measure, strengths of system parameters and external magnetic field. The percentage of non-monogamous states when the information-theoretic quantum correlations are considered is higher than that of the entanglement-separability kind in allowed ranges of these variables. The integral powers of the quantum correlation measures for which the non-monogamous states become monogamous are identified.


title: Chiral charge density wave and backscattering-immune orbital texture in monolayer 1T-TiTe2

abstract: Non-trivial electronic states are attracting intense attention in low-dimensional physics. Though chirality has been identified in charge states with a scalar order parameter, its intertwining with charge density waves (CDW), film thickness and the impact on the electronic behaviors remain less well understood. Here, using scanning tunneling microscopy, we report a 2 x 2 chiral CDW as well as a strong suppression of the Te-5p hole-band backscattering in monolayer 1T-TiTe2. These exotic characters vanish in bilayer TiTe2 with a non-CDW state. Theoretical calculations approve that chirality comes from a helical stacking of the triple-q CDW components and therefore can persist at the two-dimensional limit. Furthermore, the chirality renders the Te-5p bands an unconventional orbital texture that prohibits electron backscattering. Our study establishes TiTe2 as a promising playground for manipulating the chiral ground states at the monolayer limit and provides a novel path to engineer electronic properties from an orbital degree.


title: Ncorpi$\mathcal{O}$N : A $\mathcal{O}(N)$ software for N-body integration in collisional and fragmenting systems

abstract: Ncorpi$\mathcal{O}$N is a $N$-body software developed for the time-efficient integration of collisional and fragmenting systems of planetesimals or moonlets orbiting a central mass. It features a fragmentation model, based on crater scaling and ejecta models, able to realistically simulate a violent impact. The user of Ncorpi$\mathcal{O}$N can choose between four different built-in modules to compute self-gravity and detect collisions. One of these makes use of a mesh-based algorithm to treat mutual interactions in $\mathcal{O}(N)$ time. Another module, much more efficient than the standard Barnes-Hut tree code, is a $\mathcal{O}(N)$ tree-based algorithm called FalcON. It relies on fast multipole expansion for gravity computation and we adapted it to collision detection as well. Computation time is reduced by building the tree structure using a three-dimensional Hilbert curve. For the same precision in mutual gravity computation, Ncorpi$\mathcal{O}$N is found to be up to 25 times faster than the famous software REBOUND. Ncorpi$\mathcal{O}$N is written entirely in the C language and only needs a C compiler to run. A python add-on, that requires only basic python libraries, produces animations of the simulations from the output files. The name Ncorpi$\mathcal{O}$N, reminding of a scorpion, comes from the French $N$-corps, meaning $N$-body, and from the mathematical notation $\mathcal{O}(N)$, due to the running time of the software being almost linear in the total number $N$ of moonlets. Ncorpi$\mathcal{O}$N is designed for the study of accreting or fragmenting disks of planetesimal or moonlets. It detects collisions and computes mutual gravity faster than REBOUND, and unlike other $N$-body integrators, it can resolve a collision by fragmentation. The fast multipole expansions are implemented up to order six to allow for a high precision in mutual gravity computation.

categories: astro-ph.EP astro-ph.IM astro-ph.SR physics.comp-ph physics.space-ph


title: GreenCourier: Carbon-Aware Scheduling for Serverless Functions

abstract: This paper presents GreenCourier, a novel scheduling framework that enables the runtime scheduling of serverless functions across geographically distributed regions based on their carbon efficiencies. Our framework incorporates an intelligent scheduling strategy for Kubernetes and supports Knative as the serverless platform. To obtain real-time carbon information for different geographical regions, our framework supports multiple marginal carbon emissions sources such as WattTime and the Carbon-aware SDK. We comprehensively evaluate the performance of our framework using the Google Kubernetes Engine and production serverless function traces for scheduling functions across Spain, France, Belgium, and the Netherlands. Results from our experiments show that compared to other approaches, GreenCourier reduces carbon emissions per function invocation by an average of 13.25%.


title: Mixture modeling via vectors of normalized independent finite point processes

abstract: Statistical modeling in presence of hierarchical data is a crucial task in Bayesian statistics. The Hierarchical Dirichlet Process (HDP) represents the utmost tool to handle data organized in groups through mixture modeling. Although the HDP is mathematically tractable, its computational cost is typically demanding, and its analytical complexity represents a barrier for practitioners. The present paper conceives a mixture model based on a novel family of Bayesian priors designed for multilevel data and obtained by normalizing a finite point process. A full distribution theory for this new family and the induced clustering is developed, including tractable expressions for marginal, posterior and predictive distributions. Efficient marginal and conditional Gibbs samplers are designed for providing posterior inference. The proposed mixture model overcomes the HDP in terms of analytical feasibility, clustering discovery, and computational time. The motivating application comes from the analysis of shot put data, which contains performance measurements of athletes across different seasons. In this setting, the proposed model is exploited to induce clustering of the observations across seasons and athletes. By linking clusters across seasons, similarities and differences in athlete's performances are identified.


title: Implementation security in quantum key distribution

abstract: The problem of implementation security in quantum key distribution (QKD) refers to the difficulty of meeting the requirements of mathematical security proofs in real-life QKD systems. Here, we provide a succint review on this topic, focusing on discrete variable QKD setups. Particularly, we discuss some of their main vulnerabilities and comment on possible approaches to overcome them.


title: Self-consistent treatment of thermal effects in neutron-star post-mergers: observational implications for third-generation gravitational-wave detectors

abstract: We assess the impact of accurate, self-consistent modelling of thermal effects in neutron-star merger remnants in the context of third-generation gravitational-wave detectors. This is done through the usage, in Bayesian model selection experiments, of numerical-relativity simulations of binary neutron star (BNS) mergers modelled through: a) nuclear, finite-temperature (or ``tabulated'') equations of state (EoSs), and b) their simplifed piecewise (or ``hybrid'') representation. These cover four different EoSs, namely SLy4, DD2, HShen and LS220. Our analyses make direct use of the Newman-Penrose scalar $\psi_4$ outputted by numerical simulations. Considering a detector network formed by three Cosmic Explorers, we show that differences in the gravitational-wave emission predicted by the two models are detectable with a natural logarithmic Bayes Factor $\log{\cal{B}}\geq 5$ at average distances of $d_L \simeq 50$Mpc, reaching $d_L \simeq 100$Mpc for source inclinations $\iota \leq 0.8$, regardless of the EoS. This impact is most pronounced for the HShen EoS. For low inclinations, only the DD2 EoS prevents the detectability of such modelling differences at $d_L \simeq 150$Mpc. Our results suggest that the usage a self-consistent treatment of thermal effects is crucial for third-generation gravitational wave detectors.


title: A U-Net-Based Self-Stitching Method for Generating Periodic Grain Structures

abstract: When modeling microstructures, the computational resource requirements increase rapidly as the simulation domain becomes larger. As a result, simulating a small representative fraction under periodic boundary conditions is often a necessary simplification. However, the truncated structures leave nonphysical boundaries, which are detrimental to numerical modeling. Here, we propose a self-stitching algorithm for generating periodic structures, demonstrated in a grain structure. The main idea of our algorithm is to artificially add structural information between mismatched boundary pairs, using the hierarchical spatial predictions of the U-Net. The algorithm provides an automatic and unbiased way to obtain periodic boundaries in grain structures and can be applied to porous microstructures in a similar way.


title: Dropout Strategy in Reinforcement Learning: Limiting the Surrogate Objective Variance in Policy Optimization Methods

abstract: Policy-based reinforcement learning algorithms are widely used in various fields. Among them, mainstream policy optimization algorithms such as TRPO and PPO introduce importance sampling into policy iteration, which allows the reuse of historical data. However, this can also lead to a high variance of the surrogate objective and indirectly affects the stability and convergence of the algorithm. In this paper, we first derived an upper bound of the surrogate objective variance, which can grow quadratically with the increase of the surrogate objective. Next, we proposed the dropout technique to avoid the excessive increase of the surrogate objective variance caused by importance sampling. Then, we introduced a general reinforcement learning framework applicable to mainstream policy optimization methods, and applied the dropout technique to the PPO algorithm to obtain the D-PPO variant. Finally, we conduct comparative experiments between D-PPO and PPO algorithms in the Atari 2600 environment, and the results show that D-PPO achieved significant performance improvements compared to PPO, and effectively limited the excessive increase of the surrogate objective variance during training.


title: A Systematic Evaluation of GPT-4V's Multimodal Capability for Medical Image Analysis

abstract: This work conducts an evaluation of GPT-4V's multimodal capability for medical image analysis, with a focus on three representative tasks of radiology report generation, medical visual question answering, and medical visual grounding. For the evaluation, a set of prompts is designed for each task to induce the corresponding capability of GPT-4V to produce sufficiently good outputs. Three evaluation ways including quantitative analysis, human evaluation, and case study are employed to achieve an in-depth and extensive evaluation. Our evaluation shows that GPT-4V excels in understanding medical images and is able to generate high-quality radiology reports and effectively answer questions about medical images. Meanwhile, it is found that its performance for medical visual grounding needs to be substantially improved. In addition, we observe the discrepancy between the evaluation outcome from quantitative analysis and that from human evaluation. This discrepancy suggests the limitations of conventional metrics in assessing the performance of large language models like GPT-4V and the necessity of developing new metrics for automatic quantitative analysis.


title: Well-posedness of the discrete nonlinear Schr\"odinger equations and the Klein-Gordon equations

abstract: The primary objective of this paper is to investigate the well-posedness theories associated with the discrete nonlinear Schr\"odinger equation and Klein-Gordon equation. These theories encompass both local and global well-posedness, as well as the existence of blowing-up solutions for large and irregular initial data. The main results of this paper presented in this paper can be summarized as follows: 1. Discrete Nonlinear Schr\"odinger Equation: We establish global well-posedness in $l^p_h$ spaces for all $1\leq p\leq \infty$, regardless of whether it is in the defocusing or focusing cases. 2. Discrete Klein-Gordon Equation (including Wave Equation): We demonstrate local well-posedness in $l^p_h$ spaces for all $1\leq p\leq \infty$. Furthermore, in the defocusing case, we establish global well-posedness in $l^p_h$ spaces for any $2\leq p\leq 2\sigma+2$. In contrast, in the focusing case, we show that solutions with negative energy blow up within a finite time.


title: Navigating the Complex Landscape of Shock Filter Cahn-Hilliard Equation: From Regularized to Entropy Solutions

abstract: Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are based on a variant of the shock filter: : \begin{align*} \partial_t u &= \Delta \left(-\nu \arctan(\Delta u)|\nabla u| - \mu \Delta u \right)+ \lambda(u_0 - u). \end{align*} This is referred to as the Shock Filter Cahn-Hilliard Equation. This equation is nonlinear with respect to the second-order derivative, which poses significant mathematical challenges. To address these, we make use of a specific approximation argument, establishing the existence of a family of approximate solutions through the Leray-Schauder fixed point theorem and the Aubin-Lions lemma. In the limit, we obtain a solution strategy wherein we can prove the existence and uniqueness of solutions. Proving the latter involves the use of Young measures and Kruzhkov entropy type-admissibility conditions. Additionally, we use a numerical method based on the convexity splitting idea to approximate solutions of the nonlinear partial differential equation and achieve fast inpainting results. To demonstrate the effectiveness of our approach, we apply our method to standard binary images and compare it with variations of the Cahn-Hilliard equation commonly used in the field.


title: Do large language models solve verbal analogies like children do?

abstract: Analogy-making lies at the heart of human cognition. Adults solve analogies such as \textit{Horse belongs to stable like chicken belongs to ...?} by mapping relations (\textit{kept in}) and answering \textit{chicken coop}. In contrast, children often use association, e.g., answering \textit{egg}. This paper investigates whether large language models (LLMs) solve verbal analogies in A:B::C:? form using associations, similar to what children do. We use verbal analogies extracted from an online adaptive learning environment, where 14,002 7-12 year-olds from the Netherlands solved 622 analogies in Dutch. The six tested Dutch monolingual and multilingual LLMs performed around the same level as children, with MGPT performing worst, around the 7-year-old level, and XLM-V and GPT-3 the best, slightly above the 11-year-old level. However, when we control for associative processes this picture changes and each model's performance level drops 1-2 years. Further experiments demonstrate that associative processes often underlie correctly solved analogies. We conclude that the LLMs we tested indeed tend to solve verbal analogies by association with C like children do.


title: Free energy and metastable states in the square-lattice $J_1$-$J_2$ Ising model

abstract: Free energy as a function of polarization is calculated for the square-lattice $J_1$-$J_2$ Ising model for $J_2 < |J_1|/2$ using the random local field approximation (RLFA) and Monte Carlo (MC) simulations. Within RLFA, it reveals a metastable state with zero polarization in the ordered phase. In addition, the Landau free energy calculated within RLFA indicates a geometric slab-droplet phase transition at low temperature, which cannot be predicted by the mean field approximation. In turn, restricted free energy calculations for finite-size samples, exact and using MC simulations, reveal metastable states with a wide range of polarization values, but with only two domains. Taking into account the dependence of the restricted free energy on the nearest-neighbor correlations allows us to identify several more metastable states. The calculations also reveal additional slab-droplet transitions at $J_2 > |J_1|/4$. These findings enrich our knowledge of the $J_1$-$J_2$ Ising model and the RLFA as a useful theoretical tool to study phase transitions in spin systems.


title: Quantifying Hierarchical Selection

abstract: At what level does selective pressure effectively act? When considering the reproductive dynamics of interacting and mutating agents, it has long been debated whether selection is better understood by focusing on the individual or if hierarchical selection emerges as a consequence of joint adaptation. Despite longstanding efforts in theoretical ecology there is still no consensus on this fundamental issue, most likely due to the difficulty in obtaining adequate data spanning sufficient number of generations and the lack of adequate tools to quantify the effect of hierarchical selection. Here we capitalise on recent advances in information-theoretic data analysis to advance this state of affairs by investigating the emergence of high-order structures -- such as groups of species -- in the collective dynamics of the Tangled Nature model of evolutionary ecology. Our results show that evolutionary dynamics can lead to clusters of species that act as a selective group, that acquire information-theoretic agency. Overall, our findings provide quantitative evidence supporting the relevance of high-order structures in evolutionary ecology, which can emerge even from relatively simple processes of adaptation and selection.


title: Overview of LiLAS 2020 -- Living Labs for Academic Search

abstract: Academic Search is a timeless challenge that the field of Information Retrieval has been dealing with for many years. Even today, the search for academic material is a broad field of research that recently started working on problems like the COVID-19 pandemic. However, test collections and specialized data sets like CORD-19 only allow for system-oriented experiments, while the evaluation of algorithms in real-world environments is only available to researchers from industry. In LiLAS, we open up two academic search platforms to allow participating research to evaluate their systems in a Docker-based research environment. This overview paper describes the motivation, infrastructure, and two systems LIVIVO and GESIS Search that are part of this CLEF lab.


title: Estimating Propensity for Causality-based Recommendation without Exposure Data

abstract: Causality-based recommendation systems focus on the causal effects of user-item interactions resulting from item exposure (i.e., which items are recommended or exposed to the user), as opposed to conventional correlation-based recommendation. They are gaining popularity due to their multi-sided benefits to users, sellers and platforms alike. However, existing causality-based recommendation methods require additional input in the form of exposure data and/or propensity scores (i.e., the probability of exposure) for training. Such data, crucial for modeling causality in recommendation, are often not available in real-world situations due to technical or privacy constraints. In this paper, we bridge the gap by proposing a new framework, called Propensity Estimation for Causality-based Recommendation (PropCare). It can estimate the propensity and exposure from a more practical setup, where only interaction data are available without any ground truth on exposure or propensity in training and inference. We demonstrate that, by relating the pairwise characteristics between propensity and item popularity, PropCare enables competitive causality-based recommendation given only the conventional interaction data. We further present a theoretical analysis on the bias of the causal effect under our model estimation. Finally, we empirically evaluate PropCare through both quantitative and qualitative experiments.


title: High-Resolution Reference Image Assisted Volumetric Super-Resolution of Cardiac Diffusion Weighted Imaging

abstract: Diffusion Tensor Cardiac Magnetic Resonance (DT-CMR) is the only in vivo method to non-invasively examine the microstructure of the human heart. Current research in DT-CMR aims to improve the understanding of how the cardiac microstructure relates to the macroscopic function of the healthy heart as well as how microstructural dysfunction contributes to disease. To get the final DT-CMR metrics, we need to acquire diffusion weighted images of at least 6 directions. However, due to DWI's low signal-to-noise ratio, the standard voxel size is quite big on the scale for microstructures. In this study, we explored the potential of deep-learning-based methods in improving the image quality volumetrically (x4 in all dimensions). This study proposed a novel framework to enable volumetric super-resolution, with an additional model input of high-resolution b0 DWI. We demonstrated that the additional input could offer higher super-resolved image quality. Going beyond, the model is also able to super-resolve DWIs of unseen b-values, proving the model framework's generalizability for cardiac DWI superresolution. In conclusion, we would then recommend giving the model a high-resolution reference image as an additional input to the low-resolution image for training and inference to guide all super-resolution frameworks for parametric imaging where a reference image is available.


title: Gauss-Newton Runge-Kutta Integration for Efficient Discretization of Optimal Control Problems with Long Horizons and Least-Squares Costs

abstract: This work proposes an efficient treatment of continuous-time optimal control problem (OCP) with long horizons and nonlinear least-squares costs. The Gauss-Newton Runge-Kutta (GNRK) integrator is presented which provides a high-order cost integration. Crucially, the Hessian of the cost terms required within an SQP-type algorithm is approximated with a Gauss-Newton Hessian. Moreover, L2 penalty formulations for constraints are shown to be particularly effective for optimization with GNRK. An efficient implementation of GNRK is provided in the open-source software framework acados. We demonstrate the effectiveness of the proposed approach and its implementation on an illustrative example showing a reduction of relative suboptimality by a factor greater than 10 while increasing the runtime by only 10 %.


title: Serverless Scheduling Policies based on Cost Analysis

abstract: Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the adoption of APP, a new platform-agnostic declarative language that allows serverless platforms to support multiple scheduling logics. Defining the "right" scheduling policy in APP is far from being a trivial task since it often requires rounds of refinement involving knowledge of the underlying infrastructure, guesswork, and empirical testing. In this paper, we start investigating how information derived from static analysis could be incorporated into APP scheduling function policies to help users select the best-performing workers at function allocation. We substantiate our proposal by presenting a pipeline able to extract cost equations from functions' code, synthesising cost expressions through the usage of off-the-shelf solvers, and extending APP allocation policies to consider this information.


title: Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata

abstract: Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Timed automata are an extension of finite-state automata with a set of clocks evolving linearly and that can be tested or reset, making this formalism able to reason on systems involving concurrency and timing constraints. In this paper, we summarize a recent line of works using timed automata as the input formalism, in which we assume that the attacker has access (only) to the system execution time. First, we address the following execution-time opacity problem: given a timed system modeled by a timed automaton, given a secret location and a final location, synthesize the execution times from the initial location to the final location for which one cannot deduce whether the secret location was visited. This means that for any such execution time, the system is opaque: either the final location is not reachable, or it is reachable with that execution time for both a run visiting and a run not visiting the secret location. We also address the full execution-time opacity problem, asking whether the system is opaque for all execution times; we also study a weak counterpart. Second, we add timing parameters, which are a way to configure a system: we identify a subclass of parametric timed automata with some decidability results. In addition, we devise a semi-algorithm for synthesizing timing parameter valuations guaranteeing that the resulting system is opaque. Third, we report on problems when the secret has itself an expiration date, thus defining expiring execution-time opacity problems. We finally show that our method can also apply to program analysis with configurable internal timings.


title: Parameter estimation of the Bardeen-Kerr black hole in cloud of strings using shadow analysis

abstract: We consider the rotating generalization of the Bardeen black hole solution in the presence of cloud of strings (CoS). The parameter space for which the black hole horizon exists is determined. We also study the static limit surface and the ergo-region in the presence of the CoS parameter. We consider photon orbits and obtain the deformation of black hole shadows due to rotation for various values of CoS parameter. The shadow deformation is used to determine the black hole spin for different values of the black hole parameters.


title: The miniversal deformation of certain complete intersection monomial curves

abstract: The aim of this paper is to provide an explicit basis of the miniversal deformation of a monomial curve defined by a free semigroup -- these curves make up a notable family of complete intersection monomial curves. First, we dispense a general decomposition result of a basis of the miniversal deformation of any complete intersection monomial curve. As a consequence, we explicitly calculate this basis in the particular case of a monomial curve defined from a free semigroup. This explicit computation yields some estimates for the dimension of the moduli space of these family of curves.


title: Spreadsheet-based Configuration of Families of Real-Time Specifications

abstract: Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This work exploits variability of the formal model being analysed and the requirements being checked, to facilitate the model-checking of variations of real-time specifications. This work results from the collaboration between academics and Alstom, a railway company with a concrete use-case, in the context of the VALU3S European project. The configuration of the variability of the formal specifications is described in MS Excel spreadsheets with a particular structure, making it easy to use also by developers. These spreadsheets are processed automatically by our prototype tool that generates instances and runs the model checker. We propose the extension of our previous work by exploiting analysis over valid combination of features, while preserving the simplicity of a spreadsheet-based interface with the model checker.


title: Product Line Management with Graphical MBSE Views

abstract: Reducing the cost and delay and improving quality are major issues for product and software development, especially in the automotive domain. Product line engineering is a wellknown approach to engineer systems with the aim to reduce costs and development time as well as to improve the product quality. Feature models enable to make logical selection of features and obtain a filtered set of assets that compose the product. We propose to use a color code in feature models to make possible decisions visual in the feature tree. The color code is explained and its use is illustrated. The completeness of the approach is discussed.


title: Convergence in Distribution of Randomized Algorithms: The Case of Partially Separable Optimization

abstract: We present a Markov-chain analysis of blockwise-stochastic algorithms for solving partially block-separable optimization problems. Our main contributions to the extensive literature on these methods are statements about the Markov operators and distributions behind the iterates of stochastic algorithms, and in particular the regularity of Markov operators and rates of convergence of the distributions of the corresponding Markov chains. This provides a detailed characterization of the moments of the sequences beyond just the expected behavior. This also serves as a case study of how randomization restores favorable properties to algorithms that iterations of only partial information destroys. We demonstrate this on stochastic blockwise implementations of the forward-backward and Douglas-Rachford algorithms for nonconvex (and, as a special case, convex), nonsmooth optimization.


title: A hybrid approach for solving the gravitational N-body problem with Artificial Neural Networks

abstract: Simulating the evolution of the gravitational N-body problem becomes extremely computationally expensive as N increases since the problem complexity scales quadratically with the number of bodies. We study the use of Artificial Neural Networks (ANNs) to replace expensive parts of the integration of planetary systems. Neural networks that include physical knowledge have grown in popularity in the last few years, although few attempts have been made to use them to speed up the simulation of the motion of celestial bodies. We study the advantages and limitations of using Hamiltonian Neural Networks to replace computationally expensive parts of the numerical simulation. We compare the results of the numerical integration of a planetary system with asteroids with those obtained by a Hamiltonian Neural Network and a conventional Deep Neural Network, with special attention to understanding the challenges of this problem. Due to the non-linear nature of the gravitational equations of motion, errors in the integration propagate. To increase the robustness of a method that uses neural networks, we propose a hybrid integrator that evaluates the prediction of the network and replaces it with the numerical solution if considered inaccurate. Hamiltonian Neural Networks can make predictions that resemble the behavior of symplectic integrators but are challenging to train and in our case fail when the inputs differ ~7 orders of magnitude. In contrast, Deep Neural Networks are easy to train but fail to conserve energy, leading to fast divergence from the reference solution. The hybrid integrator designed to include the neural networks increases the reliability of the method and prevents large energy errors without increasing the computing cost significantly. For this problem, the use of neural networks results in faster simulations when the number of asteroids is >70.

categories: astro-ph.EP astro-ph.IM cs.LG physics.comp-ph


title: Compatibility of Tate cohomology with local Base change for cuspidal representations of ${\rm GL}_3$

abstract: Let $E$ be a finite Galois extension of a $p$-adic field $F$ with degree of extension $l$, where $l$ and $p$ are distinct odd primes with $l\ne 3$. Let $\pi_F$ be an integral cuspidal $\overline{\mathbb{Q}}_l$-representation of ${\rm GL}_3(F)$ and let $\pi_E$ be the base change lifting of $\pi_F$ to the group ${\rm GL}_3(E)$. Then for any ${\rm GL}_n(E)\rtimes{\rm Gal}(E/F)$-stable lattice $\mathcal{L}$ in the representation space of $\pi_E$, the Tate cohomology group $\widehat{H}^0({\rm Gal}(E/F),\mathcal{L})$ is defined as $\overline{\mathbb{F}}_l$-representation of ${\rm GL}_3(F)$, and its semisimplification is denoted by $\widehat{H}^0(\pi_E)$. In this article, we show that the Frobenius twist of mod-$l$ reduction of $\pi_F$ is isomorphic to the Tate cohomology group $\widehat{H}^0({\rm Gal}(E/F),\mathcal{L})$.


title: Classical solutions to the thin-film equation with general mobility in the perfect-wetting regime

abstract: We prove well-posedness, partial regularity, and stability of a thin-film equation $h_t + (m(h) h_{zzz})_z = 0$ with general mobility $m(h) = h^n$ and mobility exponent $n\in (1,\tfrac{3}{2})\cup (\tfrac{3}{2},3)$ in the regime of perfect wetting (zero contact angle). After a suitable coordinate transformation to fix the free boundary (the contact line where liquid, air, and solid coalesce), the thin-film equation is rewritten as an abstract Cauchy problem and we obtain maximal $L^{p}_t$-regularity for the linearized evolution. Partial regularity close to the free boundary is obtained by studying the elliptic regularity of the spatial part of the linearization. This yields solutions that are non-smooth in the distance to the free boundary, in line with previous findings for source-type self-similar solutions. In a scaling-wise quasi-minimal norm for the initial data, we obtain a well-posedness and asymptotic stability result for perturbations of traveling waves. The novelty of this work lies in the usage of $L^{p}$ estimates in time, where $1 < p < \infty$, while the existing literature mostly deals with $p = 2$ at least for nonlinear mobilities. This turns out to be essential to obtain for the first time a well-posedness result in the perfect-wetting regime for all physical nonlinear slip conditions except for a strongly degenerate case at $n = \tfrac 3 2$ and the well-understood perfect-slip case $n = 1$. Furthermore, compared to [J. Differential Equations, 257(1):15-81, 2014] by Giacomelli, the first author of this paper, Kn\"upfer, and Otto, where a PDE-approach yields $L^2_t$-estimates, well-posedness, and stability for $1.8384 \approx \tfrac{3}{17}(15-\sqrt{21}) < n < \tfrac{3}{11}(7+\sqrt{5}) \approx 2.5189$, our functional-analytic approach is significantly shorter while at the same time giving a more general result.


title: Utilitarian Algorithm Configuration

abstract: We present the first nontrivial procedure for configuring heuristic algorithms to maximize the utility provided to their end users while also offering theoretical guarantees about performance. Existing procedures seek configurations that minimize expected runtime. However, very recent theoretical work argues that expected runtime minimization fails to capture algorithm designers' preferences. Here we show that the utilitarian objective also confers significant algorithmic benefits. Intuitively, this is because mean runtime is dominated by extremely long runs even when they are incredibly rare; indeed, even when an algorithm never gives rise to such long runs, configuration procedures that provably minimize mean runtime must perform a huge number of experiments to demonstrate this fact. In contrast, utility is bounded and monotonically decreasing in runtime, allowing for meaningful empirical bounds on a configuration's performance. This paper builds on this idea to describe effective and theoretically sound configuration procedures. We prove upper bounds on the runtime of these procedures that are similar to theoretical lower bounds, while also demonstrating their performance empirically.


title: On Strassen's Theorem for support functions

abstract: Strassen established that there exists a two step martingale with marginal distributions $\mu$, $\nu$ if and only if $\mu$, $\nu$ are in convex order. Recently Chon\'e-Gozlan-Kramarz obtained a transport characterization of the stochastic order defined by convex positively 1-homogeneous functions, in the spirit of Strassen's theorem under certain technical assumptions. In this note we prove the Chon\'e-Gozlan-Kramarz result in full generality. We also observe that the restriction of the result to the case where $\mu, \nu$ are supported on a half space is equivalent to Strassen's classical theorem.


title: Multi-Base Station Cooperative Sensing with AI-Aided Tracking

abstract: In this work, we investigate the performance of a joint sensing and communication (JSC) network consisting of multiple base stations (BSs) that cooperate through a fusion center (FC) to exchange information about the sensed environment while concurrently establishing communication links with a set of user equipments (UEs). Each BS within the network operates as a monostatic radar system, enabling comprehensive scanning of the monitored area and generating range-angle maps that provide information regarding the position of a group of heterogeneous objects. The acquired maps are subsequently fused in the FC. Then, a convolutional neural network (CNN) is employed to infer the category of the targets, e.g., pedestrians or vehicles, and such information is exploited by an adaptive clustering algorithm to group the detections originating from the same target more effectively. Finally, two multi-target tracking algorithms, the probability hypothesis density (PHD) filter and multi-Bernoulli mixture (MBM) filter, are applied to estimate the state of the targets. Numerical results demonstrated that our framework could provide remarkable sensing performance, achieving an optimal sub-pattern assignment (OSPA) less than 60 cm, while keeping communication services to UEs with a reduction of the communication capacity in the order of 10% to 20%. The impact of the number of BSs engaged in sensing is also examined, and we show that in the specific case study, 3 BSs ensure a localization error below 1 m.


title: Galactic `Snake' IRDC G11.11$-$0.12: a site of multiple hub-filament systems and colliding filamentary clouds

abstract: To probe star formation processes, we present a multi-scale and multi-wavelength investigation of the `Snake' nebula/infrared dark cloud G11.11$-$0.12 (hereafter, G11; length $\sim$27 pc). Spitzer images hint at the presence of sub-filaments (in absorption), and reveal four infrared-dark hub-filament system (HFS) candidates (extent $<$ 6 pc) toward G11, where massive clumps ($>$ 500 $M_{\odot}$) and protostars are identified. The $^{13}$CO(2-1), C$^{18}$O(2-1), and NH$_{3}$(1,1) line data reveal a noticeable velocity oscillation toward G11, as well as its left part (or part-A) around V$_{lsr}$ of 31.5 km s$^{-1}$, and its right part (or part-B) around V$_{lsr}$ of 29.5 km s$^{-1}$. The common zone of these cloud components is investigated toward the center's G11 housing one HFS. Each cloud component hosts two sub-filaments. In comparison to part-A, more ATLASGAL clumps are observed toward part-B. The JWST near-infrared images discover one infrared-dark HFS candidate (extent $\sim$0.55 pc) around the massive protostar G11P1 (i.e., G11P1-HFS). Hence, the infrared observations reveal multiple infrared-dark HFS candidates at multi-scale in G11. The ALMA 1.16 mm continuum map shows multiple finger-like features (extent $\sim$3500-10000 AU) surrounding a dusty envelope-like feature (extent $\sim$18000 AU) toward the central hub of G11P1-HFS. Signatures of forming massive stars are found toward the center of the envelope-like feature. The ALMA H$^{13}$CO$^{+}$ line data show two cloud components with a velocity separation of $\sim$2 km s$^{-1}$ toward G11P1. Overall, the collision process, the ``fray and fragment'' mechanism, and the ``global non-isotropic collapse'' scenario seem to be operational in G11.


title: Square-Root parametrization of dark energy in $f(Q)$ cosmology

abstract: This paper is a parametrization of the equation of state (EoS) parameter of dark energy (DE), which is parameterized using Square-Root (SR) form i.e. $\omega _{SR}=\text{$\omega _{0}$}+\text{$\omega _{1}$}\frac{z}{\sqrt{z^{2}+1}}$, where $\omega _{0}$ and $\omega _{1}$ are free constants. This parametrization will be examined in the context of the recently suggested $f(Q)$ gravity theory as an alternative to General Relativity (GR), in which gravitational effects are attributed to the non-metricity scalar $Q$ with the functional form $f(Q)=Q+\alpha Q^{n}$, where $\alpha$ and $n$ are arbitrary constants. We derived observational constraints on model parameters using the Hubble dataset with 31 data points and the Supernovae (SNe) dataset from the Pantheon samples compilation dataset with 1048 data points. For the current model, the evolution of the deceleration parameter, density parameter, EoS for DE, and $Om(z)$ diagnostic have all been investigated. It has been shown that the deceleration parameter favors the current accelerated expansion phase. It has also been shown that the EoS parameter for DE has a quintessence nature at this time.


title: Understanding the transverse-spherocity biased data from pp collisions at the LHC energies

abstract: The ALICE collaboration recently reported the mean transverse momentum as a function of charged-particle multiplicity for different pp-collisions classes defined based on the "jettiness" of the event. The event "jettiness" is quantified using transverse spherocity that is measured at midpseudorapidity ($|\eta|<0.8$) considering charged particles with transverse momentum within $0.15<p_{\rm T}<10$ GeV/$c$. Comparisons to PYTHIA 8 (tune Monash) predictions show a notable disagreement between the event generator and data for jetty events that increases as a function of charged-particle multiplicity. This paper reports on the origin of such a disagreement using PYTHIA 8 event generator. Since at intermediate and high $p_{\rm T}$ ($2<p_{\rm T}<10$ GeV/$c$), the spectral shape is expected to be modified by color reconnection or jets, their effects on the average $p_{\rm T}$ are studied. The results indicate that the origin of the discrepancy is the overpredicted multijet yield by PYTHIA 8 which increases with the charged particle multiplicity. This finding is important to understand the way transverse spherocity and multiplicity bias the pp collisions, and how well models like PYTHIA 8 reproduce those biases. The studies are pertinent since transverse spherocity is currently used as an event classifier by experiments at the LHC.


title: Unsupervised detection of coordinated fake-follower campaigns on social media

abstract: Automated social media accounts, known as bots, are increasingly recognized as key tools for manipulative online activities. These activities can stem from coordination among several accounts and these automated campaigns can manipulate social network structure by following other accounts, amplifying their content, and posting messages to spam online discourse. In this study, we present a novel unsupervised detection method designed to target a specific category of malicious accounts designed to manipulate user metrics such as online popularity. Our framework identifies anomalous following patterns among all the followers of a social media account. Through the analysis of a large number of accounts on the Twitter platform (rebranded as Twitter after the acquisition of Elon Musk), we demonstrate that irregular following patterns are prevalent and are indicative of automated fake accounts. Notably, we find that these detected groups of anomalous followers exhibit consistent behavior across multiple accounts. This observation, combined with the computational efficiency of our proposed approach, makes it a valuable tool for investigating large-scale coordinated manipulation campaigns on social media platforms.


title: Time-varying double-peaked emission lines following the sudden ignition of the dormant galactic nucleus AT2017bcc

abstract: We present a pan-chromatic study of AT2017bcc, a nuclear transient that was discovered in 2017 within the skymap of a reported burst-like gravitational wave candidate, G274296. It was initially classified as a superluminous supernova, and then reclassified as a candidate tidal disruption event. Its optical light curve has since shown ongoing variability with a structure function consistent with that of an active galactic nucleus, however earlier data shows no variability for at least 10 years prior to the outburst in 2017. The spectrum shows complex profiles in the broad Balmer lines: a central component with a broad blue wing, and a boxy component with time-variable blue and red shoulders. The H$\alpha$ emission profile is well modelled using a circular accretion disc component, and a blue-shifted double Gaussian which may indicate a partially obscured outflow. Weak narrow lines, together with the previously flat light curve, suggest that this object represents a dormant galactic nucleus which has recently been re-activated. Our time-series modelling of the Balmer lines suggests that this is connected to a disturbance in the disc morphology, and we speculate this could involve a sudden violent event such as a tidal disruption event involving the central supermassive black hole, though this cannot be confirmed, and given an estimated black hole mass of $\gtrsim10^7-10^8$ M$_\odot$ instabilities in an existing disc may be more likely. Although we find that the redshifts of AT2017bcc ($z=0.13$) and G274296 ($z>0.42$) are inconsistent, this event adds to the growing diversity of both nuclear transients and multi-messenger contaminants.


title: Detection of nonlinearity, discontinuity and interactions in generalized regression models

abstract: In generalized regression models the effect of continuous covariates is commonly assumed to be linear. This assumption, however, may be too restrictive in applications and may lead to biased effect estimates and decreased predictive ability. While a multitude of alternatives for the flexible modeling of continuous covariates have been proposed, methods that provide guidance for choosing a suitable functional form are still limited. To address this issue, we propose a detection algorithm that evaluates several approaches for modeling continuous covariates and guides practitioners to choose the most appropriate alternative. The algorithm utilizes a unified framework for tree-structured modeling which makes the results easily interpretable. We assessed the performance of the algorithm by conducting a simulation study. To illustrate the proposed algorithm, we analyzed data of patients suffering from chronic kidney disease.


title: FollowBench: A Multi-level Fine-grained Constraints Following Benchmark for Large Language Models

abstract: The ability to follow instructions is crucial for Large Language Models (LLMs) to handle various real-world applications. Existing benchmarks primarily focus on evaluating pure response quality, rather than assessing whether the response follows constraints stated in the instruction. To fill this research gap, in this paper, we propose FollowBench, a Multi-level Fine-grained Constraints Following Benchmark for LLMs. FollowBench comprehensively includes five different types (i.e., Content, Situation, Style, Format, and Example) of fine-grained constraints. To enable a precise constraint following estimation on diverse difficulties, we introduce a Multi-level mechanism that incrementally adds a single constraint to the initial instruction at each increased level. To assess whether LLMs' outputs have satisfied every individual constraint, we propose to prompt strong LLMs with constraint-evolution paths to handle challenging open-ended instructions. By evaluating 13 closed-source and open-source popular LLMs on FollowBench, we highlight the weaknesses of LLMs in instruction following and point towards potential avenues for future work. The data and code are publicly available at https://github.com/YJiangcm/FollowBench.


title: A New Kilohertz Gravitational-Wave Feature from Rapidly Rotating Core-Collapse Supernovae

abstract: We present self-consistent three-dimensional core-collapse supernova simulations of a rotating $20M_\odot$ progenitor model with various initial angular velocities from $0.0$ to $4.0$ rad s$^{-1}$ using a smoothed particle hydrodynamics code, SPHYNX, and a grid-based hydrodynamics code, FLASH. We identify two strong gravitational-wave features, with peak frequencies of $\sim300$ Hz and $\sim1.3$ kHz in the first $100$ ms postbounce. We demonstrate that these two features are associated with the $m=1$ deformation from the proto-neutron star (PNS) modulation induced by the low-$T/|W|$ instability, regardless of the simulation code. The $300$ Hz feature is present in models with an initial angular velocity between $1.0$ and $4.0$ rad s$^{-1}$, while the $1.3$ kHz feature is present only in a narrower range, from $1.5$ to $3.5$ rad s$^{-1}$. We show that the $1.3$ kHz signal originates from the high-density inner core of the PNS, and the $m=1$ deformation triggers a strong asymmetric distribution of electron anti-neutrinos. In addition to the $300$ Hz and $1.3$ kHz features, we also observe one weaker but noticeable gravitational-wave feature from higher-order modes in the range between $1.5$ and $3.5$ rad s$^{-1}$. Its peak frequency is around $800$ Hz initially and gradually increases to $900-1000$ Hz. Therefore, in addition to the gravitational bounce signal, the detection of the $300$ Hz, $1.3$ kHz, the higher-order mode, and even the related asymmetric emission of neutrinos, could provide additional diagnostics to estimate the initial angular velocity of a collapsing core.


title: Thermal-Infrared Remote Target Detection System for Maritime Rescue based on Data Augmentation with 3D Synthetic Data

abstract: This paper proposes a thermal-infrared (TIR) remote target detection system for maritime rescue using deep learning and data augmentation. We established a self-collected TIR dataset consisting of multiple scenes imitating human rescue situations using a TIR camera (FLIR). Additionally, to address dataset scarcity and improve model robustness, a synthetic dataset from a 3D game (ARMA3) to augment the data is further collected. However, a significant domain gap exists between synthetic TIR and real TIR images. Hence, a proper domain adaptation algorithm is essential to overcome the gap. Therefore, we suggest a domain adaptation algorithm in a target-background separated manner from 3D game-to-real, based on a generative model, to address this issue. Furthermore, a segmentation network with fixed-weight kernels at the head is proposed to improve the signal-to-noise ratio (SNR) and provide weak attention, as remote TIR targets inherently suffer from unclear boundaries. Experiment results reveal that the network trained on augmented data consisting of translated synthetic and real TIR data outperforms that trained on only real TIR data by a large margin. Furthermore, the proposed segmentation model surpasses the performance of state-of-the-art segmentation methods.


title: Observational Bias and Young Massive Cluster Characterisation II. Can Gaia accurately observe young clusters and associations?

abstract: Observations of clusters suffer from issues such as completeness, projection effects, resolving individual stars and extinction. As such, how accurate are measurements and conclusions are likely to be? Here, we take cluster simulations (Westerlund2- and Orion- type), synthetically observe them to obtain luminosities, accounting for extinction and the inherent limits of Gaia, then place them within the real Gaia DR3 catalogue. We then attempt to rediscover the clusters at distances of between 500pc and 4300pc. We show the spatial and kinematic criteria which are best able to pick out the simulated clusters, maximising completeness and minimising contamination. We then compare the properties of the 'observed' clusters with the original simulations. We looked at the degree of clustering, the identification of clusters and subclusters within the datasets, and whether the clusters are expanding or contracting. Even with a high level of incompleteness (e.g. $<2\%$ stellar members identified), similar qualitative conclusions tend to be reached compared to the original dataset, but most quantitative conclusions are likely to be inaccurate. Accurate determination of the number, stellar membership and kinematic properties of subclusters, are the most problematic to correctly determine, particularly at larger distances due to the disappearance of cluster substructure as the data become more incomplete, but also at smaller distances where the misidentification of asterisms as true structure can be problematic. Unsurprisingly, we tend to obtain better quantitative agreement of properties for our more massive Westerlund2-type cluster. We also make optical style images of the clusters over our range of distances.


title: Meta Learning for Multi-View Visuomotor Systems

abstract: This paper introduces a new approach for quickly adapting a multi-view visuomotor system for robots to varying camera configurations from the baseline setup. It utilises meta-learning to fine-tune the perceptual network while keeping the policy network fixed. Experimental results demonstrate a significant reduction in the number of new training episodes needed to attain baseline performance.