title: Constraining the stellar populations of ultra-diffuse galaxies in the MATLAS survey using spectral energy distribution fitting

abstract: We use spectral energy distribution (SED) fitting to place constraints on the stellar populations of 59 ultra-diffuse galaxies (UDGs) in the low-to-moderate density fields of the MATLAS survey. We use the routine PROSPECTOR, coupled with archival data in the optical from DECaLS, and near- and mid-infrared imaging from WISE, to recover the stellar masses, ages, metallicities and star formation timescales of the UDGs. We find that a subsample of the UDGs lies within the scatter of the mass-metallicity relation (MZR) for local classical dwarfs. However, another subsample is more metal-poor, being consistent with the evolving MZR at high-redshift. We investigate UDG positioning trends in the mass-metallicity plane as a function of surface brightness, effective radius, axis ratio, local volume density, mass-weighted age, star formation timescale, globular cluster (GC) counts and GC specific frequency. We find that our sample of UDGs can be separated into two main classes. Class A: Comprised of UDGs with lower stellar masses, prolonged star formation histories (SFHs), more elongated, inhabiting less dense environments, hosting fewer GCs, younger, consistent with the classical dwarf MZR, and fainter. Class B: UDGs with higher stellar masses, rapid SFHs, rounder, inhabiting the densest of our probed environments, hosting on average the most numerous GC systems, older, consistent with the high-redshift MZR (i.e., consistent with early-quenching), and brighter. The combination of these properties suggests that UDGs of Class A are consistent with a `puffed-up dwarf' formation scenario, while UDGs of Class B seem to be better explained by `failed galaxy' scenarios.


title: When Do Off-Policy and On-Policy Policy Gradient Methods Align?

abstract: Policy gradient methods are widely adopted reinforcement learning algorithms for tasks with continuous action spaces. These methods succeeded in many application domains, however, because of their notorious sample inefficiency their use remains limited to problems where fast and accurate simulations are available. A common way to improve sample efficiency is to modify their objective function to be computable from off-policy samples without importance sampling. A well-established off-policy objective is the excursion objective. This work studies the difference between the excursion objective and the traditional on-policy objective, which we refer to as the on-off gap. We provide the first theoretical analysis showing conditions to reduce the on-off gap while establishing empirical evidence of shortfalls arising when these conditions are not met.


title: Class-incremental Learning for Time Series: Benchmark and Evaluation

abstract: Real-world environments are inherently non-stationary, frequently introducing new classes over time. This is especially common in time series classification, such as the emergence of new disease classification in healthcare or the addition of new activities in human activity recognition. In such cases, a learning system is required to assimilate novel classes effectively while avoiding catastrophic forgetting of the old ones, which gives rise to the Class-incremental Learning (CIL) problem. However, despite the encouraging progress in the image and language domains, CIL for time series data remains relatively understudied. Existing studies suffer from inconsistent experimental designs, necessitating a comprehensive evaluation and benchmarking of methods across a wide range of datasets. To this end, we first present an overview of the Time Series Class-incremental Learning (TSCIL) problem, highlight its unique challenges, and cover the advanced methodologies. Further, based on standardized settings, we develop a unified experimental framework that supports the rapid development of new algorithms, easy integration of new datasets, and standardization of the evaluation process. Using this framework, we conduct a comprehensive evaluation of various generic and time-series-specific CIL methods in both standard and privacy-sensitive scenarios. Our extensive experiments not only provide a standard baseline to support future research but also shed light on the impact of various design factors such as normalization layers or memory budget thresholds. Codes are available at https://github.com/zqiao11/TSCIL.


title: Language Model Adaptation to Specialized Domains through Selective Masking based on Genre and Topical Characteristics

abstract: Recent advances in pre-trained language modeling have facilitated significant progress across various natural language processing (NLP) tasks. Word masking during model training constitutes a pivotal component of language modeling in architectures like BERT. However, the prevalent method of word masking relies on random selection, potentially disregarding domain-specific linguistic attributes. In this article, we introduce an innovative masking approach leveraging genre and topicality information to tailor language models to specialized domains. Our method incorporates a ranking process that prioritizes words based on their significance, subsequently guiding the masking procedure. Experiments conducted using continual pre-training within the legal domain have underscored the efficacy of our approach on the LegalGLUE benchmark in the English language. Pre-trained language models and code are freely available for use.


title: Numerical simulations of Josephson Traveling Wave Parametric Amplifiers (JTWPAs): comparative study of open-source tools

abstract: Josephson Traveling Wave Parametric Amplifiers (JTWPAs) are largely exploited in quantum technologies for their broadband and low noise performance in the microwave regime. When one or more microwave tones are applied at the input, such devices show a complex wave-mixing response due to their intrinsic nonlinear nature. Numerical simulations of the JTWPAs nonlinear behaviour provide useful insights not only for the design of such devices, but also for the interpretation and validation of the experimental results. Here we present and discuss a comparative analysis of different open-source tools which can be used for JTWPAs numerical simulations. We focus on two tools for transient simulations, WRSPICE and PSCAN2, and on one tool for direct simulation of the frequency domain behaviour, JosephsonCircuit.jl. We describe the working principle of these three tools and test them considering as a benchmark a JTWPA based on SNAILs (Superconducting Nonlinear Asymmetric Inductive eLement) with realistic experimental parameters. Our results can serve as a guide for numerical simulations of JTWPAs with open-source tools, highlighting advantages and disadvantages depending on the simulation tasks.


title: Self-AMPLIFY: Improving Small Language Models with Self Post Hoc Explanations

abstract: Incorporating natural language rationales in the prompt and In-Context Learning (ICL) have led to a significant improvement of Large Language Models (LLMs) performance. However, generating high-quality rationales require human-annotation or the use of auxiliary proxy models. In this work, we propose Self-AMPLIFY to automatically generate rationales from post hoc explanation methods applied to Small Language Models (SLMs) to improve their own performance. Self-AMPLIFY is a 3-step method that targets samples, generates rationales and builds a final prompt to leverage ICL. Self-AMPLIFY performance is evaluated on four SLMs and five datasets requiring strong reasoning abilities. Self-AMPLIFY achieves good results against competitors, leading to strong accuracy improvement. Self-AMPLIFY is the first method to apply post hoc explanation methods to autoregressive language models to generate rationales to improve their own performance in a fully automated manner.


title: On Higher Topological T-duality Functors

abstract: We propose a higher version of the Topological T-duality Functor $P$ of Bunke and co-workers \cite{BunkeS1}. We begin with an introduction to T-duality in string theory and Topological T-duality. We then study morphisms in the category of pairs $\C_X$ over $X$ defined in Ref.\ \cite{BunkeS1}. For every $X$ we naturally construct a simplicial complex $G(X)$ from $\C_X$ and study its homotopy properties. We calculate all the homotopy groups of $G(X).$ We show that $P$ is naturally $\pi_0(G(X)) \simeq P_0(X)$ and define $P_i$ as the higher homotopy groups of $G(X).$ We argue that the $P_i$ are invariant under the action of Topological T-duality on $\C_X.$ We argue that $G(X)$ is a way of labelling toroidally compactified vacua in string field theory with $X$ as the space of uncompactified directions. We also argue that $P_0, P_1$ may be described naturally in terms of string field theory. We study some properties of the functors $P_0,P_1.$ We show the connection between these functors and topological T-duality for triples studied in Ref.\ \cite{Pan2}. We also show that this approach to Topological T-duality gives us a natural definition of T-folds \cite{HullT}.


title: Attack Tree Generation via Process Mining

abstract: Attack Trees are a graphical model of security used to study threat scenarios. While visually appealing and supported by solid theories and effective tools, one of their main drawbacks remains the amount of effort required by security experts to design them from scratch. This work aims to remedy this by providing a method for the automatic generation of Attack Trees from attack logs. The main original feature of our approach w.r.t existing ones is the use of Process Mining algorithms to synthesize Attack Trees, which allow users to customize the way a set of logs are summarized as an Attack Tree, for example by discarding statistically irrelevant events. Our approach is supported by a prototype that, apart from the derivation and translation of the model, provides the user with an Attack Tree in the RisQFLan format, a tool used for quantitative risk modeling and analysis with Attack Trees. We illustrate our approach with the case study of attacks on a communication protocol, produced by a state-of-the-art protocol analyzer.


title: Surround-View Fisheye Optics in Computer Vision and Simulation: Survey and Challenges

abstract: In this paper, we provide a survey on automotive surround-view fisheye optics, with an emphasis on the impact of optical artifacts on computer vision tasks in autonomous driving and ADAS. The automotive industry has advanced in applying state-of-the-art computer vision to enhance road safety and provide automated driving functionality. When using camera systems on vehicles, there is a particular need for a wide field of view to capture the entire vehicle's surroundings, in areas such as low-speed maneuvering, automated parking, and cocoon sensing. However, one crucial challenge in surround-view cameras is the strong optical aberrations of the fisheye camera, which is an area that has received little attention in the literature. Additionally, a comprehensive dataset is needed for testing safety-critical scenarios in vehicle automation. The industry has turned to simulation as a cost-effective strategy for creating synthetic datasets with surround-view camera imagery. We examine different simulation methods (such as model-driven and data-driven simulations) and discuss the simulators' ability (or lack thereof) to model real-world optical performance. Overall, this paper highlights the optical aberrations in automotive fisheye datasets, and the limitations of optical reality in simulated fisheye datasets, with a focus on computer vision in surround-view optical systems.


title: Linear bandits with polylogarithmic minimax regret

abstract: We study a noise model for linear stochastic bandits for which the subgaussian noise parameter vanishes linearly as we select actions on the unit sphere closer and closer to the unknown vector. We introduce an algorithm for this problem that exhibits a minimax regret scaling as $\log^3(T)$ in the time horizon $T$, in stark contrast the square root scaling of this regret for typical bandit algorithms. Our strategy, based on weighted least-squares estimation, achieves the eigenvalue relation $\lambda_{\min} ( V_t ) = \Omega (\sqrt{\lambda_{\max}(V_t ) })$ for the design matrix $V_t$ at each time step $t$ through geometrical arguments that are independent of the noise model and might be of independent interest. This allows us to tightly control the expected regret in each time step to be of the order $O(\frac1{t})$, leading to the logarithmic scaling of the cumulative regret.


title: A Lightweight Parallel Framework for Blind Image Quality Assessment

abstract: Existing blind image quality assessment (BIQA) methods focus on designing complicated networks based on convolutional neural networks (CNNs) or transformer. In addition, some BIQA methods enhance the performance of the model in a two-stage training manner. Despite the significant advancements, these methods remarkably raise the parameter count of the model, thus requiring more training time and computational resources. To tackle the above issues, we propose a lightweight parallel framework (LPF) for BIQA. First, we extract the visual features using a pre-trained feature extraction network. Furthermore, we construct a simple yet effective feature embedding network (FEN) to transform the visual features, aiming to generate the latent representations that contain salient distortion information. To improve the robustness of the latent representations, we present two novel self-supervised subtasks, including a sample-level category prediction task and a batch-level quality comparison task. The sample-level category prediction task is presented to help the model with coarse-grained distortion perception. The batch-level quality comparison task is formulated to enhance the training data and thus improve the robustness of the latent representations. Finally, the latent representations are fed into a distortion-aware quality regression network (DaQRN), which simulates the human vision system (HVS) and thus generates accurate quality scores. Experimental results on multiple benchmark datasets demonstrate that the proposed method achieves superior performance over state-of-the-art approaches. Moreover, extensive analyses prove that the proposed method has lower computational complexity and faster convergence speed.


title: Exponentially Improved Dispersive Qubit Readout with Squeezed Light

abstract: It has been a long-standing goal to improve dispersive qubit readout with squeezed light. However, injected external squeezing (IES) {\it cannot} enable a practically interesting increase in the signal-to-noise ratio (SNR), and simultaneously, the increase of the SNR due to the use of intracavity squeezing (ICS) is even {\it negligible}. Here, we {\it counterintuitively} demonstrate that using IES and ICS together can lead to an {\it exponential} improvement of the SNR for any measurement time, corresponding to a measurement error reduced typically by many orders of magnitude. More remarkably, we find that in a short-time measurement, the SNR is even improved exponentially with {\it twice} the squeezing parameter. As a result, we predict a fast and high-fidelity readout. This work offers a promising path toward exploring squeezed light for dispersive qubit readout, with immediate applications in quantum error correction and fault-tolerant quantum computation.


title: Broadband parametric amplification in DARTWARS

abstract: Superconducting parametric amplifiers offer the capability to amplify feeble signals with extremely low levels of added noise, potentially reaching quantum-limited amplification. This characteristic makes them essential components in the realm of high-fidelity quantum computing and serves to propel advancements in the field of quantum sensing. In particular, Traveling-Wave Parametric Amplifiers (TWPAs) may be especially suitable for practical applications due to their multi-Gigahertz amplification bandwidth, a feature lacking in Josephson Parametric Amplifiers (JPAs), despite the latter being a more established technology. This paper presents recent developments of the DARTWARS (Detector Array Readout with Traveling Wave AmplifieRS) project, focusing on the latest prototypes of Kinetic Inductance TWPAs (KITWPAs). The project aims to develop a KITWPA capable of achieving $20\,$ dB of amplification. To enhance the production yield, the first prototypes were fabricated with half the length and expected gain of the final device. In this paper, we present the results of the characterization of one of the half-length prototypes. The measurements revealed an average amplification of approximately $9\,$dB across a $2\,$GHz bandwidth for a KITWPA spanning $17\,$mm in length.


title: Citation Amnesia: NLP and Other Academic Fields Are in a Citation Age Recession

abstract: This study examines the tendency to cite older work across 20 fields of study over 43 years (1980--2023). We put NLP's propensity to cite older work in the context of these 20 other fields to analyze whether NLP shows similar temporal citation patterns to these other fields over time or whether differences can be observed. Our analysis, based on a dataset of approximately 240 million papers, reveals a broader scientific trend: many fields have markedly declined in citing older works (e.g., psychology, computer science). We term this decline a 'citation age recession', analogous to how economists define periods of reduced economic activity. The trend is strongest in NLP and ML research (-12.8% and -5.5% in citation age from previous peaks). Our results suggest that citing more recent works is not directly driven by the growth in publication rates (-3.4% across fields; -5.2% in humanities; -5.5% in formal sciences) -- even when controlling for an increase in the volume of papers. Our findings raise questions about the scientific community's engagement with past literature, particularly for NLP, and the potential consequences of neglecting older but relevant research. The data and a demo showcasing our results are publicly available.


title: Tones and upstream-travelling waves in ideally-expanded round impinging jets

abstract: We study the generation of tones by ideally-expanded round jets impinging on a flat plate. Data from large-eddy simulations performed for different nozzle-to-plate distances is explored, and we consider closure of the aeroacoustic feedback loop responsible for the tones by guided jet modes. Allowable frequency ranges for resonance, underpinned by the existence of modes with upstream-directed group velocities, are computed using two different models: a cylindrical vortex-sheet model; and a locally-parallel stability model which considers a finite-thickness velocity profile. It is shown that inclusion of a finite-thickness velocity profile consistent with the mean flow in the vicinity of the plate improves the agreement between observed tones and model predictions. The frequency of the largest tones found in the data are found to fall within, or very close to, the frequency limits of the finite-thickness model, correcting discrepancies observed with the vortex-sheet model. The same trend is observed in comparisons with experimental and numerical data gathered from the literature. Pressure eigenfunctions of the stability model are in good agreement with upstream-travelling disturbances educed from the data at the tone frequencies. This provides further evidence for the involvement of guided jet modes in the resonance mechanism.


title: Model Tailor: Mitigating Catastrophic Forgetting in Multi-modal Large Language Models

abstract: Catastrophic forgetting emerges as a critical challenge when fine-tuning multi-modal large language models (MLLMs), where improving performance on unseen tasks often leads to a significant performance drop on the original tasks. This paper presents a comprehensive analysis of catastrophic forgetting in MLLMs and introduces a post-training adjustment method called Model Tailor. Our method primarily preserves the pre-trained parameters while replacing a small number ($\leq$ 10\%) of fine-tuned parameters, maintaining $\sim$ 99\% effectiveness on original tasks versus pre-training, and achieving $\sim$ 97\% on new tasks compared to standard fine-tuning. Specifically, we derive a sparse mask to identify the "model patch", based on a fusion strategy that integrates salience and sensitivity analysis. Subsequently, a compensation mechanism is introduced to "decorate the patch", enhancing the model's performance on both target and original tasks. Additionally, our method is adaptable to multi-task scenarios. Through extensive experiments on InstructBLIP and LLaVA-1.5 in both image captioning and visual question answering tasks, our approach demonstrates significant task adaptability while preserving inherent pre-trained capabilities.


title: Reinforcement Learning for Optimal Execution when Liquidity is Time-Varying

abstract: Optimal execution is an important problem faced by any trader. Most solutions are based on the assumption of constant market impact, while liquidity is known to be dynamic. Moreover, models with time-varying liquidity typically assume that it is observable, despite the fact that, in reality, it is latent and hard to measure in real time. In this paper we show that the use of Double Deep Q-learning, a form of Reinforcement Learning based on neural networks, is able to learn optimal trading policies when liquidity is time-varying. Specifically, we consider an Almgren-Chriss framework with temporary and permanent impact parameters following several deterministic and stochastic dynamics. Using extensive numerical experiments, we show that the trained algorithm learns the optimal policy when the analytical solution is available, and overcomes benchmarks and approximated solutions when the solution is not available.


title: Signature of inertia on light dragging in rotating plasmas

abstract: The signature of light dragging in a rotating unmagnetized plasma is studied analytically. In contrast with previous work which focused exclusively on the drag effects arising from rigid rotation, we examine here the supplemental contribution of inertia to the rest-frame dielectric properties of a rotating medium. We reveal, for the first time, that these so far neglected contributions actually play a dominant role on light dragging in rotating unmagnetized plasmas. Besides birefringence and enhanced polarization drag, inertia is notably demonstrated to be the cause of a non-zero drag, pointing to fundamental differences between linear and angular momentum coupling. We finally discuss how, thanks to the more favourable scaling elicited here, it may be possible to observe these effects in recently proposed laser driven rotating plasmas, identifying new promising directions for experimental investigations.


title: From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms

abstract: This ongoing project aims to define and investigate, from the standpoint of category theory, order theory and universal algebra, the notions of higher-order many-sorted rewriting system and of higher-order many-sorted categorial algebra and their relationships, via the higher-order Curry-Howard isomorphisms. The ultimate goal, to be developed in future versions of this work, is to define and investigate the category of towers, whose objects will consist of families, indexed by $\mathbb{N}$, of higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras, including higher-order Curry-Howard type results for the latter, together with an additional structure that intertwines such $\mathbb{N}$-families; and whose morphism from a tower to another will be families, indexed by $\mathbb{N}$, of morphisms between its higher-order many-sorted rewriting systems and of higher-order many-sorted categorial algebras compatible with their structures. All feedback is appreciated.


title: Small Models, Big Insights: Leveraging Slim Proxy Models To Decide When and What to Retrieve for LLMs

abstract: The integration of large language models (LLMs) and search engines represents a significant evolution in knowledge acquisition methodologies. However, determining the knowledge that an LLM already possesses and the knowledge that requires the help of a search engine remains an unresolved issue. Most existing methods solve this problem through the results of preliminary answers or reasoning done by the LLM itself, but this incurs excessively high computational costs. This paper introduces a novel collaborative approach, namely SlimPLM, that detects missing knowledge in LLMs with a slim proxy model, to enhance the LLM's knowledge acquisition process. We employ a proxy model which has far fewer parameters, and take its answers as heuristic answers. Heuristic answers are then utilized to predict the knowledge required to answer the user question, as well as the known and unknown knowledge within the LLM. We only conduct retrieval for the missing knowledge in questions that the LLM does not know. Extensive experimental results on five datasets with two LLMs demonstrate a notable improvement in the end-to-end performance of LLMs in question-answering tasks, achieving or surpassing current state-of-the-art models with lower LLM inference costs.


title: The interplay between forming planets and photoevaporating discs II: Wind-driven gas redistribution

abstract: Disc winds and planet-disc interactions are two crucial mechanisms that define the structure, evolution and dispersal of protoplanetary discs. While winds are capable of removing material from discs, eventually leading to their dispersal, massive planets can shape their disc by creating sub-structures such as gaps and spiral arms. We study the interplay between an X-ray photoevaporative disc wind and the substructures generated due to planet-disc interactions to determine how their mutual interactions affect the disc's and the planet's evolution. We perform three-dimensional hydrodynamic simulations of viscous ($\alpha = 6.9\cdot10^{-4}$) discs that host a Jupiter-like planet and undergo X-ray photoevaporation. We trace the gas flows within the disc and wind and measure the accretion rate onto the planet, as well as the gravitational torque that is acting on it. Our results show that the planetary gap takes away the wind's pressure support, allowing wind material to fall back into the gap. This opens new pathways for material from the inner disc (and part of the outer disc) to be redistributed through the wind towards the gap. Consequently, the gap becomes shallower, and the flow of mass across the gap in both directions is significantly increased, as well as the planet's mass-accretion rate (by factors $\approx 5$ and $\approx 2$, respectively). Moreover, the wind-driven redistribution results in a denser inner disc and less dense outer disc, which, combined with the recycling of a significant portion of the inner wind, leads to longer lifetimes of the inner disc, contrary to the expectation in a planet-induced photoevaporation (PIPE) scenario that has been proposed in the past.


title: The transient event in NGC 1566 from 2017 to 2019 I. An eccentric accretion disk and a turbulent, disk-dominated broad-line region unveiled by double-peaked Ca II and O I lines

abstract: NGC 1566 is known for exhibiting recurrent outbursts, which are accompanied by changes in spectral type. The most recent transient event occurred from 2017 to 2019 and was reported to be accompanied by a change in Seyfert classification from Seyfert 1.8 to Seyfert 1.2. We analyze data from an optical spectroscopic variability campaign of NGC 1566 taken with the 9.2m SALT between July 2018 and October 2019 and supplement our data set with optical to near-infrared spectroscopic archival data taken by VLT/MUSE in September 2015 and October 2017. We observe the emergence and fading of a strong power-law-like blue continuum as well as strong variations in the Balmer, HeI, HeII lines and the coronal lines [FeVII], [FeX] and [FeXI]. Moreover, we detect broad double-peaked emission line profiles of OI 8446 and the CaII 8498,8542,8662 triplet. This is the first time that genuine double-peaked OI 8446 and CaII 8498,8542,8662 emission in AGN is reported in the literature. All broad lines show a clear redward asymmetry with respect to their central wavelength and we find indications for a significant blueward drift of the total line profiles during the transient event. We show that the double-peaked emission line profiles are well approximated by emission from a low-inclination, relativistic eccentric accretion disk, and that single-peaked profiles can be obtained by broadening due to scale-height dependent turbulence. Small-scale features in the OI and CaII lines suggest the presence of inhomogeneities in the broad-line region. We conclude that the broad-line region in NGC 1566 is dominated by the kinematics of a relativistic eccentric accretion disk. The broad-line region can be modeled to be vertically stratified with respect to scale-height turbulence. The observed blueward drift might be attributed to a low-optical-depth wind launched during the transient event.


title: Are LLM-based Evaluators Confusing NLG Quality Criteria?

abstract: Some prior work has shown that LLMs perform well in NLG evaluation for different tasks. However, we discover that LLMs seem to confuse different evaluation criteria, which reduces their reliability. For further verification, we first consider avoiding issues of inconsistent conceptualization and vague expression in existing NLG quality criteria themselves. So we summarize a clear hierarchical classification system for 11 common aspects with corresponding different criteria from previous studies involved. Inspired by behavioral testing, we elaborately design 18 types of aspect-targeted perturbation attacks for fine-grained analysis of the evaluation behaviors of different LLMs. We also conduct human annotations beyond the guidance of the classification system to validate the impact of the perturbations. Our experimental results reveal confusion issues inherent in LLMs, as well as other noteworthy phenomena, and necessitate further research and improvements for LLM-based evaluation.


title: Malliavin Calculus for rough stochastic differential equations

abstract: In this work we show that rough stochastic differential equations (RSDEs), as introduced by Friz, Hocquet, and L\^e (2021), are Malliavin differentiable. We use this to prove existence of a density when the diffusion coefficients satisfies standard ellipticity assumptions. Moreover, when the coefficients are smooth and the diffusion coefficients satisfies a H\"ormander condition, the density is shown to be smooth. The key ingredient is to develop a comprehensive theory of linear rough stochastic differential equations, which could be of independent interest.


title: A Multilayer Eigen-Sensitivity Method Using Loop Gain Model for Oscillation Diagnosis of Converter-Based System

abstract: Loop gain-based eigen-sensitivity (LGES) is a useful frequency-domain tool for oscillation diagnosis of converter-based system. However, the existing theory is still scant in two aspects: participation factor (PF) is bound up with the frequency-domain modal characteristic that does not necessarily point to the stability as that of the time-domain eigen-sensitivity (i.e., PF of oscillation mode); a systematic LGES analysis framework containing both component- and parameter- level sensitivity is missing. These two factors hinder the application of LGES method on the proper evaluation of stability effects, which are closely related with the time-domain oscillation mode. To address these issues, this paper proposes a multilayer LGES method directed to the oscillation mode, and a full set of indices like PF, component and parameter sensitivity are established. The link from the eigen-sensitivity of frequency domain to that of time domain is revealed, through which it is shown how the proposed LGES method can facilitate the control parameter tuning-guided oscillation suppression. The effectiveness of the proposed LGES method is validated via case studies conducted on a generic AC/DC converter-based system.


title: Scaffolding Coordinates to Promote Vision-Language Coordination in Large Multi-Modal Models

abstract: State-of-the-art Large Multi-Modal Models (LMMs) have demonstrated exceptional capabilities in vision-language tasks. Despite their advanced functionalities, the performances of LMMs are still limited in challenging scenarios that require complex reasoning with multiple levels of visual information. Existing prompting techniques for LMMs focus on either improving textual reasoning or leveraging tools for image preprocessing, lacking a simple and general visual prompting scheme to promote vision-language coordination in LMMs. In this work, we propose Scaffold prompting that scaffolds coordinates to promote vision-language coordination. Specifically, Scaffold overlays a dot matrix within the image as visual information anchors and leverages multi-dimensional coordinates as textual positional references. Extensive experiments on a wide range of challenging vision-language tasks demonstrate the superiority of Scaffold over GPT-4V with the textual CoT prompting. Our code is released in https://github.com/leixy20/Scaffold.


title: Flipped structured matrix-sequences in image deblurring with general boundary conditions

abstract: Motivated by a recent work on a preconditioned MINRES for flipped linear systems in imaging, in this note we extend the scope of that research for including more precise boundary conditions such as reflective and anti-reflective ones. We prove spectral results for the matrix-sequences associated to the original problem, which justify the use of the MINRES in the current setting. The theoretical spectral analysis is supported by a wide variety of numerical experiments, concerning the visualization of the spectra of the original matrices in various ways. We also report numerical tests regarding the convergence speed and regularization features of the associated GMRES and MINRES methods. Conclusions and open problems end the present study.


title: Design and evaluation of a multi-finger skin-stretch tactile interface for hand rehabilitation robots

abstract: Object properties perceived through the tactile sense, such as weight, friction, and slip, greatly influence motor control during manipulation tasks. However, the provision of tactile information during robotic training in neurorehabilitation has not been well explored. Therefore, we designed and evaluated a tactile interface based on a two-degrees-of-freedom moving platform mounted on a hand rehabilitation robot that provides skin stretch at four fingertips, from the index through the little finger. To accurately control the rendered forces, we included a custom magnetic-based force sensor to control the tactile interface in a closed loop. The technical evaluation showed that our custom force sensor achieved measurable shear forces of +-8N with accuracies of 95.2-98.4% influenced by hysteresis, viscoelastic creep, and torsional deformation. The tactile interface accurately rendered forces with a step response steady-state accuracy of 97.5-99.4% and a frequency response in the range of most activities of daily living. Our sensor showed the highest measurement-range-to-size ratio and comparable accuracy to sensors of its kind. These characteristics enabled the closed-loop force control of the tactile interface for precise rendering of multi-finger two-dimensional skin stretch. The proposed system is a first step towards more realistic and rich haptic feedback during robotic sensorimotor rehabilitation, potentially improving therapy outcomes.


title: All Language Models Large and Small

abstract: Many leading language models (LMs) use high-intensity computational resources both during training and execution. This poses the challenge of lowering resource costs for deployment and faster execution of decision-making tasks among others. We introduce a novel plug-and-play LM framework named Language Optimising Network Distribution (LONDI) framework. LONDI learns to selectively employ large LMs only where complex decision-making and reasoning are required while using low-resource LMs (i.e. LMs require less GPU usage, but may not be able to solve the problem alone) everywhere else. LONDI consists of a system of two (off-)policy networks, an LM, a large LM (LLM), and a reinforcement learning module that uses switching controls to quickly learn which system states to call the LLM. We then introduce a variant of LONDI that maintains budget constraints on LLM calls and hence its resource usage. Theoretically, we prove LONDI learns the subset of system states to activate the LLM required to solve the task. We then prove that LONDI converges to optimal solutions while also preserving budgetary constraints on LLM calls almost surely enabling it to solve various tasks while significantly lowering computational costs. We test LONDI's performance in a range of tasks in ScienceWorld and BabyAI-Text and demonstrate that LONDI can solve tasks only solvable by resource-intensive LLMs while reducing GPU usage by up to 30%.


title: Causal Equal Protection as Algorithmic Fairness

abstract: Over the last ten years the literature in computer science and philosophy has formulated different criteria of algorithmic fairness. One of the most discussed, classification parity, requires that the erroneous classifications of a predictive algorithm occur with equal frequency for groups picked out by protected characteristics. Despite its intuitive appeal, classification parity has come under attack. Multiple scenarios can be imagined in which - intuitively - a predictive algorithm does not treat any individual unfairly, and yet classification parity is violated. To make progress, we turn to a related principle, equal protection, originally developed in the context of criminal justice. Key to equal protection is equalizing the risks of erroneous classifications (in a sense to be specified) as opposed to equalizing the rates of erroneous classifications. We show that equal protection avoids many of the counterexamples to classification parity, but also fails to model our moral intuitions in a number of common scenarios, for example, when the predictor is causally downstream relative to the protected characteristic. To address these difficulties, we defend a novel principle, causal equal protection, that models the fair allocation of the risks of erroneous classification through the lenses of causality.


title: To test $R_{NLRs}~-~L_{O3}$ relation for narrow emission line regions of AGN through low redshift Type-2 AGN in SDSS

abstract: Sizes of narrow emission line regions (NLRs) of AGN could be estimated by [O~{\sc iii}] line luminosity $L_{O3}$ through the known $R_{NLRs}-L_{O3}$ empirical relations. Unfortunately, it is not convenient to test the $R_{NLRs}-L_{O3}$ empirical relations through structure properties of spatially resolved NLRs of large samples of AGN. In this manuscript, a method is proposed to test the $R_{NLRs}-L_{O3}^{\sim0.25}$ empirical relations for AGN NLRs through SDSS Type-2 AGN having few orientation effects on NLRs sizes expected by AGN unified model, after considering sizes $R_{fib}$ of SDSS fiber covered regions. Comparing $R_{fib}$ and $R_{NLRs}$ estimated by $L_{O3}$, Type-2 AGN with $R_{fib}>R_{NLRs}$ (Sample-II) and with $R_{fib}<R_{NLRs}$ (Sample-I) should have different physical properties of NLRs. Accepted electron density gradients in AGN NLRs, statistically higher electron densities (traced by lower flux ratio $R_{S2}$ of [S~{\sc ii}]$\lambda6717$\AA~ to [S~{\sc ii}]$\lambda6731$\AA) could be expected for the Type-2 AGN in the Sample-I. Then, through the collected 1062 SDSS Type-2 AGN in the Sample-I and 3658 SDSS Type-2 AGN in the Sample-II, statistically lower $R_{S2}$ for the Type-2 AGN in the Sample-I can be confirmed with confidence level higher than 5$\sigma$, even after considering necessary effects. Therefore, the results in this manuscript can provide strong clues to support that the reported $R_{NLRs}~\propto~L_{O3}^{0.25}$ empirical relation is preferred to estimate NLRs sizes of SDSS AGN through SDSS fiber spectroscopic results, and also to support the commonly expected electron density gradients in AGN NLRs.


title: Multiplicity-free representations of the principal A1-subgroup in a simple algebraic group

abstract: Let G be a simple algebraic group defined over an algebraically closed field k of characteristic p>0. Here we classify all irreducible kG-modules for which the principal A1 has no repeated composition factors, extending the work of Liebeck-Seitz-Testerman which treated the same question when k is replaced by an algebraically closed field of characteristic zero.


title: WKVQuant: Quantizing Weight and Key/Value Cache for Large Language Models Gains More

abstract: Large Language Models (LLMs) face significant deployment challenges due to their substantial memory requirements and the computational demands of auto-regressive text generation process. This paper addresses these challenges by focusing on the quantization of LLMs, a technique that reduces memory consumption by converting model parameters and activations into low-bit integers. We critically analyze the existing quantization approaches, identifying their limitations in balancing the accuracy and efficiency of the quantized LLMs. To advance beyond these limitations, we propose WKVQuant, a PTQ framework especially designed for quantizing weights and the key/value (KV) cache of LLMs. Specifically, we incorporates past-only quantization to improve the computation of attention. Additionally, we introduce two-dimensional quantization strategy to handle the distribution of KV cache, along with a cross-block reconstruction regularization for parameter optimization. Experiments show that WKVQuant achieves almost comparable memory savings to weight-activation quantization, while also approaching the performance of weight-only quantization.


title: Max-Min Fairness for Uplink Rate-Splitting Multiple Access with Finite Blocklength

abstract: In this letter, we investigate the performance of Max Minimum Fairness (MMF) for uplink Rate-Splitting Multiple Access (RSMA) in short-packet communications. Specifically, considering a Single-Input Single-Output (SISO) Multiple Access Channel (MAC), we optimize the transmit power allocation between the splitting user messages to maximize the minimum rate among users with Finite Blocklength (FBL) constraints. To tackle this problem, we propose a Successive Convex Approximation (SCA)-based approach. Additionally, we introduce a low-complexity scheme to design the decoding order at the receiver. Numerical results show that RSMA outperforms conventional transmission schemes such as Non-orthogonal Multiple Access (NOMA) in terms of MMF.


title: Interpretable Brain-Inspired Representations Improve RL Performance on Visual Navigation Tasks

abstract: Visual navigation requires a whole range of capabilities. A crucial one of these is the ability of an agent to determine its own location and heading in an environment. Prior works commonly assume this information as given, or use methods which lack a suitable inductive bias and accumulate error over time. In this work, we show how the method of slow feature analysis (SFA), inspired by neuroscience research, overcomes both limitations by generating interpretable representations of visual data that encode location and heading of an agent. We employ SFA in a modern reinforcement learning context, analyse and compare representations and illustrate where hierarchical SFA can outperform other feature extractors on navigation tasks.


title: On the Computation of Equilibria in Discrete First-Price Auctions

abstract: We study the computational complexity of computing Bayes-Nash equilibria in first-price auctions with discrete value distributions and discrete bidding space, under general subjective beliefs. It is known that such auctions do not always have pure equilibria. In this paper we prove that the problem of deciding their existence is NP-complete, even for approximate equilibria. On the other hand, it can be shown that mixed equilibria are guaranteed to exist; however, their computational complexity has not been studied before. We establish the PPAD-completeness of computing a mixed equilibrium and we complement this by an efficient algorithm for finding symmetric approximate equilibria in the special case of iid priors. En route to these results, we develop a computational equivalence framework between continuous and discrete first-price auctions, which can be of independent interest, and which allows us to transfer existing positive and negative results from one setting to the other. Finally, we show that correlated equilibria of the auction can be computed in polynomial time.


title: Inexact Restoration via random models for unconstrained noisy optimization

abstract: We study the Inexact Restoration framework with random models for minimizing functions whose evaluation is subject to errors. We propose a constrained formulation that includes well-known stochastic problems and an algorithm applicable when the evaluation of both the function and its gradient is random and a specified accuracy of such evaluations is guaranteed with sufficiently high probability. The proposed algorithm combines the Inexact Restoration framework with a trust-region methodology based on random first-order models. We analyse the properties of the algorithm and provide the expected number of iterations performed to reach an approximate first-order optimality point. Numerical experiments show that the proposed algorithm compares well with a state-of-the-art competitor.


title: M-ideals of compact operators and Norm attaining operators

abstract: We investigate M-ideals of compact operators and two distinct properties in norm-attaining operator theory related with M-ideals of compact operators called the weak maximizing property and the compact perturbation property. For Banach spaces $X$ and $Y$, it is previously known that if $\mathcal{K}(X,Y)$ is an M-ideal or $(X,Y)$ has the weak maximizing property, then $(X,Y)$ has the adjoint compact perturbation property. We see that their converses are not true, and the condition that $\mathcal{K}(X,Y)$ is an M-ideal does not imply the weak maximizing property, nor vice versa. Nevertheless, we see that all of these are closely related to property $(M)$, and as a consequence, we show that if $\mathcal{K}(\ell_p,Y)$ $(1<p<\infty)$ is an M-ideal, then $(\ell_p,Y)$ has the weak maximizing property. We also prove that $(\ell_1,\ell_1)$ does not have the adjoint compact perturbation property, and neither does $(\ell_1,Y)$ for an infinite dimensional Banach space $Y$ without an isomorphic copy of $\ell_1$ if $Y$ does not have the local diameter 2 property. As a consequence, we show that if $Y$ is an infinite dimensional Banach space such that $\mathcal{L}(\ell_1,Y)$ is an M-ideal, then it has the local diameter 2 property. Furthermore, we also studied various geometric properties of Banach spaces such as the Opial property with moduli of asymptotic uniform smoothness and uniform convexity.


title: EmoBench: Evaluating the Emotional Intelligence of Large Language Models

abstract: Recent advances in Large Language Models (LLMs) have highlighted the need for robust, comprehensive, and challenging benchmarks. Yet, research on evaluating their Emotional Intelligence (EI) is considerably limited. Existing benchmarks have two major shortcomings: first, they mainly focus on emotion recognition, neglecting essential EI capabilities such as emotion regulation and thought facilitation through emotion understanding; second, they are primarily constructed from existing datasets, which include frequent patterns, explicit information, and annotation errors, leading to unreliable evaluation. We propose EmoBench, a benchmark that draws upon established psychological theories and proposes a comprehensive definition for machine EI, including Emotional Understanding and Emotional Application. EmoBench includes a set of 400 hand-crafted questions in English and Chinese, which are meticulously designed to require thorough reasoning and understanding. Our findings reveal a considerable gap between the EI of existing LLMs and the average human, highlighting a promising direction for future research. Our code and data are publicly available at https://github.com/Sahandfer/EmoBench.


title: Robustness and Exploration of Variational and Machine Learning Approaches to Inverse Problems: An Overview

abstract: This paper attempts to provide an overview of current approaches for solving inverse problems in imaging using variational methods and machine learning. A special focus lies on point estimators and their robustness against adversarial perturbations. In this context results of numerical experiments for a one-dimensional toy problem are provided, showing the robustness of different approaches and empirically verifying theoretical guarantees. Another focus of this review is the exploration of the subspace of data consistent solutions through explicit guidance to satisfy specific semantic or textural properties.


title: Transasymptotic expansions of o-minimal germs

abstract: Given an o-minimal expansion $\mathbb{R}_{\mathcal{A}}$ of the real ordered field, generated by a generalized quasianalytic class $\mathcal{A}$, we construct an explicit truncation closed ordered differential field embedding of the Hardy field of the expansion $\mathbb{R}_{\mathcal{A},\exp}$ of $\mathbb{R}_{\mathcal{A}}$ by the unrestricted exponential function, into the field $\mathbb{T}$ of transseries. We use this to prove some non-definability results. In particular, we show that the restriction to the positive half-line of Euler's Gamma function is not definable in the structure $\mathbb{R}_{\text{an}^{*},\exp}$, generated by all convergent generalized power series and the exponential function, thus establishing the non-interdefinability of the restrictions to a neighbourhood of $+\infty$ of Euler's Gamma and of the Riemann Zeta function.


title: HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph

abstract: In recent years, temporal knowledge graph (TKG) reasoning has received significant attention. Most existing methods assume that all timestamps and corresponding graphs are available during training, which makes it difficult to predict future events. To address this issue, recent works learn to infer future events based on historical information. However, these methods do not comprehensively consider the latent patterns behind temporal changes, to pass historical information selectively, update representations appropriately and predict events accurately. In this paper, we propose the Historical Information Passing (HIP) network to predict future events. HIP network passes information from temporal, structural and repetitive perspectives, which are used to model the temporal evolution of events, the interactions of events at the same time step, and the known events respectively. In particular, our method considers the updating of relation representations and adopts three scoring functions corresponding to the above dimensions. Experimental results on five benchmark datasets show the superiority of HIP network, and the significant improvements on Hits@1 prove that our method can more accurately predict what is going to happen.


title: Order Estimation of Linear-Phase FIR Filters for DAC Equalization in Multiple Nyquist Bands

abstract: This letter considers the design of linear-phase finite-length impulse response (FIR) filters for equalization of the frequency responses of digital-to-analog converters (DACs). The letter derives estimates for the filter orders required, as functions of the bandwidth and equalization accuracy, for four DAC pulses that are used in DACs in multiple Nyquist bands. The estimates are derived through a large set of minimax-optimal equalizers and the use of symbolic regression followed by minimax-optimal curve fitting for further enhancement. Design examples included demonstrate the accuracy of the proposed estimates. In addition, the letter discusses the appropriateness of the four types of linear-phase FIR filters, for the different equalizer cases, as well as the corresponding properties of the equalized systems.


title: Periodic Implicit Representation, Design and Optimization of Porous Structures Using Periodic B-splines

abstract: Porous structures are intricate solid materials with numerous small pores, extensively used in fields like medicine, chemical engineering, and aerospace. However, the design of such structures using computer-aided tools is a time-consuming and tedious process.In this study, we propose a novel representation method and design approach for porous units that can be infinitely spliced to form a porous structure. We use periodic B-spline functions to represent periodic or symmetric porous units. Starting from a voxel representation of a porous sample, the discrete distance field is computed. To fit the discrete distance field with a periodic B-spline, we introduce the constrained least squares progressive-iterative approximation algorithm, which results in an implicit porous unit. This unit can be subject to optimization to enhance connectivity and utilized for topology optimization, thereby improving the model's stiffness while maintaining periodicity or symmetry. The experimental results demonstrate the potential of the designed complex porous units in enhancing the mechanical performance of the model. Consequently, this study has the potential to incorporate remarkable structures derived from artificial design or nature into the design of high-performing models, showing the promise for biomimetic applications.


title: Single and Multi-Objective Real-Time Optimisation of an Industrial Injection Moulding Process via a Bayesian Adaptive Design of Experiment Approach

abstract: Minimising cycle time without inducing quality defects is a major challenge in the injection moulding (IM). Design of Experiment methods (DoE) have been widely studied for optimisation of the IM, however existing methods have limitations, including the need for a large number of experiments and a pre-determined search space. Bayesian adaptive design of experiment (ADoE) is an iterative process where the results of the previous experiments are used to make an informed selection for the next design. In this study, for the first time, an experimental ADoE approach, based on Bayesian optimisation, was developed in injection moulding using process and sensor data to optimise the quality and cycle time in real-time. A novel approach for the real-time characterisation of post-production shrinkage was introduced, utilising in-mould sensor data on temperature differential during part cooling. This characterisation approach was verified by post-production metrology results. A single and multi-objective optimisation of the cycle time and temperature differential in an injection moulded component is proposed. The multi-objective optimisation techniques, composite desirability function and Nondominated Sorting Genetic Algorithm (NSGA-II) using Response Surface Methodology (RSM) model, are compared with the real-time novel ADoE approach. ADoE achieved almost a 50% reduction in the number of experiments required for the single optimisation of temperature differential, and an almost 30% decrease for the optimisation of temperature differential and cycle time together compared to composite desirability function and NSGA-II. Also, the optimal settings identified by ADoE for multiobjective optimisation were similar to the selected Pareto optimal solution found by the NSGA-II.


title: Mirroring Call-by-Need, or Values Acting Silly

abstract: Call-by-need evaluation for the lambda-calculus can be seen as merging the best of call-by-name and call-by-value, namely the wise erasing behaviour of the former and the wise duplicating behaviour of the latter. To better understand how duplication and erasure can be combined, we design a degenerated calculus, dubbed call-by-silly, that is symmetric to call-by-need in that it merges the worst of call-by-name and call-by-value, namely silly duplications by-name and silly erasures by-value. We validate the design of the call-by-silly calculus via rewriting properties and multi types. In particular, we mirror the main theorem about call-by-need -- that is, its operational equivalence with call-by-name -- showing that call-by-silly and call-by-value induce the same contextual equivalence. This fact shows the blindness with respect to efficiency of call-by-value contextual equivalence. We also define a call-by-silly strategy and measure its length via tight multi types. Lastly, we prove that the call-by-silly strategy computes evaluation sequences of maximal length in the calculus.


title: LVCHAT: Facilitating Long Video Comprehension

abstract: Enabling large language models (LLMs) to read videos is vital for multimodal LLMs. Existing works show promise on short videos whereas long video (longer than e.g.~1 minute) comprehension remains challenging. The major problem lies in the over-compression of videos, i.e., the encoded video representations are not enough to represent the whole video. To address this issue, we propose Long Video Chat (LVChat), where Frame-Scalable Encoding (FSE) is introduced to dynamically adjust the number of embeddings in alignment with the duration of the video to ensure long videos are not overly compressed into a few embeddings. To deal with long videos whose length is beyond videos seen during training, we propose Interleaved Frame Encoding (IFE), repeating positional embedding and interleaving multiple groups of videos to enable long video input, avoiding performance degradation due to overly long videos. Experimental results show that LVChat significantly outperforms existing methods by up to 27\% in accuracy on long-video QA datasets and long-video captioning benchmarks. Our code is published at https://github.com/wangyu-ustc/LVChat.


title: Can LLMs Compute with Reasons?

abstract: Large language models (LLMs) often struggle with complex mathematical tasks, prone to "hallucinating" incorrect answers due to their reliance on statistical patterns. This limitation is further amplified in average Small LangSLMs with limited context and training data. To address this challenge, we propose an "Inductive Learning" approach utilizing a distributed network of SLMs. This network leverages error-based learning and hint incorporation to refine the reasoning capabilities of SLMs. Our goal is to provide a framework that empowers SLMs to approach the level of logic-based applications achieved by high-parameter models, potentially benefiting any language model. Ultimately, this novel concept paves the way for bridging the logical gap between humans and LLMs across various fields.


title: Spectroscopy of a Sample of Unidentified Gamma-ray Fermi Sources

abstract: The fourth-DR3 version (4FGL-DR3) of the Fermi/LAT catalogue of $\gamma$-ray sources contains $\sim$ 1000 objects at a galactic latitude |b| > 10$^{\circ}$ which are not identified with an optical counterpart (UGS). We performed a systematic study of these sources, focusing on 190 objects that have a unique X-ray counterpart in the available Swift/XRT observations. Optical counterparts are then selected, and for 33 sources optical spectra were found in the literature. We found that 21 can be classified as BL Lac objects. Among these we were able to provide the redshift for 8 of them while for 2 others we established a lower limit to the redshift by detecting intervening absorption. The other 12 objects display optical spectra with prominent emission lines (0.036<z<1.65). These spectra are characterized by both broad and narrow emission lines with the exception of 3 sources. One of them displays only broad emission lines, while the other two exclusively exhibit narrow lines. On the basis of the radio/optical flux ratio, all BL Lac objects in this study are radio loud. Four sources out of the 12 with prominent emission lines can be classified as radio loud, while at least 5 of the 12 sources with prominent lines are radio quiet. This is somewhat unexpected comparing with the radio-loudness distribution of the 4FGL-associated blazars.


title: X-ray multibeam ptychography at up to 20 keV: nano-lithography enhances X-ray nano-imaging

abstract: Non-destructive nano-imaging of the internal structure of solid matter is only feasible using hard X-rays due to their high penetration. The highest resolution images are achieved at synchrotron radiation sources (SRF), offering superior spectral brightness and enabling methods such as X-ray ptychography delivering single-digit nm resolution. However the resolution or field of view is ultimately constrained by the available coherent flux. To address this, the beam's incoherent fraction can be exploited using multiple parallel beams in an approach known as X-ray multibeam ptychography (MBP). This expands the domain of X-ray ptychography to larger samples or more rapid measurements. Both qualities favor the study of complex composite or functional samples, such as catalysts, energy materials, or electronic devices. The challenges of performing ptychography at high energy and with many parallel beams must be overcome to extract the full advantages for extended samples while minimizing beam attenuation. Here, we report the application of MBP with up to 12 beams and at photon energies of 13 and 20 keV. We demonstrate performance for various samples: a Siemens star test pattern, a porous Ni/\ce{Al2O3} catalyst, a microchip, and gold nano-crystal clusters, exceeding the measurement limits of conventional hard X-ray ptychography without compromising image quality.


title: TrialEmulation: An R Package to Emulate Target Trials for Causal Analysis of Observational Time-to-event Data

abstract: Randomised controlled trials (RCTs) are regarded as the gold standard for estimating causal treatment effects on health outcomes. However, RCTs are not always feasible, because of time, budget or ethical constraints. Observational data such as those from electronic health records (EHRs) offer an alternative way to estimate the causal effects of treatments. Recently, the `target trial emulation' framework was proposed by Hernan and Robins (2016) to provide a formal structure for estimating causal treatment effects from observational data. To promote more widespread implementation of target trial emulation in practice, we develop the R package TrialEmulation to emulate a sequence of target trials using observational time-to-event data, where individuals who start to receive treatment and those who have not been on the treatment at the baseline of the emulated trials are compared in terms of their risks of an outcome event. Specifically, TrialEmulation provides (1) data preparation for emulating a sequence of target trials, (2) calculation of the inverse probability of treatment and censoring weights to handle treatment switching and dependent censoring, (3) fitting of marginal structural models for the time-to-event outcome given baseline covariates, (4) estimation and inference of marginal intention to treat and per-protocol effects of the treatment in terms of marginal risk differences between treated and untreated for a user-specified target trial population. In particular, TrialEmulation can accommodate large data sets (e.g., from EHRs) within memory constraints of R by processing data in chunks and applying case-control sampling. We demonstrate the functionality of TrialEmulation using a simulated data set that mimics typical observational time-to-event data in practice.


title: Simultaneous multi-wavelength observations of the repeating fast radio burst FRB 20190520B with Swift and FAST

abstract: Fast radio bursts (FRBs) are bright, millisecond-duration radio bursts of cosmic origin. There have been several dozen FRBs found to repeat. Among them, those precisely localized provide the best opportunity to probe their multi-wavelength counterparts, local environment, and host galaxy that would reveal their origins. Here we report our X-ray, ultraviolet (UV) and optical observations with the $Swift$ satellite that were performed simultaneously in the radio band with the Five-hundred-meter Aperture Spherical radio Telescope (FAST) observations of the repeating FRB 20190520B, aiming at detection of possible multi-wavelength bursts in association with radio bursts and multi-wavelength counterpart of the persistent radio source (PRS). While a total of 10 radio bursts were detected by FAST at the same time of $Swift$ observations, we detected neither X-ray, UV or optical bursts in accompany of the radio bursts, nor persistent multi-wavelength counterpart of the PRS. We obtained the energy upper limits ($3\sigma$) on any multi-wavelength bursts as $5.03 \times 10^{47}$ erg in the hard X-ray band (15-150 keV), $7.98 \times 10^{45}$ erg in the soft X-ray band (0.3-10 keV), and $4.51 \times 10^{44}$ erg in the U band, respectively. The energy ratio between soft X-ray (0.3-10 keV) and radio emission of the bursts is constrained as $<6\times10^{7}$, and the ratio between optical (U band) and radio as $<1.19\times10^{6}$. The 3$\sigma$ luminosity upper limits at the position of PRS are 1.04$\times10^{47}$ (15-150 keV), 8.81$\times10^{42}$ (0.3-10 keV), 9.26$\times10^{42}$ (UVW1), and 2.54$\times10^{42}$ erg s$^{-1}$ (U), respectively. We show that the PRS is much more radio loud than representative pulsar wind nebulae, supernova remnants, extended jet of Galactic X-ray binaries and ultraluminous X-ray sources, suggestive of boosted radio emission of the PRS.


title: Principle of multi-critical-points in the ALP-Higgs model and the corresponding phase transition

abstract: The principle of multi-critical-points (PMCP) may be a convincing approach to determine the emerging parameter values in different kinds of beyond-standard-model (BSM) models. This could certainly be applied to solve the problem of undetermined new parameters in the ALP-Higgs interaction models. In this paper, we apply this principle to such model and investigate whether there are suitable solutions. Then, using the 1-loop effective potential, we study the phase transition property of this model under the PMCP requirement. It is gratifying to find that under the requirement of PMCP, the phase transition can be not only first-order, but also strong enough to serve as a solution for electroweak baryongenesis (EWBG). Finally, we show the parameter space of ALP and provide the parameter range that leads to the first-order phase transition.


title: Navigating simplicity and complexity of social-ecological systems through a dialog between dynamical systems and agent-based models

abstract: Social-ecological systems research aims to understand the nature of social-ecological phenomena, to find ways to foster or manage conditions under which desired phenomena occur or to reduce the negative consequences of undesirable phenomena. Such challenges are often addressed using dynamical systems models (DSM) or agent-based models (ABM). Here we develop an iterative procedure for combining DSM and ABM to leverage their strengths and gain insights that surpass insights obtained by each approach separately. The procedure uses results of an ABM as inputs for a DSM development. In the following steps, results of the DSM analyses guide future analysis of the ABM and vice versa. This dialogue, more than having a tight connection between the models, enables pushing the research frontier, expanding the set of research questions and insights. We illustrate our method with the example of poverty traps and innovation in agricultural systems, but our conclusions are general and can be applied to other DSM-ABM combinations.


title: One-loop elastic amplitudes from tree-level elasticity in 2d

abstract: In this paper we extend the study initiated in arXiv:2302.04709v2 [hep-th] to the computation of one-loop elastic amplitudes. We consider 1+1 dimensional massive bosonic Lagrangians with polynomial-like potentials and absence of inelastic processes at the tree level; starting from these assumptions we show how to write sums of one-loop diagrams as products and integrals of tree-level amplitudes. We derive in this way a universal formula for the one-loop two-to-two S-matrices in terms of tree S-matrices. We test our results on different integrable theories, such as sinh-Gordon, Bullough Dodd and the full class of simply-laced affine Toda theories, finding perfect agreement with the bootstrapped S-matrices known in the literature. We show how Landau singularities in amplitudes are naturally captured by our universal formula while they are lost in results based on unitarity-cut methods implemented in the past arXiv:1304.1798v3 [hep-th], arXiv:1405.7947v2 [hep-th].


title: Uniqueness, stability and algorithm for an inverse wave-number-dependent source problems

abstract: This paper is concerned with an inverse wavenumber/frequency-dependent source problem for the Helmholtz equation. In two and three dimensions, the unknown source term is supposed to be compactly supported in spatial variables but independent on one spatial variable. The dependence of the source function on wavenumber/frequency is supposed to be unknown. Based on the Dirichlet-Laplacian and Fourier-Transform methods, we develop two effcient non-iterative numerical algorithms to recover the wavenumber-dependent source. Uniqueness proof and increasing stability analysis are carried out in terms of the boundary measurement data of Dirichlet kind. Numerical experiments are conducted to illustrate the effectiveness and efficiency of the proposed methods.


title: Strengths and Weaknesses of the ETSI Adaptive DCC Algorithm: A Proposal for Improvement

abstract: This letter studies the adaptive Decentralized Congestion Control (DCC) algorithm defined in the ETSI TS 102 687 V1.2.1 specification. We provide insights on the parameters used in the algorithm and explore the impact of those parameters on its performance. We show how the algorithm achieves good average medium utilization while protecting against congestion, but we also show how the chosen parameters can result in slow speed of convergence and long periods of unfairness in transitory situations. Finally, we propose a modification to the algorithm which results in significant improvements in speed of convergence and fairness.


title: Characterization of optimization problems that are solvable iteratively with linear convergence

abstract: In this work, we state a general conjecture on the solvability of optimization problems via algorithms with linear convergence guarantees. We make a first step towards examining its correctness by fully characterizing the problems that are solvable via Riemannian gradient descent with linear convergence.


title: Do Large Language Models Understand Logic or Just Mimick Context?

abstract: Over the past few years, the abilities of large language models (LLMs) have received extensive attention, which have performed exceptionally well in complicated scenarios such as logical reasoning and symbolic inference. A significant factor contributing to this progress is the benefit of in-context learning and few-shot prompting. However, the reasons behind the success of such models using contextual reasoning have not been fully explored. Do LLMs have understand logical rules to draw inferences, or do they ``guess'' the answers by learning a type of probabilistic mapping through context? This paper investigates the reasoning capabilities of LLMs on two logical reasoning datasets by using counterfactual methods to replace context text and modify logical concepts. Based on our analysis, it is found that LLMs do not truly understand logical rules; rather, in-context learning has simply enhanced the likelihood of these models arriving at the correct answers. If one alters certain words in the context text or changes the concepts of logical terms, the outputs of LLMs can be significantly disrupted, leading to counter-intuitive responses. This work provides critical insights into the limitations of LLMs, underscoring the need for more robust mechanisms to ensure reliable logical reasoning in LLMs.


title: Parameter Refinement of a Ballbot and Predictive Control for Reference Tracking with Linear Parameter-Varying Embedding

abstract: In this study, we implement a control method for stabilizing a ballbot that simultaneously follows a reference. A ballbot is a robot balancing on a spherical wheel where the single point of contact with the ground makes it omnidirectional and highly maneuverable but with inherent instability. After introducing the scheduling parameters, we start the analysis by embedding the nonlinear dynamic model derived from first principles to a linear parameter-varying (LPV) formulation. Continuously, and as an extension of a past study, we refine the parameters of the nonlinear model that enhance significantly its accuracy. The crucial advantages of the LPV formulation are that it consists of a nonlinear predictor that can be used in model predictive control (MPC) by retaining the convexity of the quadratic optimization problem with linear constraints and further evades computational burdens that appear in other nonlinear MPC methods with only a slight loss in performance. The LPVMPC control method can be solved efficiently as a quadratic program (QP) that provides timing that supports real-time implementation. Finally, to illustrate the method, we test the control designs on a two-set point 1D non-smooth reference with sudden changes, to a 2D nonstationary smooth reference known as Lissajous curves, and to a single-set point 1D non-smooth reference where for this case theoretical guarantees such as stability and recursive feasibility are provided.


title: P\'olya's conjecture for thin products

abstract: Let $\Omega \subset \mathbb R^d$ be a bounded Euclidean domain. According to the famous Weyl law, both its Dirichlet eigenvalue $\lambda_k(\Omega)$ and its Neumann eigenvalue $\mu_k(\Omega)$ have the same leading asymptotics $w_k(\Omega)=C(d,\Omega)k^{2/d}$ as $k \to \infty$. G. P\'olya conjectured in 1954 that each Dirichlet eigenvalue $\lambda_k(\Omega)$ is greater than $w_k(\Omega)$, while each Neumann eigenvalue $\mu_k(\Omega)$ is no more than $w_k(\Omega)$. In this paper we prove P\'olya's conjecture for thin products, i.e. domains of the form $(a\Omega_1) \times \Omega_2$, where $\Omega_1, \Omega_2$ are Euclidean domains, and $a$ is small enough. We also prove that the same inequalities hold if $\Omega_2$ is replaced by a Riemannian manifold, and thus get P\'olya's conjecture for a class of ``thin" Riemannian manifolds with boundary.


title: On the relationship between speech and hearing

abstract: We present a framework for experimentally linking speech production and hearing. Using this approach, we describe experimental results, that lead to the concept that sounds made by different individuals and perceived to be the same can be transformed into each other by a "speech scale". The speech scale is empirically determined using only speech data. We show the similarity of the speech scale to the MEL scale of Stevens and Volkmann, which was derived only from hearing experiments. We thus experimentally link speech production and hearing.


title: Major TOM: Expandable Datasets for Earth Observation

abstract: Deep learning models are increasingly data-hungry, requiring significant resources to collect and compile the datasets needed to train them, with Earth Observation (EO) models being no exception. However, the landscape of datasets in EO is relatively atomised, with interoperability made difficult by diverse formats and data structures. If ever larger datasets are to be built, and duplication of effort minimised, then a shared framework that allows users to combine and access multiple datasets is needed. Here, Major TOM (Terrestrial Observation Metaset) is proposed as this extensible framework. Primarily, it consists of a geographical indexing system based on a set of grid points and a metadata structure that allows multiple datasets with different sources to be merged. Besides the specification of Major TOM as a framework, this work also presents a large, open-access dataset, MajorTOM-Core, which covers the vast majority of the Earth's land surface. This dataset provides the community with both an immediately useful resource, as well as acting as a template for future additions to the Major TOM ecosystem. Access: https://huggingface.co/Major-TOM


title: Broadband ferromagnetic resonance in Mn-doped Li ferrite nanoparticles

abstract: Lithium ferrites are well known materials due to their numerous technological applications especially in microwave devices. Mn-doped lithium ferrite nanoparticles were prepared by sol-gel technique by means of Pechini method, and then annealed at different temperatures in 250 to 1000 {\deg}C range. XRD confirms spinel formation with particle size in the 15 to 200 nm range, with increased size with annealing temperature. Microwave magnetoabsorption data of annealed lithium ferrite nanoparticles, obtained with a broadband system based on a network analyzer operating up to 8.5 GHz are presented. At fields up to 200 mT we can observe a broad absorption peak that shifts to higher frequencies with magnetic field according to ferromagnetic resonance theory. The amplitude of absorption, up to 85%, together with the frequency width of about 4.5 GHz makes this material suitable as wave absorber. Samples annealed at higher temperatures show a behaviour similar to polycrystalline samples, thus suggesting their multidomain character


title: Holographic dual effective field theory for an SYK model

abstract: We derive an emergent holographic dual description for an SYK model, where the renormalization group (RG) flows of collective bi-local fields appear manifestly in the bulk effective action with an emergent extradimension. This holographic dual effective field theory reproduces $1/N$ quantum corrections given by the Schwarzian action when we take the UV limit in the bulk effective action. Going into the IR regime in the extradimension, we observe that the field theoretic $1/N$, $1/N^{2}$, ... quantum corrections are resummed in the all-loop order and reorganized to form a holographic dual effective field theory in a large $N$ fashion living on the one-higher dimensional spacetime. Taking the large $N$ limit in the holographic dual effective field theory, we obtain nonlinearly coupled second-order bulk differential equations of motion for the three bi-local order-parameter fields of fermion self-energy, Green's function, and polarization function. Here, both UV and IR boundary conditions are derived self-consistently from the boundary effective action. We solve these highly intertwined nonlinear differential equations based on the so called matching method. Our ansatz for the bi-local order-parameter fields coincide with the conformally invariant solution of the field theoretic large $N$ limit in the UV limit, but their overall coefficients RG-flow along the extradimensional space, respectively, reflecting effects of higher-order quantum corrections. As a result, we find an insulating behavior, where the self-energy diverges at IR. To confirm this insulating physics, we investigate thermodynamics. We obtain an effective free energy functional in terms of such bi-local dual order-parameter fields, which satisfy the Hamilton-Jacobi equation of the holographic dual effective field theory. ...


title: Towards Explainable LiDAR Point Cloud Semantic Segmentation via Gradient Based Target Localization

abstract: Semantic Segmentation (SS) of LiDAR point clouds is essential for many applications, such as urban planning and autonomous driving. While much progress has been made in interpreting SS predictions for images, interpreting point cloud SS predictions remains a challenge. This paper introduces pGS-CAM, a novel gradient-based method for generating saliency maps in neural network activation layers. Inspired by Grad-CAM, which uses gradients to highlight local importance, pGS-CAM is robust and effective on a variety of datasets (SemanticKITTI, Paris-Lille3D, DALES) and 3D deep learning architectures (KPConv, RandLANet). Our experiments show that pGS-CAM effectively accentuates the feature learning in intermediate activations of SS architectures by highlighting the contribution of each point. This allows us to better understand how SS models make their predictions and identify potential areas for improvement. Relevant codes are available at https://github.com/geoai4cities/pGS-CAM.


title: Human Video Translation via Query Warping

abstract: In this paper, we present QueryWarp, a novel framework for temporally coherent human motion video translation. Existing diffusion-based video editing approaches that rely solely on key and value tokens to ensure temporal consistency, which scarifies the preservation of local and structural regions. In contrast, we aim to consider complementary query priors by constructing the temporal correlations among query tokens from different frames. Initially, we extract appearance flows from source poses to capture continuous human foreground motion. Subsequently, during the denoising process of the diffusion model, we employ appearance flows to warp the previous frame's query token, aligning it with the current frame's query. This query warping imposes explicit constraints on the outputs of self-attention layers, effectively guaranteeing temporally coherent translation. We perform experiments on various human motion video translation tasks, and the results demonstrate that our QueryWarp framework surpasses state-of-the-art methods both qualitatively and quantitatively.


title: Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation

abstract: With the prevalence of text-to-image generative models, their safety becomes a critical concern. adversarial testing techniques have been developed to probe whether such models can be prompted to produce Not-Safe-For-Work (NSFW) content. However, existing solutions face several challenges, including low success rate and inefficiency. We introduce Groot, the first automated framework leveraging tree-based semantic transformation for adversarial testing of text-to-image models. Groot employs semantic decomposition and sensitive element drowning strategies in conjunction with LLMs to systematically refine adversarial prompts. Our comprehensive evaluation confirms the efficacy of Groot, which not only exceeds the performance of current state-of-the-art approaches but also achieves a remarkable success rate (93.66%) on leading text-to-image models such as DALL-E 3 and Midjourney.


title: Design and Performance of Enhanced Spread Spectrum Aloha for Unsourced Multiple Access

abstract: We analyze the performance of enhanced spread spectrum Aloha (E-SSA) in the framework of unsourced multiple access (UMAC). The asynchronous, unframed transmission of E-SSA is modified to enable a direct comparison with framed UMAC schemes and with Polyanskiy's achievability bound. The design of E-SSA is tailored to the UMAC setting, resorting to short polar codes and the use of a timing channel to improve the energy efficiency of the protocol. We assess the impact of the preamble length and of the spreading factor on the system efficiency. The resulting scheme exhibits simplicity at the transmitter and linear complexity with respect to the number of active users at the receiver, approaching the UMAC achievability bound in close competition with the best known UMAC schemes.


title: Is It a Free Lunch for Removing Outliers during Pretraining?

abstract: With the growing size of large language models, the role of quantization becomes increasingly significant. However, outliers present in weights or activations notably influence the performance of quantized models. Recently, \citet{qtransformer} introduced a novel softmax function aimed at pretraining models in an outlier-free manner, thereby enhancing their suitability for quantization. Interestingly, we observed that such an approach leads to performance degradation in full precision. Building on this insight, we enhance the method by ensuring its normalization is invariant to sequence length, a crucial factor for bridging the gap between pretraining and fine-tuning. Moreover, this improved method also facilitates successful pretraining of causal language models.


title: Interference Mitigation in LEO Constellations with Limited Radio Environment Information

abstract: This research paper delves into interference mitigation within Low Earth Orbit (LEO) satellite constellations, particularly when operating under constraints of limited radio environment information. Leveraging cognitive capabilities facilitated by the Radio Environment Map (REM), we explore strategies to mitigate the impact of both intentional and unintentional interference using planar antenna array (PAA) beamforming techniques. We address the complexities encountered in the design of beamforming weights, a challenge exacerbated by the array size and the increasing number of directions of interest and avoidance. Furthermore, we conduct an extensive analysis of beamforming performance from various perspectives associated with limited REM information: static versus dynamic, partial versus full, and perfect versus imperfect. To substantiate our findings, we provide simulation results and offer conclusions based on the outcomes of our investigation.


title: Large cliques in extremal incidence configurations

abstract: Let $P \subset \mathbb{R}^{2}$ be a Katz-Tao $(\delta,s)$-set, and let $\mathcal{L}$ be a Katz-Tao $(\delta,t)$-set of lines in $\mathbb{R}^{2}$. A recent result of Fu and Ren gives a sharp upper bound for the $\delta$-covering number of the set of incidences $\mathcal{I}(P,\mathcal{L}) = \{(p,\ell) \in P \times \mathcal{L} : p \in \ell\}$. In fact, for $s,t \in (0,1]$, $$ |\mathcal{I}(P,\mathcal{L})|_{\delta} \lesssim_{\epsilon} \delta^{-\epsilon -f(s,t)}, \qquad \epsilon > 0,$$ where $f(s,t) = (s^{2} + st + t^{2})/(s + t)$. For $s,t \in (0,1]$, we characterise the near-extremal configurations $P \times \mathcal{L}$ of this inequality: we show that if $|\mathcal{I}(P,\mathcal{L})|_{\delta} \approx \delta^{-f(s,t)}$, then $P \times \mathcal{L}$ contains "cliques" $P' \times \mathcal{L}'$ satisfying $|\mathcal{I}(P',\mathcal{L}')|_{\delta} \approx |P'|_{\delta}|\mathcal{L}'|_{\delta}$, $$|P'|_{\delta} \approx \delta^{-s^{2}/(s + t)} \quad \text{and} \quad |\mathcal{L}'|_{\delta} \approx \delta^{-t^{2}/(s + t)}.$$


title: A joint optimization approach of parameterized quantum circuits with a tensor network

abstract: Despite the advantage quantum computers are expected to deliver when performing simulations compared to their classical counterparts, the current noisy intermediate-scale quantum (NISQ) devices remain limited in their capabilities. The training of parameterized quantum circuits (PQCs) remains a significant practical challenge, exacerbated by the requirement of shallow circuit depth necessary for their hardware implementation. Hybrid methods employing classical computers alongside quantum devices, such as the Variational Quantum Eigensolver (VQE), have proven useful for analyzing the capabilities of NISQ devices to solve relevant optimization problems. Still, in the simulation of complex structures involving the many-body problem in quantum mechanics, major issues remain about the representation of the system and obtaining results which clearly outperform classical computational devices. In this research contribution we propose the use of parameterized Tensor Networks (TNs) to attempt an improved performance of the VQE algorithm. A joint approach is presented where the Hamiltonian of a system is encapsulated into a Matrix Product Operator (MPO) within a parameterized unitary TN hereby splitting up the optimization task between the TN and the VQE. We show that the hybrid TN-VQE implementation improves the convergence of the algorithm in comparison to optimizing randomly-initialized quantum circuits via VQE.


title: The sign of linear periods

abstract: Let $G$ be a group with subgroup $H$, and let $(\pi,V)$ be a complex representation of $G$. The natural action of the normalizer $N$ of $H$ in $G$ on the space $\mathrm{Hom}_H(\pi,\mathbb{C})$ of $H$-invariant linear forms on $V$, provides a representation $\chi_{\pi}$ of $N$ trivial on $H$, which is a character when $\mathrm{Hom}_H(\pi,\mathbb{C})$ is one dimensional. If moreover $G$ is a reductive group over a $p$-adic field, and $\pi$ is smooth irreducible, it is an interesting problem to express $\chi_{\pi}$ in terms of the possibly conjectural Langlands parameter $\phi_\pi$ of $\pi$. In this paper we consider the following situation: $G=\mathrm{GL}_m(D)$ for $D$ a central division algebra of dimension $d^2$ over a $p$-adic field $F$, $H$ is the centralizer of a non central element $\delta\in G$ such that $\delta^2$ is in the center of $G$, and $\pi$ has generic Jacquet-Langlands transfer to $\mathrm{GL}_{md}(F)$. In this setting the space $\mathrm{Hom}_H(\pi,\mathbb{C})$ is at most one dimensional. When $\mathrm{Hom}_H(\pi,\mathbb{C})\simeq \mathbb{C}$ and $H\neq N$, we prove that the value of the $\chi_{\pi}$ on the non trivial class of $\frac{N}{H}$ is $(-1)^m\epsilon(\phi_\pi)$ where $\epsilon(\phi_\pi)$ is the root number of $\phi_{\pi}$. Along the way we extend many useful multiplicity one results for linear and Shalika models to the case of non split $G$, and we also classify standard modules with linear periods and Shalika models, which are new results even when $D=F$.


title: Precision mass measurements at the JYFLTRAP double Penning trap pin down the mass surface across the neutron midshell at $N=66$

abstract: Precision mass measurements of $^{104}$Y, $^{106}$Zr, $^{104,104m,109}$Nb, and $^{111,112}$Mo have been performed with the JYFLTRAP double Penning trap mass spectrometer at the Ion Guide Isotope Separator On-Line facility. The trend in two-neutron separation energies around the $N=66$ neutron midshell appeared to be steeper with respect to the Atomic Mass Evaluation 2020 extrapolations for the $_{39}$Y and $_{40}$Zr isotopic chains and less steep for the $_{41}$Nb chain, indicating a possible gap opening around $Z=40$. The experimental results were compared to the BSkG2 model calculations performed with and without vibrational and rotational corrections. All of them predict two low-lying minima for $^{106}$Zr. While the unaltered BSkG2 model fails to predict the trend in two-neutron separation energies, selecting the more deformed minima in calculations and removing the vibrational correction, the calculations are more in line with experimental data. The same is also true for the $2^+_1$ excitation energies and differences in charge radii in the Zr isotopes. The results stress the importance of improved treatment of collective corrections in large-scale models and further development of beyond-mean-field techniques.


title: Weak-Linear Types

abstract: Computational interpretations of linear logic allow static control of memory resources: the data produced by the program are endowed through its type with attributes that determine its life cycle, and guarantee safe deallocation. The use of linear types encounters limitations in practice, since linear data, in the traditional sense, do not so often appear in actual programs. Several alternatives have been proposed in the attempt to relax the condition of linearity, adding coercions to the language to allow linear objects to be temporarily aliased. In this work we propose a new alternative, whose virtue is to preserve the simplicity and elegance of the original system.


title: Persistent Homology-Driven Optimization of Effective Relative Density Range for Triply Periodic Minimal Surface

abstract: Triply periodic minimal surfaces (TPMSs) play a vital role in the design of porous structures, with applications in bone tissue engineering, chemical engineering, and the creation of lightweight models. However, fabrication of TPMSs via additive manufacturing is feasible only within a specific range of relative densities, termed the effective relative density range (EDR), outside of which TPMSs exhibit unmanufacturable features. In this study, the persistent homology is applied to theoretically calculate and extend the EDRs of TPMSs. The TPMSs with extended EDRs are referred to as extended TPMSs. To achieve this, TPMSs are converted into implicit B-spline representation through fitting. By analyzing the symmetry of TPMSs, a partial fitting method is utilized to preserve the symmetry and enhance fitting precision. A topological objective function is modeled based on the understanding of topological features, resulting in extended TPMSs that possess extended EDRs while maintaining a high degree of similarity to the original TPMSs. Experimental validation confirms the effectiveness of the approach in extending the EDRs of TPMSs. Furthermore, the extended TPMSs demonstrate superior performance in porous model design and topology optimization compared to their original counterparts. The extended TPMSs with increased EDRs hold promise for replacing traditional TPMSs in applications that require porous structures with varying densities.


title: The Complexity of Geodesic Spanners using Steiner Points

abstract: A geometric $t$-spanner $\mathcal{G}$ on a set $S$ of $n$ point sites in a metric space $P$ is a subgraph of the complete graph on $S$ such that for every pair of sites $p,q$ the distance in $\mathcal{G}$ is a most $t$ times the distance $d(p,q)$ in $P$. We call a connection between two sites in the spanner a link. In some settings, such as when $P$ is a simple polygon with $m$ vertices and a link is a shortest path in $P$, links can consist of $\Theta (m)$ segments and thus have non-constant complexity. The total spanner complexity is a recently-introduced measure of how compact a spanner is. In this paper, we study what happens if we are allowed to introduce $k$ Steiner points to reduce the spanner complexity. We study such Steiner spanners in simple polygons, polygonal domains, and edge-weighted trees. Surprisingly, we show that Steiner points have only limited utility. For a spanner that uses $k$ Steiner points, we provide an $\Omega(nm/k)$ lower bound on the worst-case complexity of any $(3-\varepsilon)$-spanner, and an $\Omega(mn^{1/(t+1)}/k^{1/(t+1)})$ lower bound on the worst-case complexity of any $(t-\varepsilon)$-spanner, for any constant $\varepsilon\in (0,1)$ and integer constant $t \geq 2$. These lower bounds hold in all settings. Additionally, we show NP-hardness for the problem of deciding whether a set of sites in a polygonal domain admits a $3$-spanner with a given maximum complexity using $k$ Steiner points. On the positive side, for trees we show how to build a $2t$-spanner that uses $k$ Steiner points and of complexity $O(mn^{1/t}/k^{1/t} + n \log (n/k))$, for any integer $t \geq 1$. We generalize this result to forests, and apply it to obtain a $2\sqrt{2}t$-spanner in a simple polygon or a $6t$-spanner in a polygonal domain, with total complexity $O(mn^{1/t}(\log k)^{1+1/t}/k^{1/t} + n\log^2 n)$.


title: Evaluating Versal AI Engines for option price discovery in market risk analysis

abstract: Whilst Field-Programmable Gate Arrays (FPGAs) have been popular in accelerating high-frequency financial workload for many years, their application in quantitative finance, the utilisation of mathematical models to analyse financial markets and securities, is less mature. Nevertheless, recent work has demonstrated the benefits that FPGAs can deliver to quantitative workloads, and in this paper, we study whether the Versal ACAP and its AI Engines (AIEs) can also deliver improved performance. We focus specifically on the industry standard Strategic Technology Analysis Center's (STAC) derivatives risk analysis benchmark STAC-A2. Porting a purely FPGA-based accelerator STAC-A2 inspired market risk (SIMR) benchmark to the Versal ACAP device by combining Programmable Logic (PL) and AIEs, we explore the development approach and techniques, before comparing performance across PL and AIEs. Ultimately, we found that our AIE approach is slower than a highly optimised existing PL-only version due to limits on both the AIE and PL that we explore and describe.


title: Magnetic anisotropy and GGG substrate stray field in YIG films down to millikelvin temperatures

abstract: Quantum magnonics investigates the quantum-mechanical properties of magnons such as quantum coherence or entanglement for solid-state quantum information technologies at the nanoscale. The most promising material for quantum magnonics is the ferrimagnetic yttrium iron garnet (YIG), which hosts magnons with the longest lifetimes. YIG films of the highest quality are grown on a paramagnetic gadolinium gallium garnet (GGG) substrate. The literature has reported that ferromagnetic resonance (FMR) frequencies of YIG/GGG decrease at temperatures below 50 K despite the increase in YIG magnetization. We investigated a 97 nm-thick YIG film grown on 500 $\mathrm{\mu}$m-thick GGG substrate through a series of experiments conducted at temperatures as low as 30 mK, and using both analytical and numerical methods. Our findings suggest that the primary factor contributing to the FMR frequency shift is the stray magnetic field created by the partially magnetized GGG substrate. This stray field is antiparallel to the applied external field and is highly inhomogeneous, reaching up to 40 mT in the center of the sample. At temperatures below 500 mK, the GGG field exhibits a saturation that cannot be described by the standard Brillouin function for a paramagnet. Including the calculated GGG field in the analysis of the FMR frequency versus temperature dependence allowed the determination of the cubic and uniaxial anisotropies. We find that the total anisotropy increases more than three times with the decrease in temperature down to 2 K. Our findings enable accurate predictions of the YIG/GGG magnetic systems behavior at low and ultra-low millikelvin temperatures, crucial for developing quantum magnonic devices.