title: Affective Video Content Analysis: Decade Review and New Perspectives

abstract: Video content is rich in semantics and has the ability to evoke various emotions in viewers. In recent years, with the rapid development of affective computing and the explosive growth of visual data, affective video content analysis (AVCA) as an essential branch of affective computing has become a widely researched topic. In this study, we comprehensively review the development of AVCA over the past decade, particularly focusing on the most advanced methods adopted to address the three major challenges of video feature extraction, expression subjectivity, and multimodal feature fusion. We first introduce the widely used emotion representation models in AVCA and describe commonly used datasets. We summarize and compare representative methods in the following aspects: (1) unimodal AVCA models, including facial expression recognition and posture emotion recognition; (2) multimodal AVCA models, including feature fusion, decision fusion, and attention-based multimodal models; (3) model performance evaluation standards. Finally, we discuss future challenges and promising research directions, such as emotion recognition and public opinion analysis, human-computer interaction, and emotional intelligence.


title: \'Evaluation entre pairs en math\'ematiques: activit\'e d'\'etudiant$\bullet$es lors d'\'evaluations de preuves

abstract: This article deals with peer-assessment in the context of higher education teaching in mathematics, and examines the nature of student activity when assessing work produced by peers. After an overview of research on peer assessment, we propose an experiment with students in a specific post-secondary scientific class, and analyze the activity of the students involved. Our analyses are based on a priori analyses of the proposed tasks and tools from research on students personal mathematical work. We base on written notes of assessments, observations of pairs in assessment situations, and answers to a questionnaire on the perception of their activity. We have identified some specific student activities during the peer assessment process, in particular related to the analysis and correction of proofs, but also to the awareness of the issues associated with evaluation. This enables us to argue for the potential of peer assessment in higher mathematics education.


title: Towards a phase-field based model for combustion in particle beds: Reactive fluid flow

abstract: The present study provide a systematic derivation of a phase-field version of the momentum, mass and heat transport equations, while accounting for chemical reactions in the fluid phase. To achieve this goal, the volume averaging technique is used to reformulate the conservation equations in the presence of multiple phases and their respective diffuse interfaces. A careful analysis, and neglecting terms of the second order in fluctuations, reveals that the structure of the multiphase/diffuse interface version of the conservation equations is very similar to the original single phase/sharp interface formulation. The multiphase character of the problem reflects itself in a coupling term, which acts at the interface between two adjacent phases. The model is then applied to the special case of a reactive fluid in contact with an inert solid. Two coupling parameters are then introduced, which control the exchange of momentum and heat at the interface. For a numerical study of the thus obtained set of coupled partial differential equations, a hybrid lattice Boltzmann-finite difference-phase field (LB-FD-PF) framework is proposed and implemented in the open source software OpenPhase. The model is then thoroughly validated via numerical simulations, including isothermal flow, non-reactive non-isothermal flow, and reactive flows. To perform the simulations involving chemical reactions, OpenPhase is coupled to the open-source chemical kinetics software CANTERA, which delivers details of the chemical reaction mechanisms and the necessary thermodynamic and transport properties of the reacting chemical species. These simulations show that, once the coupling parameters are adequately tuned, the present approach yields excellent agreement with the sought for sharp interface method.


title: On-chip all-electrical determination of the magnetoelastic coupling constant of magnetic heterostructures

abstract: We have developed an approach to determine the magnetoelastic coupling constant of magnetic layers in thin film heterostructures. The film is formed on a piezoelectric substrate between two interdigital transducers (IDT), a platform often used to construct a surface acoustic wave device. With the substrate piezoelectricity, strain is induced into the film by applying a dc voltage to the IDTs. The strain causes changes in the magnetization direction of the magnetic layer, which is probed by measuring changes, if any, in the transverse resistance of the heterostructure. We find the extracted magnetoelastic coupling constant of the magnetic layer (CoFeB) depends on the film stacking. Such change can be accounted for provided that the elastic properties of the layers that constitute the heterostructures are taken into account. The on-chip all-electrical approach described here provides a versatile means to quantitatively assess the magnetoelastic coupling constant of thin film heterostructures.


title: Three-dimensional Bone Image Synthesis with Generative Adversarial Networks

abstract: Medical image processing has been highlighted as an area where deep learning-based models have the greatest potential. However, in the medical field in particular, problems of data availability and privacy are hampering research progress and thus rapid implementation in clinical routine. The generation of synthetic data not only ensures privacy, but also allows to \textit{draw} new patients with specific characteristics, enabling the development of data-driven models on a much larger scale. This work demonstrates that three-dimensional generative adversarial networks (GANs) can be efficiently trained to generate high-resolution medical volumes with finely detailed voxel-based architectures. In addition, GAN inversion is successfully implemented for the three-dimensional setting and used for extensive research on model interpretability and applications such as image morphing, attribute editing and style mixing. The results are comprehensively validated on a database of three-dimensional HR-pQCT instances representing the bone micro-architecture of the distal radius.


title: Beyond MLE: Convex Learning for Text Generation

abstract: Maximum likelihood estimation (MLE) is a statistical method used to estimate the parameters of a probability distribution that best explain the observed data. In the context of text generation, MLE is often used to train generative language models, which can then be used to generate new text. However, we argue that MLE is not always necessary and optimal, especially for closed-ended text generation tasks like machine translation. In these tasks, the goal of model is to generate the most appropriate response, which does not necessarily require it to estimate the entire data distribution with MLE. To this end, we propose a novel class of training objectives based on convex functions, which enables text generation models to focus on highly probable outputs without having to estimate the entire data distribution. We investigate the theoretical properties of the optimal predicted distribution when applying convex functions to the loss, demonstrating that convex functions can sharpen the optimal distribution, thereby enabling the model to better capture outputs with high probabilities. Experiments on various text generation tasks and models show the effectiveness of our approach. It enables autoregressive models to bridge the gap between greedy and beam search, and facilitates the learning of non-autoregressive models with a maximum improvement of 9+ BLEU points. Moreover, our approach also exhibits significant impact on large language models (LLMs), substantially enhancing their generative capability on various tasks. Source code is available at \url{https://github.com/ictnlp/Convex-Learning}.


title: Prototypical Contrastive Learning-based CLIP Fine-tuning for Object Re-identification

abstract: This work aims to adapt large-scale pre-trained vision-language models, such as contrastive language-image pretraining (CLIP), to enhance the performance of object reidentification (Re-ID) across various supervision settings. Although prompt learning has enabled a recent work named CLIP-ReID to achieve promising performance, the underlying mechanisms and the necessity of prompt learning remain unclear due to the absence of semantic labels in ReID tasks. In this work, we first analyze the role prompt learning in CLIP-ReID and identify its limitations. Based on our investigations, we propose a simple yet effective approach to adapt CLIP for supervised object Re-ID. Our approach directly fine-tunes the image encoder of CLIP using a prototypical contrastive learning (PCL) loss, eliminating the need for prompt learning. Experimental results on both person and vehicle Re-ID datasets demonstrate the competitiveness of our method compared to CLIP-ReID. Furthermore, we extend our PCL-based CLIP fine-tuning approach to unsupervised scenarios, where we achieve state-of-the art performance.


title: Scalable Verification of Strategy Logic through Three-valued Abstraction

abstract: The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle this issue but at the expense of expressiveness. In this paper, we propose a three-valued semantics for Strategy Logic upon which we define an abstraction method. We show that the latter semantics is an approximation of the classic two-valued one for Strategy Logic. Furthermore, we extend MCMAS, an open-source model checker for multi-agent specifications, to incorporate our abstraction method and present some promising experimental results.


title: Validating Digital Traces with Survey Data: The Use Case of Religiosity

abstract: This paper tests the validity of a digital trace database (Politus) obtained from Twitter, with a recently conducted representative social survey, focusing on the use case of religiosity in Turkey. Religiosity scores in the research are extracted using supervised machine learning under the Politus project. The validation analysis depends on two steps. First, we compare the performances of two alternative tweet-to-user transformation strategies, and second, test for the impact of resampling via the MRP technique. Estimates of the Politus are examined at both aggregate and region-level. The results are intriguing for future research on measuring public opinion via social media data.


title: Epitaxial Growth of Boron Carbide on 4H-SiC

abstract: In this work, the successful heteroepitaxial growth of boron carbide (B x C) on 4HSiC(0001) 4{\textdegree} off substrate using chemical vapor deposition (CVD) is reported. Towards this end, a two-step procedure was developed, involving the 4H-SiC substrate boridation under BCl 3 precursor at 1200{\textdegree}C, followed by conventional CVD under BCl 3 + C 3 H 8 at 1600{\textdegree}C. Such a procedure allowed obtaining reproducibly monocrystalline (0001) oriented films of B x C with a step flow morphology at a growth rate of 1.9 $\mu$m/h. Without the boridation step, the layers are systematically polycrystalline. The study of the epitaxial growth mechanism shows that a monocrystalline B x C layer is formed after boridation but covered with a B-and Si-containing amorphous layer. Upon heating up to 1600{\textdegree}C, under pure H 2 atmosphere, the amorphous layer was converted into epitaxial B x C and transient surface SiB x and Si crystallites. These crystallites disappear upon CVD growth.


title: Maximum Power and The Corresponding Efficiency for A Carnot-like Thermoelectric Cycle Based on Fluctuation Theorem

abstract: Here, we investigate the maximum power and corresponding efficiency of thermoelectric generators through devising a set of protocols for the isothermal and adiabatic processes of thermoelectricity to build a Carnot-like thermoelectric cycle, with the analysis based on fluctuation theorem (FT). First of all, the Carnot efficiency can be readily obtained for the quasi-static thermoelectric cycle, with the vanishing power. Moreover, the maximum power-efficiency pair of the finite-time thermoelectric cycle is derived, which is found to have the identical form to that of Brownian motors characterized by the stochastic thermodynamics. However, it is of significant discrepancy compared to the linear-irreversible and endoreversible-thermodynamics-based formulations. The distinction compared to the linear-irreversible-thermodynamics case could result from the difference in the definitions of Peltier and Seebeck coefficients in the thermoelectric cycle. As for the endoreversible thermodynamics, we argue the applicability of endoreversibility could be questionable for analyzing the thermoelectric cycle here, due to the incompatibility of the endoreversible hypothesis that attributes the irreversibility to finite heat transfer with thermal reservoirs, though the distinction of the mathematical expressions can vanish with the assumption that the ratio of thermoelectric power factors at the high and low temperatures is equal to the square root of the temperature ratio (this condition could significantly deviate from the practical case).


title: Quickest Change Detection with Controlled Sensing

abstract: In the problem of quickest change detection, a change occurs at some unknown time in the distribution of a sequence of random vectors that are monitored in real time, and the goal is to detect this change as quickly as possible subject to a certain false alarm constraint. In this work we consider this problem in the presence of parametric uncertainty in the post-change regime and controlled sensing. That is, the post-change distribution contains an unknown parameter, and the distribution of each observation, before and after the change, is affected by a control action. In this context, in addition to a stopping rule that determines the time at which it is declared that the change has occurred, one also needs to determine a sequential control policy, which chooses the control action at each time based on the already collected observations. We formulate this problem mathematically using Lorden's minimax criterion, and assuming that there are finitely many possible actions and post-change parameter values. We then propose a specific procedure for this problem that employs an adaptive CuSum statistic in which (i) the estimate of the parameter is based on a fixed number of the more recent observations, and (ii) each action is selected to maximize the Kullback-Leibler divergence of the next observation based on the current parameter estimate, apart from a small number of exploration times. We show that this procedure, which we call the Windowed Chernoff-CuSum (WCC), is first-order asymptotically optimal under Lorden's minimax criterion, for every possible possible value of the unknown post-change parameter, as the mean time to false alarm goes to infinity. We also provide simulation results to illustrate the performance of the WCC procedure.


title: Towards the decentralized coordination of multiple self-adaptive systems

abstract: When multiple self-adaptive systems share the same environment and have common goals, they may coordinate their adaptations at runtime to avoid conflicts and to satisfy their goals. There are two approaches to coordination. (1) Logically centralized, where a supervisor has complete control over the individual self-adaptive systems. Such approach is infeasible when the systems have different owners or administrative domains. (2) Logically decentralized, where coordination is achieved through direct interactions. Because the individual systems have control over the information they share, decentralized coordination accommodates multiple administrative domains. However, existing techniques do not account simultaneously for both local concerns, e.g., preferences, and shared concerns, e.g., conflicts, which may lead to goals not being achieved as expected. Our idea to address this shortcoming is to express both types of concerns within the same constraint optimization problem. We propose CoADAPT, a decentralized coordination technique introducing two types of constraints: preference constraints, expressing local concerns, and consistency constraints, expressing shared concerns. At runtime, the problem is solved in a decentralized way using distributed constraint optimization algorithms implemented by each self-adaptive system. As a first step in realizing CoADAPT, we focus in this work on the coordination of adaptation planning strategies, traditionally addressed only with centralized techniques. We show the feasibility of CoADAPT in an exemplar from cloud computing and analyze experimentally its scalability.


title: Long-term Orbital Period Variation of Hot Jupiters from Transiting Time Analysis using TESS Survey Data

abstract: Many hot Jupiters may experience orbital decays, which are manifested as long-term transit timing variations. We have analyzed 7068 transits from the Transiting Exoplanet Survey Satellite (TESS) for a sample of 326 hot Jupiters. These new mid-transit time data allow us to update ephemerides for these systems. By combining the new TESS transit timing data with archival data, we search for possible long-term orbital period variations in these hot Jupiters using a linear and a quadratic ephemeris model. We identified 26 candidates that exhibit possible long-term orbital period variations, including 18 candidates with decreasing orbital periods and 8 candidates with increasing orbital periods. Among them, 12 candidates have failed in our leave-one-out cross-validation (LOOCV) test and thus should be considered as marginal candidates. In addition to tidal interaction, alternative mechanisms such as apsidal precession, R{\o}mer effect, and Applegate effect could also contribute to the observed period variations. The ephemerides derived in this work are useful for scheduling follow-up observations for these hot Jupiters in the future. The Python code used to generate the ephemerides is made available online.


title: In situ digestion of canola protein gel observed by synchrotron X-Ray Scattering

abstract: We address the issue of structure changes of a canola protein gel (as a solid food model) during gastrointestinal digestion. We present a method for synchrotron Small-Angle X-ray Scattering analysis of the digestion of a gel in a capillary. Scanning the capillary allows tracking the digestion under diffusion of enzymatic juices. The fitting parameters characterizing the sizes, scattering intensities and structures allow to distinguish the compact, unfolded or aggregated states of proteins. The evolutions of these parameters enable to detail the complex changes of proteins during gel digestion, involving back-and-forth evolutions with proteins unfolding (1 st and 3 rd steps), re-compaction (2 nd step) due to gastrointestinal pH and enzyme actions, before final protein scissions (4 th step) resulting in small peptides. This complexity is related to the wide ranges of successive pH and enzyme activity acting on large and charged protein assemblies. Digestion is therefore impacted by the conditions of food preparation.


title: RNO 54: A Previously Unappreciated FU Ori Star

abstract: We present evidence in support of the hypothesis that the young stellar object RNO 54 is a mature-stage FU Ori type source. The star was first cataloged as a ``red nebulous object" in the 1980s but appears to have undergone its outburst prior to the 1890s. Present-day optical and near-infrared spectra are consistent with those of other FU Ori type stars, both in the details of spectral line presence and shape, and in the overall change in spectral type from an FGK-type in the optical, to the M-type presented in the near-infrared. In addition, the spectral energy distribution of RNO 54 is well-fit by a pure-accretion disk model with parameters: $\dot{M} = 10^{-3.45\pm0.06}$ $M_\odot$ yr$^{-1}$, $M_* = 0.23\pm0.06 \ M_\odot$, and $R_\mathrm{inner} = 3.68\pm0.76 \ R_\odot$, though we believe $R_\mathrm{inner}$ is likely close to its upper range of $4.5 R_\odot$ in order to produce a $T_\mathrm{max} = 7000$ K that is consistent with the optical to near-infrared spectra. The resulting $L_\mathrm{acc}$ is $\sim 265 \ L_\odot$. To find these values, we adopted a source distance $d=1400$ pc and extinction $A_V=3.9$ mag, along with disk inclination $i=50$ deg based on consideration of confidence intervals from our initial disk model, and in agreement with observational constraints. The new appreciation of a well-known source as an FU Ori type object suggests that other such examples may be lurking in extant samples.


title: TST$^\mathrm{R}$: Target Similarity Tuning Meets the Real World

abstract: Target similarity tuning (TST) is a method of selecting relevant examples in natural language (NL) to code generation through large language models (LLMs) to improve performance. Its goal is to adapt a sentence embedding model to have the similarity between two NL inputs match the similarity between their associated code outputs. In this paper, we propose different methods to apply and improve TST in the real world. First, we replace the sentence transformer with embeddings from a larger model, which reduces sensitivity to the language distribution and thus provides more flexibility in synthetic generation of examples, and we train a tiny model that transforms these embeddings to a space where embedding similarity matches code similarity, which allows the model to remain a black box and only requires a few matrix multiplications at inference time. Second, we show how to efficiently select a smaller number of training examples to train the TST model. Third, we introduce a ranking-based evaluation for TST that does not require end-to-end code generation experiments, which can be expensive to perform.


title: Geometry of exactness of moment-SOS relaxations for polynomial optimization

abstract: The moment-SOS (sum of squares) hierarchy is a powerful approach for solving globally non-convex polynomial optimization problems (POPs) at the price of solving a family of convex semidefinite optimization problems (called moment-SOS relaxations) of increasing size, controlled by an integer, the relaxation order. We say that a relaxation of a given order is exact if solving the relaxation actually solves the POP globally. In this note, we study the geometry of the exactness cone, defined as the set of polynomial objective functions for which the relaxation is exact. Generalizing previous foundational work on quadratic optimization on real varieties, we prove by elementary arguments that the exactness cones are unions of semidefinite representable cones monotonically embedded for increasing relaxation order.


title: Codebook Features: Sparse and Discrete Interpretability for Neural Networks

abstract: Understanding neural networks is challenging in part because of the dense, continuous nature of their hidden states. We explore whether we can train neural networks to have hidden states that are sparse, discrete, and more interpretable by quantizing their continuous features into what we call codebook features. Codebook features are produced by finetuning neural networks with vector quantization bottlenecks at each layer, producing a network whose hidden features are the sum of a small number of discrete vector codes chosen from a larger codebook. Surprisingly, we find that neural networks can operate under this extreme bottleneck with only modest degradation in performance. This sparse, discrete bottleneck also provides an intuitive way of controlling neural network behavior: first, find codes that activate when the desired behavior is present, then activate those same codes during generation to elicit that behavior. We validate our approach by training codebook Transformers on several different datasets. First, we explore a finite state machine dataset with far more hidden states than neurons. In this setting, our approach overcomes the superposition problem by assigning states to distinct codes, and we find that we can make the neural network behave as if it is in a different state by activating the code for that state. Second, we train Transformer language models with up to 410M parameters on two natural language datasets. We identify codes in these models representing diverse, disentangled concepts (ranging from negative emotions to months of the year) and find that we can guide the model to generate different topics by activating the appropriate codes during inference. Overall, codebook features appear to be a promising unit of analysis and control for neural networks and interpretability. Our codebase and models are open-sourced at https://github.com/taufeeque9/codebook-features.


title: Bridgman-grown (Cd,Mn)Te and (Cd,Mn)(Te,Se): A comparison of suitability for X and gamma detectors

abstract: This study explores the suitability of semi-insulating compounds, specifically (Cd,Mn)Te and (Cd,Mn)(Te,Se), as materials for room temperature X-ray and gamma-ray detectors. These compounds were grown using the Bridgman method, known for its efficient growth rate. The investigation aims to compare their crystal structure, mechanical properties, optical characteristics, and radiation detection capabilities. The addition of selenium to (Cd,Mn)Te increased the compound's hardness. However, (Cd,Mn)(Te,Se) exhibited one order of magnitude higher etch pit density compared to (Cd,Mn)Te. Photoluminescence analysis at low temperatures revealed the presence of defect states in both materials, characterized by shallow and deep donor-acceptor pair transitions (DAP). Annealing in cadmium vapors effectively eliminated DAP luminescence in (Cd,Mn)Te but not in (Cd,Mn)(Te,Se). Spectroscopic performance assessments indicated that the (Cd,Mn)Te detector outperformed the (Cd,Mn)(Te,Se) detector in responding to a Co-57 source. The reduced performance in the latter case may be attributed to either the presence of a deep trap related to deep DAP luminescence, minimally affected by annealing, or the dominant presence of block-like structures in the samples, as indicated by X-ray diffraction measurements. The block-like structures in (Cd,Mn)(Te,Se) showed ten times larger misorientation angles compared to the (Cd,Mn)Te crystals. (Cd,Mn)Te crystal revealed excellent single crystal properties, demonstrated by narrower omega scan widths. The study also highlights the influence of grain boundaries and twins on crystal structure quality. In our opinion, Bridgman-grown (Cd,Mn)Te shows greater promise as a material for X-ray and gamma-ray detectors compared to (Cd,Mn)(Te,Se).


title: Decoherence time in quantum harmonic oscillators as quantum memory systems

abstract: This paper is concerned with open quantum harmonic oscillators (OQHOs) described by linear quantum stochastic differential equations. This framework includes isolated oscillators with zero Hamiltonian, whose system variables remain unchanged (in the Heisenberg picture of quantum dynamics) over the course of time, making such systems potentially applicable as quantum memory devices. In a more realistic case of system-environment coupling, we define a memory decoherence horizon as a typical time for a mean-square deviation of the system variables from their initial values to become relatively significant as specified by a weighting matrix and a fidelity parameter. We consider the maximization of the decoherence time over the energy and coupling matrices of the OQHO as a memory system in its storage phase and obtain a condition under which the zero Hamiltonian delivers a suboptimal solution. This optimization problem is also discussed for an interconnection of OQHOs.


title: EMMA-X: An EM-like Multilingual Pre-training Algorithm for Cross-lingual Representation Learning

abstract: Expressing universal semantics common to all languages is helpful in understanding the meanings of complex and culture-specific sentences. The research theme underlying this scenario focuses on learning universal representations across languages with the usage of massive parallel corpora. However, due to the sparsity and scarcity of parallel data, there is still a big challenge in learning authentic ``universals'' for any two languages. In this paper, we propose EMMA-X: an EM-like Multilingual pre-training Algorithm, to learn (X)Cross-lingual universals with the aid of excessive multilingual non-parallel data. EMMA-X unifies the cross-lingual representation learning task and an extra semantic relation prediction task within an EM framework. Both the extra semantic classifier and the cross-lingual sentence encoder approximate the semantic relation of two sentences, and supervise each other until convergence. To evaluate EMMA-X, we conduct experiments on XRETE, a newly introduced benchmark containing 12 widely studied cross-lingual tasks that fully depend on sentence-level representations. Results reveal that EMMA-X achieves state-of-the-art performance. Further geometric analysis of the built representation space with three requirements demonstrates the superiority of EMMA-X over advanced models.


title: Computationally Feasible Strategies

abstract: Real-life agents seldom have unlimited reasoning power. In this paper, we propose and study a new formal notion of computationally bounded strategic ability in multi-agent systems. The notion characterizes the ability of a set of agents to synthesize an executable strategy in the form of a Turing machine within a given complexity class, that ensures the satisfaction of a temporal objective in a parameterized game arena. We show that the new concept induces a proper hierarchy of strategic abilities -- in particular, polynomial-time abilities are strictly weaker than the exponential-time ones. We also propose an ``adaptive'' variant of computational ability which allows for different strategies for each parameter value, and show that the two notions do not coincide. Finally, we define and study the model-checking problem for computational strategies. We show that the problem is undecidable even for severely restricted inputs, and present our first steps towards decidable fragments.


title: Bi-modal public transit system for Berlin and Brandenburg

abstract: Bi-modla public transport system consisting of a rail-bound line service and a fleet of on-demand shuttles providing connections to the line service stops is studied for the states of Berlin and Brandenburg for user adoption of x = 1% and x = 10% of the total population.


title: Non-overlapping descents and ascents in stack-sortable permutations

abstract: The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlapping descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$. In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlapping ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.


title: A Unified Framework for Rank-based Loss Minimization

abstract: The empirical loss, commonly referred to as the average loss, is extensively utilized for training machine learning models. However, in order to address the diverse performance requirements of machine learning models, the use of the rank-based loss is prevalent, replacing the empirical loss in many cases. The rank-based loss comprises a weighted sum of sorted individual losses, encompassing both convex losses like the spectral risk, which includes the empirical risk and conditional value-at-risk, and nonconvex losses such as the human-aligned risk and the sum of the ranked range loss. In this paper, we introduce a unified framework for the optimization of the rank-based loss through the utilization of a proximal alternating direction method of multipliers. We demonstrate the convergence and convergence rate of the proposed algorithm under mild conditions. Experiments conducted on synthetic and real datasets illustrate the effectiveness and efficiency of the proposed algorithm.


title: Joint Entity and Relation Extraction with Span Pruning and Hypergraph Neural Networks

abstract: Entity and Relation Extraction (ERE) is an important task in information extraction. Recent marker-based pipeline models achieve state-of-the-art performance, but still suffer from the error propagation issue. Also, most of current ERE models do not take into account higher-order interactions between multiple entities and relations, while higher-order modeling could be beneficial.In this work, we propose HyperGraph neural network for ERE ($\hgnn{}$), which is built upon the PL-marker (a state-of-the-art marker-based pipleline model). To alleviate error propagation,we use a high-recall pruner mechanism to transfer the burden of entity identification and labeling from the NER module to the joint module of our model. For higher-order modeling, we build a hypergraph, where nodes are entities (provided by the span pruner) and relations thereof, and hyperedges encode interactions between two different relations or between a relation and its associated subject and object entities. We then run a hypergraph neural network for higher-order inference by applying message passing over the built hypergraph. Experiments on three widely used benchmarks (\acef{}, \ace{} and \scierc{}) for ERE task show significant improvements over the previous state-of-the-art PL-marker.


title: Toroidal Miller-Turner and Soloviev CME models in EUHFORIA: I. Implementation

abstract: The aim of this paper is to present the implementation of two new CME models in the space weather forecasting tool, EUHFORIA. We introduce the two toroidal CME models analytically, along with their numerical implementation in EUHFORIA. One model is based on the modified Miller-Turner (mMT) solution, while the other is derived from the Soloviev equilibrium, a specific solution of the Grad-Shafranov equation. The magnetic field distribution in both models is provided in analytic formulae, enabling a swift numerical computation. After detailing the differences between the two models, we present a collection of thermodynamic and magnetic profiles obtained at Earth using these CME solutions in EUHFORIA with a realistic solar wind background. Subsequently, we explore the influence of their initial parameters on the time profiles at L1. In particular, we examine the impact of the initial density, magnetic field strength, velocity, and minor radius. In EUHFORIA, we obtained different thermodynamic and magnetic profiles depending on the CME model used. We found that changing the initial parameters affects both the amplitude and the trend of the time profiles. For example, using a high initial speed results in a fast evolving and compressed magnetic structure. The speed of the CME is also linked to the strength of the initial magnetic field due to the contribution of the Lorentz force on the CME expansion. However, increasing the initial magnetic field also increases the computation time. Finally, the expansion and integrity of the magnetic structure can be controlled via the initial density of the CME. Both toroidal CME models are successfully implemented in EUHFORIA and can be utilized to predict the geo-effectiveness of the impact of real CME events. Moreover, the current implementation could be easily modified to model other toroidal magnetic configurations.


title: Strategic Abilities of Forgetful Agents in Stochastic Environments

abstract: In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play uniform strategies. That is, the semantics of the logics are based on multi-agent, stochastic transition systems with imperfect information, which combine two sources of uncertainty, namely, the partial observability agents have on the environment, and the likelihood of transitions to occur from a system state. Since the model checking problem is undecidable in general in this setting, we restrict our attention to agents with memoryless (positional) strategies. The resulting setting captures the situation in which agents have qualitative uncertainty of the local state and quantitative uncertainty about the occurrence of future events. We illustrate the usefulness of this setting with meaningful examples.


title: Various questions around finitely positively expansive dynamical systems

abstract: It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to generalize positive expansiveness, by introducing other properties that he called positive $n$-expansiveness, for all $n \ge 1$, positive $1$-expansiveness being identical to positive expansiveness. Contrary to positive expansiveness, positive $n$-expansiveness for $n>1$ does not enforce that the space is finite when the system is invertible. In the present paper we call finitely positively expansive dynamical systems as the ones which are positively $n$-expansive for some integer $n$, and prove several results on this class of systems. In particular, the well-known result quoted above is true if we add the constraint of shadowing property, while it is not if this property is replaced with minimality. Furthermore, finitely positively expansive systems cannot occur on certain topological spaces such as the interval, when the system is assumed to be invertible finite positive expansiveness implies zero topological entropy. Overall we show that the class of finitely positively expansive dynamical systems is quite rich and leave several questions open for further research.


title: Slow and Non-Equilibrium Dynamics due to Electronic Ferroelectricity in a Strongly-Correlated Molecular Conductor

abstract: Using a combination of resistance fluctuation (noise) and dielectric spectroscopy we investigate the nature of relaxor-type electronic ferroelectricity in the organic conductor $\kappa$-(BETS)$_2$Mn[N(CN)$_2$]$_3$, a system representative for a wider class of materials, where strong correlations of electrons on a lattice of dimerized molecules results in an insulating ground state. The two complementary spectroscopies reveal a distinct low-frequency dynamics. By dielectric spectroscopy we detect an intrinsic relaxation that is typical for relaxor ferroelectrics below the metal-to-insulator transition at $T_{\rm{MI}}\sim 25\,$K. Resistance noise spectroscopy reveals fluctuating two-level processes above $T_{\rm MI}$ which strongly couple to the applied electric field, a signature of fluctuating polar nanoregions (PNR), i.e. clusters of quantum electric dipoles fluctuating collectively. The PNR preform above the metal insulator transition. Upon cooling through $T_{\rm MI}$, a drastic increase of the low-frequency $1/f$-type fluctuations and slowing down of the charge carrier dynamics is accompanied by the onset of strong non-equilibrium dynamics indicating a glassy transition of interacting dipolar clusters, the scaling properties of which are consistent with a droplet model. The freezing of nano-scale polar clusters and non-equilibrium dynamics is suggested to be a common feature of organic relaxor-type electronic ferroelectrics and needs to be considered in theoretical models describing these materials.


title: Topological phase transition in a narrow bandgap semiconductor nanolayer

abstract: Narrow bandgap semiconductor nanostructures have been explored for realization of topological superconducting quantum devices in which Majorana states can be created and employed for constructing topological qubits. However, a prerequisite to achieve the topological phase transition in these nanostructures is application of a magnetic field, which could complicate the technology development towards topological quantum computing. Here we demonstrate that a topological phase transition can be achieved in a narrow bandgap semiconductor nanolayer under application of a perpendicular electric field. Based on full band structure calculations, it is shown that the topological phase transition occurs at an electric-field induced band inversion and is accompanied by a sharp change of the $\mathbb{Z}_{2}$ invariant at the critical field. We also demonstrate that the nontrivial topological phase is manifested by the quantum spin Hall edge states in a band-inverted nanolayer Hall-bar structure. We present the phase diagram of the nanolayer in the space of layer thickness and electric field strength, and discuss the optimal conditions to achieve a large topological bandgap in the electric-field induced topological phase of a semiconductor nanolayer.


title: Inter-band optical transitions of helical Majorana edge modes in topological superconductors

abstract: The search for evidence of Majorana states on the edges of topological superconductors (TSCs) is challenging due to the difficulty of detecting such charge-neutral electronic quasiparticles. Local microwave spectroscopy has been shown to be a possible method to detect propagating Majorana modes, where a spatially focused light beam must be used. Here, we show that helical Majorana modes in TSCs allow inter-band transitions and thus contribute to optical conductivity under a spatially uniform light. The existence of such a signal requires the system to break certain symmetries so that the projection of the charge current operator onto helical Majorana edge states leads to inter-band hybridization terms. The general form of this contribution under a tunable time-reversal breaking field is derived, which is valid in the sub-gap low-frequency regime where the edge energy spectrum is linear, and numerical results are obtained in three TSC models, showing remarkable consistency with the analytical prediction. In comparison, the current operator for normal helical edge states, such as in quantum spin Hall insulators, does not cause inter-band transitions and the related optical conductivity vanishes unless the time-reversal symmetry is broken. Our results may help guide feasible experiments to provide evidence of Majorana edge modes in TSCs.


title: CROP: Conservative Reward for Model-based Offline Policy Optimization

abstract: Offline reinforcement learning (RL) aims to optimize policy using collected data without online interactions. Model-based approaches are particularly appealing for addressing offline RL challenges due to their capability to mitigate the limitations of offline data through data generation using models. Prior research has demonstrated that introducing conservatism into the model or Q-function during policy optimization can effectively alleviate the prevalent distribution drift problem in offline RL. However, the investigation into the impacts of conservatism in reward estimation is still lacking. This paper proposes a novel model-based offline RL algorithm, Conservative Reward for model-based Offline Policy optimization (CROP), which conservatively estimates the reward in model training. To achieve a conservative reward estimation, CROP simultaneously minimizes the estimation error and the reward of random actions. Theoretical analysis shows that this conservative reward mechanism leads to a conservative policy evaluation and helps mitigate distribution drift. Experiments on D4RL benchmarks showcase that the performance of CROP is comparable to the state-of-the-art baselines. Notably, CROP establishes an innovative connection between offline and online RL, highlighting that offline RL problems can be tackled by adopting online RL techniques to the empirical Markov decision process trained with a conservative reward. The source code is available with https://github.com/G0K0URURI/CROP.git.


title: Rheological synergistic thermal conductivity of CMC-based Fe3O4 and Al2O3 nanofluids in shear flow fields

abstract: In this paper, considering the variation of the viscous dissipative heat in the transfer direction, a new theoretical formula for thermal conductivity measurement was proposed based on the energy equation of the rotational Couette flow field. This theoretical formula shows that thermal conductivity and rheology have a synergistic effect. Based on this theoretical formula, the rheological synergistic thermal conductivity of CMC-based Fe3O4 nanofluids and Al2O3 nanofluids was experimentally investigated. The experimental results show that the thermal conductivity rises with the increase of shear rate and volume fraction, moreover, volume fraction and shear rate have mutually reinforcing effects on thermal conductivity enhancement. Non-Newtonian effects of rheology and heat transfer reduce with shear rate and increase with volume fraction, with consistent synergistic effects. According to the experimental data, the expressions of the thermal conductivity and dynamic viscosity of these two nanofluids as functions of shear rate and volume fraction were presented.


title: Grokking Beyond Neural Networks: An Empirical Exploration with Model Complexity

abstract: In some settings neural networks exhibit a phenomenon known as \textit{grokking}, where they achieve perfect or near-perfect accuracy on the validation set long after the same performance has been achieved on the training set. In this paper, we discover that grokking is not limited to neural networks but occurs in other settings such as Gaussian process (GP) classification, GP regression, linear regression and Bayesian neural networks. We also uncover a mechanism by which to induce grokking on algorithmic datasets via the addition of dimensions containing spurious information. The presence of the phenomenon in non-neural architectures shows that grokking is not restricted to settings considered in current theoretical and empirical studies. Instead, grokking may be possible in any model where solution search is guided by complexity and error.


title: The observed Fisher information attached to the EM algorithm, illustrated on Shepp and Vardi estimation procedure for positron emission tomography

abstract: The Shepp & Vardi (1982) implementation of the EM algorithm for PET scan tumor estimation provides a point estimate of the tumor. The current study presents a closed-form formula of the observed Fisher information for Shepp & Vardi PET scan tumor estimation. Keywords: PET scan, EM algorithm, Fisher information matrix, standard errors.


title: Rapid Spectral Parameter Prediction for Black Hole X-Ray Binaries using Physicalised Autoencoders

abstract: Black hole X-ray binaries (BHBs) offer insights into extreme gravitational environments and the testing of general relativity. The X-ray spectrum collected by NICER offers valuable information on the properties and behaviour of BHBs through spectral fitting. However, traditional spectral fitting methods are slow and scale poorly with model complexity. This paper presents a new semi-supervised autoencoder neural network for parameter prediction and spectral reconstruction of BHBs, showing an improvement of up to a factor of 2,700 in speed while maintaining comparable accuracy. The approach maps the spectral features from the numerous outbursts catalogued by NICER and generalises them to new systems for efficient and accurate spectral fitting. The effectiveness of this approach is demonstrated in the spectral fitting of BHBs and holds promise for use in other areas of astronomy and physics for categorising large datasets.


title: IDENAS: Internal Dependency Exploration for Neural Architecture Search

abstract: Machine learning is a powerful tool for extracting valuable information and making various predictions from diverse datasets. Traditional algorithms rely on well-defined input and output variables however, there are scenarios where the distinction between the input and output variables and the underlying, associated (input and output) layers of the model, are unknown. Neural Architecture Search (NAS) and Feature Selection have emerged as promising solutions in such scenarios. This research proposes IDENAS, an Internal Dependency-based Exploration for Neural Architecture Search, integrating NAS with feature selection. The methodology explores internal dependencies in the complete parameter space for classification involving 1D sensor and 2D image data as well. IDENAS employs a modified encoder-decoder model and the Sequential Forward Search (SFS) algorithm, combining input-output configuration search with embedded feature selection. Experimental results demonstrate IDENASs superior performance in comparison to other algorithms, showcasing its effectiveness in model development pipelines and automated machine learning. On average, IDENAS achieved significant modelling improvements, underscoring its significant contribution to advancing the state-of-the-art in neural architecture search and feature selection integration.


title: Price of information in games of chance

abstract: We consider a game where $N$ players bet on the outcome of a biased coin and share the entry fees pot if successful. We assume that one player holds information about past outcomes of the game, which they may either use exclusively to improve their betting strategy or offer to sell to another player. We determine analytically the optimal price curves for the data seller and the prospective buyer. We find a sharp transition in the number $N$ of players that separates a phase where the transaction is always profitable for the seller from one where it may not be. In both phases, different regimes are possible, depending on the "quality" of information being put up for sale: we observe symbiotic regimes, where both parties collude effectively to rig the game in their favor, competitive regimes, where the transaction is unappealing to the data holder as it overly favors a competitor for scarce resources, and even prey-predator regimes, where the data holder is eager to give away bad-quality data to undercut a competitor. Our framework can be generalized to more complex settings and constitutes a flexible tool to address the rich and timely problem of pricing information in games of chance.


title: Continuous data assimilation for the three dimensional primitive equations with magnetic field

abstract: In this paper, the problem of continuous data assimilation of three dimensional primitive equations with magnetic field in thin domain is studied. We establish the well-posedness of the assimilation system and prove that the $H^2$-strong solution of the assimilation system converges exponentially to the reference solution in the sense of $L^2$ as $t\rightarrow \infty$. We also study the sensitivity analysis of the assimilation system and prove that a sequence of solutions of the difference quotient equation converge to the unique solution of the formal sensitivity equation.


title: Exactly energy-conserving electromagnetic Particle-in-Cell method in curvilinear coordinates

abstract: In this paper, we introduce and discuss an exactly energy-conserving Particle-in-Cell method for arbitrary curvilinear coordinates. The flexibility provided by curvilinear coordinates enables the study of plasmas in complex-shaped domains by aligning the grid to the given geometry, or by focusing grid resolution on regions of interest without overresolving the surrounding, potentially uninteresting domain. We have achieved this through the introduction of the metric tensor, the Jacobian matrix, and contravariant operators combined with an energy-conserving fully implicit solver. We demonstrate the method's capabilities using a Python implementation to study several one- and two-dimensional test cases: the electrostatic two-stream instability, the electromagnetic Weibel instability, and the geomagnetic environment modeling (GEM) reconnection challenge. The test results confirm the capability of our new method to reproduce theoretical expectations (e.g. instability growth rates) and the corresponding results obtained with a Cartesian uniform grid when using curvilinear grids. Simultaneously, we show that the method conserves energy to machine precision in all cases.


title: New type of rogue waves

abstract: New type of localized solutions for the two-dimensional multicomponent Yajima-Oikawa system is presented. The dynamics of solutions of this type occurs on the zero background and is similar to that of rogue waves.


title: Generalizing to Unseen Domains in Diabetic Retinopathy Classification

abstract: Diabetic retinopathy (DR) is caused by long-standing diabetes and is among the fifth leading cause for visual impairments. The process of early diagnosis and treatments could be helpful in curing the disease, however, the detection procedure is rather challenging and mostly tedious. Therefore, automated diabetic retinopathy classification using deep learning techniques has gained interest in the medical imaging community. Akin to several other real-world applications of deep learning, the typical assumption of i.i.d data is also violated in DR classification that relies on deep learning. Therefore, developing DR classification methods robust to unseen distributions is of great value. In this paper, we study the problem of generalizing a model to unseen distributions or domains (a.k.a domain generalization) in DR classification. To this end, we propose a simple and effective domain generalization (DG) approach that achieves self-distillation in vision transformers (ViT) via a novel prediction softening mechanism. This prediction softening is an adaptive convex combination one-hot labels with the model's own knowledge. We perform extensive experiments on challenging open-source DR classification datasets under both multi-source and single-source DG settings with three different ViT backbones to establish the efficacy and applicability of our approach against competing methods. For the first time, we report the performance of several state-of-the-art DG methods on open-source DR classification datasets after conducting thorough experiments. Finally, our method is also capable of delivering improved calibration performance than other methods, showing its suitability for safety-critical applications, including healthcare. We hope that our contributions would investigate more DG research across the medical imaging community.


title: fairret: a Framework for Differentiable Fairness Regularization Terms

abstract: Current fairness toolkits in machine learning only admit a limited range of fairness definitions and have seen little integration with automatic differentiation libraries, despite the central role these libraries play in modern machine learning pipelines. We introduce a framework of fairness regularization terms (fairrets) which quantify bias as modular, flexible objectives that are easily integrated in automatic differentiation pipelines. By employing a general definition of fairness in terms of linear-fractional statistics, a wide class of fairrets can be computed efficiently. Experiments show the behavior of their gradients and their utility in enforcing fairness with minimal loss of predictive power compared to baselines. Our contribution includes a PyTorch implementation of the fairret framework.


title: Investigation of Heat Transfer Rates on Shell and Tube Heat Exchanger by Numerical Modelling via CFD Analysis

abstract: A shell and tube heat exchanger design with respect to the total heat transfer rate and temperature profile has been invstigated by numerical modelling. The HE comprises of a single tube and has been resolved by the two equation models namely, the k epsilon and k omega. The low RMS residual levels calculated showed that the convergence is better in the k omega. The differences in the heat transfer rates noted are likely due to the low number of iterations on the flow and heat transfer helps explain the selection of an appropriate model i.e. k omega.


title: Hydrodynamic simulations of the KT Eridani nova super-remnant

abstract: A nova super-remnant (NSR) is an immense structure associated with a nova that forms when frequent and recurrent nova eruptions sweep up surrounding interstellar material (ISM) into a high density and distant shell. The prototypical NSR, measuring over 100 pc across, was discovered in 2014 around the annually erupting nova M31N 2008-12a. Hydrodynamical simulations demonstrated that the creation of a dynamic NSR by repeated eruptions transporting large quantities of ISM is not only feasible but that these structures should exist around all novae, whether the white dwarf (WD) is increasing or decreasing in mass. But it is only the recurrent nova (RNe) with the highest WD masses and accretion rates that should host observable NSRs. KT Eridani is, potentially, the eleventh RNe recorded in the Galaxy and is also surrounded by a recently unveiled H{\alpha} shell tens of parsecs across, consistent with a NSR. Through modelling the nova ejecta from KT Eri, we demonstrate that such an observable NSR could form in approximately 50,000 years, which fits with the proper motion history of the nova. We compute the expected H{\alpha} emission from the KT Eri NSR and predict that the structure might be accessible to wide-field X-ray facilities.


title: O-band QKD link over a multiple ONT loaded carrier-grade GPON for FTTH applications

abstract: We have successfully integrated an O-band commercial Quantum-Key-Distribution (QKD) system over a lit GPON testbed that replicates a carrier-grade Fiber-to-the-Home (FTTH) optical access network with multiple ONTs to emulate real-life FTTH operational deployments.


title: Socially Beneficial Metaverse: Framework, Technologies, Applications, and Challenges

abstract: In recent years, the maturation of emerging technologies such as Virtual Reality, Digital twins, and Blockchain has accelerated the realization of the metaverse. As a virtual world independent of the real world, the metaverse will provide users with a variety of virtual activities that bring great convenience to society. In addition, the metaverse can facilitate digital twins, which offers transformative possibilities for the industry. Thus, the metaverse has attracted the attention of the industry, and a huge amount of capital is about to be invested. However, the development of the metaverse is still in its infancy and little research has been undertaken so far. We describe the development of the metaverse. Next, we introduce the architecture of the socially beneficial metaverse (SB-Metaverse) and we focus on the technologies that support the operation of SB-Metaverse. In addition, we also present the applications of SB-Metaverse. Finally, we discuss several challenges faced by SB-Metaverse which must be addressed in the future.


title: Attribute Based Interpretable Evaluation Metrics for Generative Models

abstract: When the training dataset comprises a 1:1 proportion of dogs to cats, a generative model that produces 1:1 dogs and cats better resembles the training species distribution than another model with 3:1 dogs and cats. Can we capture this phenomenon using existing metrics? Unfortunately, we cannot, because these metrics do not provide any interpretability beyond "diversity". In this context, we propose a new evaluation protocol that measures the divergence of a set of generated images from the training set regarding the distribution of attribute strengths as follows. Single-attribute Divergence (SaD) measures the divergence regarding PDFs of a single attribute. Paired-attribute Divergence (PaD) measures the divergence regarding joint PDFs of a pair of attributes. They provide which attributes the models struggle. For measuring the attribute strengths of an image, we propose Heterogeneous CLIPScore (HCS) which measures the cosine similarity between image and text vectors with heterogeneous initial points. With SaD and PaD, we reveal the following about existing generative models. ProjectedGAN generates implausible attribute relationships such as a baby with a beard even though it has competitive scores of existing metrics. Diffusion models struggle to capture diverse colors in the datasets. The larger sampling timesteps of latent diffusion model generate the more minor objects including earrings and necklaces. Stable Diffusion v1.5 better captures the attributes than v2.1. Our metrics lay a foundation for explainable evaluations of generative models.


title: Relayed-QKD and switched-QKD networks performance comparison considering physical layer QKD limitations

abstract: We experimentally evaluate the SKR generation for unoptimized QKD pairs in switched QKD and compare the performance of the switched-QKD with relayed-QKD networks to reveal they perform better for short distances and at large networks.


title: Phase Separation Induced by Density-Dependent Hopping Terms

abstract: We study phase separation in the $t-t'-J$ model in which the constraint of no double occupancy due to strong electron correlations leads to effective narrowing of the band width. Using a mean-field approximation, we calculate the compressibility in the normal state and show that the phase separation can be induced by the variation of the band width.


title: Variance of ML-based software fault predictors: are we really improving fault prediction?

abstract: Software quality assurance activities become increasingly difficult as software systems become more and more complex and continuously grow in size. Moreover, testing becomes even more expensive when dealing with large-scale systems. Thus, to effectively allocate quality assurance resources, researchers have proposed fault prediction (FP) which utilizes machine learning (ML) to predict fault-prone code areas. However, ML algorithms typically make use of stochastic elements to increase the prediction models' generalizability and efficiency of the training process. These stochastic elements, also known as nondeterminism-introducing (NI) factors, lead to variance in the training process and as a result, lead to variance in prediction accuracy and training time. This variance poses a challenge for reproducibility in research. More importantly, while fault prediction models may have shown good performance in the lab (e.g., often-times involving multiple runs and averaging outcomes), high variance of results can pose the risk that these models show low performance when applied in practice. In this work, we experimentally analyze the variance of a state-of-the-art fault prediction approach. Our experimental results indicate that NI factors can indeed cause considerable variance in the fault prediction models' accuracy. We observed a maximum variance of 10.10% in terms of the per-class accuracy metric. We thus, also discuss how to deal with such variance.


title: Forward Primal-Dual Half-Forward Algorithm for Splitting Four Operators

abstract: In this article, we propose a splitting algorithm to find zeros of the sum of four maximally monotone operators in real Hilbert spaces. In particular, we consider a Lipschitzian operator, a cocoercive operator, and a linear composite term. In the case when the Lipschitzian operator is absent, our method reduces to the Condat-V\~u algorithm. On the other hand, when the linear composite term is absent, the algorithm reduces to the Forward-Backward-Half-Forward algorithm (FBHF). Additionally, in each case, the set of step-sizes that guarantee the weak convergence of those methods are recovered. Therefore, our algorithm can be seen as a generalization of Condat-V\~u and FBHF. Moreover, we propose extensions and applications of our method in multivariate monotone inclusions and saddle point problems. Finally, we present a numerical experiment in image deblurring problems.


title: Singularity at the demise of a black hole

abstract: We consider a class of quasiregular singularities characterized by points possessing two future-directed light cones and two past-directed light cones. Such singularities appear in the $1+1$ trousers spacetime and the Deutsch-Politzer spacetime. We argue that these singularities are relevant for describing the end point of an evaporating black hole, and show that a class of emergent Lorentz signature theories can provide a microscopic description for these singularities.


title: Vorticity Alignment with Lyapunov Vectors and Rate-of-Strain Eigenvectors

abstract: We derive asymptotic estimates for the projection of the vorticity onto principal directions of material stretching in 3D flows. In flows with pointwise bounded vorticity, these estimates predict vorticity alignment with Lyapunov vectors along trajectories with positive Lyapunov exponents. Specifically, we find that in inviscid flows with conservative body forces, the vorticity exactly aligns with the intersection of the planes orthogonal to the dominant forward and backward Lyapunov vectors along trajectories with positive Lyapunov exponent. Furthermore, we derive asymptotic estimates for the vorticity alignment with the intermediate eigenvector of the rate of strain tensor for viscous flows under general forcing. We illustrate these results on explicit solutions of Euler's equation and on direct numerical simulations of homogeneous isotropic turbulence.


title: TESS Duotransit Candidates from the Southern Ecliptic Hemisphere

abstract: Discovering transiting exoplanets with long orbital periods allows us to study warm and cool planetary systems with temperatures similar to the planets in our own Solar system. The TESS mission has photometrically surveyed the entire Southern Ecliptic Hemisphere in Cycle 1 (August 2018 - July 2019), Cycle 3 (July 2020 - June 2021) and Cycle 5 (September 2022 - September 2023). We use the observations from Cycle 1 and Cycle 3 to search for exoplanet systems that show a single transit event in each year - which we call duotransits. The periods of these planet candidates are typically in excess of 20 days, with the lower limit determined by the duration of individual TESS observations. We find 85 duotransit candidates, which span a range of host star brightnesses between 8 < $T_{mag}$ < 14, transit depths between 0.1 per cent and 1.8 per cent, and transit durations between 2 and 10 hours with the upper limit determined by our normalisation function. Of these candidates, 25 are already known, and 60 are new. We present these candidates along with the status of photometric and spectroscopic follow-up.


title: Wave fronts and caustics in the tropical plane

abstract: The paper studies intrinsic geometry in the tropical plane. Tropical structure in the real affine $n$-space is determined by the integer tangent vectors. Tropical isomorphisms are affine transformations preserving the integer lattice of the tangent space, they may be identified with the group $\operatorname{GL_n}(\mathbb{Z})$ extended by arbitrary real translations. This geometric structure allows one to define wave front propagation for boundaries of convex domains. Interestingly enough, an arbitrary compact convex domain in the tropical plane evolves to a finite polygon after an arbitrarily small time. The caustic of a wave front evolution is a tropical analytic curve. The paper studies geometry of the tropical wave fronts and caustics. In particular, we relate the caustic of a tropical angle to the continued fraction expression of its slope, and treat it as a tropical trigonometry notion.


title: Searches for axion-like particles via $\gamma \gamma$ fusion at future $\mathrm{e}^+\mathrm{e}^-$ colliders

abstract: Opportunities for searches for axion-like particles (ALPs) coupling to photons in $\mathrm{e}^+\mathrm{e}^-$ collisions at the Future Circular Collider (FCC-ee) and International Linear Collider (ILC) are investigated. We perform a study of the photon-fusion production of ALPs decaying into two photons, $\mathrm{e}^+\mathrm{e}^- \overset{\gamma \gamma}{\longrightarrow} \mathrm{e}^{+}\;a(\gamma \gamma)\;\mathrm{e}^{-}$, over the light-by-light continuum background, for the planned FCC-ee and ILC center-of-mass energies and integrated luminosities. An analysis of the feasibility measurements is presented using parametrized simulations for two types of detectors. Upper limits at 95% confidence level (CL) on the cross section for ALP production, $\sigma(\gamma \gamma \to a \to \gamma \gamma)$, and on the ALP-photon coupling are obtained over the $m_a \approx 0.1$--1000 GeV ALP mass range, and compared to current and future collider searches. Production cross sections down to $\sigma(\gamma \gamma \to a \to \gamma \gamma) \approx 1$ fb (1 ab) will be probed at $m_a\approx 1$ (300) GeV, corresponding to constraints on the axion-photon coupling as low as $g_\mathrm{a\gamma \gamma} \approx 2\cdot10^{-3}$ TeV$^{-1}$.


title: Understanding the Role of Input Token Characters in Language Models: How Does Information Loss Affect Performance?

abstract: Understanding how and what pre-trained language models (PLMs) learn about language is an open challenge in natural language processing. Previous work has focused on identifying whether they capture semantic and syntactic information, and how the data or the pre-training objective affects their performance. However, to the best of our knowledge, no previous work has specifically examined how information loss in input token characters affects the performance of PLMs. In this study, we address this gap by pre-training language models using small subsets of characters from individual tokens. Surprisingly, we find that pre-training even under extreme settings, i.e. using only one character of each token, the performance retention in standard NLU benchmarks and probing tasks compared to full-token models is high. For instance, a model pre-trained only on single first characters from tokens achieves performance retention of approximately $90$\% and $77$\% of the full-token model in SuperGLUE and GLUE tasks, respectively.


title: Strain effects in twisted spiral antimonene

abstract: van der Waals (vdW) layered materials exhibit fruitful novel physical properties. The energy band of such materials depends strongly on their structures and a tremendous variation in their physical properties can be deduced from a tiny change in inter-layer spacing, twist angle, or in-plane strain. In this work, a kind of vdW layered material of spiral antimonene is constructed, and the strain effects in the material are studied. The spiral antimonene is grown on a germanium (Ge) substrate and is induced by a helical dislocation penetrating through few-atomic-layers of antimonene (\b{eta}-phase). The as-grown spiral is intrinsically strained and the lattice distortion is found to be pinned around the dislocation. Both spontaneous inter-layer twist and in-plane anisotropic strain are observed in scanning tunneling microscope (STM) measurements. The strain in the spiral antimonene can be significantly modified by STM tip interaction, leading to a variation in the surface electronic density of states (DOS) and a large modification in the work function of up to a few hundreds of milli-electron-volts (meV). Those strain effects are expected to have potential applications in building up novel piezoelectric devices.


title: Looping in the Human Collaborative and Explainable Bayesian Optimization

abstract: Like many optimizers, Bayesian optimization often falls short of gaining user trust due to opacity. While attempts have been made to develop human-centric optimizers, they typically assume user knowledge is well-specified and error-free, employing users mainly as supervisors of the optimization process. We relax these assumptions and propose a more balanced human-AI partnership with our Collaborative and Explainable Bayesian Optimization (CoExBO) framework. Instead of explicitly requiring a user to provide a knowledge model, CoExBO employs preference learning to seamlessly integrate human insights into the optimization, resulting in algorithmic suggestions that resonate with user preference. CoExBO explains its candidate selection every iteration to foster trust, empowering users with a clearer grasp of the optimization. Furthermore, CoExBO offers a no-harm guarantee, allowing users to make mistakes; even with extreme adversarial interventions, the algorithm converges asymptotically to a vanilla Bayesian optimization. We validate CoExBO's efficacy through human-AI teaming experiments in lithium-ion battery design, highlighting substantial improvements over conventional methods. Code is available https://github.com/ma921/CoExBO.


title: cuRobo: Parallelized Collision-Free Minimum-Jerk Robot Motion Generation

abstract: This paper explores the problem of collision-free motion generation for manipulators by formulating it as a global motion optimization problem. We develop a parallel optimization technique to solve this problem and demonstrate its effectiveness on massively parallel GPUs. We show that combining simple optimization techniques with many parallel seeds leads to solving difficult motion generation problems within 50ms on average, 60x faster than state-of-the-art (SOTA) trajectory optimization methods. We achieve SOTA performance by combining L-BFGS step direction estimation with a novel parallel noisy line search scheme and a particle-based optimization solver. To further aid trajectory optimization, we develop a parallel geometric planner that plans within 20ms and also introduce a collision-free IK solver that can solve over 7000 queries/s. We package our contributions into a state of the art GPU accelerated motion generation library, cuRobo and release it to enrich the robotics community. Additional details are available at https://curobo.org


title: NIGHT: a compact, near-infrared, high-resolution spectrograph to survey helium in exoplanet systems

abstract: Among highly irradiated exoplanets, some have been found to undergo significant hydrodynamic expansion traced by atmospheric escape. To better understand these processes in the context of planetary evolution, we propose NIGHT (the Near-Infrared Gatherer of Helium Transits). NIGHT is a high-resolution spectrograph dedicated to surveying and temporally monitoring He I triplet absorption at 1083nm in stellar and planetary atmospheres. In this paper, we outline our scientific objectives, requirements, and cost-efficient design. Our simulations, based on previous detections and modelling using the current exoplanet population, determine our requirements and survey targets. With a spectral resolution of 70,000 on a 2-meter telescope, NIGHT can accurately resolve the helium triplet and detect 1% peak absorption in 118 known exoplanets in a single transit. Additionally, it can search for three-sigma temporal variations of 0.4% in 66 exoplanets in-between two transits. These are conservative estimates considering the ongoing detections of transiting planets amenable to atmospheric characterisation. We find that instrumental stability at 40m/s, less stringent than for radial velocity monitoring, is sufficient for transmission spectroscopy in He I. As such, NIGHT can utilize mostly off-the-shelf components, ensuring cost-efficiency. A fibre-fed system allows for flexibility as a visitor instrument on a variety of telescopes, making it ideal for follow-up observations after JWST or ground-based detections. Over a few years of surveying, NIGHT could offer detailed insights into the mechanisms shaping the hot Neptune desert and close-in planet population by significantly expanding the statistical sample of planets with known evaporating atmospheres. First light is expected in 2024.


title: Period bouncers as detached magnetic cataclysmic variables

abstract: The general prediction that more than half of all CVs have evolved past the period minimum is in strong disagreement with observational surveys, which show that the relative number of these objects is just a few per cent. Here, we investigate whether a large number of post-period minimum CVs could detach because of the appearance of a strong white dwarf magnetic field potentially generated by a rotation- and crystallization-driven dynamo. We used the MESA code to calculate evolutionary tracks of CVs incorporating the spin evolution and cooling as well as compressional heating of the white dwarf. If the conditions for the dynamo were met, we assumed that the emerging magnetic field of the white dwarf connects to that of the companion star and incorporated the corresponding synchronization torque, which transfers spin angular momentum to the orbit. We find that for CVs with donor masses exceeding 0.04 Msun, magnetic fields are generated mostly if the white dwarfs start to crystallize before the onset of mass transfer. It is possible that a few white dwarf magnetic fields are generated in the period gap. For the remaining CVs, the conditions for the dynamo to work are met beyond the period minimum, when the accretion rate decreased significantly. Synchronization torques cause these systems to detach for several Gyrs even if the magnetic field strength of the white dwarf is just one MG. If the rotation- and crystallization-driven dynamo - which is currently the only mechanism that can explain several observational facts related to magnetism in CVs and their progenitors - or a similar temperature-dependent mechanism is responsible for the generation of magnetic field in white dwarfs, most CVs that have evolved beyond the period minimum must detach for several Gyrs at some point. This reduces the predicted number of semi-detached period bouncers by up to 60-80 per cent.


title: Risk-sensitive control, single controller games and linear programming

abstract: This article recalls the recent work on a linear programming formulation of infinite horizon risk-sensitive control via its equivalence with a single controller game, using a classic work of Vrieze. This is then applied to a constrained risk-sensitive control problem with a risk-sensitive cost and risk-sensitive constraint. This facilitates a Lagrange multiplier based resolution thereof. In the process, this leads to an unconstrained linear program and its dual, parametrized by a parameter that is a surrogate for Lagrange multiplier. This also opens up the possibility of a primal - dual type numerical scheme wherein the linear program is a subroutine within the subgradient ascent based update rule for the Lagrange multiplier. This equivalent unconstrained risk-sensitive control formulation does not seem obvious without the linear programming equivalents as intermediaries. We also discuss briefly other related algorithmic possibilities for future research.


title: Dynamic Factor Models: a Genealogy

abstract: Dynamic factor models have been developed out of the need of analyzing and forecasting time series in increasingly high dimensions. While mathematical statisticians faced with inference problems in high-dimensional observation spaces were focusing on the so-called spiked-model-asymptotics, econometricians adopted an entirely and considerably more effective asymptotic approach, rooted in the factor models originally considered in psychometrics. The so-called dynamic factor model methods, in two decades, has grown into a wide and successful body of techniques that are widely used in central banks, financial institutions, economic and statistical institutes. The objective of this chapter is not an extensive survey of the topic but a sketch of its historical growth, with emphasis on the various assumptions and interpretations, and a family tree of its main variants.


title: Automatic Logical Forms improve fidelity in Table-to-Text generation

abstract: Table-to-text systems generate natural language statements from structured data like tables. While end-to-end techniques suffer from low factual correctness (fidelity), a previous study reported gains when using manual logical forms (LF) that represent the selected content and the semantics of the target text. Given the manual step, it was not clear whether automatic LFs would be effective, or whether the improvement came from content selection alone. We present TlT which, given a table and a selection of the content, first produces LFs and then the textual statement. We show for the first time that automatic LFs improve quality, with an increase in fidelity of 30 points over a comparable system not using LFs. Our experiments allow to quantify the remaining challenges for high factual correctness, with automatic selection of content coming first, followed by better Logic-to-Text generation and, to a lesser extent, better Table-to-Logic parsing.


title: Direct observation of altermagnetic band splitting in CrSb thin films

abstract: Altermagnetism represents an emergent collinear magnetic phase with compensated order and an unconventional alternating even-parity wave spin order in the non-relativistic band structure. We investigate directly this unconventional band splitting near the Fermi energy through spinintegrated soft X-ray angular resolved photoemission spectroscopy. The experimentally obtained angle-dependent photoemission intensity, acquired from epitaxial thin films of the predicted altermagnet CrSb, demonstrates robust agreement with the corresponding band structure calculations. In particular, we observe the distinctive splitting of an electronic band on a low-symmetry path in the Brilliouin zone that connects two points featuring symmetry-induced degeneracy. The measured large magnitude of the spin splitting of approximately 0.6 eV and the position of the band just below the Fermi energy underscores the signifcance of altermagnets for spintronics based on robust broken time reversal symmetry responses arising from exchange energy scales, akin to ferromagnets, while remaining insensitive to external magnetic fields and possessing THz dynamics, akin to antiferromagnets.


title: BEVContrast: Self-Supervision in BEV Space for Automotive Lidar Point Clouds

abstract: We present a surprisingly simple and efficient method for self-supervision of 3D backbone on automotive Lidar point clouds. We design a contrastive loss between features of Lidar scans captured in the same scene. Several such approaches have been proposed in the literature from PointConstrast, which uses a contrast at the level of points, to the state-of-the-art TARL, which uses a contrast at the level of segments, roughly corresponding to objects. While the former enjoys a great simplicity of implementation, it is surpassed by the latter, which however requires a costly pre-processing. In BEVContrast, we define our contrast at the level of 2D cells in the Bird's Eye View plane. Resulting cell-level representations offer a good trade-off between the point-level representations exploited in PointContrast and segment-level representations exploited in TARL: we retain the simplicity of PointContrast (cell representations are cheap to compute) while surpassing the performance of TARL in downstream semantic segmentation.


title: Vertex spans of multilayered cycles

abstract: In this paper we are defining a special class of graphs called multilayered graphs and its subclass, multilayered cycles. For that subclass of graphs we are giving the values of all vertex spans (strong, direct, or Cartesian span). Surprisingly, our results reveal that, irrespective of the chosen movement rules, the span values only depend on the length of the individual cycles, not the number of layers, which holds significant implications.


title: The role of solvent interfacial structural ordering in maintaining stable graphene dispersions

abstract: Liquid phase exfoliation (LPE) is the most promising method for the low-cost, scalable production of two-dimensional nanosheets from their bulk counterparts. Extensive exfoliation occurs in most solvents due to the huge amount of energy introduced by sonication or shear mixing. However, the subsequent dispersion is not always stable, with extensive reaggregation occurring in some solvents. Identifying the optimal solvent for a particular layered material is difficult and requires a fundamental understanding of the mechanism involved in maintaining a stable dispersion. Here, we use molecular dynamics calculations to show that when graphene is immersed in a solvent, distinct solvation layers are formed irrespective of the choice of solvent and their formation is energetically favourable for all considered solvents. However, energetic considerations such as these do not explain the experimental solvent-dependence of the dispersion concentration. Instead, we find that solvents with high diffusion coefficients parallel to the graphene layer result in the lowest experimental concentration of graphene in solution. This can be explained by the enhanced ease of reaggregation in these solvents. Solvents with smaller diffusion coefficients result in higher experimental graphene concentrations as reaggregation is prevented. In the low diffusion limit, however, this relationship breaks down. We suggest that here the concentration of graphene in solution depends primarily on the separation efficiency of the initial exfoliation step. Based on this, we predict that the concentration of exfoliated graphene in solvents such as benzaldehyde and quinoline, which have low diffusion constants, can be increased dramatically by careful tuning of the experimental sonication parameters.


title: Learning to Abstract with Nonparametric Variational Information Bottleneck

abstract: Learned representations at the level of characters, sub-words, words and sentences, have each contributed to advances in understanding different NLP tasks and linguistic phenomena. However, learning textual embeddings is costly as they are tokenization specific and require different models to be trained for each level of abstraction. We introduce a novel language representation model which can learn to compress to different levels of abstraction at different layers of the same model. We apply Nonparametric Variational Information Bottleneck (NVIB) to stacked Transformer self-attention layers in the encoder, which encourages an information-theoretic compression of the representations through the model. We find that the layers within the model correspond to increasing levels of abstraction and that their representations are more linguistically informed. Finally, we show that NVIB compression results in a model which is more robust to adversarial perturbations.


title: Mixed-integer linearity in nonlinear optimization: a trust region approach

abstract: Bringing together nonlinear optimization with polyhedral and integrality constraints enables versatile modeling, but poses significant computational challenges. We investigate a method to address these problems based on sequential mixed-integer linearization with trust region safeguard, computing feasible iterates via calls to a generic mixed-integer linear solver. Convergence to critical, possibly suboptimal, feasible points is established for arbitrary starting points. Finally, we present numerical applications in nonsmooth optimal control and optimal network design and operation.


title: Mathematical properties and numerical approximation of pseudo-parabolic systems

abstract: The paper is concerned with the mathematical theory and numerical approximation of systems of partial differential equations (pde) of hyperbolic, pseudo-parabolic type. Some mathematical properties of the initial-boundary-value problem (ibvp) with Dirichlet boundary conditions are first studied. They include the weak formulation, well-posedness and existence of traveling wave solutions connecting two states, when the equations are considered as a variant of a conservation law. Then, the numerical approximation consists of a spectral approximation in space based on Legendre polynomials along with a temporal discretization with strong stability preserving (SSP) property. The convergence of the semidiscrete approximation is proved under suitable regularity conditions on the data. The choice of the temporal discretization is justified in order to guarantee the stability of the full discretization when dealing with nonsmooth initial conditions. A computational study explores the performance of the fully discrete scheme with regular and nonregular data.


title: Ready for O4 II: GRANDMA Observations of Swift GRBs during eight-weeks of Spring 2022

abstract: We present a campaign designed to train the GRANDMA network and its infrastructure to follow up on transient alerts and detect their early afterglows. In preparation for O4 II campaign, we focused on GRB alerts as they are expected to be an electromagnetic counterpart of gravitational-wave events. Our goal was to improve our response to the alerts and start prompt observations as soon as possible to better prepare the GRANDMA network for the fourth observational run of LIGO-Virgo-Kagra (which started at the end of May 2023), and future missions such as SM. To receive, manage and send out observational plans to our partner telescopes we set up dedicated infrastructure and a rota of follow-up adcates were organized to guarantee round-the-clock assistance to our telescope teams. To ensure a great number of observations, we focused on Swift GRBs whose localization errors were generally smaller than the GRANDMA telescopes' field of view. This allowed us to bypass the transient identification process and focus on the reaction time and efficiency of the network. During 'Ready for O4 II', 11 Swift/INTEGRAL GRB triggers were selected, nine fields had been observed, and three afterglows were detected (GRB 220403B, GRB 220427A, GRB 220514A), with 17 GRANDMA telescopes and 17 amateur astronomers from the citizen science project Kilonova-Catcher. Here we highlight the GRB 220427A analysis where our long-term follow-up of the host galaxy allowed us to obtain a photometric redshift of $z=0.82\pm0.09$, its lightcurve elution, fit the decay slope of the afterglows, and study the properties of the host galaxy.


title: Global hypoellipticity of $G$-invariant operators on homogeneous vector bundles

abstract: We establish necessary and sufficient conditions for the global hypoellipticity of $G$-invariant operators on homogeneous vector bundles. These criteria are established in terms of the corresponding matrix-valued symbols as developed by Ruzhansky and Turunen and extended in [7] to homogeneous vector-bundles.


title: Surface transfer doping of hydrogen-terminated diamond probed by shallow nitrogen-vacancy centers

abstract: The surface conductivity of hydrogen-terminated diamond is a topic of great interest from both scientific and technological perspectives. This is primarily due to the fact that the conductivity is exceptionally high without the need for substitutional doping, thus enabling a wide range of electronic applications. Although the conductivity is commonly explained by the surface transfer doping due to air-borne surface acceptors, there remains uncertainty regarding the main determining factors that govern the degree of band bending and hole density, which are crucial for the design of electronic devices. Here, we elucidate the dominant factor influencing band bending by creating shallow nitrogen-vacancy (NV) centers beneath the hydrogen-terminated diamond surface through nitrogen ion implantation at varying fluences. We measured the photoluminescence and optically detected magnetic resonance of the NV centers as well as the surface conductivity as a function of the implantation fluence. Our findings indicate that band bending is not exclusively determined by the work-function difference between diamond and the surface acceptor material, but by the finite density of surface acceptors. Furthermore, this study also suggests the presence of spatial inhomogeneities in the surface conductivity and the charge state of the NV centers when the implantation fluence is close to the density of negatively charged surface acceptors. This work emphasizes the importance of distinguishing work-function-difference-limited band bending and surface-acceptor-density-limited band bending when modeling the surface transfer doping and provides useful insights for the development of devices based on hydrogen-terminated diamond.


title: RIO: A Benchmark for Reasoning Intention-Oriented Objects in Open Environments

abstract: Intention-oriented object detection aims to detect desired objects based on specific intentions or requirements. For instance, when we desire to "lie down and rest", we instinctively seek out a suitable option such as a "bed" or a "sofa" that can fulfill our needs. Previous work in this area is limited either by the number of intention descriptions or by the affordance vocabulary available for intention objects. These limitations make it challenging to handle intentions in open environments effectively. To facilitate this research, we construct a comprehensive dataset called Reasoning Intention-Oriented Objects (RIO). In particular, RIO is specifically designed to incorporate diverse real-world scenarios and a wide range of object categories. It offers the following key features: 1) intention descriptions in RIO are represented as natural sentences rather than a mere word or verb phrase, making them more practical and meaningful; 2) the intention descriptions are contextually relevant to the scene, enabling a broader range of potential functionalities associated with the objects; 3) the dataset comprises a total of 40,214 images and 130,585 intention-object pairs. With the proposed RIO, we evaluate the ability of some existing models to reason intention-oriented objects in open environments.


title: Fermion Proca Stars: Vector Dark Matter Admixed Neutron Stars

abstract: Dark matter could accumulate around neutron stars in sufficient amounts to affect their global properties. In this work, we study the effect of a specific model for dark matter -- a massive and self-interacting vector (spin-1) field -- on neutron stars. We describe the combined systems of neutron stars and vector dark matter using Einstein-Proca theory coupled to a nuclear-matter term, and find scaling relations between the field and metric components in the equations of motion. We construct equilibrium solutions of the combined systems, compute their masses and radii and also analyse their stability and higher modes. The combined systems admit dark matter (DM) core and cloud solutions. Core solutions compactify the neutron star component and tend to decrease the total mass of the combined system. Cloud solutions have the inverse effect. Electromagnetic observations of certain cloud-like configurations would appear to violate the Buchdahl limit. This could make Buchdahl-limit violating objects smoking gun signals for dark matter in neutron stars. The self-interaction strength is found to significantly affect both mass and radius. We also compare fermion Proca stars to objects where the dark matter is modelled using a complex scalar field. We find that fermion Proca stars tend to be more massive and geometrically larger than their scalar field counterparts for equal boson masses and self-interaction strengths. Both systems can produce degenerate masses and radii for different amounts of DM and DM particle masses.


title: Boolean Abstractions for Realizability Modulo Theories (Extended version)

abstract: In this paper, we address the problem of the (reactive) realizability of specifications of theories richer than Booleans, including arithmetic theories. Our approach transforms theory specifications into purely Boolean specifications by (1) substituting theory literals by Boolean variables, and (2) computing an additional Boolean requirement that captures the dependencies between the new variables imposed by the literals. The resulting specification can be passed to existing Boolean off-the-shelf realizability tools, and is realizable if and only if the original specification is realizable. The first contribution is a brute-force version of our method, which requires a number of SMT queries that is doubly exponential in the number of input literals. Then, we present a faster method that exploits a nested encoding of the search for the extra requirement and uses SAT solving for faster traversing the search space and uses SMT queries internally. Another contribution is a prototype in Z3-Python. Finally, we report an empirical evaluation using specifications inspired in real industrial cases. To the best of our knowledge, this is the first method that succeeds in non-Boolean LTL realizability.


title: Learning with a linear loss function. Excess risk and estimation bounds for ERM, minmax MOM and their regularized versions. Applications to robustness in sparse PCA

abstract: Motivated by several examples, we consider a general framework of learning with linear loss functions. In this context, we provide excess risk and estimation bounds that hold with large probability for four estimators: ERM, minmax MOM and their regularized versions. These general bounds are applied for the problem of robustness in sparse PCA. In particular, we improve the state of the art result for this this problems, obtain results under weak moment assumptions as well as for adversarial contaminated data.