title: Younger: The First Dataset for Artificial Intelligence-Generated Neural Network Architecture

abstract: Designing and optimizing neural network architectures typically requires extensive expertise, starting with handcrafted designs and then manual or automated refinement. This dependency presents a significant barrier to rapid innovation. Recognizing the complexity of automatically generating neural network architecture from scratch, we introduce Younger, a pioneering dataset to advance this ambitious goal. Derived from over 174K real-world models across more than 30 tasks from various public model hubs, Younger includes 7,629 unique architectures, and each is represented as a directed acyclic graph with detailed operator-level information. The dataset facilitates two primary design paradigms: global, for creating complete architectures from scratch, and local, for detailed architecture component refinement. By establishing these capabilities, Younger contributes to a new frontier, Artificial Intelligence-Generated Neural Network Architecture (AIGNNA). Our experiments explore the potential and effectiveness of Younger for automated architecture generation and, as a secondary benefit, demonstrate that Younger can serve as a benchmark dataset, advancing the development of graph neural networks. We release the dataset and code publicly to lower the entry barriers and encourage further research in this challenging area.


title: Exact loop densities in $O(1)$ dense loop model on the cylinder of odd circumference and clusters in half-turn self-dual critical percolation

abstract: We consider $O(1)$ dense loop model in a square lattice wrapped on a cylinder of odd circumference $L$ and calculate the exact densities of loops. These densities of loops are equal to the densities of critical bond percolation clusters on a forty-five-degree rotated square lattice rolled into a cylinder with special boundary conditions which we refer to as half-turn self-dual percolation. The solution is based on a correspondence between the $O(1)$ dense loop model and the six-vertex model at the Razumov-Stroganov point.


title: Lieb-Thirring inequalities on the spheres and $SO(3)$

abstract: In this paper, we obtain new upper bounds for the Lieb-Thirring inequality on the spheres of any dimension greater than $2$. As far as we have checked, our results improve previous results found in the literature for all dimensions greater than $2$. We also prove and exhibit an explicit new upper bound for the Lieb-Thirring inequality on $SO(3)$. We also discuss these estimates in the case of general compact Lie groups. Originally developed for estimating the sums of moments of negative eigenvalues of the Schr\"odinger operator in $L^2(\mathbb{R}^n)$, these inequalities have applications in quantum mechanics and other fields.


title: Many-Body Models for Chirality-Induced Spin Selectivity in Electron Transfer

abstract: We present the first microscopic model for chirality-induced spin selectivity effect in electron-transfer, in which the internal degrees of freedom of the chiral bridge are explicitly included. By exactly solving this model on short chiral chains we demonstrate that a sizable polarization on the acceptor arises from the interplay of coherent and incoherent dynamics, with strong electron-electron correlations yielding many-body states on the bridge as crucial ingredients. Moreover, we include the coherent and incoherent interactions with vibrational modes and show that they can play an important role in determining the long-time polarized state probed in experiments.


title: Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWST/NIRISS

abstract: LHS 1140 b is the second-closest temperate transiting planet to the Earth with an equilibrium temperature low enough to support surface liquid water. At 1.730$\pm$0.025 R$_\oplus$, LHS 1140 b falls within the radius valley separating H$_2$-rich mini-Neptunes from rocky super-Earths. Recent mass and radius revisions indicate a bulk density significantly lower than expected for an Earth-like rocky interior, suggesting that LHS 1140 b could either be a mini-Neptune with a small envelope of hydrogen ($\sim$0.1% by mass) or a water world (9--19% water by mass). Atmospheric characterization through transmission spectroscopy can readily discern between these two scenarios. Here, we present two JWST/NIRISS transit observations of LHS 1140 b, one of which captures a serendipitous transit of LHS 1140 c. The combined transmission spectrum of LHS 1140 b shows a telltale spectral signature of unocculted faculae (5.8 $\sigma$), covering $\sim$20% of the visible stellar surface. Besides faculae, our spectral retrieval analysis reveals tentative evidence of residual spectral features, best-fit by Rayleigh scattering from an N$_2$-dominated atmosphere (2.3 $\sigma$), irrespective of the consideration of atmospheric hazes. We also show through Global Climate Models (GCM) that H$_2$-rich atmospheres of various compositions (100$\times$, 300$\times$, 1000$\times$solar metallicity) are ruled out to $>$10 $\sigma$. The GCM calculations predict that water clouds form below the transit photosphere, limiting their impact on transmission data. Our observations suggest that LHS 1140 b is either airless or, more likely, surrounded by an atmosphere with a high mean molecular weight. Our tentative evidence of an N$_2$-rich atmosphere provides strong motivation for future transmission spectroscopy observations of LHS 1140 b.


title: A Tangent Category Perspective on Connections in Algebraic Geometry

abstract: There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the tangent category of schemes, this recreates the notion of connection on a quasi-coherent sheaf of modules). By contrast, we also show that in the tangent category of algebras, there are no non-trivial connections.


title: On the equivalence of Noether charge and Hilbert action boundary term formulae for the black hole entropy in F(Riemann) gravity theory

abstract: By working with the covariant phase space formalism, we have shown that not only can the Hamiltonian conjugate to a Killing vector field {\xi} be expressed as the sum of the associated Noether charge and {\xi} contracted with the Hilbert action boundary term for F(Riemann) gravity, but also be written as its contraction with another {\xi} independent tensor field. With this, we have proven the equivalence of Noether charge and Hilbert action boundary term formulae for the stationary black hole entropy in F(Riemann) gravity, which is further substantiated by our explicit computation using both formulae.


title: Trend to equilibrium and hypoelliptic regularity for the relativistic Fokker-Planck equation

abstract: We consider the relativistic, spatially inhomogeneous Fokker-Planck equation with an external confining potential. We prove the exponential time decay of solutions towards the global equilibrium in weighted $L^2$ and Sobolov spaces. Our result holds for a wide class of external potentials and the estimates on the rate of convergence are explicit and constructive. Moreover, we prove that the associated semigroup of the equation has hypoelliptic regularizing properties and we obtain explicit rates on this regularization. The technique is based on the construction of suitable Lyapunov functionals.


title: Effective grand-canonical description of condensation in negative-temperature regimes

abstract: The observation of negative-temperature states in the localized phase of the the Discrete Nonlinear Schr\"odinger (DNLS) equation has challenged statistical mechanics for a long time. For isolated systems, they can emerge as stationary extended states through a large-deviation mechanism occurring for finite sizes, while they are formally unstable in grand-canonical setups, being associated to an unlimited growth of the condensed fraction. Here, we show that negative-temperature states in open setups are metastable but their lifetime $\tau$ is exponentially long with the temperature, $\tau \approx \exp(\lambda |T|)$ (for $T<0$ and $\lambda>0$). More precisely, we find that condensation on a given site (i.e. emergence of a tall discrete breather) can advance only once a critical mass has been accumulated therein. This result has been obtained by combining the development of an effective grand-canonical formalism with the implementation of suitable heat baths. A general expression for $\lambda$ is obtained in the case of a simplified stochastic model of non-interacting particles. In the DNLS model, the presence of an adiabatic invariant, makes $\lambda$ even larger because of the resulting freezing of the breather dynamics. This mechanism, based on the existence of two conservation laws, provides a new perspective over the statistical description of condensation processes.


title: Nonlinearity of the Fidelity in Open Qudit Systems: Gate and Noise Dependence in High-dimensional Quantum Computing

abstract: High-dimensional quantum computing has generated significant interest due to its potential to address scalability and error correction challenges faced by traditional qubit-based systems. This paper investigates the Average Gate Fidelity (AGF) of single qudit systems under Markovian noise in the Lindblad formalism, extending previous work by developing a comprehensive theoretical framework for the calculation of higher-order correction terms. We derive general expressions for the perturbative expansion of the Average Gate Infidelity (AGI) in terms of the environmental coupling coefficient and validate these with extensive numerical simulations, emphasizing the transition from linear to nonlinear behaviour in the strong coupling regime. Our findings highlight the dependence of AGI on qudit dimensionality, quantum gate choice, and noise strength, providing critical insights for optimising quantum gate design and error correction protocols. Additionally, we utilise our framework to identify universal bounds for the AGI in the strong coupling regime and explore the practical implications for enhancing the performance of near-term qudit architectures. This study offers a robust foundation for future research and development in high-dimensional quantum computing, contributing to the advancement of robust, high-fidelity quantum operations.

categories: quant-ph math-ph math.MP physics.atom-ph


title: Community Detection from Multiple Observations: from Product Graph Model to Brain Applications

abstract: This paper proposes a multilayer graph model for the community detection from multiple observations. This is a very frequent situation, when different estimators are applied to infer graph edges from signals at its nodes, or when different signal measurements are carried out. The multilayer network stacks the graph observations at the different layers, and it links replica nodes at adjacent layers. This configuration matches the Cartesian product between the ground truth graph and a path graph, where the number of nodes corresponds to the number of the observations. Stemming on the algebraic structure of the Laplacian of the Cartesian multilayer network, we infer a subset of the eigenvectors of the true graph and perform community detection. Experimental results on synthetic graphs prove the accuracy of the method, which outperforms state-of-the-art approaches in terms of ability of correctly detecting graph communities. Finally, we show the application of our method to discriminate different brain networks derived from real EEG data collected during motor imagery experiments. We conclude that our approach appears promising in identifying graph communities when multiple observations of the graph are available and it results promising for EEG-based motor imagery applications.


title: Luttinger surface dominance and Fermi liquid behaviour of topological Kondo insulators SmB$_6$ and YbB$_{12}$

abstract: Defying the traditional classification into metals and insulators, several materials simultaneously display metallic thermal properties and insulating electric behaviour, as if they hosted quasiparticles carrying entropy but not charge. Among them, some materials also possess quantum oscillations in magnetic fields as if they had well-defined Fermi surfaces despite the insulating gap. This remarkable dichotomy has been observed in the topological Kondo insulators SmB$_6$ and YbB$_{12}$. Prompted by the peculiar mixed-valence nature of these compounds, involving $f$ and $d$ electrons of the lanthanide, we propose an explanation of their intriguing properties drawing inspiration from the physics of the pseudogap phase in underdoped cuprates. We argue that the $f$ and $d$ subsystems, when considered separately, act, respectively, as electron- and hole-doped Mott insulators, featuring Fermi pockets coexisting with Luttinger surfaces responsible for the pseudogap. When the two are coupled to each other a hybridisation gap opens up, and the whole turns into a topological insulator endowed with genuine chiral edge states. However, the Luttinger surfaces persist and support neutral quasiparticles. This scenario, supported by numerical simulations within the dynamical cluster approximation, effectively resolves the paradoxical phenomenology of SmB$_6$ and YbB$_{12}$.


title: Conformal bootstrap and Heterotic string Gepner models

abstract: In Gepner's pioneering work, the requirement that leads to a model having the desired $N=1$ Spacetime supersymmetry and $E(8)\times E(6)$ Gauge symmetry was the requirement that the spacetime symmetry is compatible with modular invariance. In this work we show that the requirement for the simultaneous fulfillment of mutual locality of the left-moving vertices of physical states with the space-time symmetry generators and of right-moving vertices with generators of $E(8)\times E(6)$-gauge symmetry, which arises after some special reduction together with the requirement of mutual locality of complete (left-right) vertices of physical states among themselves leads to the same Gepner models.


title: Quantum geometrical properties of topological materials

abstract: The momentum space of topological insulators and topological superconductors is equipped with a quantum metric defined from the overlap of neighboring valence band states or quasihole states. We investigate the quantum geometrical properties of these materials within the framework of Dirac models and differential geometry. The Ricci scalar is found to be a constant throughout the whole Brillouin zone, and the vacuum Einstein equation is satisfied in 3D with a finite cosmological constant. For linear Dirac models, several geometrical properties are found to be independent of the band gap, including the straight line geodesic, constant volume of the curved momentum space, exponential decay form of the nonlocal topological marker, and unity Euler characteristic in 2D, indicating the peculiar yet universal quantum geometrical properties of these models.


title: Approximation of shape optimization problems with non-smooth PDE constraints

abstract: This paper is concerned with a shape optimization problem governed by a non-smooth PDE, i.e., the nonlinearity in the state equation is not necessarily differentiable. We follow the functional variational approach of [33] where the set of admissible shapes is parametrized by a large class of continuous mappings. This methodology allows for both boundary and topological variations. It has the advantage that one can rewrite the shape optimization problem as a control problem in a function space. To overcome the lack of convexity of the set of admissible controls, we provide an essential density property. This permits us to show that each parametrization associated to the optimal shape is the limit of global optima of non-smooth distributed optimal control problems. The admissible set of the approximating minimization problems is a convex subset of a Hilbert space of functions. Moreover, its structure is such that one can derive strong stationary optimality conditions [5]. This opens the door to future research concerning sharp first-order necessary optimality conditions in form of a qualified optimality system.


title: Steady axisymmetric vortices in radial stagnation flows

abstract: A class of axisymmetric vortex solutions superposed upon radial stagnation flows is described. The new vortex solutions generalize the classical Burgers' vortex and Sullivan's vortex solutions in the presence of a volumetric line source at the symmetry axis, the former approaching the Burgers' vortex sheet when the source strength becomes very large. The stability of the generalized Burgers' vortex is studied. In a different manner from the classical solution, the generalized Burgers' vortices are found to be unstable for two-dimensional disturbances when the vortex Reynolds number is increased above a critical value, for a fixed strength of the volumetric source.


title: Remarks on solitary waves in equations with nonlocal cubic terms

abstract: In this overview paper, we show existence of smooth solitary-wave solutions to the nonlinear, dispersive evolution equations of the form \begin{equation*} \partial_t u + \partial_x(\Lambda^s u + u\Lambda^r u^2) = 0, \end{equation*} where $\Lambda^s, \Lambda^r$ are Bessel-type Fourier multipliers. The linear operator may be of low fractional order, $s>0$, while the operator on the nonlinear part is assumed to act slightly smoother, $r<s-1$. The problem is related to the mathematical theory of water waves; we build upon previous works on similar equations, extending them to allow for a nonlocal nonlinearity. Mathematical tools include constrained minimization, Lion's concentration-compactness principle, spectral estimates, and product estimates in fractional Sobolev spaces.


title: Gaussian Splatting to Real World Flight Navigation Transfer with Liquid Networks

abstract: Simulators are powerful tools for autonomous robot learning as they offer scalable data generation, flexible design, and optimization of trajectories. However, transferring behavior learned from simulation data into the real world proves to be difficult, usually mitigated with compute-heavy domain randomization methods or further model fine-tuning. We present a method to improve generalization and robustness to distribution shifts in sim-to-real visual quadrotor navigation tasks. To this end, we first build a simulator by integrating Gaussian Splatting with quadrotor flight dynamics, and then, train robust navigation policies using Liquid neural networks. In this way, we obtain a full-stack imitation learning protocol that combines advances in 3D Gaussian splatting radiance field rendering, crafty programming of expert demonstration training data, and the task understanding capabilities of Liquid networks. Through a series of quantitative flight tests, we demonstrate the robust transfer of navigation skills learned in a single simulation scene directly to the real world. We further show the ability to maintain performance beyond the training environment under drastic distribution and physical environment changes. Our learned Liquid policies, trained on single target manoeuvres curated from a photorealistic simulated indoor flight only, generalize to multi-step hikes onboard a real hardware platform outdoors.


title: Asymptotic behavior for the quenched survival probability of a supercritical branching random walk in random environment with a barrier

abstract: We introduce a random barrier to a supercritical branching random walk in an i.i.d. random environment $\{\mathcal{L}_n\}$ indexed by time $n,$ i.e., in each generation, only the individuals born below the barrier can survive and reproduce. At generation $n$ ($n\in\mathbb{N}$), the barrier is set as $\chi_n+\varepsilon n,$ where $\{\chi_n\}$ is a random walk determined by the random environment. Lv \& Hong (2024) showed that for almost every $\mathcal{L}:=\{\mathcal{L}_n\},$ the quenched survival probability (denoted by $\varrho_{\mathcal{L}}(\varepsilon)$) of the particles system will be 0 (resp., positive) when $\varepsilon\leq 0$ (resp., $\varepsilon>0$). In the present paper, we prove that $\sqrt{\varepsilon}\log\varrho_\mathcal{L}(\varepsilon)$ will converge in Probability/ almost surely/ in $L^p$ to an explicit negative constant (depending on the environment) as $\varepsilon\downarrow 0$ under some integrability conditions respectively. This result extends the scope of the result of Gantert et al. (2011) to the random environment case.


title: Magnetoresistance oscillations induced by geometry in a two-dimensional quantum ring

abstract: In this work, we investigate the effects of a controlled conical geometry on the electric charge transport through a two-dimensional quantum ring weakly coupled to both the emitter and the collector. These mesoscopic systems are known for being able to confine highly mobile electrons in a defined region of matter. Particularly, we consider a GaAs device having an average radius of $800\hspace{0.05cm}\text{nm}$ in different regimes of subband occupation at non-zero temperature and under the influence of a weak and uniform background magnetic field. Using the adapted Landauer formula for the resonant tunneling and the energy eigenvalues, we explore how the modified surface affects the Van-Hoove conductance singularities and the magnetoresistance interference patterns resulting from the Aharonov-Bohm oscillations of different frequencies. Magnetoresistance oscillations depending only on the curvature intensity are reported, providing a new feature that represents an alternative way to optimize the transport through the device by tuning its geometry.


title: Generative Topological Networks

abstract: Generative models have seen significant advancements in recent years, yet often remain challenging and costly to train and use. We introduce Generative Topological Networks (GTNs) -- a new class of generative models that addresses these shortcomings. GTNs are trained deterministically using a simple supervised learning approach grounded in topology theory. GTNs are fast to train, and require only a single forward pass in a standard feedforward neural network to generate samples. We demonstrate the strengths of GTNs in several datasets, including MNIST, celebA and the Hands and Palm Images dataset. Finally, the theory behind GTNs offers insights into how to train generative models for improved performance.


title: Cancellation Properties and Pointwise Bounds for the Green's Functions for the Laplace Operator

abstract: We derive a cancellation property satisfied by the derivatives of the Green's functions for the Laplace operator corresponding to Dirichlet and Neumann boundary conditions on bounded sets in $\R^n$. The main result is derived in a broader, self-contained exposition which includes construction of and basic pointwise bounds for the Green's functions and their derivatives. We also give an application of the cancellation property to a problem in fluid mechanics.


title: Analysis of the Publication and Document Types in OpenAlex, Web of Science, Scopus, Pubmed and Semantic Scholar

abstract: This study compares and analyses publication and document types in the following bibliographic databases: OpenAlex, Scopus, Web of Science, Semantic Scholar and PubMed. The results demonstrate that typologies can differ considerably between individual database providers. Moreover, the distinction between research and non-research texts, which is required to identify relevant documents for bibliometric analysis, can vary depending on the data source because publications are classified differently in the respective databases. The focus of this study, in addition to the cross-database comparison, is primarily on the coverage and analysis of the publication and document types contained in OpenAlex, as OpenAlex is becoming increasingly important as a free alternative to established proprietary providers for bibliometric analyses at libraries and universities.


title: Introducing the modularity graph: an application to brain functional networks

abstract: In signal processing, exploring complex systems through network representations has become an area of growing interest. This study introduces the modularity graph, a new graph-based feature, to highlight the relationship across the graph communities. After showing an application to the random graph class known as Stochastic Block Model, we consider the brain functional connectivity network estimated from real EEG data. The modularity graph provides a quantitative framework for examining the interactions between neuron clusters within the brain's network. The modularity graph works alongside multiscale community detection algorithms, thereby enabling the identification of community structures at various scales. After introducing the modularity graph, we apply it to the brain functional connectivity network, estimated from publicly available EEG recordings of motor imagery experiments. Statistical analysis across multiple scales shows that the modularity graph differs for the distinct brain connectivity states associated with various motor imagery tasks. This work emphasizes the application of signal on graph processing techniques to understand brain behavior during specific cognitive tasks, leveraging the novel modularity graph to identify patterns of brain connectivity in different cognitive conditions. This approach sets the stage for further signal on graph analysis to devise brain network modularity, and to gain insights into the motor imagery mechanisms.


title: Perks and Pitfalls of Faithfulness in Regular, Self-Explainable and Domain Invariant GNNs

abstract: As Graph Neural Networks (GNNs) become more pervasive, it becomes paramount to build robust tools for computing explanations of their predictions. A key desideratum is that these explanations are faithful, i.e., that they portray an accurate picture of the GNN's reasoning process. A number of different faithfulness metrics exist, begging the question of what faithfulness is exactly, and what its properties are. We begin by showing that existing metrics are not interchangeable -- i.e., explanations attaining high faithfulness according to one metric may be unfaithful according to others -- and can be systematically insensitive to important properties of the explanation, and suggest how to address these issues. We proceed to show that, surprisingly, optimizing for faithfulness is not always a sensible design goal. Specifically, we show that for injective regular GNN architectures, perfectly faithful explanations are completely uninformative. The situation is different for modular GNNs, such as self-explainable and domain-invariant architectures, where optimizing faithfulness does not compromise informativeness, and is also unexpectedly tied to out-of-distribution generalization.


title: MIDAS-QR with 2-Dimensional Structure

abstract: Mixed frequency data has been shown to improve the performance of growth-at-risk models in the literature. Most of the research has focused on imposing structure on the high-frequency lags when estimating MIDAS-QR models akin to what is done in mean models. However, only imposing structure on the lag-dimension can potentially induce quantile variation that would otherwise not be there. In this paper we extend the framework by introducing structure on both the lag dimension and the quantile dimension. In this way we are able to shrink unnecessary quantile variation in the high-frequency variables. This leads to more gradual lag profiles in both dimensions compared to the MIDAS-QR and UMIDAS-QR. We show that this proposed method leads to further gains in nowcasting and forecasting on a pseudo-out-of-sample exercise on US data.


title: On the classification of Inoue surfaces

abstract: We prove that any Inoue surface admits a unique holomorphic connection. Using this result we show that two Inoue surfaces $S=H\times\mathbb{C}/G$, $S'=H\times\mathbb{C}/G'$ are biholomorphic if and only if $G$, $G'$ are conjugate in the group of affine transformations of $H\times\mathbb{C}$. This result allows us to prove explicit classification theorems for Inoue surfaces: Let $\mathcal{M}$ be the set of ${\rm SL}(3,\mathbb{Z})$-matrices $M$ with a real eigenvalue $\alpha>1$ and two non-real eigenvalues, and $\mathcal{N}^\pm $ the set of ${\rm GL}(2,\mathbb{Z})$-matrices $N$ with a real eigenvalue $\alpha>1$ and $\det(N)=\pm 1$. We prove that: For any ${\rm GL}(3,\mathbb{Z})$-similarity class $\mathfrak{M}\in \mathcal{M}/\sim$, there exists exactly two biholomorphism classes of type I Inoue surfaces. For any ${\rm GL}(2,\mathbb{Z})$ similarity class $\mathfrak{N}=[N]\in \mathcal{N}^+/\sim$ and positive integer $r\in\mathbb{N}^*$, we have a finite set of deformation classes of type II Inoue surfaces. This set is parameterised by the quotient of $\mathbb{Z}^2/(I_2-N)\mathbb{Z}^2+r\mathbb{Z}^2$ by an action of the ``positive centraliser" $Z^+_{{\rm GL}(2,\mathbb{Z})}(N)$ of $N$ in ${\rm GL}(2,\mathbb{Z})$. The set of biholomorphism types corresponding to a deformation class, endowed with its natural topology, can be identified with either $\mathbb{C}^*$ or $\mathbb{C}$. For any ${\rm GL}(2,\mathbb{Z})$-similarity class $\mathfrak{N}=[N]\in \mathcal{N}^-/\sim$ and positive integer $r\in\mathbb{N}^*$, we have a finite set of biholomorphism classes of type III Inoue surfaces. This set is parameterised by the quotient of $\mathbb{Z}^2/(I_2+N)\mathbb{Z}^2+r\mathbb{Z}^2$ by an action of $Z^+_{{\rm GL}(2,\mathbb{Z})}(N)$. In both cases the group $Z^+_{{\rm GL}(2,\mathbb{Z})}(N)$ is infinite cyclic (see section 5).


title: Stochastic Optimisation Framework using the Core Imaging Library and Synergistic Image Reconstruction Framework for PET Reconstruction

abstract: We introduce a stochastic framework into the open--source Core Imaging Library (CIL) which enables easy development of stochastic algorithms. Five such algorithms from the literature are developed, Stochastic Gradient Descent, Stochastic Average Gradient (-Am\'elior\'e), (Loopless) Stochastic Variance Reduced Gradient. We showcase the functionality of the framework with a comparative study against a deterministic algorithm on a simulated 2D PET dataset, with the use of the open-source Synergistic Image Reconstruction Framework. We observe that stochastic optimisation methods can converge in fewer passes of the data than a standard deterministic algorithm.


title: Exploring Audio-Visual Information Fusion for Sound Event Localization and Detection In Low-Resource Realistic Scenarios

abstract: This study presents an audio-visual information fusion approach to sound event localization and detection (SELD) in low-resource scenarios. We aim at utilizing audio and video modality information through cross-modal learning and multi-modal fusion. First, we propose a cross-modal teacher-student learning (TSL) framework to transfer information from an audio-only teacher model, trained on a rich collection of audio data with multiple data augmentation techniques, to an audio-visual student model trained with only a limited set of multi-modal data. Next, we propose a two-stage audio-visual fusion strategy, consisting of an early feature fusion and a late video-guided decision fusion to exploit synergies between audio and video modalities. Finally, we introduce an innovative video pixel swapping (VPS) technique to extend an audio channel swapping (ACS) method to an audio-visual joint augmentation. Evaluation results on the Detection and Classification of Acoustic Scenes and Events (DCASE) 2023 Challenge data set demonstrate significant improvements in SELD performances. Furthermore, our submission to the SELD task of the DCASE 2023 Challenge ranks first place by effectively integrating the proposed techniques into a model ensemble.


title: X-raying the zeta Tau binary system

abstract: The Be star zeta Tau was recently reported to be a gamma Cas analog; that is, it displays an atypical (bright and hard) X-ray emission. The origin of these X-rays remains debated.The first X-ray observations indicated a very large absorption of the hot plasma component (N_H~ 10^{23}/cm^2). This is most probably related to the edge-on configuration of the zeta Tau disk. If the X-ray emission arises close to the companion, an orbital modulation of the absorption could be detected as the disk comes in and out of the line of sight. New XMM-Newton data were obtained to characterize the high-energy properties of zeta Tau in more detail. They are complemented by previous Chandra and SRG/eROSITA observations as well as by optical spectroscopy and TESS photometry. The high-quality XMM-Newton data reveal the presence of a faint soft X-ray emission, which appears in line with that recorded for non-gamma Cas Be stars. In addition, zeta Tau exhibits significant short-term variability at all energies, with larger amplitudes at lower frequencies (``red noise''), as is found in X-ray data of other gamma Cas stars. Transient variability (softness dip, low-frequency signal) may also be detected at some epochs. In addition, between X-ray exposures, large variations in the spectra are detected in the 1.5-4.keV energy band. They are due to large changes in absorption toward the hottest (9keV) plasma. These changes are not correlated with either the orbital phase or the depth of the shell absorption of the Halpha line. These observed properties are examined in the light of proposed gamma Cas models.


title: Dispersion of solute in straining flows and boundary layers

abstract: Solute dispersion due to an instantaneously released source in steady, laminar, axisymmetric flows with an axial inflow and radial outflow is investigated analytically. Attention is given to large-time characteristics of dispersion, where the concentration reduces in proportion to $e^{-2\lambda \tau}$, where $\lambda$ is an eigenvalue that depends on the axial inflow and $\tau$ is the time measured in units of axial-diffusion times. Prospects of some other flows are also considered.


title: A Syntax-Injected Approach for Faster and More Accurate Sentiment Analysis

abstract: Sentiment Analysis (SA) is a crucial aspect of Natural Language Processing (NLP), addressing subjective assessments in textual content. Syntactic parsing is useful in SA because explicit syntactic information can improve accuracy while providing explainability, but it tends to be a computational bottleneck in practice due to the slowness of parsing algorithms. This paper addresses said bottleneck by using a SEquence Labeling Syntactic Parser (SELSP) to inject syntax into SA. By treating dependency parsing as a sequence labeling problem, we greatly enhance the speed of syntax-based SA. SELSP is trained and evaluated on a ternary polarity classification task, demonstrating its faster performance and better accuracy in polarity prediction tasks compared to conventional parsers like Stanza and to heuristic approaches that use shallow syntactic rules for SA like VADER. This increased speed and improved accuracy make SELSP particularly appealing to SA practitioners in both research and industry. In addition, we test several sentiment dictionaries on our SELSP to see which one improves the performance in polarity prediction tasks. Moreover, we compare the SELSP with Transformer-based models trained on a 5-label classification task. The results show that dictionaries that capture polarity judgment variation provide better results than dictionaries that ignore polarity judgment variation. Moreover, we show that SELSP is considerably faster than Transformer-based models in polarity prediction tasks.


title: Some Cases of the Erd\H{o}s-Lov\'asz Tihany Conjecture for Claw-free Graphs

abstract: The Erd\H{o}s-Lov\'asz Tihany Conjecture states that any $G$ with chromatic number $\chi(G) = s + t - 1 > \omega(G)$, with $s,t \geq 2$ can be split into two vertex-disjoint subgraphs of chromatic number $s, t$ respectively. We prove this conjecture for pairs $(s, t)$ if $t \leq s + 2$, whenever $G$ has a $K_s$, and for pairs $(s, t)$ if $t \leq 4 s - 3$, whenever $G$ contains a $K_s$ and is claw-free. We also prove the Erd\H{o}s Lov\'asz Tihany Conjecture for the pair $(3, 10)$ for claw-free graphs.


title: Partition strategies for the Maker-Breaker domination game

abstract: The Maker-Breaker domination game is a positional game played on a graph by two players called Dominator and Staller. The players alternately select a vertex of the graph that has not yet been chosen. Dominator wins if at some point the vertices she has chosen form a dominating set of the graph. Staller wins if Dominator cannot form a dominating set. Deciding if Dominator has a winning strategy has been shown to be a PSPACE-complete problem even when restricted to chordal or bipartite graphs. In this paper, we consider strategies for Dominator based on partitions of the graph into basic subgraphs where Dominator wins as the second player. Using partitions into cycles and edges (also called perfect [1,2]-factors), we show that Dominator always wins in regular graphs and that deciding whether Dominator has a winning strategy as a second player can be computed in polynomial time for outerplanar and block graphs. We then study partitions into subgraphs with two universal vertices, which is equivalent to considering the existence of pairing dominating sets with adjacent pairs. We show that in interval graphs, Dominator wins if and only if such a partition exists. In particular, this implies that deciding whether Dominator has a winning strategy playing second is in NP for interval graphs. We finally provide an algorithm in $n^{k+3}$ for $k$-nested interval graphs (i.e. interval graphs with at most $k$ intervals included one in each other).


title: Inverse Design of Planar Clamped-Free Elastic Rods from Noisy Data

abstract: Slender structures, such as rods, often exhibit large nonlinear geometrical deformations even under moderate external forces (e.g., gravity). This characteristic results in a rich variety of morphological changes, making them appealing for engineering design and applications, such as soft robots, submarine cables, decorative knots, and more. Prior studies have demonstrated that the natural shape of a rod significantly influences its deformed geometry. Consequently, the natural shape of the rod should be considered when manufacturing and designing rod-like structures. Here, we focus on an inverse problem: can we determine the natural shape of a suspended 2D planar rod so that it deforms into a desired target shape? We begin by formulating a theoretical framework based on the statics of planar rod equilibrium that can compute the natural shape of a planar rod given its target shape. Furthermore, we analyze the impact of uncertainties (e.g., noise in the data) on the accuracy of the theoretical framework. The results reveal the shortcomings of the theoretical framework in handling uncertainties in the inverse problem, a fact often overlooked in previous works. To mitigate the influence of the uncertainties, we combine the statics of the planar rod with the adjoint method for parameter sensitivity analysis, constructing a learning framework that can efficiently explore the natural shape of the designed rod with enhanced robustness. This framework is validated numerically for its accuracy and robustness, offering valuable insights into the inverse design of soft structures for various applications, including soft robotics and animation of morphing structures.


title: Perturbative versus Non-Perturbative Renormalization

abstract: Approximated functional renormalization group (FRG) equations lead to regulator-dependent $\beta$-functions, in analogy to the scheme-dependence of the perturbative renormalization group (pRG) approach. A scheme transformation redefines the couplings to relate the $\beta$-functions of the FRG method with an arbitrary regulator function to the pRG ones obtained in a given scheme. Here, we consider a periodic sine-Gordon scalar field theory in $d=2$ dimensions and show that the relation of the FRG and pRG approaches is intricate. Although, both the FRG and the pRG methods are known to be sufficient to obtain the critical frequency $\beta_c^2 =8\pi$ of the model independently of the choice of the regulator and the renormalization scheme, we show that one has to go beyond the standard pRG method (e.g., using an auxiliary mass term) or the Coulomb-gas representation in order to obtain the $\beta$-function of the wave function renormalization. This aspect makes the scheme transformation non-trivial. Comparing flow equations of the two-dimensional sine-Gordon theory without any scheme-transformation, i.e., redefinition of couplings, we find that the auxiliary mass pRG $\beta$-functions of the minimal subtraction scheme can be recovered within the FRG approach with the choice of the power-law regulator with $b=2$, therefore constitutes a preferred choice for the comparison of FRG and pRG flows.


title: This actually looks like that: Proto-BagNets for local and global interpretability-by-design

abstract: Interpretability is a key requirement for the use of machine learning models in high-stakes applications, including medical diagnosis. Explaining black-box models mostly relies on post-hoc methods that do not faithfully reflect the model's behavior. As a remedy, prototype-based networks have been proposed, but their interpretability is limited as they have been shown to provide coarse, unreliable, and imprecise explanations. In this work, we introduce Proto-BagNets, an interpretable-by-design prototype-based model that combines the advantages of bag-of-local feature models and prototype learning to provide meaningful, coherent, and relevant prototypical parts needed for accurate and interpretable image classification tasks. We evaluated the Proto-BagNet for drusen detection on publicly available retinal OCT data. The Proto-BagNet performed comparably to the state-of-the-art interpretable and non-interpretable models while providing faithful, accurate, and clinically meaningful local and global explanations. The code is available at https://github.com/kdjoumessi/Proto-BagNets.


title: A note on viscous flow induced by half-line sources bounded by conical surfaces

abstract: In this paper axisymmetric solutions of the Navier-Stokes equations governing the flow induced by a half-line source when the fluid domain is bounded by a conical wall are discussed. Two types of boundary conditions are identified; one in which the radial velocity along the axis is prescribed, and the other in which the radial velocity along the axis is obtained as an eigenvalue of the problem. The existence of these solutions are limited to a range of Reynolds numbers and the transition from one case to the other are discussed in detail.


title: Inference for Delay Differential Equations Using Manifold-Constrained Gaussian Processes

abstract: Dynamic systems described by differential equations often involve feedback among system components. When there are time delays for components to sense and respond to feedback, delay differential equation (DDE) models are commonly used. This paper considers the problem of inferring unknown system parameters, including the time delays, from noisy and sparse experimental data observed from the system. We propose an extension of manifold-constrained Gaussian processes to conduct parameter inference for DDEs, whereas the time delay parameters have posed a challenge for existing methods that bypass numerical solvers. Our method uses a Bayesian framework to impose a Gaussian process model over the system trajectory, conditioned on the manifold constraint that satisfies the DDEs. For efficient computation, a linear interpolation scheme is developed to approximate the values of the time-delayed system outputs, along with corresponding theoretical error bounds on the approximated derivatives. Two simulation examples, based on Hutchinson's equation and the lac operon system, together with a real-world application using Ontario COVID-19 data, are used to illustrate the efficacy of our method.


title: Near-field Strong Coupling and Entanglement of Quantum Emitters for Room-temperature Quantum Technologies

abstract: In recent years, quantum nanophotonics has forged a rich nexus of nanotechnology with photonic quantum information processing, offering remarkable prospects for advancing quantum technologies beyond their current technical limits in terms of physical compactness, energy efficiency, operation speed, temperature robustness and scalability. In this perspective, we highlight a number of recent studies that reveal the especially compelling potential of nanoplasmonic cavity quantum electrodynamics for driving quantum technologies down to nanoscale spatial and ultrafast temporal regimes, whilst elevating them to ambient temperatures. Our perspective encompasses innovative proposals for quantum plasmonic biosensing, driving ultrafast single-photon emission and achieving near-field multipartite entanglement in the strong coupling regime, with a notable emphasis on the use of industry-grade devices. We conclude with an outlook emphasizing how the bespoke characteristics and functionalities of plasmonic devices are shaping contemporary research directives in ultrafast and room-temperature quantum nanotechnologies.


title: Multimodal Deformable Image Registration for Long-COVID Analysis Based on Progressive Alignment and Multi-perspective Loss

abstract: Long COVID is characterized by persistent symptoms, particularly pulmonary impairment, which necessitates advanced imaging for accurate diagnosis. Hyperpolarised Xenon-129 MRI (XeMRI) offers a promising avenue by visualising lung ventilation, perfusion, as well as gas transfer. Integrating functional data from XeMRI with structural data from Computed Tomography (CT) is crucial for comprehensive analysis and effective treatment strategies in long COVID, requiring precise data alignment from those complementary imaging modalities. To this end, CT-MRI registration is an essential intermediate step, given the significant challenges posed by the direct alignment of CT and Xe-MRI. Therefore, we proposed an end-to-end multimodal deformable image registration method that achieves superior performance for aligning long-COVID lung CT and proton density MRI (pMRI) data. Moreover, our method incorporates a novel Multi-perspective Loss (MPL) function, enhancing state-of-the-art deep learning methods for monomodal registration by making them adaptable for multimodal tasks. The registration results achieve a Dice coefficient score of 0.913, indicating a substantial improvement over the state-of-the-art multimodal image registration techniques. Since the XeMRI and pMRI images are acquired in the same sessions and can be roughly aligned, our results facilitate subsequent registration between XeMRI and CT, thereby potentially enhancing clinical decision-making for long COVID management.


title: \'Evaluation des capacit\'es de r\'eponse de larges mod\`eles de langage (LLM) pour des questions d'historiens

abstract: Large Language Models (LLMs) like ChatGPT or Bard have revolutionized information retrieval and captivated the audience with their ability to generate custom responses in record time, regardless of the topic. In this article, we assess the capabilities of various LLMs in producing reliable, comprehensive, and sufficiently relevant responses about historical facts in French. To achieve this, we constructed a testbed comprising numerous history-related questions of varying types, themes, and levels of difficulty. Our evaluation of responses from ten selected LLMs reveals numerous shortcomings in both substance and form. Beyond an overall insufficient accuracy rate, we highlight uneven treatment of the French language, as well as issues related to verbosity and inconsistency in the responses provided by LLMs.


title: Ab initio modeling of superconducting alloys

abstract: Designing new, technologically relevant superconductors has long been at the forefront of solid-state physics and chemistry research. However, developing efficient approaches for modeling the thermodynamics of superconducting alloys while accurately evaluating their physical properties has proven to be a very challenging task. To fill this gap, we propose an ab initio thermodynamic statistical method, the Extended Generalized Quasichemical Approximation (EGQCA), to describe off-stoichiometric superconductors. Within EGQCA, one can predict any computationally accessible property of the alloy, such as the critical temperature in superconductors and the electron-phonon coupling parameter, as a function of composition and crystal growth conditions by computing the cluster occurrence probabilities that minimize the overall mixing Gibbs free energy. Importantly, EGQCA incorporates directly chemical ordering, lattice distortions, and vibrational contributions. As a proof of concept, we applied EGQCA to the well-known Al-doped MgB$_2$ and to niobium alloyed with titanium and vanadium, showing a remarkable agreement with the experimental data. Additionally, we model the near-room temperature sodalite-like Y$_{1-x}$Ca$_x$H$_6$ superconducting solid solution, demonstrating that EGQCA particularly possesses a promising potential for designing in silico high-$T_{\text{c}}$ superhydride alloys. Our approach notably enables the high-throughput screening of complex superconducting solid solutions, intrinsically providing valuable insights into the interplay between synthesis, thermodynamics, and physical properties.


title: Enhancing Idiomatic Representation in Multiple Languages via an Adaptive Contrastive Triplet Loss

abstract: Accurately modeling idiomatic or non-compositional language has been a longstanding challenge in Natural Language Processing (NLP). This is partly because these expressions do not derive their meanings solely from their constituent words, but also due to the scarcity of relevant data resources, and their impact on the performance of downstream tasks such as machine translation and simplification. In this paper we propose an approach to model idiomaticity effectively using a triplet loss that incorporates the asymmetric contribution of components words to an idiomatic meaning for training language models by using adaptive contrastive learning and resampling miners to build an idiomatic-aware learning objective. Our proposed method is evaluated on a SemEval challenge and outperforms previous alternatives significantly in many metrics.


title: Polyfold fundamental classes and globally structured multivalued perturbations

abstract: Work of Hofer--Wysocki--Zehnder has shown that many spaces of pseudoholomorphic curves that arise when studying symplectic manifolds may be described as the zero set of a polyfold Fredholm section. This framework has many analytic advantages. However the methods they develop to extract useful topological information from it are rather cumbersome. This paper develops a general construction of a finite dimensional space of multivalued perturbations of a polyfold Fredholm section such that almost all elements are regularizing. These perturbation are globally structured and explicitly described, and, in cases where the moduli space has no formal boundary, permit a transparent definition of its (rational Cech) fundamental class.


title: EmpathyEar: An Open-source Avatar Multimodal Empathetic Chatbot

abstract: This paper introduces EmpathyEar, a pioneering open-source, avatar-based multimodal empathetic chatbot, to fill the gap in traditional text-only empathetic response generation (ERG) systems. Leveraging the advancements of a large language model, combined with multimodal encoders and generators, EmpathyEar supports user inputs in any combination of text, sound, and vision, and produces multimodal empathetic responses, offering users, not just textual responses but also digital avatars with talking faces and synchronized speeches. A series of emotion-aware instruction-tuning is performed for comprehensive emotional understanding and generation capabilities. In this way, EmpathyEar provides users with responses that achieve a deeper emotional resonance, closely emulating human-like empathy. The system paves the way for the next emotional intelligence, for which we open-source the code for public access.


title: Hybrid Alignment Training for Large Language Models

abstract: Alignment training is crucial for enabling large language models (LLMs) to cater to human intentions and preferences. It is typically performed based on two stages with different objectives: instruction-following alignment and human-preference alignment. However, aligning LLMs with these objectives in sequence suffers from an inherent problem: the objectives may conflict, and the LLMs cannot guarantee to simultaneously align with the instructions and human preferences well. To response to these, in this work, we propose a Hybrid Alignment Training (Hbat) approach, based on alternating alignment and modified elastic weight consolidation methods. The basic idea is to alternate between different objectives during alignment training, so that better collaboration can be achieved between the two alignment tasks.We experiment with Hbat on summarization and dialogue tasks. Experimental results show that the proposed \textsc{Hbat} can significantly outperform all baselines. Notably, Hbat yields consistent performance gains over the traditional two-stage alignment training when using both proximal policy optimization and direct preference optimization.


title: Upper bounds on probabilities in channel measurements on qubit channels and their applications

abstract: One of the fundamental tasks in quantum information processing is to measure the quantum channels. Similar to measurements of quantum states, measurements of quantum channels are inherently stochastic, that is, quantum theory provides a formula to calculate the probability of obtaining an outcome. The upper bound on each probability associated with the measurement outcome of the quantum channels is a fundamental and important quantity. In this study, we derived the upper bounds of the probability in a channel measurement for specific classes of quantum channels. We also present two applications for the upper bounds. The first is the notion of convertibility considered by Alberti and Uhlmann and the second is the detection problem of a quantum channel. These applications demonstrate the significance of the obtained upper bounds.


title: Supermodular Approximation of Norms and Applications

abstract: Many classical problems in theoretical computer science involve norm, even if implicitly; for example, both XOS functions and downward-closed sets are equivalent to some norms. The last decade has seen a lot of interest in designing algorithms beyond the standard $\ell_p$ norms $\|\cdot \|_p$. Despite notable advancements, many existing methods remain tailored to specific problems, leaving a broader applicability to general norms less understood. This paper investigates the intrinsic properties of $\ell_p$ norms that facilitate their widespread use and seeks to abstract these qualities to a more general setting. We identify supermodularity -- often reserved for combinatorial set functions and characterized by monotone gradients -- as a defining feature beneficial for $ \|\cdot\|_p^p$. We introduce the notion of $p$-supermodularity for norms, asserting that a norm is $p$-supermodular if its $p^{th}$ power function exhibits supermodularity. The association of supermodularity with norms offers a new lens through which to view and construct algorithms. Our work demonstrates that for a large class of problems $p$-supermodularity is a sufficient criterion for developing good algorithms. This is either by reframing existing algorithms for problems like Online Load-Balancing and Bandits with Knapsacks through a supermodular lens, or by introducing novel analyses for problems such as Online Covering, Online Packing, and Stochastic Probing. Moreover, we prove that every symmetric norm can be approximated by a $p$-supermodular norm. Together, these recover and extend several results from the literature, and support $p$-supermodularity as a unified theoretical framework for optimization challenges centered around norm-related problems.


title: An Open-Source Framework for Rapid Validation of Scientific ASICs

abstract: Spacely is an open-source framework for the post-silicon validation of analog, digital, and mixed-signal ASICs (Application-Specific Integrated Circuits) which maximizes the reuse of hardware and software, reducing the time taken to achieve meaningful test results. Spacely specifically addresses the needs of small, flexible ASIC design teams commonly found in academia or research institutions which benefit most from sharing the overhead of test stand creation between many unique ASIC designs. Spacely is a set of software, firmware, and design practices. It targets two primary hardware platforms (NI-PXI and Caribou) as well as offering extensible support for bench instruments. Spacely provides a high-level Python interface to all test hardware for accessibility, while also giving more sophisticated teams the opportunity to integrate custom test firmware. The design principles of Spacely are presented, along with a demonstrative example of using Spacely to test a pixel detector readout ASIC.


title: DiffExplainer: Unveiling Black Box Models Via Counterfactual Generation

abstract: In the field of medical imaging, particularly in tasks related to early disease detection and prognosis, understanding the reasoning behind AI model predictions is imperative for assessing their reliability. Conventional explanation methods encounter challenges in identifying decisive features in medical image classifications, especially when discriminative features are subtle or not immediately evident. To address this limitation, we propose an agent model capable of generating counterfactual images that prompt different decisions when plugged into a black box model. By employing this agent model, we can uncover influential image patterns that impact the black model's final predictions. Through our methodology, we efficiently identify features that influence decisions of the deep black box. We validated our approach in the rigorous domain of medical prognosis tasks, showcasing its efficacy and potential to enhance the reliability of deep learning models in medical image classification compared to existing interpretation methods. The code will be publicly available at https://github.com/ayanglab/DiffExplainer.


title: Subresiduated Nelson Algebras

abstract: In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main tool for its study is the construction provided by Vakarelov. Using it, we characterize the lattice of congruences of a subresiduated Nelson algebra through some of its implicative filters. We use this characterization to describe simple and subdirectly irreducible algebras, as well as principal congruences. Moreover, we prove that the variety of subresiduated Nelson algebras has equationally definable principal congruences and also the congruence extension property. Additionally, we present an equational base for the variety generated by the totally ordered subresiduated Nelson algebras. Finally, we show that there exists an equivalence between the algebraic category of subresiduated lattices and the algebraic category of centedred subresiduated Nelson algebras.


title: Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones

abstract: The aim of this paper is to honor Ivo G. Rosenberg by describing some of his most influential results and their impact in logic, discrete mathematics, algebra, and computer science.


title: Percolation transition of k-frequent destinations network for urban mobility

abstract: Urban spatial interactions are a complex aggregation of routine visits and random explorations by individuals. The inherent uncertainty of these random visitations poses significant challenges to understanding urban structures and socioeconomic developments. To capture the core dynamics of urban interaction networks, we analyze the percolation structure of the $k$-most frequented destinations of intracity place-to-place flows from mobile phone data of eight major U.S. cities at a Census Block Group (CBG) level. Our study reveals a consistent percolation transition at $k^* = 130$, a critical threshold for the number of frequently visited destinations necessary to maintain a cohesive urban network. This percolation threshold proves remarkably consistent across diverse urban configurations, sizes, and geographical settings over a 48-month study period, and can largely be interpreted as the joint effect of the emergence of hubness and the level of mixing of residents. Furthermore, we examine the socioeconomic profiles of residents from different origin areas categorized by the fulfillment level of $k^*=130$ principal destinations, revealing a pronounced distinction in the origins' socioeconomic advantages. These insights offer a nuanced understanding of how urban spaces are interconnected and the determinants of travel behavior. Our findings contribute to a deeper comprehension of the structural dynamics that govern urban spatial interactions.


title: Pulscan: Binary pulsar detection using unmatched filters on NVIDIA GPUs

abstract: The Fourier Domain Acceleration Search (FDAS) and Fourier Domain Jerk Search (FDJS) are proven matched filtering techniques for detecting binary pulsar signatures in time-domain radio astronomy datasets. Next generation radio telescopes such as the SPOTLIGHT project at the GMRT produce data at rates that mandate real-time processing, as storage of the entire captured dataset for subsequent offline processing is infeasible. The computational demands of FDAS and FDJS make them challenging to implement in real-time detection pipelines, requiring costly high performance computing facilities. To address this we propose Pulscan, an unmatched filtering approach which achieves order-of-magnitude improvements in runtime performance compared to FDAS whilst being able to detect both accelerated and some jerked binary pulsars. We profile the sensitivity of Pulscan using a distribution (N = 10,955) of synthetic binary pulsars and compare its performance with FDAS and FDJS. Our implementation of Pulscan includes an OpenMP version for multicore CPU acceleration, a version for heterogeneous CPU/GPU environments such as NVIDIA Grace Hopper, and a fully optimized NVIDIA GPU implementation for integration into an AstroAccelerate pipeline, which will be deployed in the SPOTLIGHT project at the GMRT. Our results demonstrate that unmatched filtering in Pulscan can serve as an efficient data reduction step, prioritizing datasets for further analysis and focusing human and subsequent computational resources on likely binary pulsar signatures.


title: UDA: A Benchmark Suite for Retrieval Augmented Generation in Real-world Document Analysis

abstract: The use of Retrieval-Augmented Generation (RAG) has improved Large Language Models (LLMs) in collaborating with external data, yet significant challenges exist in real-world scenarios. In areas such as academic literature and finance question answering, data are often found in raw text and tables in HTML or PDF formats, which can be lengthy and highly unstructured. In this paper, we introduce a benchmark suite, namely Unstructured Document Analysis (UDA), that involves 2,965 real-world documents and 29,590 expert-annotated Q&A pairs. We revisit popular LLM- and RAG-based solutions for document analysis and evaluate the design choices and answer qualities across multiple document domains and diverse query types. Our evaluation yields interesting findings and highlights the importance of data parsing and retrieval. We hope our benchmark can shed light and better serve real-world document analysis applications. The benchmark suite and code can be found at https://github.com/qinchuanhui/UDA-Benchmark.


title: Stress induced martensitic transformation in NiTi at elevated temperatures: martensite variant microstructures, recoverable strains and plastic strains

abstract: Functional behavior of NiTi shape memory alloys is restricted to temperatures below 150 {\deg}C. To shed light on the origin of the loss of functional properties of NiTi with increasing temperature, we have investigated stress induced martensitic transformations in nanocrystalline NiTi shape memory wire by thermomechanical testing supplemented with post-mortem reconstruction of martensite variant microstructures in grains by transmission electron microscopy. It was found that the forward stress induced martensitic transformation proceeding via propagation of macroscopic Luders band fronts in stress plateaus is not completed at the end of the stress plateau and generates unrecoverable plastic strain in addition to recoverable transformation strain. The higher the test temperature, the larger is the plastic strain as well as the volume fraction of retained austenite. The reconstructed martensite variant microstructures in grains of the NiTi wire deformed up to the end of the stress plateau at 120 {\deg}C were found to be filled with single domains of (001) compound twin laminate, some grains were nearly detwinned and some grains contained (100) deformation twins. The recoverable transformation strain (~6%) generated by the forward martensitic transformation is nearly independent on the test temperature (plateau stress) because detwinning of (001) compound twins in the microstructure is prohibited by lateral constraint from the surrounding grains in nanocrystalline wire. It is concluded that the gradual loss of functionality of NiTi with increasing temperature does not originate from the plastic deformation of austenite, but that it derives from the lack of resistance of the stress induced martensite to the plastic deformation under increasing stress.


title: Causal Learning in Biomedical Applications

abstract: We present a benchmark for methods in causal learning. Specifically, we consider training a rich class of causal models from time-series data, and we suggest the use of the Krebs cycle and models of metabolism more broadly.


title: A thick reaction zone model for premixed flames in two-dimensional channels

abstract: Direct interactions between the flow field and the chemical reaction in premixed flames occur when the reaction zone thickness is comparable to, or greater than flow length scales. To study such interactions, a laminar model is considered that has direct bearings to steadily propagating deflagrations in a Hele-Shaw channel with a background plane Poiseuille flow. The study employs asymptotic analyses, pertaining to large activation energy and lubrication theories and considers a distinguished limit where the channel width is comparable to the reaction zone thickness, with account being taken of thermal-expansion and heat-loss effects. The reaction zone structure and burning rates depend on three parameters, namely, the Peclet number, $\mathcal{P}$, the Lewis number, $Le$ and the ratio of channel half-width to reaction zone thickness, $\lambda_*$. When the parameter $\lambda_*$ is small, transport processes are controlled by Taylor's dispersion mechanism and an explicit formula for the effective burning speed $S_T$ is obtained. The formula indicates that $S_T/S_L \propto 1/Le$ for $\mathcal{P}\gg 1$, which interestingly coincides with a recent experimental prediction of the flame speed in a highly turbulent jet flame. The results suggest that the role played by differential diffusion effects is significant both in laminar and turbulent cases. The reason for the peculiar $1/Le$ dependence can be attributed, in our laminar model, to Taylor dispersion. Presumably, this dependence may be attributed to a similar but more general mechanism in the turbulent case, rather than to diffusive-thermal curvature effects. The latter effects play however an important role in determining the flame speed when $\lambda_*$ is large. The magnitude of heat losses at extinction, is multiplied by a factor $1/Le^2$ in comparison with those corresponding to the no-flow case in narrow channels.


title: Semileptonic $B$ decays from Belle and Belle II

abstract: This report summarizes recent measurements of the CKM matrix elements $|V_{cb}|$, $|V_{ub}|$, and lepton-flavor universality tests in semileptonic B decays from the Belle and Belle~II experiments. The decay branching factions $R(D^{*})$ and $R(X)$ are measured with the Belle~II early dataset and the results are found to be consistent with the Standard Model predictions. From a simultaneous measurement of untagged $B^0 \to \pi^{-} \ell^{+} \nu$ and $B^{+} \to \rho^0 \ell^{+} \nu$, the $|V_{ub}|$ value is determined incorporating external theoretical constraints on the decay form factors. The first measurement of the full angular coefficients for $B \to D^* \ell \nu$ decays at Belle provides comprehensive information for determining the decay form factors and $|V_{\mathrm{cb}}|$. This presentation also includes measurements of the ratios $|V_{ub}|^{\mathrm{excl}}/|V_{ub}|^{\mathrm{incl}}$ and $|V_{ub}|^{\mathrm{incl}}/|V_{cb}|^{\mathrm{incl}}$.


title: Setting Targets is All You Need:Improved Order Competitive Ratio for Online Selection

abstract: There is a rising interest for studying the online benchmark as an alternative of the classical offline benchmark in online stochastic settings. Ezra, Feldman, Gravin, and Tang (SODA 2023) introduced the notion of order-competitive ratio, defined as the worst-case ratio between the performance of the best order-unaware algorithm and the best order-aware algorithm, to quantify the loss incurred by the lack of knowledge of the arrival order. They showed in the online single selection setting (a.k.a. the prophet problem), the optimal order-competitive ratio achieved by deterministic algorithms is $1/\varphi \approx 0.618$, and left with an open question whether randomized algorithms can do better. We answer the open question firmly by introducing a novel family of algorithms called \emph{targeted value algorithms}. We show that the task of online selection is as easy as guessing the optimal online benchmark. Specifically, we provide 1) an alternative optimal $1/\varphi$ order-competitive algorithm by setting the targeted value deterministically, and 2) a $0.732$ order-competitive algorithm by setting the targeted value randomly. We further provide a $0.758$ upper bound on the order-competitive ratio of our algorithm, showing that our analysis is close to the best possible, and establish an upper bound of $0.829$ on the order-competitive ratio for general randomized order-unaware algorithms.


title: Reward Steering with Evolutionary Heuristics for Decoding-time Alignment

abstract: The widespread applicability and increasing omnipresence of LLMs have instigated a need to align LLM responses to user and stakeholder preferences. Many preference optimization approaches have been proposed that fine-tune LLM parameters to achieve good alignment. However, such parameter tuning is known to interfere with model performance on many tasks. Moreover, keeping up with shifting user preferences is tricky in such a situation. Decoding-time alignment with reward model guidance solves these issues at the cost of increased inference time. However, most of such methods fail to strike the right balance between exploration and exploitation of reward -- often due to the conflated formulation of these two aspects - to give well-aligned responses. To remedy this we decouple these two aspects and implement them in an evolutionary fashion: exploration is enforced by decoding from mutated instructions and exploitation is represented as the periodic replacement of poorly-rewarded generations with well-rewarded ones. Empirical evidences indicate that this strategy outperforms many preference optimization and decode-time alignment approaches on two widely accepted alignment benchmarks AlpacaEval 2 and MT-Bench. Our implementation will be available at: https://darwin-alignment.github.io.


title: de Branges matrices and associated de Branges spaces of vector valued entire functions

abstract: This paper extends the concept of de Branges matrices to any finite $m\times m$ order where $m=2n$. We shall discuss these matrices along with the theory of de Branges spaces of $\mathbb{C}^n$-valued entire functions and their associated functions. A parametrization of these matrices is obtained using the Smirnov maximum principle for matrix valued functions. Additionally, a factorization of matrix valued meromorphic functions is discussed.


title: Multiscale modelling of animal movement with persistent dynamics

abstract: Wild animals are commonly fitted with trackers that record their position through time, to learn about their behaviour. Broadly, statistical models for tracking data often fall into two categories: local models focus on describing small-scale movement decisions, and global models capture large-scale spatial distributions. Due to this dichotomy, it is challenging to describe mathematically how animals' distributions arise from their short-term movement patterns, and to combine data sets collected at different scales. We propose a multiscale model of animal movement and space use based on the underdamped Langevin process, widely used in statistical physics. The model is convenient to describe animal movement for three reasons: it is specified in continuous time (such that its parameters are not dependent on an arbitrary time scale), its speed and direction are autocorrelated (similarly to real animal trajectories), and it has a closed form stationary distribution that we can view as a model of long-term space use. We use the common form of a resource selection function for the stationary distribution, to model the environmental drivers behind the animal's movement decisions. We further increase flexibility by allowing movement parameters to be time-varying, e.g., to account for daily cycles in an animal's activity. We formulate the model as a state-space model and present a method of inference based on the Kalman filter. The approach requires discretising the continuous-time process, and we use simulations to investigate performance for various time resolutions of observation. The approach works well at fine resolutions, though the estimated stationary distribution tends to be too flat when time intervals between observations are very long.


title: Stochastic comparisons of record values based on their relative aging

abstract: In this paper we examine some relative orderings of upper and lower records. It is shown that if m > n, the mth upper record ages faster than the nth upper record, where the data sets come from a sequence of independent and identically distributed observations from a continuous distribution. Sufficient conditions are also obtained to see whether the mth upper record arisen from a continuous distribution ages faster in terms of the relative hazard rate than the nth upper record arisen from another continuous distribution. It is also shown that the reversed hazard rate of the mth lower record decreases faster than the reversed hazard rate of the nth lower record, when m > n. Preservation property of the relative reversed hazard rate order at lower record values is investigated. Several examples are presented to examine the results.


title: Fiduciary Duty in the Municipal Bonds Market

abstract: I examine whether the imposition of fiduciary duty on municipal advisors affects bond yields and advising fees. Using a difference-in-differences analysis, I show that bond yields reduce by $\sim$9\% after the imposition of the SEC Municipal Advisor Rule due to lower underwriting spreads. Larger municipalities are more likely to recruit advisors after the rule is effective and experience a greater reduction in yields. However, smaller issuers do not experience a reduction in offering yields after the SEC Rule. Instead, their borrowing cost increases if their primary advisor exits the market. Using novel hand-collected data, I find that the average advising fees paid by issuers does not increase after the regulation. Overall, my results suggest that while fiduciary duty may mitigate the principal-agent problem between some issuers and advisors, there is heterogeneity among issuers.


title: Exploring the Efficacy of Robotic Assistants with ChatGPT and Claude in Enhancing ADHD Therapy: Innovating Treatment Paradigms

abstract: Attention Deficit Hyperactivity Disorder (ADHD) is a neurodevelopmental condition characterized by inattention, hyperactivity, and impulsivity, which can significantly impact an individual's daily functioning and quality of life. Occupational therapy plays a crucial role in managing ADHD by fostering the development of skills needed for daily living and enhancing an individual's ability to participate fully in school, home, and social situations. Recent studies highlight the potential of integrating Large Language Models (LLMs) like ChatGPT and Socially Assistive Robots (SAR) to improve psychological treatments. This integration aims to overcome existing limitations in mental health therapy by providing tailored support and adapting to the unique needs of this sensitive group. However, there remains a significant gap in research exploring the combined use of these advanced technologies in ADHD therapy, suggesting an opportunity for novel therapeutic approaches. Thus, we integrated two advanced language models, ChatGPT-4 Turbo and Claude-3 Opus, into a robotic assistant to explore how well each model performs in robot-assisted interactions. Additionally, we have compared their performance in a simulated therapy scenario to gauge their effectiveness against a clinically validated customized model. The results of this study show that ChatGPT-4 Turbo excelled in performance and responsiveness, making it suitable for time-sensitive applications. Claude-3 Opus, on the other hand, showed strengths in understanding, coherence, and ethical considerations, prioritizing safe and engaging interactions. Both models demonstrated innovation and adaptability, but ChatGPT-4 Turbo offered greater ease of integration and broader language support. The selection between them hinges on the specific demands of ADHD therapy.


title: On the Computing and Communication Tradeoff in Reasoning-Based Multi-User Semantic Communications

abstract: Semantic communication (SC) is recognized as a promising approach for enabling reliable communication with minimal data transfer while maintaining seamless connectivity for a group of wireless users. Unlocking the advantages of SC for multi-user cases requires revisiting how communication and computing resources are allocated. This reassessment should consider the reasoning abilities of end-users, enabling receiving nodes to fill in missing information or anticipate future events more effectively. Yet, state-of-the-art SC systems primarily focus on resource allocation through compression based on semantic relevance, while overlooking the underlying data generation mechanisms and the tradeoff between communications and computing. Thus, they cannot help prevent a disruption in connectivity. In contrast, in this paper, a novel framework for computing and communication resource allocation is proposed that seeks to demonstrate how SC systems with reasoning capabilities at the end nodes can improve reliability in an end-to-end multi-user wireless system with intermittent communication links. Towards this end, a novel reasoning-aware SC system is proposed for enabling users to utilize their local computing resources to reason the representations when the communication links are unavailable. To optimize communication and computing resource allocation in this system, a noncooperative game is formulated among multiple users whose objective is to maximize the effective semantic information (computed as a product of reliability and semantic information) while controlling the number of semantically relevant links that are disrupted. Simulation results show that the proposed reasoning-aware SC system results in at least a $16.6\%$ enhancement in throughput and a significant improvement in reliability compared to classical communications systems that do not incorporate reasoning.


title: Recoverable and plastic strains generated by forward and reverse martensitic transformations under external stress in NiTi SMA wires

abstract: Superelastic NiTi 1 shape memory alloy (SMA) wire was subjected to thermomechanical loading tests in tension to evaluate stress and temperature conditions under which the wire deforms plastically. Although the alloy demonstrated a very high resistance to plastic deformation in both the austenite and martensite phases, incremental plastic strains were recorded whenever the B2 cubic to B19' monoclinic martensitic transformation (MT) took place under external stress. To shed light on the origin of the functional fatigue presumably originating from the accumulated plastic strains, special closed-loop thermomechanical loading tests were performed to evaluate recoverable and plastic strains generated by the forward and reverse MTs under external stress. These experiments revealed that both forward and reverse MTs generate well-defined incremental plastic strains only if they occur above certain stress thresholds. Specifically, the forward MT upon cooling under stresses up to 500 MPa does not produce plastic strain or lattice defects, whereas the reverse MT upon heating generates plastic strains even under stress as low as 100 MPa. It is proposed that plastic deformation generated by martensitic transformations under low stresses takes place by [100](001) dislocation slip in martensite and while under high stresses it occurs via kwinking deformation in martensite. The characteristic thresholds and magnitudes of plastic strains generated by the forward and reverse MTs define the functional fatigue limits for NiTi. Specifically, the stress-strain-temperature responses recorded in closed-loop thermomechanical tests remain stable if both forward and reverse MTs occur below these thresholds. Conversely, they become unstable and exhibit predictable ratcheting if the MTs exceed these thresholds.


title: A Law Limit Theorem for a sequence of random variables

abstract: An application of Levy's continuity theorem and Hankel transform allow us to establish a law limit theorem for the sequence $V_n=f(U)\sin(n U)$, where $U$ is uniformly distributed in $(0,1)$ and $f$ a given function. Further, we investigate the inverse problem by specifying a limit distribution and look for the suitable function $f$ ensuring the convergence in law to the specified distribution. Our work recovers and extends existing similar works, in particular we make it possible to sample from known laws including Gaussian and Cauchy distributions.


title: Phase-Bounded Broadcast Networks over Topologies of Communication

abstract: We study networks of processes that all execute the same finite state protocol and that communicate through broadcasts. The processes are organized in a graph (a topology) and only the neighbors of a process in this graph can receive its broadcasts. The coverability problem asks, given a protocol and a state of the protocol, whether there is a topology for the processes such that one of them (at least) reaches the given state. This problem is undecidable. We study here an under-approximation of the problem where processes alternate a bounded number of times $k$ between phases of broadcasting and phases of receiving messages. We show that, if the problem remains undecidable when $k$ is greater than 6, it becomes decidable for $k=2$, and EXPSPACE-complete for $k=1$. Furthermore, we show that if we restrict ourselves to line topologies, the problem is in $P$ for $k=1$ and $k=2$.


title: On acoustic space-time media that compute their own inverse

abstract: We derive time reflection and transmission coefficients for 1D acoustic waves encountering a time boundary at which the properties of the medium change instantaneously. The time reflection and transmission coefficients are shown to be identical to so-called reverse-space reflection and transmission coefficients which appear in the recursive computation of focusing wavefields used in seismology. We establish a bijectivity between the focusing wavefields and the wavefields produced by time scattering and show how this can be used to construct a space-time medium where the time scattering anticipates the space scattering and "computes" the exact inverse for the space scattering. The construction is shown to be independent of the boundary conditions chosen to compute the reflection and transmission coefficients. We demonstrate the construction with a simple numerical example of a single pulse encountering a series of time boundaries before reaching a spatial inhomogeneity. The time boundaries scatter the single pulse into a focusing wavefield that subsequently focuses through the spatial inhomogeneity. Under certain conditions, the transmitted wave has both the same wave shape and amplitude as the original pulse, yielding a transmission coefficient of unity. The reflection coefficient of the space-time medium is always non-zero however.


title: Martensitic transformation induced by cooling NiTi wire under various tensile stresses: martensite variant microstructure, textures, recoverable strains and plastic strains

abstract: To understand how martensitic transformation (MT) in polycrystalline NiTi shape memory alloy (SMA) proceeds under external stress, we evaluated recoverable transformation strains and plastic strains generated by the forward MT in nanocrystalline NiTi wire cooled under tensile stresses 0-600 MPa, determined textures in martensite and reconstructed martensite variant microstructures within the selected grains of the cooled wire. The obtained findings show that the forward MT proceeding under external stresses gives rise to characteristic recoverable transformation strains, plastic strains, martensite variant microstructures and martensite textures. MT occurring upon cooling under stresses exceeding 100 MPa creates martensite variant microstructures consisting of single domain of partially detwinned laminate of (001) compound twins filling entire grains. The recoverable transformation strain increases with increasing stress, reaches maximum ~5% at ~200 MPa stress, and remains constant with further increasing stress up to 600 MPa. Starting from 100 MPa stress, the forward MT generates also plastic strains, the magnitude of which also increases with increasing stress. We propose that, in the absence of external stress, the forward MT takes place via propagation of strain compatible habit plane interfaces between austenite and second order laminate of (001) compound twins. When the forward MT takes place under external tensile stress, it occurs equally, but the newly created martensite immediately reorients into single domains of (001) compound twins, partially detwins and deforms plastically under the action of the external stress. The plastic strain generated by the forward MT upon cooling under stress is attributed to the [100](001) dislocation slip in martensite at low stresses and plastic deformation of martensite by kwinking at high stresses.


title: Predicting electronic screening for fast Koopmans spectral functional calculations

abstract: Koopmans spectral functionals represent a powerful extension of Kohn-Sham density-functional theory (DFT), enabling accurate predictions of spectral properties with state-of-the-art accuracy. The success of these functionals relies on capturing the effects of electronic screening through scalar, orbital-dependent parameters. These parameters have to be computed for every calculation, making Koopmans spectral functionals more expensive than their DFT counterparts. In this work, we present a machine-learning model that -- with minimal training -- can predict these screening parameters directly from orbital densities calculated at the DFT level. We show on two prototypical use cases that using the screening parameters predicted by this model, instead of those calculated from linear response, leads to orbital energies that differ by less than 20 meV on average. Since this approach dramatically reduces run-times with minimal loss of accuracy, it will enable the application of Koopmans spectral functionals to classes of problems that previously would have been prohibitively expensive, such as the prediction of temperature-dependent spectral properties.


title: Landscape More Secure Than Portrait? Zooming Into the Directionality of Digital Images With Security Implications

abstract: The orientation in which a source image is captured can affect the resulting security in downstream applications. One reason for this is that many state-of-the-art methods in media security assume that image statistics are similar in the horizontal and vertical directions, allowing them to reduce the number of features (or trainable weights) by merging coefficients. We show that this artificial symmetrization tends to suppress important properties of natural images and common processing operations, causing a loss of performance. We also observe the opposite problem, where unaddressed directionality causes learning-based methods to overfit to a single orientation. These are vulnerable to manipulation if an adversary chooses inputs with the less common orientation. This paper takes a comprehensive approach, identifies and systematizes causes of directionality at several stages of a typical acquisition pipeline, measures their effect, and demonstrates for three selected security applications (steganalysis, forensic source identification, and the detection of synthetic images) how the performance of state-of-the-art methods can be improved by properly accounting for directionality.


title: A Cryogenic readout integrated circuit with analog pile-up and in-Pixel ADC for high frame rate Skipper CCD-in-CMOS Sensors

abstract: The Skipper CCD-in-CMOS Parallel Read-Out Circuit V2 (SPROCKET2) is designed to enable high frame rate readout of Skipper CCD-in-CMOS image sensors. The SPROCKET2 pixel is fabricated in a 65 nm CMOS process and occupies a 60$\mu$m $\times$ 60$\mu$m footprint. SPROCKET2 is intended to be heterogeneously integrated with a pixelated Skipper CCD-in-CMOS sensor, such that one readout pixel is connected to a multiplexed array of 16 active image sensor pixels, to match their spatial geometry. Our design benefits from the Skipper CCD-in-CMOS sensor's non-destructive readout capability to achieve exceptionally low noise through multi-sampling and averaging while optimizing for total power consumption. The pixel readout utilizes correlated double sampling to minimize 1/f noise and includes "pile-up" of ten successive samples in the analog domain before digitizing at a rate of 66.7 ksps. Measurement results of in-pixel serial SAR ADC show DNL and INL of ~0. 44 LSB and 0.58 LBS respectively. A large area array of 20,000 SPROCKET2 ADC pixels (multiplexed 1:16 to 320,000 sensor pixels) is currently under test. By reading out data over a 10 Gbps optical link, this pixel design enables a frame rate of $\sim$ 4 kfps for large sensing areas with minimal sensing deadtime. In the highest gain mode, the pixelated ADC has an input-referred resolution of 10$\mu$V with a simulated power consumption of 50$\mu$W. The pixel operates with constant current draw to minimize power-rail crosstalk.


title: Universality of scaled particle spectra in ultrarelativistic heavy-ion collisions

abstract: We propose a new observable derived from a centrality-dependent scaling of transverse particle spectra. By removing the global scales of total particle number and mean transverse momentum, we isolate the shape of the spectrum. In hydrodynamic simulations, while the multiplicity and mean transverse momentum fluctuate significantly, the scaled spectrum is found to be almost constant even at an event-by-event level and after resonance decays. This universality survives when averaging over events in each centrality bin before scaling. We then investigate the presence of this scaling in experimental data from the ALICE collaboration in Pb-Pb, Xe-Xe, and p-Pb collisions. We find a remarkable universality in the experimentally observed scaled spectra at low transverse momentum, compatible with hydrodynamic predictions. The data show a minor breaking of universality at large transverse momentum and hints of evolution with the system size that are not seen in simulations. Our results motivate further theoretical and experimental investigations of this new observable to bring to light the collective and non-collective behavior encoded in the transverse particle spectrum of different collision systems.


title: Prompting Whisper for QA-driven Zero-shot End-to-end Spoken Language Understanding

abstract: Zero-shot spoken language understanding (SLU) enables systems to comprehend user utterances in new domains without prior exposure to training data. Recent studies often rely on large language models (LLMs), leading to excessive footprints and complexity. This paper proposes the use of Whisper, a standalone speech processing model, for zero-shot end-to-end (E2E) SLU. To handle unseen semantic labels, SLU tasks are integrated into a question-answering (QA) framework, which prompts the Whisper decoder for semantics deduction. The system is efficiently trained with prefix-tuning, optimising a minimal set of parameters rather than the entire Whisper model. We show that the proposed system achieves a 40.7% absolute gain for slot filling (SLU-F1) on SLURP compared to a recently introduced zero-shot benchmark. Furthermore, it performs comparably to a Whisper-GPT-2 modular system under both in-corpus and cross-corpus evaluation settings, but with a relative 34.8% reduction in model parameters.


title: Assessing Effectiveness of Cyber Essentials Technical Controls

abstract: Cyber Essentials (CE) comprise a set of controls designed to protect organisations, irrespective of their size, against cyber attacks. The controls are firewalls, secure configuration, user access control, malware protection & security update management. In this work, we explore the extent to which CE remains robust against an ever-evolving threat landscape. To that end, we reconstruct 45 breaches mapped to MiTRE ATT&CK using an Incident Fault Tree ( IFT ) approach. Our method reveals the intersections where the placement of controls could have protected organisations. Then we identify appropriate Cyber Essential controls and/or Additional Controls for these vulnerable intersections. Our results show that CE controls can effectively protect against most attacks during the initial attack phase. However, they may need to be complemented with additional Controls if the attack proceeds further into organisational systems & networks. The Additional Controls (AC) we identify include back-ups, security awareness, logging and monitoring. Our analysis brings to the fore a foundational issue as to whether controls should exclude recovery and focus only on pre-emption. The latter makes the strong assumption that a prior identification of all controls in a dynamic threat landscape is indeed possible. Furthermore, any potential broadening of technical controls entails re-scoping the skills that are required for a Cyber Essentials (CE) assessor. To that end, we suggest human factors and security operations and incident management as two potential knowledge areas from Cyber Security Body of Knowledge (CyBOK) if there is any broadening of CE based on these findings.


title: How Effective is GPT-4 Turbo in Generating School-Level Questions from Textbooks Based on Bloom's Revised Taxonomy?

abstract: We evaluate the effectiveness of GPT-4 Turbo in generating educational questions from NCERT textbooks in zero-shot mode. Our study highlights GPT-4 Turbo's ability to generate questions that require higher-order thinking skills, especially at the "understanding" level according to Bloom's Revised Taxonomy. While we find a notable consistency between questions generated by GPT-4 Turbo and those assessed by humans in terms of complexity, there are occasional differences. Our evaluation also uncovers variations in how humans and machines evaluate question quality, with a trend inversely related to Bloom's Revised Taxonomy levels. These findings suggest that while GPT-4 Turbo is a promising tool for educational question generation, its efficacy varies across different cognitive levels, indicating a need for further refinement to fully meet educational standards.


title: How do longitudinal waves propagate transversely?

abstract: Modern, high-fidelity numerical simulations have shown an apparently anomalous result: a longitudinal elastodynamic wave travelling perpendicular to the forcing direction. Numerical simulations, in combination with an analytical model, are used to confirm that this is not simply a simulation artefact, but a true physical phenomenon, as well as illustrating that the behaviour also occurs for shear and guided waves. When assessing how this unexpected wave interacts with objects, however, it is found that it does not scatter, despite being clearly measurable. This paper has uncovered and explained this behaviour, which is critical for the reliable use of numerical wave simulations in elastic media, as well as potentially for high sensitivity experiments and other polarised wave modalities.