title: Switching waves-induced broadband Kerr frequency comb in fiber Fabry-Perot resonators

abstract: We report the generation of broadband frequency combs in fiber Fabry-Perot resonators in the normal dispersion regime enabled by the excitation of switching waves. We theoretically characterise the process by means of a transverse linear stability analysis of the Lugiato-Lefever equation, enabling precise prediction of the switching waves' frequencies. Experimentally, we employed a pulsed-pump fiber Fabry-Perot resonator operating in the normal dispersion regime, integrated into an all-fiber experimental setup. The synchronisation mismatch and the influence of dispersion is thoroughly discussed, unveiling the potential to generate a frequency comb spanning over 15 THz bandwidth, specifically leveraging a flattened low dispersion cavity.


title: CLASS-OneLoop: Accurate and Unbiased Inference from Spectroscopic Galaxy Surveys

abstract: The power spectrum is the most commonly applied summary statistics to extract cosmological information from the observed three-dimensional distribution of galaxies in spectroscopic surveys. We present CLASS-OneLoop, a new numerical tool, fully integrated into the Boltzmann code CLASS, enabling the calculation of the one-loop power spectrum of biased tracers in spectroscopic surveys. Built upon the Eulerian moment expansion framework for redshift-space distortions, the implemented model incorporates a complete set of nonlinear biases, counterterms, and stochastic contributions, and includes the infrared resummation and the Alcock-Paczynski effect. The code features an evaluation of the loops by either direct numerical integration or Fast Fourier Transform, and employs a fast-slow parameter decomposition, which is essential for accelerating MCMC runs. After presenting performance and validation tests, as an illustration of the capabilities of the code, we apply it to fit the measured redshift-space halo power spectrum wedges on a $\Lambda$CDM subset of the AbacusSummit simulation suite and considering scales up to $k_{\rm max} = 0.3\,h/$Mpc. We find that the one-loop model adeptly recovers the fiducial cosmology of the simulation, while a simplified model commonly used in the literature for sensitivity forecasts yields significantly biased results. Furthermore, we conduct Monte Carlo Markov Chain (MCMC) forecasts for a DESI-like survey, considering a model with a dynamical dark energy component. Our results demonstrate the ability to independently constrain cosmological and nuisance parameters, even in the presence of a large parameter space with twenty-nine variables.


title: Probing the inner Galactic Halo with blue horizontal branch stars: Gaia DR3 based catalogue with atmospheric and stellar parameters

abstract: Context. Stars that are found on the blue horizontal-branch (BHB) have evolved from low-mass stars that have completed their core hydrogen burning main sequence stage and have undergone the helium flash at the end of their red-giant phase. The fact that their luminosity is virtually constant at all effective temperatures also makes them good standard candles. Aims. We provide a catalogue of BHB stars with stellar parameters that have been calculated from spectral energy distributions (SED), as constructed from multiple large-scale photometric surveys. In addition, we update our previous, Gaia Early Data Release 3 catalogue of BHB stars with parallax errors less than 20% by using the SED results to define the selection criteria. Methods. We selected a large dataset of Gaia Data Release 3 (DR3) objects based only on their position in the colour magnitude diagram, tangential velocity and parallax errors. Spectral energy distributions were then used to evaluate contamination levels in the dataset and derive optimised data quality acceptance constraints. This allowed us to extend the Gaia DR3 colour and absolute magnitude criteria further towards the extreme horizontal-branch. The level of contamination found using SED analysis was confirmed by acquiring spectra using the Ondrejov Echelle spectrograph attached to the Perek 2m telescope at the Astronomical Institute of the Czech Academy of Sciences. Results. We present a catalogue of 9,172 Galactic Halo BHB candidate stars with atmospheric and stellar parameters calculated from synthetic SEDs. We also present an extended Gaia DR3 based catalogue of 22,335 BHB candidate stars with a wider range of effective temperatures and Gaia DR3 parallax errors of less than 20%. This represents an increase of 33% compared to the our 2021 catalogue, with a contamination level of 10%.


title: TinyCL: An Efficient Hardware Architecture for Continual Learning on Autonomous Systems

abstract: The Continuous Learning (CL) paradigm consists of continuously evolving the parameters of the Deep Neural Network (DNN) model to progressively learn to perform new tasks without reducing the performance on previous tasks, i.e., avoiding the so-called catastrophic forgetting. However, the DNN parameter update in CL-based autonomous systems is extremely resource-hungry. The existing DNN accelerators cannot be directly employed in CL because they only support the execution of the forward propagation. Only a few prior architectures execute the backpropagation and weight update, but they lack the control and management for CL. Towards this, we design a hardware architecture, TinyCL, to perform CL on resource-constrained autonomous systems. It consists of a processing unit that executes both forward and backward propagation, and a control unit that manages memory-based CL workload. To minimize the memory accesses, the sliding window of the convolutional layer moves in a snake-like fashion. Moreover, the Multiply-and-Accumulate units can be reconfigured at runtime to execute different operations. As per our knowledge, our proposed TinyCL represents the first hardware accelerator that executes CL on autonomous systems. We synthesize the complete TinyCL architecture in a 65 nm CMOS technology node with the conventional ASIC design flow. It executes 1 epoch of training on a Conv + ReLU + Dense model on the CIFAR10 dataset in 1.76 s, while 1 training epoch of the same model using an Nvidia Tesla P100 GPU takes 103 s, thus achieving a 58 x speedup, consuming 86 mW in a 4.74 mm2 die.


title: A Comprehensive Review on Computer Vision Analysis of Aerial Data

abstract: With the emergence of new technologies in the field of airborne platforms and imaging sensors, aerial data analysis is becoming very popular, capitalizing on its advantages over land data. This paper presents a comprehensive review of the computer vision tasks within the domain of aerial data analysis. While addressing fundamental aspects such as object detection and tracking, the primary focus is on pivotal tasks like change detection, object segmentation, and scene-level analysis. The paper provides the comparison of various hyper parameters employed across diverse architectures and tasks. A substantial section is dedicated to an in-depth discussion on libraries, their categorization, and their relevance to different domain expertise. The paper encompasses aerial datasets, the architectural nuances adopted, and the evaluation metrics associated with all the tasks in aerial data analysis. Applications of computer vision tasks in aerial data across different domains are explored, with case studies providing further insights. The paper thoroughly examines the challenges inherent in aerial data analysis, offering practical solutions. Additionally, unresolved issues of significance are identified, paving the way for future research directions in the field of aerial data analysis.


title: MC-DBN: A Deep Belief Network-Based Model for Modality Completion

abstract: Recent advancements in multi-modal artificial intelligence (AI) have revolutionized the fields of stock market forecasting and heart rate monitoring. Utilizing diverse data sources can substantially improve prediction accuracy. Nonetheless, additional data may not always align with the original dataset. Interpolation methods are commonly utilized for handling missing values in modal data, though they may exhibit limitations in the context of sparse information. Addressing this challenge, we propose a Modality Completion Deep Belief Network-Based Model (MC-DBN). This approach utilizes implicit features of complete data to compensate for gaps between itself and additional incomplete data. It ensures that the enhanced multi-modal data closely aligns with the dynamic nature of the real world to enhance the effectiveness of the model. We conduct evaluations of the MC-DBN model in two datasets from the stock market forecasting and heart rate monitoring domains. Comprehensive experiments showcase the model's capacity to bridge the semantic divide present in multi-modal data, subsequently enhancing its performance. The source code is available at: https://github.com/logan-0623/DBN-generate


title: Near-infrared spectroscopic characterisation of Gaia ultra-cool dwarf candidates; Spectral types and peculiarities

abstract: Context: The local census of very low-mass stars and brown dwarfs is crucial to improving our understanding of the stellar-substellar transition and their formation history. These objects, known as ultra-cool dwarfs (UCDs), are essential targets for searches of potentially habitable planets. However, their detection poses a challenge because of their low luminosity. The Gaia survey has identified numerous new UCD candidates thanks to its large survey and precise astrometry. Aims: We aim to characterise 60 UCD candidates detected by Gaia in the solar neighbourhood with a spectroscopic follow-up to confirm that they are UCDs, as well as to identify peculiarities. Methods: We acquired the near-infrared (NIR) spectra of 60 objects using the SOFI spectrograph between 0.93 and 2.5 microns (R$\sim600$). We identified their spectral types using a template-matching method. Their binarity is studied using astrometry and spectral features. Results: We confirm that 60 objects in the sample have ultra-cool dwarf spectral types close to those expected from astrometry. Their NIR spectra reveal that seven objects could host an unresolved coolest companion and seven UCDs share the same proper motions as other stars. The characterisation of these UCDs is part of a coordinated effort to improve our understanding of the Solar neighbourhood.


title: Sequential Recommendation on Temporal Proximities with Contrastive Learning and Self-Attention

abstract: Sequential recommender systems identify user preferences from their past interactions to predict subsequent items optimally. Although traditional deep-learning-based models and modern transformer-based models in previous studies capture unidirectional and bidirectional patterns within user-item interactions, the importance of temporal contexts, such as individual behavioral and societal trend patterns, remains underexplored. Notably, recent models often neglect similarities in users' actions that occur implicitly among users during analogous timeframes-a concept we term vertical temporal proximity. These models primarily adapt the self-attention mechanisms of the transformer to consider the temporal context in individual user actions. Meanwhile, this adaptation still remains limited in considering the horizontal temporal proximity within item interactions, like distinguishing between subsequent item purchases within a week versus a month. To address these gaps, we propose a sequential recommendation model called TemProxRec, which includes contrastive learning and self-attention methods to consider temporal proximities both across and within user-item interactions. The proposed contrastive learning method learns representations of items selected in close temporal periods across different users to be close. Simultaneously, the proposed self-attention mechanism encodes temporal and positional contexts in a user sequence using both absolute and relative embeddings. This way, our TemProxRec accurately predicts the relevant items based on the user-item interactions within a specific timeframe. We validate this work through comprehensive experiments on TemProxRec, consistently outperforming existing models on benchmark datasets as well as showing the significance of considering the vertical and horizontal temporal proximities into sequential recommendation.


title: Electronic properties of MoSe$_2$ nanowrinkles

abstract: Mechanical deformations, either spontaneously occurring during sample preparation or purposely induced in their nanoscale manipulation, drastically affect the electronic and optical properties of transition metal dichalcogenide monolayers. In this first-principles work based on density-functional theory, we shed light on the interplay among strain, curvature, and electronic structure of MoSe$_2$ nanowrinkles. We analyze their structural properties highlighting the effects of coexisting local domains of tensile and compressive strain in the same system. By contrasting the band structures of the nanowrinkles against counterparts obtained for flat monolayers subject to the same amount of strain, we clarify that the specific features of the former, such as the moderate variation of the band-gap size and its persisting direct nature, are ruled by curvature rather than strain. The analysis of the wave-function distribution indicates strain-dependent localization of the frontier states in the conduction region while in the valence the sensitivity to strain is much less pronounced. The discussion about transport properties, based on the inspection of the effective masses, reveals excellent perspectives for these systems as active components for (opto)electronic devices.


title: Examining Pathological Bias in a Generative Adversarial Network Discriminator: A Case Study on a StyleGAN3 Model

abstract: Generative adversarial networks (GANs) generate photorealistic faces that are often indistinguishable by humans from real faces. While biases in machine learning models are often assumed to be due to biases in training data, we find pathological internal color and luminance biases in the discriminator of a pre-trained StyleGAN3-r model that are not explicable by the training data. We also find that the discriminator systematically stratifies scores by both image- and face-level qualities and that this disproportionately affects images across gender, race, and other categories. We examine axes common in research on stereotyping in social psychology.


title: Critical exponents of the Riesz projection

abstract: Let $\mathfrak{p}_d(q)$ denote the critical exponent of the Riesz projection from $L^q(\mathbb{T}^d)$ to the Hardy space $H^p(\mathbb{T}^d)$, where $\mathbb{T}$ is the unit circle. We present the state-of-the-art on the conjecture that $\mathfrak{p}_1(q) = 4(1-1/q)$ for $1 \leq q \leq \infty$ and prove that it holds in the endpoint case $q = 1$. We then extend the conjecture to \[\mathfrak{p}_d(q) = 2+\cfrac{2}{d+\cfrac{2}{q-2}}\] for $d\geq1$ and $\frac{2d}{d+1} \leq q \leq \infty$ and establish that if the conjecture holds for $d=1$, then it also holds for $d=2$. When $d=2$, we verify that the conjecture holds in the endpoint case $q = 4/3$.


title: An extension of sine-skewed circular distributions

abstract: Sine-skewed circular distributions are identifiable and have easily-computable trigonometric moments and a simple random number generation algorithm, whereas they are known to have relatively low levels of asymmetry. This study proposes a new family of circular distributions that can be skewed more significantly than that of existing models. It is shown that a subfamily of the proposed distributions is identifiable with respect to parameters and all distributions in the subfamily have explicit trigonometric moments and a simple random number generation algorithm. The maximum likelihood estimation for model parameters is considered and its finite sample performances are investigated by numerical simulations. Some real data applications are illustrated for practical purposes.


title: Identification with Posterior-Separable Information Costs

abstract: I provide a model of rational inattention with heterogeneity and prove it is observationally equivalent to a state-dependent stochastic choice model subject to attention costs. I demonstrate that additive separability of unobservable heterogeneity, together with an independence assumption, suffice for the empirical model to admit a representative agent. Using conditional probabilities, I show how to identify: how covariates affect the desirability of goods, (a measure of) welfare, factual changes in welfare, and bounds on counterfactual market shares.


title: Multi-vertebral CT-based FE models implementing linear isotropic population-based material properties for the intervertebral discs cannot accurately predict strains

abstract: Vertebral fractures prediction in clinics lacks of accuracy. The most used scores have limitations in distinguishing between subjects at risk or not. Finite element (FE) models generated from computed tomography (CT) of these patients may improve the predictive capability. Many models have already been proposed but the most of them considered the single vertebral body, excluding from the analysis the role of the inter-vertebral discs in the distribution of the load through the spine. Multi-vertebral models instead allow to examine more complex boundary condition. However, CT scans do not provide subject-specif information about the material properties of the disc. Consequently, the goal of the study was to validate a multi-vertebral FE model with subject specific modelling of the vertebral bone and population-based properties assigned to the disc, idealizing them with a linear isotropic material. Boundary condition were assigned in order to reproduce an experimental test performed on the same specimen and recorded using digital image correlation technique (DIC). FE and DIC strains on the vertebral surfaces are compared point-wise. Young's modulus values in the range 25-30 MPa allowed to achieve a comparable order of magnitude between experimental and computational data. However, the two distribution remained strongly different. To conclude, subject-specific material properties need to be assigned also to the discs as well as to the vertebrae to achieve acceptable accuracy in the assessment of the fracture risk.


title: Strong Hamel functions and symmetries

abstract: A strong Hamel function is a Hamel function that is the geodesic derivative of some 0-homogeneous function. We prove that strong Hamel functions induce dual symmetries and dynamical symmetries and provide the conditions such that these symmetries are induced by strong Hamel functions. We show that projective deformations by strong Hamel functions preserve the $\chi$-curvature and analyse the relationship with some other functions (Funk and weak Funk functions) preserving curvature tensors under projective deformations. In the flat case, any Hamel function is a strong Hamel function.


title: System-level Impact of Non-Ideal Program-Time of Charge Trap Flash (CTF) on Deep Neural Network

abstract: Learning of deep neural networks (DNN) using Resistive Processing Unit (RPU) architecture is energy-efficient as it utilizes dedicated neuromorphic hardware and stochastic computation of weight updates for in-memory computing. Charge Trap Flash (CTF) devices can implement RPU-based weight updates in DNNs. However, prior work has shown that the weight updates (V_T) in CTF-based RPU are impacted by the non-ideal program time of CTF. The non-ideal program time is affected by two factors of CTF. Firstly, the effects of the number of input pulses (N) or pulse width (pw), and secondly, the gap between successive update pulses (t_gap) used for the stochastic computation of weight updates. Therefore, the impact of this non-ideal program time must be studied for neural network training simulations. In this study, Firstly, we propose a pulse-train design compensation technique to reduce the total error caused by non-ideal program time of CTF and stochastic variance of a network. Secondly, we simulate RPU-based DNN with non-ideal program time of CTF on MNIST and Fashion-MNIST datasets. We find that for larger N (~1000), learning performance approaches the ideal (software-level) training level and, therefore, is not much impacted by the choice of t_gap used to implement RPU-based weight updates. However, for lower N (<500), learning performance depends on T_gap of the pulses. Finally, we also performed an ablation study to isolate the causal factor of the improved learning performance. We conclude that the lower noise level in the weight updates is the most likely significant factor to improve the learning performance of DNN. Thus, our study attempts to compensate for the error caused by non-ideal program time and standardize the pulse length (N) and pulse gap (t_gap) specifications for CTF-based RPUs for accurate system-level on-chip training.


title: Propulsion of a three-sphere micro-robot in a porous medium

abstract: Microorganisms and synthetic microswimmers often encounter complex environments consisting of networks of obstacles embedded into viscous fluids. Such settings include biological media, such as mucus with filamentous networks, as well as environmental scenarios, including wet soil and aquifers. A fundamental question in studying their locomotion is how the impermeability of these porous media impact their propulsion performance compared with the case that in a purely viscous fluid. Previous studies showed that the additional resistance due to the embedded obstacles leads to an enhanced propulsion of different types of swimmers, including undulatory swimmers, helical swimmers, and squirmers. In this work we employ a canonical three-sphere swimmer model to probe the impact of propulsion in porous media. The Brinkman equation is utilized to model a sparse network of stationary obstacles embedded into an incompressible Newtonian liquid. We present both a far-field theory and numerical simulations to characterize the propulsion performance of the swimmer in such porous media. In contrast to enhanced propulsion observed in other swimmer models, our results reveal that both the propulsion speed and efficiency of the three-sphere swimmer are largely reduced by the impermeability of the porous medium. We attribute the substantial reduction in propulsion performance to the screened hydrodynamic interactions among the spheres due to the more rapid spatial decays of flows in Brinkman media. These results highlight how enhanced or hindered propulsion in porous media is largely dependent on individual propulsion mechanisms. The specific example and physical insights provided here may guide the design of synthetic microswimmers for effective locomotion in porous media in their potential biological and environmental applications.


title: Electron-Photon Exchange-Correlation Approximation for QEDFT

abstract: Quantum-electrodynamical density-functional theory (QEDFT) provides a promising avenue for exploring complex light-matter interactions in optical cavities for real materials. Similar to conventional density-functional theory, the Kohn-Sham formulation of QEDFT needs approximations for the generally unknown exchange-correlation functional. In addition to the usual electron-electron exchange-correlation potential, an approximation for the electron-photon exchange-correlation potential is needed. A recent electron-photon exchange functional [C. Sch\"afer et al., Proc. Natl. Acad. Sci. USA, 118, e2110464118 (2021), https://www.pnas.org/doi/abs/10.1073/pnas.2110464118], derived from the equation of motion of the non-relativistic Pauli-Fierz Hamiltonian, shows robust performance in one-dimensional systems across weak- and strong-coupling regimes. Yet, its performance in reproducing electron densities in higher dimensions remains unexplored. Here we consider this QEDFT functional approximation from one to three-dimensional finite systems and across weak to strong light-matter couplings. The electron-photon exchange approximation provides excellent results in the ultra-strong-coupling regime. However, to ensure accuracy also in the weak-coupling regime across higher dimensions, we introduce a computationally efficient renormalization factor for the electron-photon exchange functional, which accounts for part of the electron-photon correlation contribution. These findings extend the applicability of photon-exchange-based functionals to realistic cavity-matter systems, fostering the field of cavity QED (quantum electrodynamics) materials engineering.

categories: physics.comp-ph cond-mat.mtrl-sci physics.atm-clus physics.chem-ph quant-ph


title: An advanced data fabric architecture leveraging homomorphic encryption and federated learning

abstract: Data fabric is an automated and AI-driven data fusion approach to accomplish data management unification without moving data to a centralized location for solving complex data problems. In a Federated learning architecture, the global model is trained based on the learned parameters of several local models that eliminate the necessity of moving data to a centralized repository for machine learning. This paper introduces a secure approach for medical image analysis using federated learning and partially homomorphic encryption within a distributed data fabric architecture. With this method, multiple parties can collaborate in training a machine-learning model without exchanging raw data but using the learned or fused features. The approach complies with laws and regulations such as HIPAA and GDPR, ensuring the privacy and security of the data. The study demonstrates the method's effectiveness through a case study on pituitary tumor classification, achieving a significant level of accuracy. However, the primary focus of the study is on the development and evaluation of federated learning and partially homomorphic encryption as tools for secure medical image analysis. The results highlight the potential of these techniques to be applied to other privacy-sensitive domains and contribute to the growing body of research on secure and privacy-preserving machine learning.


title: Closed-form Filtering for Non-linear Systems

abstract: Sequential Bayesian Filtering aims to estimate the current state distribution of a Hidden Markov Model, given the past observations. The problem is well-known to be intractable for most application domains, except in notable cases such as the tabular setting or for linear dynamical systems with gaussian noise. In this work, we propose a new class of filters based on Gaussian PSD Models, which offer several advantages in terms of density approximation and computational efficiency. We show that filtering can be efficiently performed in closed form when transitions and observations are Gaussian PSD Models. When the transition and observations are approximated by Gaussian PSD Models, we show that our proposed estimator enjoys strong theoretical guarantees, with estimation error that depends on the quality of the approximation and is adaptive to the regularity of the transition probabilities. In particular, we identify regimes in which our proposed filter attains a TV $\epsilon$-error with memory and computational complexity of $O(\epsilon^{-1})$ and $O(\epsilon^{-3/2})$ respectively, including the offline learning step, in contrast to the $O(\epsilon^{-2})$ complexity of sampling methods such as particle filtering.


title: A cross-talk robust multichannel VAD model for multiparty agent interactions trained using synthetic re-recordings

abstract: In this work, we propose a novel cross-talk rejection framework for a multi-channel multi-talker setup for a live multiparty interactive show. Our far-field audio setup is required to be hands-free during live interaction and comprises four adjacent talkers with directional microphones in the same space. Such setups often introduce heavy cross-talk between channels, resulting in reduced automatic speech recognition (ASR) and natural language understanding (NLU) performance. To address this problem, we propose voice activity detection (VAD) model for all talkers using multichannel information, which is then used to filter audio for downstream tasks. We adopt a synthetic training data generation approach through playback and re-recording for such scenarios, simulating challenging speech overlap conditions. We train our models on this synthetic data and demonstrate that our approach outperforms single-channel VAD models and energy-based multi-channel VAD algorithm in various acoustic environments. In addition to VAD results, we also present multiparty ASR evaluation results to highlight the impact of using our VAD model for filtering audio in downstream tasks by significantly reducing the insertion error.


title: Oka-1 manifolds: New examples and properties

abstract: In this paper we investigate Oka-1 manifolds and Oka-1 maps, a class of complex manifolds and holomorphic maps recently introduced by Alarc\'on and Forstneri\v{c}. Oka-1 manifolds are characterised by the property that holomorphic maps from any open Riemann surface to the manifold satisfy the Runge approximation and Weierstrass interpolation conditions, while Oka-1 maps enjoy similar properties for liftings of maps from open Riemann surfaces in the absence of topological obstructions. We also formulate and study the algebraic version of the Oka-1 condition, called aOka-1. We show that it is a birational invariant for projective manifolds and holds for all uniformly rational projective manifolds. This gives a Runge approximation theorem for maps from compact Riemann surfaces to uniformly rational projective manifolds. Finally, we study a class of complex manifolds with an approximation property for holomorphic sprays of discs. This class lies between the smaller class of Oka manifolds and the bigger class of Oka-1 manifolds and has interesting functorial properties.


title: Co-Designing a wiki-based community knowledge management system for personal science

abstract: Personal science is the practice of addressing personally relevant health questions through self-research. Implementing personal science can be challenging, due to the need to develop and adopt research protocols, tools, and methods. While online communities can provide valuable peer support, tools for systematically accessing community knowledge are lacking. The objective of this study is to apply a participatory design process involving a community of personal science practitioners to develop a peer-produced knowledge base that supports the needs of practitioners as consumers and contributors of knowledge. The process led to the development of the Personal Science Wiki, an open repository for documenting and accessing individual self-tracking projects while facilitating the establishment of consensus knowledge. After initial design iterations and a field testing phase, we performed a user study with 21 participants to test and improve the platform, and to explore suitable information architectures. The study deepened our understanding of barriers to scaling the personal science community, established an infrastructure for knowledge management actively used by the community, and provided lessons on challenges, information needs, representations, and architectures to support individuals with their personal health inquiries


title: Large-scale Benchmarking of Metaphor-based Optimization Heuristics

abstract: The number of proposed iterative optimization heuristics is growing steadily, and with this growth, there have been many points of discussion within the wider community. One particular criticism that is raised towards many new algorithms is their focus on metaphors used to present the method, rather than emphasizing their potential algorithmic contributions. Several studies into popular metaphor-based algorithms have highlighted these problems, even showcasing algorithms that are functionally equivalent to older existing methods. Unfortunately, this detailed approach is not scalable to the whole set of metaphor-based algorithms. Because of this, we investigate ways in which benchmarking can shed light on these algorithms. To this end, we run a set of 294 algorithm implementations on the BBOB function suite. We investigate how the choice of the budget, the performance measure, or other aspects of experimental design impact the comparison of these algorithms. Our results emphasize why benchmarking is a key step in expanding our understanding of the algorithm space, and what challenges still need to be overcome to fully gauge the potential improvements to the state-of-the-art hiding behind the metaphors.


title: EFUF: Efficient Fine-grained Unlearning Framework for Mitigating Hallucinations in Multimodal Large Language Models

abstract: Multimodal large language models (MLLMs) have attracted increasing attention in the past few years, but they may still generate descriptions that include objects not present in the corresponding images, a phenomenon known as object hallucination. To eliminate hallucinations, existing methods manually annotate paired responses with and without hallucinations, and then employ various alignment algorithms to improve the alignment capability between images and text. However, they not only demand considerable computation resources during the finetuning stage but also require expensive human annotation to construct paired data needed by the alignment algorithms. To address these issues, we borrow the idea of unlearning and propose an efficient fine-grained unlearning framework (EFUF), which can eliminate hallucinations without the need for paired data. Extensive experiments show that our method consistently reduces hallucinations while preserving the generation quality with modest computational overhead. Our code and datasets will be publicly available.


title: Criterion Collapse and Loss Distribution Control

abstract: In this work, we consider the notion of "criterion collapse," in which optimization of one metric implies optimality in another, with a particular focus on conditions for collapse into error probability minimizers under a wide variety of learning criteria, ranging from DRO and OCE risks (CVaR, tilted ERM) to non-monotonic criteria underlying recent ascent-descent algorithms explored in the literature (Flooding, SoftAD). We show how collapse in the context of losses with a Bernoulli distribution goes far beyond existing results for CVaR and DRO, then expand our scope to include surrogate losses, showing conditions where monotonic criteria such as tilted ERM cannot avoid collapse, whereas non-monotonic alternatives can.


title: An Inverse Problems Approach to Pulse Wave Analysis in the Human Brain

abstract: Cardiac pulsations in the human brain have received recent interest due to their possible role in the pathogenesis of neurodegenerative diseases. Further interest stems from their possible application as an endogenous signal source that can be utilized for brain imaging in general. The (pulse-)wave describing the blood flow velocity along an intracranial artery consists of a forward (anterograde) and a backward (retrograde, reflected) part, but measurements of this wave usually consist of a superposition of these components. In this paper, we provide a mathematical framework for the inverse problem of estimating the pulse wave velocity, as well as the forward and backward component of the pulse wave separately from MRI measurements on the middle cerebral artery. After a mathematical analysis of this problem, we consider possible reconstruction approaches, and derive an alternate direction approach for its solution. The resulting methods provide estimates for anterograde/retrograde wave forms and the pulse wave velocity under specified assumptions on a cerebrovascular model system. Numerical experiments on simulated and experimental data demonstrate the applicability of the proposed methods.


title: Coevolution of relationship and interaction in cooperative dynamical multiplex networks

abstract: While actors in a population can interact with anyone else freely, social relations significantly influence our inclination towards particular individuals. The consequence of such interactions, however, may also form the intensity of our relations established earlier. These dynamical processes are captured via a coevolutionary model staged in multiplex networks with two distinct layers. In a so-called relationship layer the weights of edges among players may change in time as a consequence of games played in the alternative interaction layer. As an reasonable assumption, bilateral cooperation confirms while mutual defection weakens these weight factors. Importantly, the fitness of a player, which basically determines the success of a strategy imitation, depends not only on the payoff collected from interactions, but also on the individual relationship index calculated from the mentioned weight factors of related edges. Within the framework of weak prisoner's dilemma situation we explore the potential outcomes of the mentioned coevolutionary process where we assume different topologies for relationship layer. We find that higher average degree of the relationship graph is more beneficial to maintain cooperation in regular graphs, but the randomness of links could be a decisive factor in harsh situations. Surprisingly, a stronger coupling between relationship index and fitness discourage the evolution of cooperation by weakening the direct consequence of a strategy change. To complete our study we also monitor how the distribution of relationship index vary and detect a strong relation between its polarization and the general cooperation level.

categories: physics.soc-ph cond-mat.stat-mech cs.GT nlin.PS


title: Enabling Edge processing on LoRaWAN architecture

abstract: LoRaWAN is a wireless technology that enables high-density deployments of IoT devices. Designed for Low Power Wide Area Networks (LPWAN), LoRaWAN employs large cells to service a potentially extremely high number of devices. The technology enforces a centralized architecture, directing all data generated by the devices to a single network server for data processing. End-to-end encryption is used to guarantee the confidentiality and security of data. In this demo, we present \edgelora, a system architecture designed to incorporate edge processing in LoRaWAN without compromising security and confidentiality of data. \edgelora maintains backward compatibility and addresses scalability issues arising from handling large amounts of data sourced from a diverse range of devices. The demo provides evidence on the advantages in terms of reduced latency, lower network bandwidth requirements, higher scalability, and improved security and privacy resulting from the application of the Edge processing paradigm to LoRaWAN.


title: Variational Density Functional Perturbation Theory for Metals

abstract: Density functional perturbation theory is a well-established method to study responses of molecules and solids, especially responses to atomic displacements or to different perturbing fields (electric, magnetic). Like for density functional theory, the treatment of metals is delicate, due to the Fermi-Dirac statistics and electronic bands crossing the Fermi energy. At zero temperature, there is an abrupt transition from occupied states to unoccupied ones, usually addressed with smearing schemes. Also, at finite temperature, fractional occupations are present, and the occupation numbers may vary in response to the perturbation. The present work establishes the characteristics of density functional perturbation theory stemming from the underlying variational principle, in the case of metals. After briefly reviewing variational density functional theory for metals, the convexity of the entropy function of the occupation number is analyzed, and, at finite temperature, the benefit of resmearing the Fermi-Dirac broadening with the Methfessel-Paxton one is highlighted. Then the variational expressions for the second-order derivative of the free energy are detailed, exposing the different possible gauge choices. The influence of the inaccuracies in the unperturbed wavefunctions from the prior density functional theory calculation is studied. The whole formalism is implemented in the ABINIT software package.


title: Two trust region type algorithms for solving nonconvex-strongly concave minimax problems

abstract: In this paper, we propose a Minimax Trust Region (MINIMAX-TR) algorithm and a Minimax Trust Region Algorithm with Contractions and Expansions(MINIMAX-TRACE) algorithm for solving nonconvex-strongly concave minimax problems. Both algorithms can find an $(\epsilon, \sqrt{\epsilon})$-second order stationary point(SSP) within $\mathcal{O}(\epsilon^{-1.5})$ iterations, which matches the best well known iteration complexity.


title: Knowledge of Pretrained Language Models on Surface Information of Tokens

abstract: Do pretrained language models have knowledge regarding the surface information of tokens? We examined the surface information stored in word or subword embeddings acquired by pretrained language models from the perspectives of token length, substrings, and token constitution. Additionally, we evaluated the ability of models to generate knowledge regarding token surfaces. We focused on 12 pretrained language models that were mainly trained on English and Japanese corpora. Experimental results demonstrate that pretrained language models have knowledge regarding token length and substrings but not token constitution. Additionally, the results imply that there is a bottleneck on the decoder side in terms of effectively utilizing acquired knowledge.


title: Effective and Scalable Math Support: Evidence on the Impact of an AI- Tutor on Math Achievement in Ghana

abstract: This study evaluates the impact of Rori, an AI powered conversational math tutor accessible via WhatsApp, on the math performance of approximately 1,000 students in grades 3-9 across 11 schools in Ghana. Each school was assigned to a treatment group or control group; the students in the control group continued their regular math instruction, while students in the treatment group engaged with Rori, for two 30-minute sessions per week over 8 months in addition to regular math instruction. We find that the math growth scores were substantially higher for the treatment group with an effect size of 0.37, and that the results were statistically significant (p < 0.001). The fact that Rori works with basic mobile devices on low-bandwidth data networks gives the intervention strong potential to support personalized learning on other low-and-middle-income countries (LMICs), where laptop ownership and high-speed internet - prerequisite for many video-centered learning platforms - remain extremely limited. While the results should be interpreted judiciously, as they only report on year 1 of the intervention, and future research is necessary to better understand which conditions are necessary for successful implementation, they do suggest that chat-based tutoring solutions leveraging artificial intelligence could offer a costeffective approach to enhancing learning outcomes for millions of students globally.


title: 3D Cooperative Localization in UAV Systems: CRLB Analysis and Security Solutions

abstract: This paper presents a robust and secure framework for achieving accurate and reliable cooperative localization in multiple unmanned aerial vehicle (UAV) systems. The Cramer-Rao low bound (CRLB) for the three-dimensional (3D) cooperative localization network is derived, with particular attention given to the non-uniform spatial distribution of anchor nodes. Challenges of mobility and security threats are addressed, corresponding solutions are brought forth and numerically assessed . The proposed solution incorporates two key components: the Mobility Adaptive Gradient Descent (MAGD) and Time-evolving Anomaly Detection (TAD). The MAGD adapts the gradient descent algorithm to handle the configuration changes in cooperative localization systems, ensuring accurate localization in dynamic scenarios. The TAD cooperates with reputation propagation (RP) scheme to detect and mitigate potential attacks by identifying malicious data, enhancing the security and resilience of the cooperative localization.


title: TEXTRON: Weakly Supervised Multilingual Text Detection through Data Programming

abstract: Several recent deep learning (DL) based techniques perform considerably well on image-based multilingual text detection. However, their performance relies heavily on the availability and quality of training data. There are numerous types of page-level document images consisting of information in several modalities, languages, fonts, and layouts. This makes text detection a challenging problem in the field of computer vision (CV), especially for low-resource or handwritten languages. Furthermore, there is a scarcity of word-level labeled data for text detection, especially for multilingual settings and Indian scripts that incorporate both printed and handwritten text. Conventionally, Indian script text detection requires training a DL model on plenty of labeled data, but to the best of our knowledge, no relevant datasets are available. Manual annotation of such data requires a lot of time, effort, and expertise. In order to solve this problem, we propose TEXTRON, a Data Programming-based approach, where users can plug various text detection methods into a weak supervision-based learning framework. One can view this approach to multilingual text detection as an ensemble of different CV-based techniques and DL approaches. TEXTRON can leverage the predictions of DL models pre-trained on a significant amount of language data in conjunction with CV-based methods to improve text detection in other languages. We demonstrate that TEXTRON can improve the detection performance for documents written in Indian languages, despite the absence of corresponding labeled data. Further, through extensive experimentation, we show improvement brought about by our approach over the current State-of-the-art (SOTA) models, especially for handwritten Devanagari text. Code and dataset has been made available at https://github.com/IITB-LEAP-OCR/TEXTRON


title: DreamMatcher: Appearance Matching Self-Attention for Semantically-Consistent Text-to-Image Personalization

abstract: The objective of text-to-image (T2I) personalization is to customize a diffusion model to a user-provided reference concept, generating diverse images of the concept aligned with the target prompts. Conventional methods representing the reference concepts using unique text embeddings often fail to accurately mimic the appearance of the reference. To address this, one solution may be explicitly conditioning the reference images into the target denoising process, known as key-value replacement. However, prior works are constrained to local editing since they disrupt the structure path of the pre-trained T2I model. To overcome this, we propose a novel plug-in method, called DreamMatcher, which reformulates T2I personalization as semantic matching. Specifically, DreamMatcher replaces the target values with reference values aligned by semantic matching, while leaving the structure path unchanged to preserve the versatile capability of pre-trained T2I models for generating diverse structures. We also introduce a semantic-consistent masking strategy to isolate the personalized concept from irrelevant regions introduced by the target prompts. Compatible with existing T2I models, DreamMatcher shows significant improvements in complex scenarios. Intensive analyses demonstrate the effectiveness of our approach.


title: Stability analysis of the vectorial lattice-Boltzmann method

abstract: We propose a new stability analysis of the Vectorial Lattice-Boltzmann Method (VLBM). The VLBM is a variant of the LBM with extended stability features: it allows to handle compressible flows with shock waves, while the LBM is limited to low-Mach number regime. The stability analysis is based on the Legendre transform theory. We also propose a new tool: the equivalent system analysis, which we conjecture to contains both the stability and the consistency of the VLBM.


title: A P\'eclet-robust discontinuous Galerkin method for nonlinear diffusion with advection

abstract: We analyze a Discontinuous Galerkin method for a problem with linear advection-reaction and $p$-type diffusion, with Sobolev indices $p\in (1, \infty)$. The discretization of the diffusion term is based on the full gradient including jump liftings and interior-penalty stabilization while, for the advective contribution, we consider a strengthened version of the classical upwind scheme. The developed error estimates track the dependence of the local contributions to the error on local P\'eclet numbers. A set of numerical tests supports the theoretical derivations.


title: On the role of electromagnetic phenomena in some atmospheric processes

abstract: The crucial part of electromagnetic phenomena in many atmospheric processes is verified by systematized data. The multilayered charged system of clouds represents some dynamically equilibrium structure kept by the ionic and polarization forces. The estimates of acting forces are presented and it is demonstrated the necessity to take into account the plasma-like subsystems, effect on some atmospheric phenomena, including the formation and the maintenance of the structure and characteristics of their movement.


title: Mind the Modality Gap: Towards a Remote Sensing Vision-Language Model via Cross-modal Alignment

abstract: Deep Learning (DL) is undergoing a paradigm shift with the emergence of foundation models, aptly named by their crucial, yet incomplete nature. In this work, we focus on Contrastive Language-Image Pre-training (CLIP), an open-vocabulary foundation model, which achieves high accuracy across many image classification tasks and is often competitive with a fully supervised baseline without being explicitly trained. Nevertheless, there are still domains where zero-shot CLIP performance is far from optimal, such as Remote Sensing (RS) and medical imagery. These domains do not only exhibit fundamentally different distributions compared to natural images, but also commonly rely on complementary modalities, beyond RGB, to derive meaningful insights. To this end, we propose a methodology for the purpose of aligning distinct RS imagery modalities with the visual and textual modalities of CLIP. Our two-stage procedure, comprises of robust fine-tuning CLIP in order to deal with the distribution shift, accompanied by the cross-modal alignment of a RS modality encoder, in an effort to extend the zero-shot capabilities of CLIP. We ultimately demonstrate our method on the tasks of RS imagery classification and cross-modal retrieval. We empirically show that both robust fine-tuning and cross-modal alignment translate to significant performance gains, across several RS benchmark datasets. Notably, these enhancements are achieved without the reliance on textual descriptions, without introducing any task-specific parameters, without training from scratch and without catastrophic forgetting.


title: On a Serrin-type overdetermined problem

abstract: In this paper, we prove a Serrin-type result for an elliptic system of equations, overdetermined with both Dirichlet and a generalized Neumann conditions. With this tool, we characterize the critical shapes under volume constraint of some domain functionals.


title: Local and 2-local $\frac{1}{2}$-derivations on finite-dimensional Lie algebras

abstract: In this work, we introduce the notion of local and $2$-local $\delta$-derivations and describe local and $2$-local $\frac{1}{2}$-derivation of finite-dimensional solvable Lie algebras with filiform, Heisenberg, and abelian nilradicals. Moreover, we describe the local $\frac{1}{2}$-derivation of oscillator Lie algebras, Schr{\"o}dinger algebras, and Lie algebra with a three-dimensional simple part, whose radical is an irreducible module. We prove that an algebra with only trivial $\frac{1}{2}$-derivation does not admit local and $2$-local $\frac{1}{2}$-derivation, which is not $\frac{1}{2}$-derivation.


title: Hydrodynamic models of pulsation period evolution in R Hydrae

abstract: Pulsation period evolution during the helium-shell flash in the Mira variable R Hya is investigated using consistent stellar evolution and non-linear stellar pulsation computations. The initial and time-dependent inner boundary conditions for the equations of radiation hydrodynamics describing non-linear stellar oscillations were determined using a grid of TP-AGB model sequences with initial masses on the main sequence $1.5M_\odot\le M_\mathrm{ZAMS}\le 5.0M_\odot$ and the initial metallicity $Z=0.014$. The setup of initial conditions for hydrodynamic models corresponds to $\approx 100$ yr prior to the maximum of the helium-shell luminosity and ensures that the stellar envelope of the evolution model is under both hydrostatic and thermal equilibrium. Solution of the equations of hydrodynamics allowed us to determine the temporal variation of the pulsation period $\Pi(t)$ during $\approx 500$~yr. Within this time interval R Hya is a fundamental mode pulsator. The period temporal dependencies $\Pi(t)$ calculated for the AGB star models at the beginning of the third dredge-up phase and with masses $4.4M_\odot\le M\le 4.5M_\odot$ are in agreement with observational estimates of the period of R Hya obtained during last two centuries. The mean radius of R Hya pulsation models at the end of the XX century ($470 R_\odot < \bar{R} < 490 R_\odot$) agrees with observational estimates obtained using the interferometric angular diameter measurements.


title: Utilizing Deep Learning for Enhancing Network Resilience in Finance

abstract: In the age of the Internet, people's lives are increasingly dependent on today's network technology. Maintaining network integrity and protecting the legitimate interests of users is at the heart of network construction. Threat detection is an important part of a complete and effective defense system. How to effectively detect unknown threats is one of the concerns of network protection. Currently, network threat detection is usually based on rules and traditional machine learning methods, which create artificial rules or extract common spatiotemporal features, which cannot be applied to large-scale data applications, and the emergence of unknown risks causes the detection accuracy of the original model to decline. With this in mind, this paper uses deep learning for advanced threat detection to improve protective measures in the financial industry. Many network researchers have shifted their focus to exception-based intrusion detection techniques. The detection technology mainly uses statistical machine learning methods - collecting normal program and network behavior data, extracting multidimensional features, and training decision machine learning models on this basis (commonly used include naive Bayes, decision trees, support vector machines, random forests, etc.).


title: Diffusion Models for Audio Restoration

abstract: With the development of audio playback devices and fast data transmission, the demand for high sound quality is rising, for both entertainment and communications. In this quest for better sound quality, challenges emerge from distortions and interferences originating at the recording side or caused by an imperfect transmission pipeline. To address this problem, audio restoration methods aim to recover clean sound signals from the corrupted input data. We present here audio restoration algorithms based on diffusion models, with a focus on speech enhancement and music restoration tasks. Traditional approaches, often grounded in handcrafted rules and statistical heuristics, have shaped our understanding of audio signals. In the past decades, there has been a notable shift towards data-driven methods that exploit the modeling capabilities of deep neural networks (DNNs). Deep generative models, and among them diffusion models, have emerged as powerful techniques for learning complex data distributions. However, relying solely on DNN-based learning approaches carries the risk of reducing interpretability, particularly when employing end-to-end models. Nonetheless, data-driven approaches allow more flexibility in comparison to statistical model-based frameworks whose performance depends on distributional and statistical assumptions that can be difficult to guarantee. Here, we aim to show that diffusion models can combine the best of both worlds and offer the opportunity to design audio restoration algorithms with a good degree of interpretability and a remarkable performance in terms of sound quality.


title: The 2022 super-Eddington outburst of the source SMC X-2

abstract: SMC X-2 exhibits X-ray outburst behaviour that makes it one of the most luminous X-ray sources in the Small Magellanic Cloud. In the last decade it has undergone two such massive outbursts - in 2015 and 2022. The first outburst is well reported in the literature, but the 2022 event has yet to be fully described and discussed. That is the goal of this paper. In particular, the post-peak characteristics of the two events are compared. This reveals clear similarities in decay profiles, believed to be related to different accretion mechanisms occurring at different times as the outbursts evolve. The H{\alpha} emission line indicates that the Be disc undergoes complex structural variability, with evidence of warping as a result of its interaction with the neutron star. The detailed observations reported here will be important for modelling such interactions in this kind of binary systems.


title: On the classification of Meromorphic Affine Connections on Complex Compact Surfaces

abstract: We classify meromorphic affine connections on compact complex surfaces with algebraic dimension one, extending the work of Inoue,Kobayashi and Ochiai (1981) in the holomorphic case. The motivation is to investigate possible extension of the principle of uniformization of complex compact curves by means of geometric structures, in higher dimensions and allowing singularities to the geometric structures.


title: On the discrete-time origins of the replicator dynamics: From convergence to instability and chaos

abstract: We consider three distinct discrete-time models of learning and evolution in games: a biological model based on intra-species selective pressure, the dynamics induced by pairwise proportional imitation, and the exponential / multiplicative weights (EW) algorithm for online learning. Even though these models share the same continuous-time limit - the replicator dynamics - we show that second-order effects play a crucial role and may lead to drastically different behaviors in each model, even in very simple, symmetric $2\times2$ games. Specifically, we study the resulting discrete-time dynamics in a class of parametrized congestion games, and we show that (i) in the biological model of intra-species competition, the dynamics remain convergent for any parameter value; (ii) the dynamics of pairwise proportional imitation exhibit an entire range of behaviors for larger time steps and different equilibrium configurations (stability, instability, and even Li-Yorke chaos); while (iii) in the EW algorithm, increasing the time step (almost) inevitably leads to chaos (again, in the formal, Li-Yorke sense). This divergence of behaviors comes in stark contrast to the globally convergent behavior of the replicator dynamics, and serves to delineate the extent to which the replicator dynamics provide a useful predictor for the long-run behavior of their discrete-time origins.


title: Improved Lower Bounds for Approximating Parameterized Nearest Codeword and Related Problems under ETH

abstract: In this paper we present a new gap-creating randomized self-reduction for parameterized Maximum Likelihood Decoding problem over $\mathbb{F}_p$ ($k$-MLD$_p$). The reduction takes a $k$-MLD$_p$ instance with $k\cdot n$ vectors as input, runs in time $f(k)n^{O(1)}$ for some computable function $f$, outputs a $(3/2-\varepsilon)$-Gap-$k'$-MLD$_p$ instance for any $\varepsilon>0$, where $k'=O(k^2\log k)$. Using this reduction, we show that assuming the randomized Exponential Time Hypothesis (ETH), no algorithms can approximate $k$-MLD$_p$ (and therefore its dual problem $k$-NCP$_p$) within factor $(3/2-\varepsilon)$ in $f(k)\cdot n^{o(\sqrt{k/\log k})}$ time for any $\varepsilon>0$. We then use reduction by Bhattacharyya, Ghoshal, Karthik and Manurangsi (ICALP 2018) to amplify the $(3/2-\varepsilon)$-gap to any constant. As a result, we show that assuming ETH, no algorithms can approximate $k$-NCP$_p$ and $k$-MDP$_p$ within $\gamma$-factor in $f(k)n^{o(k^{\varepsilon_\gamma})}$ time for some constant $\varepsilon_\gamma>0$. Combining with the gap-preserving reduction by Bennett, Cheraghchi, Guruswami and Ribeiro (STOC 2023), we also obtain similar lower bounds for $k$-MDP$_p$, $k$-CVP$_p$ and $k$-SVP$_p$. These results improve upon the previous $f(k)n^{\Omega(\mathsf{poly} \log k)}$ lower bounds for these problems under ETH using reductions by Bhattacharyya et al. (J.ACM 2021) and Bennett et al. (STOC 2023).


title: Symplectic projective orbits of unimodular exponential Lie groups

abstract: For an exponential Lie group $G$ and an irreducible unitary representation $(\pi,\mathcal{H}_{\pi})$ of $G$, we consider the natural action defined by $\pi$ on the projective space of $\mathcal{H}_{\pi}$, and show that the stabilisers of this action coincide with the projective kernel of $\pi$. Using this, we prove that, if $G/\mathrm{pker}(\pi)$ is unimodular, then $\pi$ admits a symplectic projective orbit if and only if $\pi$ is square-integrable modulo its projective kernel $\mathrm{pker}(\pi)$.


title: A counterexample to the Pellian equation conjecture of Mordell

abstract: Let $d\geq 2$ be a squarefree integer, let $\omega\in\{\sqrt{d},\frac{1+\sqrt{d}}{2}\}$ be such that $\mathbb{Z}[\omega]$ is the ring of algebraic integers of the real quadratic number field $\mathbb{Q}(\sqrt{d})$, let $\varepsilon>1$ be the fundamental unit of $\mathbb{Z}[\omega]$ and let $x$ and $y$ be the unique nonnegative integers with $\varepsilon=x+y\omega$. In this note, we extend and study the list of known squarefree integers $d\geq 2$, for which $y$ is divisible by $d$ (cf. OEIS A135735). As a byproduct, we present a counterexample to a conjecture of L. J. Mordell.


title: Validation of homogenized finite element models of human metastatic vertebrae using digital volume correlation

abstract: The incidence of vertebral fragility fracture is increased by the presence of preexisting pathologies such as metastatic disease. Computational tools could support the fracture prediction and consequently the decision of the best medical treatment. Anyway, validation is required to use these tools in clinical practice. To address this necessity, in this study subject-specific homogenized finite element models of single vertebrae were generated from micro CT images for both healthy and metastatic vertebrae and validated against experimental data. More in detail, spine segments were tested under compression and imaged with micro CT. The displacements field could be extracted for each vertebra singularly using the digital volume correlation full-field technique. Homogenized finite element models of each vertebra could hence be built from the micro CT images, applying boundary conditions consistent with the experimental displacements at the endplates. Numerical and experimental displacements and strains fields were eventually compared. In addition, the outcomes of a micro CT based homogenized model were compared to the ones of a clinical-CT based model. Good agreement between experimental and computational displacement fields, both for healthy and metastatic vertebrae, was found. Comparison between micro CT based and clinical-CT based outcomes showed strong correlations. Furthermore, models were able to qualitatively identify the regions which experimentally showed the highest strain concentration. In conclusion, the combination of experimental full-field technique and the in-silico modelling allowed the development of a promising pipeline for validation of fracture risk predictors, although further improvements in both fields are needed to better analyse quantitatively the post-yield behaviour of the vertebra.


title: On a conjecture on shifted primes with large prime factors, II

abstract: Let $\mathcal{P}$ be the set of primes and $\pi(x)$ the number of primes not exceeding $x$. Let also $P^+(n)$ be the largest prime factor of $n$ with convention $P^+(1)=1$ and $$ T_c(x)=\#\left\{p\le x:p\in \mathcal{P},P^+(p-1)\ge p^c\right\}. $$ Motivated by a 2017 conjecture of Chen and Chen, we show that for any $8/9\le c<1$ $$ \limsup_{x\rightarrow\infty}T_c(x)/\pi(x)\le 8(1/c-1), $$ which clearly means that $$ \limsup_{x\rightarrow\infty}T_c(x)/\pi(x)\rightarrow 0, \quad \text{as}~c\rightarrow1. $$


title: Utilizing GANs for Fraud Detection: Model Training with Synthetic Transaction Data

abstract: Anomaly detection is a critical challenge across various research domains, aiming to identify instances that deviate from normal data distributions. This paper explores the application of Generative Adversarial Networks (GANs) in fraud detection, comparing their advantages with traditional methods. GANs, a type of Artificial Neural Network (ANN), have shown promise in modeling complex data distributions, making them effective tools for anomaly detection. The paper systematically describes the principles of GANs and their derivative models, emphasizing their application in fraud detection across different datasets. And by building a collection of adversarial verification graphs, we will effectively prevent fraud caused by bots or automated systems and ensure that the users in the transaction are real. The objective of the experiment is to design and implement a fake face verification code and fraud detection system based on Generative Adversarial network (GANs) algorithm to enhance the security of the transaction process.The study demonstrates the potential of GANs in enhancing transaction security through deep learning techniques.


title: Generic Fr{\'e}chet stationarity in constrained optimization

abstract: Minimizing a smooth function f on a closed subset C leads to different notions of stationarity: Fr{\'e}chet stationarity, which carries a strong variational meaning, and criticallity, which is defined through a closure process. The latter is an optimality condition which may loose the variational meaning of Fr{\'e}chet stationarity in some settings. We show that, while criticality is the appropriate notion in full generality, Fr{\'e}chet stationarity is typical in practical scenarios. This is illustrated with two main results, first we show that if C is semi-algebraic, then for a generic smooth semi-algebraic function f , all critical points of f on C are actually Fr{\'e}chet stationary. Second we prove that for small step-sizes, all the accumulation points of the projected gradient algorithm are Fr{\'e}chet stationary, with an explicit global quadratic estimate of the remainder, avoiding potential critical points which are not Fr{\'e}chet stationary, and some bad local minima.


title: Rank two Artin-Schelter regular algebras and non commuting derivations

abstract: If $\Delta$ and $\Gamma$ are two derivations of a commutative algebra $A$ such that $\Delta\Gamma-\Gamma\Delta=\Delta$ is locally nilpotent, one can endow $A$ with a new product $\ast$ whose filtered semiclassical limit is the Poisson structure $\Delta\wedge\Gamma$.In this article we first study theses (Poisson) algebras from an algebraic point of view, and when $A$ is a polynomial algebra, we investigate their homological properties. In particular, when the derivations $\Delta$ and $\Gamma$ are linear, the algebras $(A,\ast)$ provide, in each dimension at least four, new examples of multiparameter families of Artin-Schelter regular algebras. These algebras are deformations of Poisson algebras $(A,\Delta\wedge\Gamma)$ of rank $2$, thus explaining the title of the article.Assuming furthermore a technical condition on $\Gamma$, we show that the algebra $(A,\ast)$ is Calabi-Yau if and only if the trace of $\Gamma$ is equal to $1$ if and only if the Poisson algebra $(A,\Delta\wedge\Gamma)$ is unimodular.Since the trace of $\Gamma$ is a linear function of the parameters, the algebras $(A,\ast)$ also provide, in each dimension at least four, new examples of multiparameter families of Calabi-Yau algebras.


title: R4: rapid reproducible robotics research open hardware control system

abstract: A key component of any robot is the interface between ROS2 software and physical motors. New robots often use arbitrary, messy mixtures of closed and open motor drivers and error-prone physical mountings, wiring, and connectors to interface them. There is a need for a standardizing OSH component to abstract this complexity, as Arduino did for interfacing to smaller components. We present a OSH printed circuit board to solve this problem once and for all. On the high-level side, it interfaces to Arduino Giga -- acting as an unusually large and robust shield -- and thus to existing open source ROS software stacks. On the lower-level side, it interfaces to existing emerging standard open hardware including OSH motor drivers and relays, which can already be used to drive fully open hardware wheeled and arm robots. This enables the creation of a family of standardized, fully open hardware, fully reproducible, research platforms.


title: All in One and One for All: A Simple yet Effective Method towards Cross-domain Graph Pretraining

abstract: Large Language Models (LLMs) have revolutionized the fields of computer vision (CV) and natural language processing (NLP). One of the most notable advancements of LLMs is that a single model is trained on vast and diverse datasets spanning multiple domains -- a paradigm we term `All in One'. This methodology empowers LLMs with super generalization capabilities, facilitating an encompassing comprehension of varied data distributions. Leveraging these capabilities, a single LLM demonstrates remarkable versatility across a variety of domains -- a paradigm we term `One for All'. However, applying this idea to the graph field remains a formidable challenge, with cross-domain pretraining often resulting in negative transfer. This issue is particularly important in few-shot learning scenarios, where the paucity of training data necessitates the incorporation of external knowledge sources. In response to this challenge, we propose a novel approach called Graph COordinators for PrEtraining (GCOPE), that harnesses the underlying commonalities across diverse graph datasets to enhance few-shot learning. Our novel methodology involves a unification framework that amalgamates disparate graph datasets during the pretraining phase to distill and transfer meaningful knowledge to target tasks. Extensive experiments across multiple graph datasets demonstrate the superior efficacy of our approach. By successfully leveraging the synergistic potential of multiple graph datasets for pretraining, our work stands as a pioneering contribution to the realm of graph foundational model.


title: Parameterized Algorithms for Steiner Forest in Bounded Width Graphs

abstract: In this paper we reassess the parameterized complexity and approximability of the well-studied Steiner Forest problem in several graph classes of bounded width. The problem takes an edge-weighted graph and pairs of vertices as input, and the aim is to find a minimum cost subgraph in which each given vertex pair lies in the same connected component. It is known that this problem is APX-hard in general, and NP-hard on graphs of treewidth 3, treedepth 4, and feedback vertex set size 2. However, Bateni, Hajiaghayi and Marx [JACM, 2011] gave an approximation scheme with a runtime of $n^{O(\frac{k^2}{\varepsilon})}$ on graphs of treewidth $k$. Our main result is a much faster efficient parameterized approximation scheme (EPAS) with a runtime of $2^{O(\frac{k^2}{\varepsilon} \log \frac{k^2}{\varepsilon})} \cdot n^{O(1)}$. If $k$ instead is the vertex cover number of the input graph, we show how to compute the optimum solution in $2^{O(k \log k)} \cdot n^{O(1)}$ time, and we also prove that this runtime dependence on $k$ is asymptotically best possible, under ETH. Furthermore, if $k$ is the size of a feedback edge set, then we obtain a faster $2^{O(k)} \cdot n^{O(1)}$ time algorithm, which again cannot be improved under ETH.


title: Chain-of-Planned-Behaviour Workflow Elicits Few-Shot Mobility Generation in LLMs

abstract: The powerful reasoning capabilities of large language models (LLMs) have brought revolutionary changes to many fields, but their performance in human behaviour generation has not yet been extensively explored. This gap likely emerges because the internal processes governing behavioral intentions cannot be solely explained by abstract reasoning. Instead, they are also influenced by a multitude of factors, including social norms and personal preference. Inspired by the Theory of Planned Behaviour (TPB), we develop a LLM workflow named Chain-of-Planned Behaviour (CoPB) for mobility behaviour generation, which reflects the important spatio-temporal dynamics of human activities. Through exploiting the cognitive structures of attitude, subjective norms, and perceived behaviour control in TPB, CoPB significantly enhance the ability of LLMs to reason the intention of next movement. Specifically, CoPB substantially reduces the error rate of mobility intention generation from 57.8% to 19.4%. To improve the scalability of the proposed CoPB workflow, we further explore the synergy between LLMs and mechanistic models. We find mechanistic mobility models, such as gravity model, can effectively map mobility intentions to physical mobility behaviours. The strategy of integrating CoPB with gravity model can reduce the token cost by 97.7% and achieve better performance simultaneously. Besides, the proposed CoPB workflow can facilitate GPT-4-turbo to automatically generate high quality labels for mobility behavior reasoning. We show such labels can be leveraged to fine-tune the smaller-scale, open source LLaMA 3-8B, which significantly reduces usage costs without sacrificing the quality of the generated behaviours.


title: Conjugacy properties of multivariate unified skew-elliptical distributions

abstract: The broad class of multivariate unified skew-normal (SUN) distributions has been recently shown to possess fundamental conjugacy properties. When used as priors for the vector of parameters in general probit, tobit, and multinomial probit models, these distributions yield posteriors that still belong to the SUN family. Although such a core result has led to important advancements in Bayesian inference and computation, its applicability beyond likelihoods associated with fully-observed, discretized, or censored realizations from multivariate Gaussian models remains yet unexplored. This article covers such an important gap by proving that the wider family of multivariate unified skew-elliptical (SUE) distributions, which extends SUNs to more general perturbations of elliptical densities, guarantees conjugacy for broader classes of models, beyond those relying on fully-observed, discretized or censored Gaussians. Such a result leverages the closure under linear combinations, conditioning and marginalization of SUE to prove that such a family is conjugate to the likelihood induced by general multivariate regression models for fully-observed, censored or dichotomized realizations from skew-elliptical distributions. This advancement substantially enlarges the set of models that enable conjugate Bayesian inference to general formulations arising from elliptical and skew-elliptical families, including the multivariate Student's t and skew-t, among others.


title: Performative Reinforcement Learning in Gradually Shifting Environments

abstract: When Reinforcement Learning (RL) agents are deployed in practice, they might impact their environment and change its dynamics. We propose a new framework to model this phenomenon, where the current environment depends on the deployed policy as well as its previous dynamics. This is a generalization of Performative RL (PRL) [Mandal et al., 2023]. Unlike PRL, our framework allows to model scenarios where the environment gradually adjusts to a deployed policy. We adapt two algorithms from the performative prediction literature to our setting and propose a novel algorithm called Mixed Delayed Repeated Retraining (MDRR). We provide conditions under which these algorithms converge and compare them using three metrics: number of retrainings, approximation guarantee, and number of samples per deployment. MDRR is the first algorithm in this setting which combines samples from multiple deployments in its training. This makes MDRR particularly suitable for scenarios where the environment's response strongly depends on its previous dynamics, which are common in practice. We experimentally compare the algorithms using a simulation-based testbed and our results show that MDRR converges significantly faster than previous approaches.


title: Three-state $p$-SOS models on binary Cayley trees

abstract: We consider a version of the solid-on-solid model on the Cayley tree of order two in which vertices carry spins of value $0,1$ or $2$ and the pairwise interaction of neighboring vertices is given by their spin difference to the power $p>0$. We exhibit all translation-invariant splitting Gibbs measures (TISGMs) of the model and demonstrate the existence of up to seven such measures, depending on the parameters. We further establish general conditions for extremality and non-extremality of TISGMs in the set of all Gibbs measures and use them to examine selected TISGMs for a small and a large $p$. Notably, our analysis reveals that extremality properties are similar for large $p$ compared to the case $p=1$, a case that has been explored already in previous work. However, for the small $p$, certain measures that were consistently non-extremal for $p=1$ do exhibit transitions between extremality and non-extremality.


title: On the Chemical Composition of the Evolved Very Bright Metal-Poor Star HD 1936

abstract: We present chemical abundances of the very bright metal-poor star HD~1936 based on high-resolution and high SNR spectra from AUKR. We obtain the abundances of 29 atomic species with atomic numbers between 3 and 63. In this context, the derived lithium abundance of 1.01 is consistent with the thin Li plateau observed in lower red giant branch stars. The star is a carbon-normal with the ratio of -0.31, just like other low-luminosity red giants on the thin Li plateau. We find the ratios of [Eu/Fe]=0.43 and [Ba/Eu]=-0.64, indicating very little s-process contamination. These ratios allow us to classify the star as a moderately r-process-enhanced (r-I) metal-poor star for the first time. It is worth mentioning that the star has a metallicity of -1.74, a [Cu/Fe] of -0.74, a [Zn/Fe] of 0.04, and a [Mg/C] of 0.69. The results suggest that it may be a second-generation star formed in a multi-enriched environment, rather than being a descendant of very massive first-generation stars. A last point worth mentioning is the possibility that HD~1936 may host a sub-stellar component with a mass of 18.35$M_{\rm J}$. Although our study does not confirm or deny this, we briefly discuss the possibility of the star hosting a planet.


title: LAPDoc: Layout-Aware Prompting for Documents

abstract: Recent advances in training large language models (LLMs) using massive amounts of solely textual data lead to strong generalization across many domains and tasks, including document-specific tasks. Opposed to that there is a trend to train multi-modal transformer architectures tailored for document understanding that are designed specifically to fuse textual inputs with the corresponding document layout. This involves a separate fine-tuning step for which additional training data is required. At present, no document transformers with comparable generalization to LLMs are available That raises the question which type of model is to be preferred for document understanding tasks. In this paper we investigate the possibility to use purely text-based LLMs for document-specific tasks by using layout enrichment. We explore drop-in modifications and rule-based methods to enrich purely textual LLM prompts with layout information. In our experiments we investigate the effects on the commercial ChatGPT model and the open-source LLM Solar. We demonstrate that using our approach both LLMs show improved performance on various standard document benchmarks. In addition, we study the impact of noisy OCR and layout errors, as well as the limitations of LLMs when it comes to utilizing document layout. Our results indicate that layout enrichment can improve the performance of purely text-based LLMs for document understanding by up to 15% compared to just using plain document text. In conclusion, this approach should be considered for the best model choice between text-based LLM or multi-modal document transformers.


title: Symbolic Solution of Systems of Polynomial Differential Equations Via The Cauchy-Riemann Equations. Applications to Kinetic Differential Equations

abstract: The differential equations of chemical kinetics are systems of nonlinear (polynomial) differential equations, therefore their solutions cannot usually be found in symbolic form. Here we offer a method to solve classes of kinetic differential equations based on the Cauchy--Riemann equations. It turns out that the method can be used to symbolically solve some polynomial differential equations that are not necessarily kinetic, as well.


title: Functions of compact operators under trace class perturbations

abstract: The paper studies the problem, for which continuous functions $f$ on the real line ${\Bbb R}$, the difference of the functions $f(B)-f(A)$ of self-adjoint operators $A$ and $B$ with trace class difference must also be of trace class. The main result of the paper shows that this happens if and only if the function $f$ is operator Lipschitz on a neighbourhood of zero.


title: Jack of All Trades, Master of Some, a Multi-Purpose Transformer Agent

abstract: The search for a general model that can operate seamlessly across multiple domains remains a key goal in machine learning research. The prevailing methodology in Reinforcement Learning (RL) typically limits models to a single task within a unimodal framework, a limitation that contrasts with the broader vision of a versatile, multi-domain model. In this paper, we present Jack of All Trades (JAT), a transformer-based model with a unique design optimized for handling sequential decision-making tasks and multimodal data types. The JAT model demonstrates its robust capabilities and versatility by achieving strong performance on very different RL benchmarks, along with promising results on Computer Vision (CV) and Natural Language Processing (NLP) tasks, all using a single set of weights. The JAT model marks a significant step towards more general, cross-domain AI model design, and notably, it is the first model of its kind to be fully open-sourced (see https://huggingface.co/jat-project/jat), including a pioneering general-purpose dataset.


title: JustSTART: How to Find an RSA Authentication Bypass on Xilinx UltraScale(+) with Fuzzing

abstract: Fuzzing is a well-established technique in the software domain to uncover bugs and vulnerabilities. Yet, applications of fuzzing for security vulnerabilities in hardware systems are scarce, as principal reasons are requirements for design information access (HDL source code). Moreover, observation of internal hardware state during runtime is typically an ineffective information source, as its documentation is often not publicly available. In addition, such observation during runtime is also inefficient due to bandwidth-limited analysis interfaces (JTAG, and minimal introspection of internal modules). In this work, we investigate fuzzing for 7-Series and UltraScale(+) FPGA configuration engines, the control plane governing the (secure) bitstream configuration within the FPGA. Our goal is to examine the effectiveness of fuzzing to analyze and document the opaque inner workings of FPGA configuration engines, with a primary emphasis on identifying security vulnerabilities. Using only the publicly available chip and dispersed documentation, we first design and implement ConFuzz, an advanced FPGA configuration engine fuzzing and rapid prototyping framework. Based on our detailed understanding of the bitstream file format, we then systematically define 3 novel key fuzzing strategies for Xilinx configuration engines. Moreover, our strategies are executed through mutational structure-aware fuzzers and incorporate various novel custom-tailored, FPGA-specific optimizations. Our evaluation reveals previously undocumented behavior within the configuration engine, including critical findings such as system crashes leading to unresponsive states of the FPGA. In addition, our investigations not only lead to the rediscovery of the starbleed attack but also uncover JustSTART (CVE-2023-20570), capable of circumventing RSA authentication for Xilinx UltraScale(+). Note that we also discuss countermeasures.


title: A Deep Learning Approach to Radar-based QPE

abstract: In this study, we propose a volume-to-point framework for quantitative precipitation estimation (QPE) based on the Quantitative Precipitation Estimation and Segregation Using Multiple Sensor (QPESUMS) Mosaic Radar data set. With a data volume consisting of the time series of gridded radar reflectivities over the Taiwan area, we used machine learning algorithms to establish a statistical model for QPE in weather stations. The model extracts spatial and temporal features from the input data volume and then associates these features with the location-specific precipitations. In contrast to QPE methods based on the Z-R relation, we leverage the machine learning algorithms to automatically detect the evolution and movement of weather systems and associate these patterns to a location with specific topographic attributes. Specifically, we evaluated this framework with the hourly precipitation data of 45 weather stations in Taipei during 2013-2016. In comparison to the operational QPE scheme used by the Central Weather Bureau, the volume-to-point framework performed comparably well in general cases and excelled in detecting heavy-rainfall events. By using the current results as the reference benchmark, the proposed method can integrate the heterogeneous data sources and potentially improve the forecast in extreme precipitation scenarios.


title: Modeling low-intensity ultrasound mechanotherapy impact on growing cancer stem cells

abstract: Targeted therapeutic interventions utilizing low-inten\-sity ultrasound (LIUS) exhibit substantial potential for hindering the proliferation of cancer stem cells. This investigation introduces a multiscale model and computational framework to comprehensively explore the therapeutic LIUS on poroelastic tumor dynamics, thereby unraveling the intricacies of mechanotransduction mechanisms at play. Our model includes both macroscopic timescales encompassing days and rapid timescales spanning from microseconds to seconds, facilitating an in-depth comprehension of tumor behavior. We unveil the discerning suppression or reorientation of cancer cell proliferation and migration, enhancing a notable redistribution of cellular phases and stresses within the tumor microenvironment. Our findings defy existing paradigms by elucidating the impact of LIUS on cancer stem cell behavior. This endeavor advances our fundamental understanding of mechanotransduction phenomena in the context of LIUS therapy, thus underscoring its promising as a targeted therapeutic modality for cancer treatment. Furthermore, our results make a substantial contribution to the broader scientific community by shedding light on the intricate interplay between mechanical forces, cellular responses, and the spatiotemporal evolution of tumors. These insights hold the promising to promote a new perspective for the future development of pioneering and highly efficacious therapeutic strategies for combating cancer in a personalized manner.


title: Parameterized quantum circuits as universal generative models for continuous multivariate distributions

abstract: Parameterized quantum circuits have been extensively used as the basis for machine learning models in regression, classification, and generative tasks. For supervised learning, their expressivity has been thoroughly investigated and several universality properties have been proven. However, in the case of quantum generative modelling, much less is known, especially when the task is to model distributions over continuous variables. In this work, we elucidate expectation value sampling-based models. Such models output the expectation values of a set of fixed observables from a quantum circuit into which classical random data has been uploaded. We prove the universality of such variational quantum algorithms for the generation of multivariate distributions. We explore various architectures which allow universality and prove tight bounds connecting the minimal required qubit number, and the minimal required number of measurements needed. Our results may help guide the design of future quantum circuits in generative modelling tasks.


title: Recommendations for Baselines and Benchmarking Approximate Gaussian Processes

abstract: Gaussian processes (GPs) are a mature and widely-used component of the ML toolbox. One of their desirable qualities is automatic hyperparameter selection, which allows for training without user intervention. However, in many realistic settings, approximations are typically needed, which typically do require tuning. We argue that this requirement for tuning complicates evaluation, which has led to a lack of a clear recommendations on which method should be used in which situation. To address this, we make recommendations for comparing GP approximations based on a specification of what a user should expect from a method. In addition, we develop a training procedure for the variational method of Titsias [2009] that leaves no choices to the user, and show that this is a strong baseline that meets our specification. We conclude that benchmarking according to our suggestions gives a clearer view of the current state of the field, and uncovers problems that are still open that future papers should address.


title: Application of a metric for complex polynomials to bounded modification of planar Pythagorean-hodograph curves

abstract: By interpreting planar polynomial curves as complex-valued functions of a real parameter, an inner product, norm, metric function, and the notion of orthogonality may be defined for such curves. This approach is applied to the complex pre-image polynomials that generate planar Pythagorean-hodograph (PH) curves, to facilitate the implementation of bounded modifications of them that preserve their PH nature. The problems of bounded modifications under the constraint of fixed curve end points and end tangent directions, and of increasing the arc length of a PH curve by a prescribed amount, are also addressed.


title: A categorification for the characteristic polynomial of matroids

abstract: In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata.


title: The stack of $G$-zips is a Mori dream space

abstract: We first extend previous results of the author with T. Wedhorn and W. Goldring regarding the existence of $\mu$-ordinary Hasse invariants for Hodge-type Shimura varieties to other automorphic line bundles. We also determine exactly which line bundles admit nonzero sections on the stack of $G$-zips of Pink--Wedhorn--Ziegler. Then, we define and study the Cox ring of the stack of $G$-zips and show that it is always finitely generated. Finally, beyond the case of line bundles, we define a ring of vector-valued automorphic forms on the stack of $G$-zips and study its properties. We prove that it is finitely generated in certain cases.


title: Besov spaces in operator theory

abstract: The survey is devoted to diverse applications of Besov classes in operator theory. It is illustrated how Besov classes are used to describe Hankel operators of Schatten--von Neumann classes; various applications of this description are considered. Next, we discuss the role of Besov classes in norm estimates of polynomials of power bounded operators on Hilbert space and related estimates of Hankel matrices in tensor products of the spaces $\ell^1$ and $\ell^\infty$. An essential part of the survey is devoted to the role of Besov spaces in various problems of perturbation theory when studying the behavior of functions of a single operator or of a collection of operators under their perturbation.


title: Improving the efficiency of GP-GOMEA for higher-arity operators

abstract: Deploying machine learning models into sensitive domains in our society requires these models to be explainable. Genetic Programming (GP) can offer a way to evolve inherently interpretable expressions. GP-GOMEA is a form of GP that has been found particularly effective at evolving expressions that are accurate yet of limited size and, thus, promote interpretability. Despite this strength, a limitation of GP-GOMEA is template-based. This negatively affects its scalability regarding the arity of operators that can be used, since with increasing operator arity, an increasingly large part of the template tends to go unused. In this paper, we therefore propose two enhancements to GP-GOMEA: (i) semantic subtree inheritance, which performs additional variation steps that consider the semantic context of a subtree, and (ii) greedy child selection, which explicitly considers parts of the template that in standard GP-GOMEA remain unused. We compare different versions of GP-GOMEA regarding search enhancements on a set of continuous and discontinuous regression problems, with varying tree depths and operator sets. Experimental results show that both proposed search enhancements have a generally positive impact on the performance of GP-GOMEA, especially when the set of operators to choose from is large and contains higher-arity operators.


title: A two variable Rankin-Selberg integral for $\mathrm{GU}(2,2)$ and the degree 5 $L$-function of $\mathrm{GSp}_4$

abstract: We give a two-variable Rankin--Selberg integral for cusp forms on $\mathrm{PGL}_4$ and $\mathrm{PGU}_{2,2}$ which represents a product of exterior square $L$-functions. As a residue of our integral, we obtain an integral representation on $\mathrm{PGU}_{2,2}$ of the degree 5 $L$-function of $\mathrm{GSp}_4$ twisted by the quadratic character of $E/F$ of cuspidal automorphic representations which contribute to the theta correspondence for the pair $(\mathrm{PGSp}_4,\mathrm{PGU}_{2,2})$.


title: Exploring the magnetic field of Helmholtz and Maxwell coils: a computer-based approach exploiting the superposition principle

abstract: Teaching magnetism is one of the most challenging topics at undergraduate level in programmes with scientific background. A basic course includes the description of the magnetic interaction along with empirical results such as the Biot-Savart law's. However, evaluating the magnetic field due to certain current carrying system at any point in space is not an easy task, especially for points in space where symmetry arguments cannot be applied. In this paper we study the magnetic field produced by both Helmholtz and Maxwell coils at all points in space by using a hybrid methodology that combines the superposition principle and an analytical result. We implement a computational approach, that is based on iterating $n$ times the magnetic field produced by a finite current-carrying wire, to evaluate the magnetic field at any point in space for coils arrangements without using advanced calculus. This methodology helps teachers and students to explore the field due to systems with different levels of complexity, combining analytical and computational skills to visualize and analyse the magnetic field. After our analysis, we show that this is an useful approach to emphasize fundamental concepts and mitigate some of the issues that arise when evaluating the magnetic field for systems proposed in introductory physics textbooks.


title: Predicting the Ages of Galaxies with an Artificial Neural Network

abstract: We present a new method of predicting the ages of galaxies using a machine learning (ML) algorithm with the goal of providing an alternative to traditional methods. We aim to match the ability of traditional models to predict the ages of galaxies by training an artificial neural network (ANN) to recognise the relationships between the equivalent widths of spectral indices and the mass-weighted ages of galaxies estimated by the MAGPHYS model in data release 3 (DR3) of the Galaxy and Mass Assembly (GAMA) survey. We discuss the optimisation of our hyperparameters extensively and investigate the application of a custom loss function to reduce the influence of errors in our input data. To quantify the quality of our predictions we calculate the mean squared error (MSE), mean absolute error (MAE) and R^2 score for which we find MSE = 0.020, MAE = 0.108 and R^2 = 0.530. We find our predicted ages have a similar distribution with standard deviation sigma_p = 0.182 compared with the GAMA true ages sigma_t = 0.207. This is achieved in approximately 23s to train our ANN on an 11th Gen Intel Core i9-11900H running at 2.50GHz using 32GB of RAM. We report our results for when light-weighted ages are used to train the ANN, which improves the accuracy of the predictions. Finally, we detail an evaluation of our method relating to physical properties and compare with other ML techniques to encourage future applications of ML techniques in Astronomy.