title: Lipolysis on Lipid Droplets: Mathematical Modelling and Numerical Discretisation

abstract: Lipolysis is a life-essential metabolic process, which supplies fatty acids stored in lipid droplets to the body in order to match the demands of building new cells and providing cellular energy. In this paper, we present a first mathematical modelling approach for lipolysis, which takes into account that the involved enzymes act on the surface of lipid droplets. We postulate an active region near the surface where the substrates are within reach of the surface-bound enzymes and formulate a system of reaction-diffusion PDEs, which connect the active region to the inner core of lipid droplets via interface conditions. We establish two numerical discretisations based on finite element method and isogeometric analysis, and validate them to perform reliably. For numerical testing purposes, we introduce and analyse a testing model featuring a nontrivial explicit stationary state solution, which describes beside lipolysis also a reverse process (in a physiologically oversimplified way). We prove the unique existence of global and equilibrium solutions. We establish exponential convergence to the equilibrium solutions using the entropy method. We then study the stationary state model and compute explicitly for radially symmetric solutions. Concerning the finite element methods, we show numerically the linear and quadratic convergence of the errors with respect to the $H^{1}$- and $L^{2}$-norms, respectively. Finally, we present numerical simulations of a prototypical PDE model of lipolysis and illustrate that ATGL clustering on lipid droplets can significantly slow down lipolysis.


title: Sigmoidal approximations of a nonautonomous neural network with infinite delay and Heaviside function

abstract: In this paper, we approximate a nonautonomous neural network with infinite delay and a Heaviside signal function by neural networks with sigmoidal signal functions. We show that the solutions of the sigmoidal models converge to those of the Heaviside inclusion as the sigmoidal parameter vanishes. In addition, we prove the existence of pullback attractors in both cases, and the convergence of the attractors of the sigmoidal models to those of the Heaviside inclusion.


title: Branch and Price for the Length-Constrained Cycle Partition Problem

abstract: The length-constrained cycle partition problem (LCCP) is a graph optimization problem in which a set of nodes must be partitioned into a minimum number of cycles. Every node is associated with a critical time and the length of every cycle must not exceed the critical time of any node in the cycle. We formulate LCCP as a set partitioning model and solve it using an exact branch-and-price approach. We use a dynamic programming-based pricing algorithm to generate improving cycles, exploiting the particular structure of the pricing problem for efficient bidirectional search and symmetry breaking. Computational results show that the LP relaxation of the set partitioning model produces strong dual bounds and our branch-and-price method improves significantly over the state of the art. It is able to solve closed instances in a fraction of the previously needed time and closes 13 previously unsolved instances, one of which has 76 nodes, a notable improvement over the previous limit of 52 nodes.


title: Gaussian Entanglement Measure: Applications to Multipartite Entanglement of Graph States and Bosonic Field Theory

abstract: Computationally feasible multipartite entanglement measures are needed to advance our understanding of complex quantum systems. An entanglement measure based on the Fubini-Study metric has been recently introduced by Cocchiarella and co-workers, showing several advantages over existing methods, including ease of computation, a deep geometrical interpretation, and applicability to multipartite entanglement. Here, we present the Gaussian Entanglement Measure (GEM), a generalization of geometric entanglement measure for multimode Gaussian states, based on the purity of fragments of the whole systems. Our analysis includes the application of GEM to a two-mode Gaussian state coupled through a combined beamsplitter and a squeezing transformation. Additionally, we explore 3-mode and 4-mode graph states, where each vertex represents a bosonic mode, and each edge represents a quadratic transformation for various graph topologies. Interestingly, the ratio of the geometric entanglement measures for graph states with different topologies naturally captures properties related to the connectivity of the underlying graphs. Finally, by providing a computable multipartite entanglement measure for systems with a large number of degrees of freedom, we show that our definition can be used to obtain insights into a free bosonic field theory on $\mathbb R_t\times S^1$, going beyond the standard bipartite entanglement entropy approach between different regions of spacetime. The results presented herein suggest how the GEM paves the way for using quantum information-theoretical tools to study the topological properties of the space on which a quantum field theory is defined.


title: Advancing EEG/MEG Source Imaging with Geometric-Informed Basis Functions

abstract: Electroencephalography (EEG) and Magnetoencephalography (MEG) are pivotal in understanding brain activity but are limited by their poor spatial resolution. EEG/MEG source imaging (ESI) infers the high-resolution electric field distribution in the brain based on the low-resolution scalp EEG/MEG observations. However, the ESI problem is ill-posed, and how to bring neuroscience priors into ESI method is the key. Here, we present a novel method which utilizes the Brain Geometric-informed Basis Functions (GBFs) as priors to enhance EEG/MEG source imaging. Through comprehensive experiments on both synthetic data and real task EEG data, we demonstrate the superiority of GBFs over traditional spatial basis functions (e.g., Harmonic and MSP), as well as existing ESI methods (e.g., dSPM, MNE, sLORETA, eLORETA). GBFs provide robust ESI results under different noise levels, and result in biologically interpretable EEG sources. We believe the high-resolution EEG source imaging from GBFs will greatly advance neuroscience research.


title: Can we constrain warm dark matter masses with individual galaxies?

abstract: We study the impact of warm dark matter mass on the internal properties of individual galaxies using a large suite of 1,024 state-of-the-art cosmological hydrodynamic simulations from the DREAMS project. We take individual galaxies' properties from the simulations, which have different cosmologies, astrophysics, and warm dark matter masses, and train normalizing flows to learn the posterior of the parameters. We find that our models cannot infer the value of the warm dark matter mass, even when the values of the cosmological and astrophysical parameters are given explicitly. This result holds for galaxies with stellar mass larger than $2\times10^8 M_\odot/h$ at both low and high redshifts. We calculate the mutual information and find no significant dependence between the WDM mass and galaxy properties. On the other hand, our models can infer the value of $\Omega_{\rm m}$ with a $\sim10\%$ accuracy from the properties of individual galaxies while marginalizing astrophysics and warm dark matter masses.


title: Investigation of Microstructure and Corrosion Resistance of Ti-Al-V Titanium Alloys Obtained by Spark Plasma Sintering

abstract: The research results of the microstructure and corrosion resistance of Ti and Ti-Al-V Russian industrial titanium alloys obtained by spark plasma sintering (SPS) are described. Investigations of the microstructure, phase composition, hardness, tensile strength, electrochemical corrosion resistance and hot salt corrosion of Ti-Al-V titanium alloy specimens were carried out. It was shown that the alloy specimens have a uniform highly dense microstructure and high hardness values. The studied alloys also have high resistance to electrochemical corrosion during tests in acidic aqueous solution causing the intergranular corrosion as well as high resistance to the hot salt corrosion. The assumption that the high hardness of the alloys as well as the differences in the corrosion resistance of the central and lateral parts of the specimens are due to the diffusion of carbon from the graphite mold into the specimen surface was suggested.


title: Impact of Lunar Dust on Free Space Optical (FSO) Energy Harvesting

abstract: In the backdrop of escalating ambitions for space exploration, particularly with programs like Artemis aiming for a sustainable human presence on the Moon, the issue of efficient and reliable energy transmission has become a critical concern. This paper focuses on the impact of levitating lunar dust particle above the lunar surface on energy harvesting through a Free Space Optics (FSO) beam, commonly known as "laser power beaming". This study employs known mathematical models and numerical analysis to examine a ground-to-ground link on the lunar surface, using realistic data from the literature. More precisely, it assesses transmission losses and the performance of FSO energy harvesting in the presence of lunar dust under both illuminated and dark lighting conditions. The findings reveal that the choices regarding the height above the lunar surface and the transmission distance are key determinants in evaluating both losses and energy harvesting efficiency. Specifically, it was observed that the transmit power required to operate a 250W Polaris rover at a distance of 20km was on the order of several kilowatts. Additionally, it was noted that in the Moon's darker regions, the impact of lunar dust on transmission was nearly negligible, making these areas more conducive for FSO-based energy transmission.


title: Large amplitude traveling waves for the non-resistive MHD system

abstract: We prove the existence of large amplitude bi-periodic traveling waves (stationary in a moving frame) of the two-dimensional non-resistive Magnetohydrodynamics (MHD) system with a traveling wave external force with large velocity speed $\lambda (\omega_1, \omega_2)$ and of amplitude of order $O(\lambda^{1^+})$ where $\lambda \gg 1$ is a large parameter. For most values of $\omega = (\omega_1, \omega_2)$ and for $\lambda \gg 1$ large enough, we construct bi-periodic traveling wave solutions of arbitrarily large amplitude as $\lambda \to + \infty$. More precisely, we show that the velocity field is of order $O(\lambda^{0^+})$, whereas the magnetic field is close to a constant vector as $\lambda \to + \infty$. Due to the presence of small divisors, the proof is based on a nonlinear Nash-Moser scheme adapted to construct nonlinear waves of large amplitude. The main difficulty is that the linearized equation at any approximate solution is an unbounded perturbation of large size of a diagonal operator and hence the problem is not perturbative. The invertibility of the linearized operator is then performed by using tools from micro-local analysis and normal forms together with a sharp analysis of high and low frequency regimes w.r. to the large parameter $\lambda \gg 1$. To the best of our knowledge, this is the first result in which global in time, large amplitude solutions are constructed for the 2D non-resistive MHD system with periodic boundary conditions and also the first existence results of large amplitude quasi-periodic solutions for a nonlinear PDE in higher space dimension.


title: Effective Refractive-Index Approximation: A Link between Structural and Optical Disorder of Planar Resonant Optical Structures

abstract: We provide detailed insights into a link between structural and optical disorder of resonant optical structures, in particular, distributed Bragg reflectors (DBRs) and resonant microcavities. The standard (targeted) DBR structures have periodic square wave like refractive-index profiles, and their optical performance is determined by the refractive index ratio of the two applied materials and the number of DBR periods. It is well known that its structural disorder strongly affects its optical properties, but, despite that, this influence has not been quantitatively addressed in the literature. We propose a precise quantitative definition for a structural disorder of a single DBR unit cell (disorder factor), completing the set of DBR fundamental parameters. Then we expose the basis for the effective refractive index approximation (ERIA), showing that, as long as DBR optical properties are concerned, the influence of increasing structural disorder is virtually identical to the influence of decreasing refractive index ratio, with the latter influence being easily quantified. Making use of the ERIA method, simple analytical formulas, which enable rapid insights into the reflectivity and stop band width of DBRs with different types of transient layers at the heterointerfaces, are derived and the results validated, via both transfer matrix simulations and direct experimental measurements of imperfect DBRs. The insights of the ERIA method are then further applied on resonant microcavitities, providing a comprehensive link between their structural disorder and subsequent deterioration of their quality (Q) factor.


title: Euclid preparation XLVI. The Near-IR Background Dipole Experiment with Euclid

abstract: Verifying the fully kinematic nature of the cosmic microwave background (CMB) dipole is of fundamental importance in cosmology. In the standard cosmological model with the Friedman-Lemaitre-Robertson-Walker (FLRW) metric from the inflationary expansion the CMB dipole should be entirely kinematic. Any non-kinematic CMB dipole component would thus reflect the preinflationary structure of spacetime probing the extent of the FLRW applicability. Cosmic backgrounds from galaxies after the matter-radiation decoupling, should have kinematic dipole component identical in velocity with the CMB kinematic dipole. Comparing the two can lead to isolating the CMB non-kinematic dipole. It was recently proposed that such measurement can be done using the near-IR cosmic infrared background (CIB) measured with the currently operating Euclid telescope, and later with Roman. The proposed method reconstructs the resolved CIB, the Integrated Galaxy Light (IGL), from Euclid's Wide Survey and probes its dipole, with a kinematic component amplified over that of the CMB by the Compton-Getting effect. The amplification coupled with the extensive galaxy samples forming the IGL would determine the CIB dipole with an overwhelming signal/noise, isolating its direction to sub-degree accuracy. We develop details of the method for Euclid's Wide Survey in 4 bands spanning 0.6 to 2 mic. We isolate the systematic and other uncertainties and present methodologies to minimize them, after confining the sample to the magnitude range with negligible IGL/CIB dipole from galaxy clustering. These include the required star-galaxy separation, accounting for the extinction correction dipole using the method newly developed here achieving total separation, accounting for the Earth's orbital motion and other systematic effects. (Abridged)


title: Instantaneous Three-dimensional Thermal Structure of the South Polar Vortex of Venus

abstract: The Venus thermal radiation spectrum exhibits the signature of $CO_2$ absorption bands. By means of inversion techniques, those bands enable the retrieval of atmospheric temperature profiles. We have analyzed VIRTIS-M-IR night-side data obtaining high-resolution thermal maps of Venus south polar region between 55 and 85 km altitudes for three dynamical configurations of the vortex. The cold collar is clearly distinguishable at $\sim 62$ km altitude level, and it is more than 15 K colder than the pole on average. The South Polar Vortex appears as a vertically extended hot region close to the pole and squeezed by the cold collar between altitudes 55 and 67 km but spreading equatorward at about 74 km. Both the instantaneous temperature maps and their zonal averages show that the top altitude limit of the thermal signature of the vortex is at $\sim 80$ km altitude, at least on the night-side of the planet. The upper part of the atmosphere (67 - 85 km) is more homogeneous and has long-scale horizontal temperature differences of about 25 K over horizontal distances of $\sim 2,000$ km. The lower part (55 - 67 km) shows more fine-scale structure, creating the vortex' morphology, with thermal differences of up to about 50 K over $\sim 500$ km horizontal distances. We also study the vertical stability of different atmospheric layers within the 55 - 85 km altitude range for the three vortex configurations. It is always positive, but the cold collar is the most vertically stable structure at polar latitudes, while the vortex and sub-polar latitudes show lower stability values. Furthermore, the hot filaments present within the vortex exhibit lower stability values than their surroundings. The layer between 62 and 67 km resulted to be the most stable. These results are in good agreement with conclusions from previous radio occultation analyses.


title: On the Minimum Spanning Tree Distribution in Grids

abstract: We study the minimum spanning tree distribution on the space of spanning trees of the $n$-by-$n$ grid for large $n$. We establish bounds on the decay rates of the probability of the most and the least probable spanning trees as $n\rightarrow\infty$.


title: HyperZ$\cdot$Z$\cdot$W Operator Connects Slow-Fast Networks for Full Context Interaction

abstract: The self-attention mechanism utilizes large implicit weight matrices, programmed through dot product-based activations with very few trainable parameters, to enable long sequence modeling. In this paper, we investigate the possibility of discarding residual learning by employing large implicit kernels to achieve full context interaction at each layer of the network. To accomplish it, we introduce coordinate-based implicit MLPs as a slow network to generate hyper-kernels for another fast convolutional network. To get context-varying weights for fast dynamic encoding, we propose a $\mathrm{Hyper}\mathcal{Z{\cdot}Z{\cdot}W}$ operator that connects hyper-kernels ($\mathcal{W}$) and hidden activations ($\mathcal{Z}$) through simple elementwise multiplication, followed by convolution of $\mathcal{Z}$ using the context-dependent $\mathcal{W}$. Based on this design, we present a novel Terminator architecture that integrates hyper-kernels of different sizes to produce multi-branch hidden representations for enhancing the feature extraction capability of each layer. Additionally, a bottleneck layer is employed to compress the concatenated channels, allowing only valuable information to propagate to the subsequent layers. Notably, our model incorporates several innovative components and exhibits excellent properties, such as introducing local feedback error for updating the slow network, stable zero-mean features, faster training convergence, and fewer model parameters. Extensive experimental results on pixel-level 1D and 2D image classification benchmarks demonstrate the superior performance of our architecture.


title: An IoT system for smart building combining multiple mmWave FMCW radars applied to people counting

abstract: In contemporary society, the pressing challenge of preserving user privacy clashes with the imperative for smart buildings to efficiently manage their resources, particularly in the context of occupancy monitoring for optimized energy utilization. This paper delves into the application of millimiter wave (mmWave) frequency modulated continuous wave (FMCW) radar technology for occupancy monitoring. mmWave FMCW radar, unlike conventional methods that often require the use of identifiable tags or involve image analysis, operates without the need for such identifiers, mitigating privacy concerns. However, challenges arise when attempting to cover extensive indoor spaces due to the limited range of individual mmWave FMCW radar devices. The present work proposes the use of a flexible software architecture to integrate the measurements of several mmWave FMCW radar devices, so that the whole behaves as a single sensor. To validate the proposal, an example of use in a real environment in an indoor space monitored with three mmWave FMCW radar devices is also presented. The example details the whole process, from the physical installation of the devices to the use of the different software modules that allow the integration of the data into a common internet of things (IoT) management platform such as Home Assistant. All the elements, from the measurements captured during the test to the different software implementations, are shared publicly with the scientific community.


title: Time-modulated arrays with Haar wavelets

abstract: Time-modulated arrays (TMAs) can effectively perform beamsteering over the first positive harmonic pattern by applying progressively delayed versions of stair-step approximations of a sine waveform to the antenna excitations. In this letter, we consider synthesizing such stair-step sine approximations by means of Haar wavelets. Haar functions constitute a complete orthonormal set of rectangular waveforms, which have the ability to represent a given function with a high degree of accuracy using few constituent terms. Hence, when they are applied to the TMA synthesis, employing single-pole double-throw switches, such a feature leads to an excellent rejection level of the undesired harmonics as well as a bandwidth greater than that supported by conventional TMAs with on-off switches.


title: Time-modulated multibeam phased arrays with periodic Nyquist pulses

abstract: We present a single sideband time-modulated multibeam phased array governed by periodic Nyquist pulsed signals. A Nyquist pulse is a physically realizable approach to the ideal sinc function. Hence, its low-pass spectrum suits particularly well for time-modulated arrays (TMAs) to perform harmonic beam steering. Contrarily to switched TMAs and standard solutions based on variable phase shifters, the performance and complexity of the proposed time modulation scheme is rather robust when increasing the number of multibeams.


title: Error-Tolerant E-Discovery Protocols

abstract: We consider the multi-party classification problem introduced by Dong, Hartline, and Vijayaraghavan (2022) in the context of electronic discovery (e-discovery). Based on a request for production from the requesting party, the responding party is required to provide documents that are responsive to the request except for those that are legally privileged. Our goal is to find a protocol that verifies that the responding party sends almost all responsive documents while minimizing the disclosure of non-responsive documents. We provide protocols in the challenging non-realizable setting, where the instance may not be perfectly separated by a linear classifier. We demonstrate empirically that our protocol successfully manages to find almost all relevant documents, while incurring only a small disclosure of non-responsive documents. We complement this with a theoretical analysis of our protocol in the single-dimensional setting, and other experiments on simulated data which suggest that the non-responsive disclosure incurred by our protocol may be unavoidable.


title: Enhanced contact flexibility from nanoparticles in capillary suspensions

abstract: Hypothesis: Sample-spanning particle networks are used to induce structure and a yield stress, necessary for 3D printing of porous ceramics and paints. In capillary suspensions, a small quantity of immiscible secondary fluid is incorporated into a suspension. By further adding nanoparticles with a range of hydrophobicities, the structure of the bridges and microparticle-microparticle contacts should be modified, resulting in a tunable yield stress and shear moduli. Moreover, the compressibility of these samples, important in many processing and application steps, should be sensitive to these changes. Experiment: The nanoparticle hydrophobicity was altered and their position relative to the microparticles and the bridges was examined using confocal microscopy where the correlation between bridge size and network structure was observed. A step-wise uniaxial compression test on the confocal was conducted to monitor the microparticle movement and structural changes between capillary suspension networks with and without nanoparticles. Findings: Our observation suggests that nanoparticles induce the formation of thin liquid films on the surface of the microparticles, mitigating contact line pinning and promoting internal liquid exchange. Additionally, nanoparticles at microparticle contact regions further diminish Hertzian contact, enhancing the capacity for rearrangement. These effects enhance microparticle movement, narrowing the bridge size distribution.


title: Stabilisation of stochastic single-file dynamics using port-Hamiltonian systems

abstract: This study revisits a recently proposed symmetric port-Hamiltonian single-file model in one dimension. The uniform streaming solutions are stable in the deterministic model. However, the introduction of white noise into the dynamics causes the model to exhibit divergence. In response, we introduce a control term in a port-Hamiltonian framework. Our results show that this control term effectively stabilises the dynamics even in the presence of noise, providing valuable insights for the control of road traffic flows.


title: Locally Integer Polynomial Functions

abstract: The goal of this short note is to bring attention to an interesting ring: the ring of $\mathbb Z$-valued functions on $\mathbb Z$ whose restrictions to all finite sets are given by polynomials with integer coefficients. My interest in these functions was inspired by the work of Sayak Sengupta on iterations of integer polynomials, but this and related objects appear to be of independent interest.


title: Magnetically tunable electrokinetic instability and structuring of non-equilibrium nanoparticle gradients

abstract: Inspired by emergent behaviors of living matter, there is increasing interest in developing approaches to create dynamic patterns and structures in synthetic materials with controllable complexity to enable functionalities that are not possible in thermodynamic equilibrium. Here we show that electrophoretically driven and maintained non-equilibrium gradients of magnetic nanoparticles in non-polar solvent can undergo electrokinetic instabilities (EKI), leading to various electrically controllable spatiotemporally patterned states. These electrokinetic instabilities and patterns can be tuned with a magnetic field via magnetostatic energy reduction mechanism to both increase and decrease the pattern complexity. We reflect the experimental observations on the theoretical electrokinetic and magnetostatic arguments. We further show that small amounts of polar water in the otherwise non-polar system are critical enablers for the electrophoretic mobility of the nanoparticles. Since functionalities of magnetic nanoparticles are widely tunable, we foresee that the combination of dissipative electrokinetic driving and magnetic energy reduction can lead to novel functional dissipative materials.


title: Avoiding breakdown in incomplete factorizations in low precision arithmetic

abstract: The emergence of low precision floating-point arithmetic in computer hardware has led to a resurgence of interest in the use of mixed precision numerical linear algebra. For linear systems of equations, there has been renewed enthusiasm for mixed precision variants of iterative refinement. We consider the iterative solution of large sparse systems using incomplete factorization preconditioners. The focus is on the robust computation of such preconditioners in half precision arithmetic and employing them to solve symmetric positive definite systems to higher precision accuracy; however, the proposed ideas can be applied more generally. Even for well-conditioned problems, incomplete factorizations can break down when small entries occur on the diagonal during the factorization. When using half precision arithmetic, overflows are an additional possible source of breakdown. We examine how breakdowns can be avoided and we implement our strategies within new half precision Fortran sparse incomplete Cholesky factorization software. Results are reported for a range of problems from practical applications. These demonstrate that, even for highly ill-conditioned problems, half precision preconditioners can potentially replace double precision preconditioners, although unsurprisingly this may be at the cost of additional iterations of a Krylov solver.


title: Convergence Analysis for General Probability Flow ODEs of Diffusion Models in Wasserstein Distances

abstract: Score-based generative modeling with probability flow ordinary differential equations (ODEs) has achieved remarkable success in a variety of applications. While various fast ODE-based samplers have been proposed in the literature and employed in practice, the theoretical understandings about convergence properties of the probability flow ODE are still quite limited. In this paper, we provide the first non-asymptotic convergence analysis for a general class of probability flow ODE samplers in 2-Wasserstein distance, assuming accurate score estimates. We then consider various examples and establish results on the iteration complexity of the corresponding ODE-based samplers.


title: University Students Motives and Challenges in Utilising Institutional Repository Resources

abstract: One of the core functions of an academic institution is to generate knowledge, disseminate it to the intended audiences, and preserve it for future use. Academic institutions are now establishing Institutional Repositories (IRs) to collect produced resources to facilitate accessibility, dissemination, utilization, and management of intellectual materials produced within an institution. This study aimed to assess postgraduate students motives for utilizing IR resources and the challenges they encounter when utilizing IR resources at the University of Dar es Salaam. This study was conducted using a descriptive study design whereby it used both qualitative and quantitative research approaches. The population of this study comprised postgraduate students, librarians, and ICT personnel from the University of Dar es Salaam. A sample of 102 respondents was drawn conveniently and purposively for this study. Data were collected through questionnaires, interviews, as well as a review of documentary sources. Quantitative data were analyzed through a Version 16 Statistics Package for Social Science and qualitative data were analyzed using content analysis. The findings indicate that access to fulltext documents, the relevance of IR resources, and easy searching of the materials in the repository system motivate the utilization of IR resources. However, several challenges impede the utilization of these resources including unreliable internet access, inaccessibility of full-text and lack of guiding policy have been revealed as the major challenges toward utilization of IR resources. The study recommends training postgraduate students on the general use of IRs. Also, the University management should develop an IR policy that will guide the utilization of IR resources


title: On the new theory of 1-motives

abstract: This is a letter (not intended for publication in a regular journal) written in response to two referees of my preprint "Local duality theorems for commutative algebraic groups". In it, I discuss possible applications of the new theory of 1-motives introduced in that preprint. One of these is a new approach to the BSD conjecture for abelian varieties over global fields (developed here only partially) which builds on Bloch's well-known volume-theoretic interpretation of the conjecture in the number field case.


title: A Bernstein-von Mises Theorem for Generalized Fiducial Distributions

abstract: We prove a Bernstein-von Mises result for generalized fiducial distributions following the approach based on quadratic mean differentiability in Le Cam (1986); van der Vaart (1998). Building on their approach, we introduce only two additional conditions for the generalized fiducial setting. While asymptotic normality of generalized fiducial distributions has been studied before, particularly in Hannig (2009) and Sonderegger and Hannig (2014), this work significantly extends the usefulness of such a result by the much more general condition of quadratic mean differentiability. We demonstrate the applicability of our result with two examples that necessitate these more general assumptions: the triangular distributions and free-knot spline models.


title: Hierarchies of incomparable groups

abstract: For every countable ordinal number $\alpha$ we construct a family F of groups such that (i) if G,H are distinct groups in F then G cannot be imbedded in H and (ii) F contains $2^\kappa$ groups of order $\kappa$ for each infinite cardinal number $\kappa$ up to the beth with index $\alpha$.


title: A non-asymptotic error analysis for parallel Monte Carlo estimation from many short Markov chains

abstract: Single-chain Markov chain Monte Carlo simulates realizations from a Markov chain to estimate expectations with the empirical average. The single-chain simulation is generally of considerable length and restricts many advantages of modern parallel computation. This paper constructs a novel many-short-chains Monte Carlo (MSC) estimator by averaging over multiple independent sums from Markov chains of a guaranteed short length. The computational advantage is the independent Markov chain simulations can be fast and may be run in parallel. The MSC estimator requires an importance sampling proposal and a drift condition on the Markov chain without requiring convergence analysis on the Markov chain. A non-asymptotic error analysis is developed for the MSC estimator under both geometric and multiplicative drift conditions. Empirical performance is illustrated on an autoregressive process and the P\'olya-Gamma Gibbs sampler for Bayesian logistic regression to predict cardiovascular disease.


title: Multiplicative Automorphisms of Incidence Algebras

abstract: Let $I(X,R)$ be the incidence algebra of the preordered set $X$ over the ring $R$. In the case of a finite connected partially ordered set $X$, we prove that the subgroup of inner multiplicative automorphisms is a direct factor of the group of multiplicative automorphisms of the algebra $I(X,R)$. As a consequence, we obtain several matching criteria of the subgroup of inner multiplicative automorphisms with the group of multiplicative automorphisms.


title: Growth interruption strategies for interface optimization in GaAsSb/GaAsN type-II superlattices

abstract: Recently, GaAsSb/GaAsN type II short-period superlattices (SLs) have been proposed as suitable structures to be implemented in the optimal design of monolithic multi-junction solar cells. However, due to strong surface Sb segregation, experimental Sb composition profiles differ greatly from the nominal square-wave design. In this work, the improvement of the interface quality of these SLs in terms of compositional abruptness and surface roughness has been evaluated by implementing different growth interruption times under Sb4/As4 (soaking) and As4 (desorption) overpressure conditions before and after the growth of GaAsSb layers, respectively. The combined effects of both processes enhance Sb distribution, achieving squarer compositional profiles with reduced surface roughness interfaces. It has been found that the improvement in compositional abruptness is quantitatively much higher at the lower interface, during soaking, than at the upper interface during desorption. Conversely, a larger decrease in surface roughness is achieved at the upper interface than at the lower interface. Fitting of the Sb segregation profiles using the 3-layer kinetic fluid model has shown that the increase in Sb incorporation rate is due to the decrease in segregation energy, presumably to changes in the surface reconstruction of the floating layer at the surface.


title: XGBoostPP: Tree-based Estimation of Point Process Intensity Functions

abstract: We propose a novel tree-based ensemble method, named XGBoostPP, to nonparametrically estimate the intensity of a point process as a function of covariates. It extends the use of gradient-boosted regression trees (Chen & Guestrin, 2016) to the point process literature via two carefully designed loss functions. The first loss is based on the Poisson likelihood, working for general point processes. The second loss is based on the weighted Poisson likelihood, where spatially dependent weights are introduced to further improve the estimation efficiency for clustered processes. An efficient greedy search algorithm is developed for model estimation, and the effectiveness of the proposed method is demonstrated through extensive simulation studies and two real data analyses. In particular, we report that XGBoostPP achieves superior performance to existing approaches when the dimension of the covariate space is high, revealing the advantages of tree-based ensemble methods in estimating complex intensity functions.


title: CONCORD: Towards a DSL for Configurable Graph Code Representation

abstract: Deep learning is widely used to uncover hidden patterns in large code corpora. To achieve this, constructing a format that captures the relevant characteristics and features of source code is essential. Graph-based representations have gained attention for their ability to model structural and semantic information. However, existing tools lack flexibility in constructing graphs across different programming languages, limiting their use. Additionally, the output of these tools often lacks interoperability and results in excessively large graphs, making graph-based neural networks training slower and less scalable. We introduce CONCORD, a domain-specific language to build customizable graph representations. It implements reduction heuristics to reduce graphs' size complexity. We demonstrate its effectiveness in code smell detection as an illustrative use case and show that: first, CONCORD can produce code representations automatically per the specified configuration, and second, our heuristics can achieve comparable performance with significantly reduced size. CONCORD will help researchers a) create and experiment with customizable graph-based code representations for different software engineering tasks involving DL, b) reduce the engineering work to generate graph representations, c) address the issue of scalability in GNN models, and d) enhance the reproducibility of experiments in research through a standardized approach to code representation and analysis.


title: Unsupervised Learning of Topological Non-Abelian Braiding in Non-Hermitian Bands

abstract: The topological classification of energy bands has laid the groundwork for the discovery of various topological phases of matter in recent decades. While this classification has traditionally focused on real-energy bands, recent studies have revealed the intriguing topology of complex-energy, or non-Hermitian bands. For example, the spectral winding of complex-energy bands can from unique topological structures like braids, holding promise for advancing quantum computing. However, discussions of complex-energy braids have been largely limited to the Abelian braid group $\mathbb{B}_2$ for its relative simplicity, while identifying topological non-Abelian braiding is still difficult since it has no universal topological invariant for characterization. Here, we present a machine learning algorithm for the unsupervised identification of non-Abelian braiding of multiple complex-energy bands. The consistency with Artin's well-known topological equivalence conditions in braiding is demonstrated. Inspired by the results from unsupervised learning, we also introduce a winding matrix as a topological invariant in charactering the braiding topology and unveiling the bulk-edge correspondence of non-Abelian braided non-Hermitian bands. Finally, we extend our approach to identify non-Abelian braiding topology in 2D/3D exceptional semimetals and successfully address the unknotting problem in an unsupervised manner.


title: The Metallicity-Electron Temperature Relationship in HII Regions

abstract: HII region heavy-element abundances throughout the Galactic disk provide important constraints to theories of the formation and evolution of the Milky Way. In LTE, radio recombination line (RRL) and free-free continuum emission are accurate extinction-free tracers of the HII region electron temperature. Since metals act as coolants in HII regions via the emission of collisionally excited lines, the electron temperature is a proxy for metallicity. Shaver et al. found a linear relationship between metallicity and electron temperature with little scatter. Here, we use CLOUDY HII region simulations to (1) investigate the accuracy of using RRLs to measure the electron temperature; and (2) explore the metallicity-electron temperature relationship. We model 135 HII regions with different ionizing radiation fields, densities, and metallicities. We find that electron temperatures derived under the assumption of LTE are about 20% systematically higher due to non-LTE effects, but overall LTE is a good assumption for cm-wavelength RRLs. Our CLOUDY simulations are consistent with the Shaver et al. metallicity-electron temperature relationship but there is significant scatter since earlier spectral types or higher electron densities yield higher electron temperatures. Using RRLs to derive electron temperatures assuming LTE yields errors in the predicted metallicity as large as 10%. We derive correction factors for Log(O/H) + 12 in each CLOUDY simulation. For lower metallicities the correction factor depends primarily on the spectral-type of the ionizing star and range from 0.95 to 1.10, whereas for higher metallicities the correction factor depends on the density and is between 0.97 and 1.05.


title: Exploring the Enigmatic Chiral Phase Transition of QCD at FiniteTemperature

abstract: This paper offers a comprehensive overview of recent technological advancements concerning the critical point of chiral phase transition, with a particular focus on Effective Field. Theories in Quantum Chromodynamics (QCD). It delves into the intricacies of these pivotal points, utilizing theoretical tools to explore associated phenomena.


title: Let's roll back! The challenging task of regulating temporary contracts

abstract: In this paper, we evaluate the impact of a reform introduced in Italy in 2018 (Decreto Dignit\`a), which increased the rigidity of employment protection legislation (EPL) of temporary contracts, rolling back previous policies, to reduce job instability. We use longitudinal labour force data from 2016 to 2019 and adopt a time-series technique within a Rubin Casual Model (RCM) framework to estimate the causal effect of the reform. We find that the reform was successful in reducing persistence into temporary employment and increasing the flow from temporary to permanent employment, in particular among women and young workers in the North of Italy, with significant effects on the stocks of permanent employment (+), temporary employment (-) and unemployment (-). However, this positive outcome came at the cost of higher persistence into inactivity, lower outflows from unemployment to temporary employment and higher outflows from unemployment to inactivity among males and low-educated workers.


title: MelNet: A Real-Time Deep Learning Algorithm for Object Detection

abstract: In this study, a novel deep learning algorithm for object detection, named MelNet, was introduced. MelNet underwent training utilizing the KITTI dataset for object detection. Following 300 training epochs, MelNet attained an mAP (mean average precision) score of 0.732. Additionally, three alternative models -YOLOv5, EfficientDet, and Faster-RCNN-MobileNetv3- were trained on the KITTI dataset and juxtaposed with MelNet for object detection. The outcomes underscore the efficacy of employing transfer learning in certain instances. Notably, preexisting models trained on prominent datasets (e.g., ImageNet, COCO, and Pascal VOC) yield superior results. Another finding underscores the viability of creating a new model tailored to a specific scenario and training it on a specific dataset. This investigation demonstrates that training MelNet exclusively on the KITTI dataset also surpasses EfficientDet after 150 epochs. Consequently, post-training, MelNet's performance closely aligns with that of other pre-trained models.


title: Validated numerics for algebraic path tracking

abstract: Using validated numerical methods, interval arithmetic and Taylor models, we propose a certified predictor-corrector loop for tracking zeros of polynomial systems with a parameter. We provide a Rust implementation which shows tremendous improvement over existing software for certified path tracking.


title: GUMsley: Evaluating Entity Salience in Summarization for 12 English Genres

abstract: As NLP models become increasingly capable of understanding documents in terms of coherent entities rather than strings, obtaining the most salient entities for each document is not only an important end task in itself but also vital for Information Retrieval (IR) and other downstream applications such as controllable summarization. In this paper, we present and evaluate GUMsley, the first entity salience dataset covering all named and non-named salient entities for 12 genres of English text, aligned with entity types, Wikification links and full coreference resolution annotations. We promote a strict definition of salience using human summaries and demonstrate high inter-annotator agreement for salience based on whether a source entity is mentioned in the summary. Our evaluation shows poor performance by pre-trained SOTA summarization models and zero-shot LLM prompting in capturing salient entities in generated summaries. We also show that predicting or providing salient entities to several model architectures enhances performance and helps derive higher-quality summaries by alleviating the entity hallucination problem in existing abstractive summarization.


title: Understanding polysemanticity in neural networks through coding theory

abstract: Despite substantial efforts, neural network interpretability remains an elusive goal, with previous research failing to provide succinct explanations of most single neurons' impact on the network output. This limitation is due to the polysemantic nature of most neurons, whereby a given neuron is involved in multiple unrelated network states, complicating the interpretation of that neuron. In this paper, we apply tools developed in neuroscience and information theory to propose both a novel practical approach to network interpretability and theoretical insights into polysemanticity and the density of codes. We infer levels of redundancy in the network's code by inspecting the eigenspectrum of the activation's covariance matrix. Furthermore, we show how random projections can reveal whether a network exhibits a smooth or non-differentiable code and hence how interpretable the code is. This same framework explains the advantages of polysemantic neurons to learning performance and explains trends found in recent results by Elhage et al.~(2022). Our approach advances the pursuit of interpretability in neural networks, providing insights into their underlying structure and suggesting new avenues for circuit-level interpretability.


title: Circuit Partitioning for Multi-Core Quantum Architectures with Deep Reinforcement Learning

abstract: Quantum computing holds immense potential for solving classically intractable problems by leveraging the unique properties of quantum mechanics. The scalability of quantum architectures remains a significant challenge. Multi-core quantum architectures are proposed to solve the scalability problem, arising a new set of challenges in hardware, communications and compilation, among others. One of these challenges is to adapt a quantum algorithm to fit within the different cores of the quantum computer. This paper presents a novel approach for circuit partitioning using Deep Reinforcement Learning, contributing to the advancement of both quantum computing and graph partitioning. This work is the first step in integrating Deep Reinforcement Learning techniques into Quantum Circuit Mapping, opening the door to a new paradigm of solutions to such problems.


title: A Pan-STARRS1 Search for Planet Nine

abstract: We present a search for Planet Nine using the second data release of the Pan-STARRS1survey. We rule out the existence of a Planet Nine with the characteristics of that predicted in Brown & Batygin (2021) to a 50% completion depth of $V=21.5$. This survey, along with previous analyses of the Zwicky Transient Facility (ZTF) and Dark EnergySurvey (DES) data, rules out 78% of the Brown \& Batygin parameter space. Much of the remaining parameter space is at $V>21$ in regions near and in the area where the northern galactic plane crosses the ecliptic.


title: The detection prospect of the Counter Jet radiation in the Late Afterglow of GRB 170817A

abstract: The central engine of a Gamma-Ray Burst (GRB) is widely believed to launch a pair of oppositely moving jets, i.e. the forward jet moving towards us and the counter jet regressing away. The forward jet generates the radiation typically observed in GRBs, while the counter jet has not been detected yet due to its dimness. GRB 170817A, a short burst associated with a binary neutron star merger event, is a nearby event ($z=0.0097$) with an off-axis structured energetic forward jet and hence probably the most suitable target for searching the counter jet radiation. Assuming the same properties for the forward and counter jet components as well as the shock parameters, the fit to the multi-wavelength afterglow emission of GRB 170817A suggests a peak time $\sim {\rm quite~a~few}\times 10^{3}$ day of the counter jet radiation, but the detection prospect of this new component is not promising. Anyhow, if the shock parameters ($\epsilon_{\rm e}$ and $\epsilon_{\rm B}$) of the counter jet component are (a few times) higher than that of the forward shock, as allowed by the current data and found in previous two-component jet modeling, the counter jet afterglow emission will be enhanced and hence may be detected. A few hour exposure by JWST in F356W band will stringently test such a scenario.


title: Entity Linking in the Job Market Domain

abstract: In Natural Language Processing, entity linking (EL) has centered around Wikipedia, but yet remains underexplored for the job market domain. Disambiguating skill mentions can help us get insight into the current labor market demands. In this work, we are the first to explore EL in this domain, specifically targeting the linkage of occupational skills to the ESCO taxonomy (le Vrang et al., 2014). Previous efforts linked coarse-grained (full) sentences to a corresponding ESCO skill. In this work, we link more fine-grained span-level mentions of skills. We tune two high-performing neural EL models, a bi-encoder (Wu et al., 2020) and an autoregressive model (Cao et al., 2021), on a synthetically generated mention--skill pair dataset and evaluate them on a human-annotated skill-linking benchmark. Our findings reveal that both models are capable of linking implicit mentions of skills to their correct taxonomy counterparts. Empirically, BLINK outperforms GENRE in strict evaluation, but GENRE performs better in loose evaluation (accuracy@$k$).


title: No epistemic model can explain anti-distinguishability of quantum mixed preparations

abstract: We address the fundamental question of whether epistemic models can reproduce the empirical predictions of general quantum preparations. This involves comparing the common quantum overlap determined by the anti-distinguishability of a set of mixed preparations with the common epistemic overlap of the probability distribution over the ontic states describing these preparations. A set of quantum mixed preparations is deemed to be non-epistemic when the epistemic overlap must be zero while the corresponding quantum overlap remains non-zero. In its strongest manifestation, a set of mixed quantum preparations is fully non-epistemic if the epistemic overlap vanishes while the quantum overlap reaches its maximum value of one. Remarkably, we show that there exist sets of non-epistemic mixed preparations even in dimension 2, when the overlap between three mixed preparations is concerned. Moreover, we present quantum mixed preparations in dimensions 3 and 4 that are fully non-epistemic concerning the overlap between four and three preparations, respectively. We also establish a generic upper bound on the average ratio between the epistemic and quantum overlap for two mixed preparations. Consequently, the ratio for certain pairs of quantum mixed preparations is shown to be arbitrarily small in two different instances, signifying they are non-epistemic in one case and fully non-epistemic in the other. Finally, we delve into some of the remarkable implications stemming from our findings.


title: Enhancing Multimodal Large Language Models with Vision Detection Models: An Empirical Study

abstract: Despite the impressive capabilities of Multimodal Large Language Models (MLLMs) in integrating text and image modalities, challenges remain in accurately interpreting detailed visual elements. This paper presents an empirical study on enhancing MLLMs with state-of-the-art (SOTA) object detection and Optical Character Recognition (OCR) models to improve fine-grained understanding and reduce hallucination in responses. We investigate the embedding-based infusion of textual detection information, the impact of such infusion on MLLMs' original abilities, and the interchangeability of detection models. We conduct systematic and extensive experiments with representative models such as LLaVA-1.5, DINO, PaddleOCRv2, and Grounding DINO, revealing that our simple yet general approach not only refines MLLMs' performance in fine-grained visual tasks but also maintains their original strengths. Notably, the enhanced LLaVA-1.5 outperforms its original 7B/13B models on all 10 benchmarks, achieving an improvement of up to 12.5% on the normalized average score. We release our codes to facilitate further exploration into the fine-grained multimodal capabilities of MLLMs.


title: Diagnosing the particle transport mechanism in the pulsar halo via X-ray observations

abstract: Pulsar halos (also termed 'TeV halo') are a new class of $\gamma$-ray sources in Galaxy, which manifest as extended $\gamma$-ray emission around middle-age pulsars, as discovered around the Geminga pulsar, the Monogem pulsar and PSR~J0622+3749 by HAWC and LHAASO. A consensus has been reached that the TeV emission comes from the inverse Compton scattering of escaping electrons/positrons from the PWN off soft background radiation field, while the particle transport mechanism in the halo is still in dispute. Currently, there are mainly three interpretations, namely, the isotropic, suppressed diffusion model; the isotropic, unsuppressed diffusion model with considering ballistic propagation of newly injected particles; the anisotropic diffusion model. While the predicted gamma-ray surface brightness profiles by all three models can be more or less consistent with the observation, the implication of the three models for cosmic-ray transport mechanisms and the properties of interstellar magnetic field are quite different. In this study, we calculate the anticipated X-ray emission of pulsar halos under the three models. We show that the synchrotron radiation of these escaping electrons can produce a corresponding X-ray halo around the pulsar, and the expected surface brightness profiles are distinct in three models. We suggest that sensitive X-ray detectors of a large field of view (such as eROSITA and Einstein Probe) with a reasonably long exposure time are crucial to understand the formation mechanism of pulsar halos and serve as a probe to the properties of the interstellar turbulence.


title: Intra-community link formation and modularity in ultracold growing hyperbolic networks

abstract: Hyperbolic network models, centered around the idea of placing nodes at random in a hyperbolic space and drawing links according to a probability that decreases as a function of the distance, provide a simple, yet also very capable framework for grasping the small-world, scale-free, highly clustered and modular nature of complex systems that are often referred to as real-world networks. In the present work we study the community structure of networks generated by the Popularity Similarity Optimization model (corresponding to one of the fundamental, widely known hyperbolic models) when the temperature parameter (responsible for tuning the clustering coefficient) is set to the limiting value of zero. By focusing on the intra-community link formation we derive analytical expressions for the expected modularity of a partitioning consisting of equally sized angular sectors in the native disk representation of the 2d hyperbolic space. Our formulas improve earlier results to a great extent, being able to estimate the average modularity (measured by numerical simulations) with high precision in a considerably larger range both in terms of the model parameters and also the relative size of the communities with respect to the entire network. These findings enhance our comprehension of how modules form in hyperbolic networks. The existence of these modules is somewhat unexpected, given the absence of explicit community formation steps in the model definition.


title: Makinote: An FPGA-Based HW/SW Platform for Pre-Silicon Emulation of RISC-V Designs

abstract: Emulating chip functionality before silicon production is crucial, especially with the increasing prevalence of RISC-V-based designs. FPGAs are promising candidates for such purposes due to their high-speed and reconfigurable architecture. In this paper, we introduce our Makinote, an FPGA-based Cluster platform, hosted at Barcelona Supercomputing Center (BSC-CNS), which is composed of a large number of FPGAs (in total 96 AMD/Xilinx Alveo U55c) to emulate massive size RTL designs (up to 750M ASIC cells). In addition, we introduce our FPGA shell as a powerful tool to facilitate the utilization of such a large FPGA cluster with minimal effort needed by the designers. The proposed FPGA shell provides an easy-to-use interface for the RTL developers to rapidly port such design into several FPGAs by automatically connecting to the necessary ports, e.g., PCIe Gen4, DRAM (DDR4 and HBM), ETH10g/100g. Moreover, specific drivers for exploiting RISC-V based architectures are provided within the set of tools associated with the FPGA shell. We release the tool online for further extensions. We validate the efficiency of our hardware platform (i.e., FPGA cluster) and the software tool (i.e., FPGA Shell) by emulating a RISC-V processor and experimenting HPC Challenge application running on 32 FPGAs. Our results demonstrate that the performance improves by 8 times over the single-FPGA case.


title: Shrub of a thousand faces: an individual segmentation from satellite images using deep learning

abstract: Monitoring the distribution and size structure of long-living shrubs, such as Juniperus communis, can be used to estimate the long-term effects of climate change on high-mountain and high latitude ecosystems. Historical aerial very-high resolution imagery offers a retrospective tool to monitor shrub growth and distribution at high precision. Currently, deep learning models provide impressive results for detecting and delineating the contour of objects with defined shapes. However, adapting these models to detect natural objects that express complex growth patterns, such as junipers, is still a challenging task. This research presents a novel approach that leverages remotely sensed RGB imagery in conjunction with Mask R-CNN-based instance segmentation models to individually delineate Juniperus shrubs above the treeline in Sierra Nevada (Spain). In this study, we propose a new data construction design that consists in using photo interpreted (PI) and field work (FW) data to respectively develop and externally validate the model. We also propose a new shrub-tailored evaluation algorithm based on a new metric called Multiple Intersections over Ground Truth Area (MIoGTA) to assess and optimize the model shrub delineation performance. Finally, we deploy the developed model for the first time to generate a wall-to-wall map of Juniperus individuals. The experimental results demonstrate the efficiency of our dual data construction approach in overcoming the limitations associated with traditional field survey methods. They also highlight the robustness of MIoGTA metric in evaluating instance segmentation models on species with complex growth patterns showing more resilience against data annotation uncertainty. Furthermore, they show the effectiveness of employing Mask R-CNN with ResNet101-C4 backbone in delineating PI and FW shrubs, achieving an F1-score of 87,87% and 76.86%, respectively.


title: Spin-1 Glueballs in the Witten-Sakai-Sugimoto Model

abstract: We consider the vector and the pseudovector glueball in the top-down holographic model of large-$N_c$ QCD of Witten and their decays into ordinary mesons described by the D8 brane construction due to Sakai and Sugimoto. At leading order, the relevant interactions are determined exclusively by the Chern-Simons action of the D8 branes and are thus rigidly connected to the chiral anomaly and the Wess-Zumino-Witten terms. As found in a previous study of the pseudovector glueball, which we revisit and complete, the resulting decay widths are surprisingly large, implying that both the pseudovector and the vector glueball are very broad resonances, with a conspicuous dominance of decays into $a_1\rho$ and $K_1(1400) K^*$ in the case of the vector glueball. We also obtain a certain weak mixing of vector glueballs with ordinary vector mesons, but we conclude that it does not provide an explanation for the so-called $\rho\pi$ puzzle in charmonium decays.


title: Bagging cross-validated bandwidths with application to Big Data

abstract: Hall and Robinson (2009) proposed and analyzed the use of bagged cross-validation to choose the bandwidth of a kernel density estimator. They established that bagging greatly reduces the noise inherent in ordinary cross-validation, and hence leads to a more efficient bandwidth selector. The asymptotic theory of Hall and Robinson (2009) assumes that $N$, the number of bagged subsamples, is $\infty$. We expand upon their theoretical results by allowing $N$ to be finite, as it is in practice. Our results indicate an important difference in the rate of convergence of the bagged cross-validation bandwidth for the cases $N=\infty$ and $N<\infty$. Simulations quantify the improvement in statistical efficiency and computational speed that can result from using bagged cross-validation as opposed to a binned implementation of ordinary cross-validation. The performance of thebagged bandwidth is also illustrated on a real, very large, data set. Finally, a byproduct of our study is the correction of errors appearing in the Hall and Robinson (2009) expression for the asymptotic mean squared error of the bagging selector.


title: Interplay of synchronization and cortical input in models of brain networks

abstract: It is well known that synchronization patterns and coherence have a major role in the functioning of brain networks, both in pathological and in healthy states. In particular, in the perception of sound, one can observe an increase in coherence between the global dynamics in the network and the auditory input. In this perspective article, we show that synchronization scenarios are determined by a fine interplay between network topology, the location of the input, and frequencies of these cortical input signals. To this end, we analyze the influence of an external stimulation in a network of FitzHugh-Nagumo oscillators with empirically measured structural connectivity, and discuss different areas of cortical stimulation, including the auditory cortex.


title: A mesoscopic device for a realization of the Topological Kondo effect

abstract: The search of anyons is a field of immense interest owing to its potential application in the field of quantum information. Quantum critical Kondo impurities present one possible platform for realization of anyons. In this paper we discuss practical steps for realization of Topological Kondo effect which, in contrast to the well known multichannel Kondo one, remains critical even in the presence of perturbations.


title: Dark Matter Searches with Levitated Sensors

abstract: Motivated by the current interest in employing quantum sensors on Earth and in space to conduct searches for new physics, we provide a perspective on the suitability of large-mass levitated optomechanical systems for observing dark matter signatures. We discuss conservative approaches of recoil detection through spectral analysis of coherently scattered light, enhancements of directional effects due to cross-correlation spectral densities, and the possibility of using quantum superpositions of mesoscopic test particles to measure rare events.

categories: quant-ph astro-ph.IM hep-ex physics.ins-det


title: Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases

abstract: Assurance cases (ACs) are structured arguments that support the verification of the correct implementation of systems' non-functional requirements, such as safety and security, thereby preventing system failures which could lead to catastrophic outcomes, including loss of lives. ACs facilitate the certification of systems in accordance with industrial standards, for example, DO-178C and ISO 26262. Identifying defeaters arguments that refute these ACs is essential for improving the robustness and confidence in ACs. To automate this task, we introduce a novel method that leverages the capabilities of GPT-4 Turbo, an advanced Large Language Model (LLM) developed by OpenAI, to identify defeaters within ACs formalized using the Eliminative Argumentation (EA) notation. Our initial evaluation gauges the model's proficiency in understanding and generating arguments within this framework. The findings indicate that GPT-4 Turbo excels in EA notation and is capable of generating various types of defeaters.


title: Multilinear Operator Networks

abstract: Despite the remarkable capabilities of deep neural networks in image recognition, the dependence on activation functions remains a largely unexplored area and has yet to be eliminated. On the other hand, Polynomial Networks is a class of models that does not require activation functions, but have yet to perform on par with modern architectures. In this work, we aim close this gap and propose MONet, which relies solely on multilinear operators. The core layer of MONet, called Mu-Layer, captures multiplicative interactions of the elements of the input token. MONet captures high-degree interactions of the input elements and we demonstrate the efficacy of our approach on a series of image recognition and scientific computing benchmarks. The proposed model outperforms prior polynomial networks and performs on par with modern architectures. We believe that MONet can inspire further research on models that use entirely multilinear operations.


title: Robust Inference for Generalized Linear Mixed Models: An Approach Based on Score Sign Flipping

abstract: Despite the versatility of generalized linear mixed models in handling complex experimental designs, they often suffer from misspecification and convergence problems. This makes inference on the values of coefficients problematic. To address these challenges, we propose a robust extension of the score-based statistical test using sign-flipping transformations. Our approach efficiently handles within-variance structure and heteroscedasticity, ensuring accurate regression coefficient testing. The approach is illustrated by analyzing the reduction of health issues over time for newly adopted children. The model is characterized by a binomial response with unbalanced frequencies and several categorical and continuous predictors. The proposed approach efficiently deals with critical problems related to longitudinal nonlinear models, surpassing common statistical approaches such as generalized estimating equations and generalized linear mixed models.


title: Optimizing Grid Resilience: A Capacity Reserve Market for High Impact Low Probability Events

abstract: This paper addresses the challenges of high-impact low-probability (HILP) events by proposing a novel capacity reserve event market for mobile generation assets, aimed at supporting the transmission network during such incidents. Despite the usefulness of portable generators and mobile energy units in restoring power, there are drawbacks such as environmental impact, finite operation, and complex cost recovery. The proposed market integrates these resources into a dispatch framework based on pre-established contracts, ensuring fair compensation and considering factors like capacity, pricing, and travel distance. Resource owners receive advanced notifications for potential events, allowing them to adjust their bids for cost recovery. Simulations on an IEEE 30-bus case have been conducted to demonstrate the model effectiveness in increasing grid resiliency.


title: From particle systems to the stochastic compressible Navier-Stokes equations of a barotropic fluid

abstract: We propose a mathematical derivation of stochastic compressible Navier-Stokes equation. We consider many-particle systems with a Hamiltonian dynamics supplemented by a friction term and environmental noise. Both the interaction potential and the additional friction force are supposed to be long range in comparison with the typical distance between neighboring particles. It is shown that the empirical measures associated to the position and velocity of the system converge to the solutions of the stochastic compressible Navier-Stokes equations of a barotropic fluid. Moreover, we quantify the distance between particles and the limit in suitable in Besov and Triebel-Lizorkin spaces.


title: Development and Adaptation of Robotic Vision in the Real-World: the Challenge of Door Detection

abstract: Mobile service robots are increasingly prevalent in human-centric, real-world domains, operating autonomously in unconstrained indoor environments. In such a context, robotic vision plays a central role in enabling service robots to perceive high-level environmental features from visual observations. Despite the data-driven approaches based on deep learning push the boundaries of vision systems, applying these techniques to real-world robotic scenarios presents unique methodological challenges. Traditional models fail to represent the challenging perception constraints typical of service robots and must be adapted for the specific environment where robots finally operate. We propose a method leveraging photorealistic simulations that balances data quality and acquisition costs for synthesizing visual datasets from the robot perspective used to train deep architectures. Then, we show the benefits in qualifying a general detector for the target domain in which the robot is deployed, showing also the trade-off between the effort for obtaining new examples from such a setting and the performance gain. In our extensive experimental campaign, we focus on the door detection task (namely recognizing the presence and the traversability of doorways) that, in dynamic settings, is useful to infer the topology of the map. Our findings are validated in a real-world robot deployment, comparing prominent deep-learning models and demonstrating the effectiveness of our approach in practical settings.


title: Quasi-ergodic theorems for Feynman-Kac semigroups and large deviation for additive functionals

abstract: We study the long-time behavior of an additive functional that takes into account the jumps of a symmetric Markov process. This process is assumed to be observed through a biased observation scheme that includes the survival to events of extinction and the Feynman-Kac weight by another similar additive functional. Under conditioning for the convergence to a quasi-stationary distribution and for two-sided estimates of the Feynmac-Kac semigroup to be obtained, we shall discuss general assumptions on the symmetric Markov process. For the law of additive functionals, we will prove a quasi-ergodic theorem, namely a conditional version of the ergodic theorem and a conditional functional weak law of large numbers. As an application, we also establish a large deviation principle for the mean ratio of additive functionals.


title: Software and Firmware-logic Design for the PIP-II Machine Protection System Mode and Configuration Control at Fermilab

abstract: The PIP-II Machine Protection System (MPS) requires a dedicated set of tools for configuration control and management of the machine modes and beam modes of the accelerator. The protection system reacts to signals from various elements of the machine according to rules established in a setup database in the form of a Look-Up-Table filtered by the program Mode Controller. This is achieved in accordance with commands from the operator and governed by the firmware logic of the MPS. This paper describes the architecture, firmware logic, and implementation of the program mode controller.


title: Remote Estimation of Markov Processes over Costly Channels: On the Benefits of Implicit Information

abstract: In this paper, we study the remote estimation problem of a Markov process over a channel with a cost. We formulate this problem as an infinite horizon optimization problem with two players, i.e., a sensor and a monitor, that have distinct information, and with a reward function that takes into account both the communication cost and the estimation quality. We show that the main challenge in solving this problem is associated with the consideration of implicit information, i.e., information that the monitor can obtain about the source when the sensor is silent. Our main objective is to develop a framework for finding solutions to this problem without neglecting implicit information a priori. To that end, we propose three different algorithms. The first one is an alternating policy algorithm that converges to a Nash equilibrium. The second one is an occupancy-state algorithm that is guaranteed to find a globally optimal solution. The last one is a heuristic algorithm that is able to find a near-optimal solution.


title: Prediction of stable nanoscale skyrmions in monolayer Fe$_5$GeTe$_2$

abstract: Using first-principles calculations and atomistic spin simulations, we predict stable isolated skyrmions with a diameter below 10 nm in a monolayer of the two-dimensional van der Waals ferromagnet Fe$_5$GeTe$_2$, a material of significant experimental interest. A very large Dzyaloshinskii-Moriya interaction (DMI) is observed due to the intrinsic broken inversion symmetry and strong spin-orbit coupling for monolayer Fe$_5$GeTe$_2$. We show that the nearest-neighbor approximation, often used in literature, fails to describe the DMI. The strong DMI together with moderate in-plane magnetocrystalline anisotropy energy allows to stabilize nanoscale skyrmions in out-of-plane magnetic fields above $\approx 2$~T. The energy barriers of skyrmions in monolayer Fe$_5$GeTe$_2$ are comparable to those of state-of-the-art transition-metal ultra-thin films. We further predict that these nanoscale skyrmions can be stable for hours at temperatures up to 20 K.


title: Desiderata for the Context Use of Question Answering Systems

abstract: Prior work has uncovered a set of common problems in state-of-the-art context-based question answering (QA) systems: a lack of attention to the context when the latter conflicts with a model's parametric knowledge, little robustness to noise, and a lack of consistency with their answers. However, most prior work focus on one or two of those problems in isolation, which makes it difficult to see trends across them. We aim to close this gap, by first outlining a set of -- previously discussed as well as novel -- desiderata for QA models. We then survey relevant analysis and methods papers to provide an overview of the state of the field. The second part of our work presents experiments where we evaluate 15 QA systems on 5 datasets according to all desiderata at once. We find many novel trends, including (1) systems that are less susceptible to noise are not necessarily more consistent with their answers when given irrelevant context; (2) most systems that are more susceptible to noise are more likely to correctly answer according to a context that conflicts with their parametric knowledge; and (3) the combination of conflicting knowledge and noise can reduce system performance by up to 96%. As such, our desiderata help increase our understanding of how these models work and reveal potential avenues for improvements.


title: Redefining Higgs interactions at the TeV scale

abstract: We present a field redefinition that simplifies the Higgs Effective Field Theory Lagrangian for the Electroweak Symmetry Breaking Sector. This simplification produces the same on-shell scattering amplitudes while greatly reducing the number of contributing Feynman diagrams for $\omega\omega\to n\times h$ processes (which approximate the $W_LW_L\to n\times h$ amplitudes at the TeV scale by means of the Equivalence Theorem).


title: Chaotic scattering in ultracold atom-ion collisions

abstract: We report on signatures of classical chaos in ultracold collisions between a trapped ion and a free atom. Using numerical simulations, we show that the scattering dynamics can be highly sensitive to initial conditions for various mass ratios and trapping frequencies, indicating the onset of chaos. We quantify this chaotic dynamics by calculating its fractal dimension. We show that for a trapped $^{88}$Sr$^+$ ion and a free $^{87}$Rb atom chaotic dynamic appears under experimentally relevant conditions, and find its characteristic energy scale. The observation of classical chaos in atom-trapped-ion collisions suggests that signatures of quantum chaos might appear, for example, through a Wigner-Dyson distribution of collisional resonances.


title: Gauge theory on $\rho$-Minkowski space-time

abstract: We construct a gauge theory model on the 4-dimensional $\rho$-Minkowski space-time, a particular deformation of the Minkowski space-time recently considered. The corresponding star product results from a combination of Weyl quantization map and properties of the convolution algebra of the special Euclidean group. We use noncommutative differential calculi based on twisted derivations together with a twisted notion of noncommutative connection. The twisted derivations pertain to the Hopf algebra of $\rho$-deformed translations, a Hopf subalgebra of the $\rho$-deformed Poincar\'e algebra which can be viewed as defining the quantum symmetries of the $\rho$-Minkowski space-time. The gauge theory model is left invariant under the action of the $\rho$-deformed Poincar\'e algebra. At the classical level, a property of the gauge model is that the in-vacuo dispersion relation for the gauge potential is not deformed, implying a standard propagation for photons in the $\rho$-Minkowski space-time.


title: Quantum influences and event relativity

abstract: We develop a new interpretation of quantum theory by combining insights from extended Wigner's friend scenarios and quantum causal modelling. In this interpretation, which synthesizes ideas from relational quantum mechanics and consistent histories, events obtain relative to a set of systems, and correspond to projectors that are picked out by causal structure. We articulate these ideas using a precise mathematical formalism. Using this formalism, we show through specific examples and general constructions how quantum phenomena can be modelled and paradoxes avoided; how different scenarios may be classified and the framework of quantum causal models extended; and how one can approach decoherence and emergent classicality without relying on quantum states.


title: EEG-GPT: Exploring Capabilities of Large Language Models for EEG Classification and Interpretation

abstract: In conventional machine learning (ML) approaches applied to electroencephalography (EEG), this is often a limited focus, isolating specific brain activities occurring across disparate temporal scales (from transient spikes in milliseconds to seizures lasting minutes) and spatial scales (from localized high-frequency oscillations to global sleep activity). This siloed approach limits the development EEG ML models that exhibit multi-scale electrophysiological understanding and classification capabilities. Moreover, typical ML EEG approaches utilize black-box approaches, limiting their interpretability and trustworthiness in clinical contexts. Thus, we propose EEG-GPT, a unifying approach to EEG classification that leverages advances in large language models (LLM). EEG-GPT achieves excellent performance comparable to current state-of-the-art deep learning methods in classifying normal from abnormal EEG in a few-shot learning paradigm utilizing only 2% of training data. Furthermore, it offers the distinct advantages of providing intermediate reasoning steps and coordinating specialist EEG tools across multiple scales in its operation, offering transparent and interpretable step-by-step verification, thereby promoting trustworthiness in clinical contexts.


title: Short- vs. long-distance physics in $B\to K^{(*)} \ell^+\ell^-$: a data-driven analysis

abstract: We analyze data on $B\to K\mu^+\mu^-$ and $B\to K^*\mu^+\mu^-$ decays in the whole dilepton invariant mass spectrum with the aim of disentangling short- vs. long-distance contributions. The sizable long-distance amplitudes from $c \bar{c}$ narrow resonances are taken into account by employing a dispersive approach. For each available $q^2=m_{\mu\mu}^2$ bin and each helicity amplitude an independent determination of the Wilson coefficient $C_9$, describing $b\to s\ell^+\ell^-$ transitions at short distances, is obtained. The consistency of the $C_9$ values thus obtained provides an a posteriori check of the absence of additional, sizable, long-distance contributions. The systematic difference of these values from the Standard Model expectation supports the hypothesis of a non-standard $b\to s \mu^+\mu^-$ amplitude of short-distance origin.


title: Rational points on ellipsoids and modular forms

abstract: The theory of modular forms and spherical harmonic analysis are applied to establish new best bounds towards the counting and equidistribution of rational points on spheres and other higher dimensional ellipsoids, in what may be viewed as a textbook display of the 'unreasonable effectiveness' of modular forms.


title: Tailoring magnetic and hyperthermia properties of biphase iron oxide nanocubes through post-annealing

abstract: Tailoring the magnetic properties of iron oxide nanosystems is essential to expand their biomedical applications. In this study, the 34 nm iron oxide nanocubes with two phases consisting of Fe3O4 and alpha-Fe2O3 were annealed for 2 hours in the presence of O2, N2, He, and Ar to tune the respective phase volume fractions and control the magnetic properties. X-ray diffraction and magnetic measurements were carried out post-treatment to evaluate the changes of the treated samples compared to the as-prepared, which showed an enhancement of the alpha-Fe2O3 phase in the samples annealed with O2, while the others indicated Fe3O4 enhancement. Furthermore, the latter samples indicated enhancements in the crystallinity and saturation magnetization while coercivity enhancement was most significant in the samples annealed with O2, resulting in the highest specific absorption rates (up to 1000 W/g) in all the applied fields of 800, 600, and 400 Oe in agar during magnetic hyperthermia measurements. The general enhancement in the specific absorption rate post-annealing underscores the importance of the annealing atmosphere in the enhancement of the magnetic and structural properties of nanostructures.


title: Exploring the impact of the inverse Faraday effect on all-optical helicity-dependent magnetization switching

abstract: All-optical helicity-dependent magnetization switching (AO-HDS) is the quickest deterministic technique for data storage by solely using ultrashort laser pulses. Granular high data density magnetic storage media developed for heat-assisted magnetic recording (HAMR) provide an ideal playground to investigate the interplay of effects leading to magnetization switching. In the latest perception, we identify two effects, the magnetic circular dichroism (MCD) and the inverse Faraday effect (IFE), as the forces driving the switching process. During photon absorption, which leads to a rapid temperature rise and thus to magnetization quenching, the MCD ensures two distinct electron temperatures due to helicity-dependent absorption. This effect already holds a nonvanishing probability for magnetization switching. At the same time, the IFE induces a magnetic moment within the material, enhancing the switching probability. We present AO-HDS experiments using ultrashort laser pulses ($\lesssim 200\,\mathrm{fs}$) in the near-infrared range from $800\,\mathrm{nm}$ to $1500\,\mathrm{nm}$. The experiments demonstrate a strong dependence of the switching efficiency on the absorbed energy density, elevating the electron temperature in the vicinity of the Curie point, allowing for the IFE to take full effect, inducing a magnetic moment for deterministic switching in the quenched magnetization state. While we do not observe an enhanced switching due to an increased MCD, a higher induced magnetization usually improves the switching rate if the electron temperature reaches the transition temperature vicinity. Therefore, we conclude that the magnetic moment generated by the IFE is crucial for the switching efficiency and the distinct deterministic character of the switching process. Laser pulses with a higher absorption induce a higher magnetic moment and switch magnetization at lower fluences.


title: Fundamental Trade-Offs in Monostatic ISAC: A Holistic Investigation Towards 6G

abstract: Integrated sensing and communication (ISAC) emerges as a cornerstone technology for the upcoming 6G era, seamlessly incorporating sensing functionality into wireless networks as an inherent capability. This paper undertakes a holistic investigation of two fundamental trade-offs in monostatic OFDM ISAC systems-namely, the time-frequency domain trade-off and the spatial domain trade-off. To ensure robust sensing across diverse modulation orders in the time-frequency domain, including high-order QAM, we design a linear minimum mean-squared-error (LMMSE) estimator tailored for sensing with known, randomly generated signals of varying amplitude. Moreover, we explore spatial domain trade-offs through two ISAC transmission strategies: concurrent, employing joint beams, and time-sharing, using separate, time-non-overlapping beams for sensing and communications. Simulations demonstrate superior performance of the LMMSE estimator in detecting weak targets in the presence of strong ones under high-order QAM, consistently yielding more favorable ISAC trade-offs than existing baselines. Key insights into these trade-offs under various modulation schemes, SNR conditions, target radar cross section (RCS) levels and transmission strategies highlight the merits of the proposed LMMSE approach.


title: Causal Coordinated Concurrent Reinforcement Learning

abstract: In this work, we propose a novel algorithmic framework for data sharing and coordinated exploration for the purpose of learning more data-efficient and better performing policies under a concurrent reinforcement learning (CRL) setting. In contrast to other work which make the assumption that all agents act under identical environments, we relax this restriction and instead consider the formulation where each agent acts within an environment which shares a global structure but also exhibits individual variations. Our algorithm leverages a causal inference algorithm in the form of Additive Noise Model - Mixture Model (ANM-MM) in extracting model parameters governing individual differentials via independence enforcement. We propose a new data sharing scheme based on a similarity measure of the extracted model parameters and demonstrate superior learning speeds on a set of autoregressive, pendulum and cart-pole swing-up tasks and finally, we show the effectiveness of diverse action selection between common agents under a sparse reward setting. To the best of our knowledge, this is the first work in considering non-identical environments in CRL and one of the few works which seek to integrate causal inference with reinforcement learning (RL).


title: On The Power of Subtle Expressive Cues in the Perception of Human Affects

abstract: In this study, we introduce a sketch-based method for testing how subtle expressive cues influence the perception of affect in illustrations of human figures. We specifically study the impact of human posture and gaze direction, implicitly specified through nose orientation, on perceived emotions and mood. Through a series of user studies using sketchy illustrations of a running figure, where a professional illustrator manipulated gaze direction through adjustments on the nose orientation, we found that this simple change resulted in a diverse range of perceived affects, spanning from fear to concern and wonder. These findings shed light on the importance of fine details in defining context for context-aware system designs and underscore the importance of recognizing and expressing affect. Understanding minor expressive cues is crucial to developing emotionally intelligent systems capable of expressing affect.


title: Bayesian regularization for flexible baseline hazard functions in Cox survival models

abstract: Fully Bayesian methods for Cox models specify a model for the baseline hazard function. Parametric approaches generally provide monotone estimations. Semi-parametric choices allow for more flexible patterns but they can suffer from overfitting and instability. Regularization methods through prior distributions with correlated structures usually give reasonable answers to these types of situations. We discuss Bayesian regularization for Cox survival models defined via flexible baseline hazards specified by a mixture of piecewise constant functions and by a cubic B-spline function. For those "semiparametric" proposals, different prior scenarios ranging from prior independence to particular correlated structures are discussed in a real study with micro-virulence data and in an extensive simulation scenario that includes different data sample and time axis partition sizes in order to capture risk variations. The posterior distribution of the parameters was approximated using Markov chain Monte Carlo methods. Model selection was performed in accordance with the Deviance Information Criteria and the Log Pseudo-Marginal Likelihood. The results obtained reveal that, in general, Cox models present great robustness in covariate effects and survival estimates independent of the baseline hazard specification. In relation to the "semi-parametric" baseline hazard specification, the B-splines hazard function is less dependent on the regularization process than the piecewise specification because it demands a smaller time axis partition to estimate a similar behaviour of the risk.


title: Nanomechanically-induced nonequilibrium quantum phase transition to a self-organized density wave of a Bose-Einstein condensate

abstract: We report on a nonequilibrium quantum phase transition (NQPT) in a hybrid quantum many-body system consisting of a vibrational mode of a damped nanomembrane interacting optomechanically with a cavity, whose output light couples to two internal states of an ultracold Bose gas held in an external quasi-one-dimensional box potential. For small effective membrane-atom couplings, the system is in a homogeneous Bose-Einstein condensate (BEC) steady state, with no membrane displacement. Depending on the transition frequency between the two internal atomic states, either one or both internal states are occupied. By increasing the atom-membrane couplings, the system transitions to a symmetry-broken self-organized BEC phase, which is characterized by a considerably displaced membrane steady-state and density wave-like BEC profiles. This NQPT can be both discontinuous and continuous for a certain interval of transition frequencies, and is purely discontinuous outside of it.


title: Abrasion-fission reactions at intermediate energies

abstract: The availability of high-intensity, heavy-ion beams coupled to sensitive, large solid-angleacceptance spectrometers has enabled a detailed examination of the fission fragments produced in induced-fission reactions. The abrasion-fission process involves the formation of projectile-like prefragments in violent nuclear collisions at relative energies in excess of 100 MeV/u. At intermediate energies below this threshold, experiments suggest a change in the prefragment kinematic qualities. Information regarding the influence of this transitional phase upon the evolution of nuclei approaching the point of scission is scarce. In this article, data are presented for over 200 nuclei from nickel to palladium produced in abrasion-fission reactions of a 80 MeV/u 238U beam. Cross sections were obtained following yield measurements performed for the principal charge states of the identified fission fragments and a detailed analysis of the ion transmission. A full kinematic analysis of the fission fragments has been performed using the LISE++ software package, where the trajectory of an ion passing through a spectrometer can be reconstructed based upon measurements at the focal plane. The results obtained at the S800 spectrograph are compared with predictions obtained with a three-fission progenitor (3EER) model. Systematic studies of fission-fragment properties continue to provide a valuable experimental benchmark for theoretical efforts directed toward describing this complex decay channel, that is important in the context of planning experiments to explore the neutron-rich region of the nuclear chart at rare-isotope beam facilities.


title: Causal Discovery by Kernel Deviance Measures with Heterogeneous Transforms

abstract: The discovery of causal relationships in a set of random variables is a fundamental objective of science and has also recently been argued as being an essential component towards real machine intelligence. One class of causal discovery techniques are founded based on the argument that there are inherent structural asymmetries between the causal and anti-causal direction which could be leveraged in determining the direction of causation. To go about capturing these discrepancies between cause and effect remains to be a challenge and many current state-of-the-art algorithms propose to compare the norms of the kernel mean embeddings of the conditional distributions. In this work, we argue that such approaches based on RKHS embeddings are insufficient in capturing principal markers of cause-effect asymmetry involving higher-order structural variabilities of the conditional distributions. We propose Kernel Intrinsic Invariance Measure with Heterogeneous Transform (KIIM-HT) which introduces a novel score measure based on heterogeneous transformation of RKHS embeddings to extract relevant higher-order moments of the conditional densities for causal discovery. Inference is made via comparing the score of each hypothetical cause-effect direction. Tests and comparisons on a synthetic dataset, a two-dimensional synthetic dataset and the real-world benchmark dataset T\"ubingen Cause-Effect Pairs verify our approach. In addition, we conduct a sensitivity analysis to the regularization parameter to faithfully compare previous work to our method and an experiment with trials on varied hyperparameter values to showcase the robustness of our algorithm.


title: On Prompt-Driven Safeguarding for Large Language Models

abstract: Prepending model inputs with safety prompts is a common practice for safeguarding large language models (LLMs) against queries with harmful intents. However, the underlying working mechanisms of safety prompts have not been unraveled yet, restricting the possibility of automatically optimizing them to improve LLM safety. In this work, we investigate how LLMs' behavior (i.e., complying with or refusing user queries) is affected by safety prompts from the perspective of model representation. We find that in the representation space, the input queries are typically moved by safety prompts in a "higher-refusal" direction, in which models become more prone to refusing to provide assistance, even when the queries are harmless. On the other hand, LLMs are naturally capable of distinguishing harmful and harmless queries without safety prompts. Inspired by these findings, we propose a method for safety prompt optimization, namely DRO (Directed Representation Optimization). Treating a safety prompt as continuous, trainable embeddings, DRO learns to move the queries' representations along or opposite the refusal direction, depending on their harmfulness. Experiments with eight LLMs on out-of-domain and jailbreak benchmarks demonstrate that DRO remarkably improves the safeguarding performance of human-crafted safety prompts, without compromising the models' general performance.