title: Multiple-Relaxation Runge Kutta Methods for Conservative Dynamical Systems

abstract: We generalize the idea of relaxation time stepping methods in order to preserve multiple nonlinear conserved quantities of a dynamical system by projecting along directions defined by multiple time stepping algorithms. Similar to the directional projection method of Calvo et. al., we use embedded Runge-Kutta methods to facilitate this in a computationally efficient manner. Proof of the accuracy of the modified RK methods and the existence of valid relaxation parameters are given, under some restrictions. Among other examples, we apply this technique to Implicit-Explicit Runge-Kutta time integration for the Korteweg-de Vries equation and investigate the feasibility and effect of conserving multiple invariants for multi-soliton solutions.


title: The full Lorentz-violating vacuum polarization tensor: low and high energy limits

abstract: We compute the full vacuum polarization tensor in the fermion sector of Lorentz-violating QED. Even if we assume momentum routing invariance of the Feynman diagrams, it is not possible to fix all surface terms and find an unambiguity free vacuum polarization tensor. The high and low energy limits of this tensor is presented. In the high energy limit, only $c_{\mu\nu}$ coeffcients contribute. In the low energy limit, we fnd that Lorentz-violating induced terms depend only on $b_{\mu}$, $c_{\mu\nu}$ and $g_{\mu\nu\lambda}$ coeffcients and they are suppressed by powers of $\frac{p^{2}}{m^{2}}$. This limit allows to obtain implications for condensed matter systems, explicitly, for the Hall effect in Weyl semimetals.


title: On a loss storage network with finite capacity

abstract: Our goal in this paper is to investigate the fluid picture associated with an open large scale storage network of non-reliable file servers with finite capacity. In this storage system, new files can be added and a file with only one copy can be lost or duplicated. The Skorokhod problem with oblique reflection in a bounded convex domain is used to identify the fluid limits. Such analysis involves the study of three different regimes, the under-loaded, the critical and the overloaded regime. The overloaded regime is of particular importance. To identify the fluid limits, new martingales are obtained and an averaging property is established.


title: Few-femtosecond phase-sensitive detection of infrared electric fields with a third-order nonlinearity

abstract: Measuring an electric field waveform beyond radio frequencies is often accomplished via a second-order nonlinear interaction with a laser pulse shorter than half of the field's oscillation period. However, synthesizing such a gate pulse is extremely challenging when sampling mid- (MIR) and near- (NIR) infrared transients. Here, we demonstrate an alternative approach: a third-order nonlinear interaction with a relatively long multi-cycle pulse directly retrieves an electric-field transient whose central frequency is 156 THz. A theoretical model, exploring the different nonlinear frequency mixing processes, accurately reproduces our results. Furthermore, we demonstrate a measurement of the real part of a sample's dielectric function, information that is challenging to retrieve in time-resolved spectroscopy and is therefore often overlooked. The new method paves the way towards experimentally simple MIR-to-NIR time-resolved spectroscopy that simultaneously extracts the spectral amplitude and phase information, an important extension of optical pump-probe spectroscopy of, e.g., molecular vibrations and fundamental excitations in condensed-matter physics.


title: Canonical connections attached to generalized quaternionic and para-quaternionic structures

abstract: We put into light some generalized almost quaternionic and almost para-quaternionic structures and characterize their integrability with respect to a $\nabla$-bracket on the generalized tangent bundle $TM\oplus T^*M$ of a smooth manifold $M$, defined by an affine connection $\nabla$ on $M$. Also, we provide necessary and sufficient conditions for these structures to be $\hat \nabla$-parallel and $\hat \nabla^*$-parallel, where $\hat \nabla$ is an affine connection on $TM\oplus T^*M$ induced by $\nabla$, and $\hat\nabla^*$ is its generalized dual connection with respect to a bilinear form $\check h$ on $TM\oplus T^*M$ induced by a non-degenerate symmetric or skew-symmetric $(0,2)$-tensor field $h$ on $M$. As main results, we establish the existence of a canonical connection associated to a generalized quaternionic and to a generalized para-quaternionic structure, i.e., a torsion-free generalized affine connection that parallelizes these structures. We show that, in the quaternionic case, the canonical connection is the generalized Obata connection and that on a quasi-statistical manifold $(M,h,\nabla)$, an integrable $h$-symmetric and $\nabla$-parallel $(1,1)$-tensor field gives rise to a generalized para-quaternionic structure whose canonical connection is precisely $\hat \nabla^*$. Finally we prove that the generalized affine connection that parallelizes certain families of generalized almost complex and almost product structures is preserved.


title: Resonance between planar self-affine measures

abstract: We show that if $\lbrace \varphi_i\rbrace_{i\in \Gamma}$ and $\lbrace \psi_j\rbrace_{j\in\Lambda}$ are self-affine iterated function systems on the plane that satisfy strong separation, domination and irreducibility, then for any associated self-affine measures $\mu$ and $\nu$, the inequality $$\dim_{\rm H}(\mu*\nu) < \min \lbrace 2, \dim_{\rm H} \mu + \dim_{\rm H} \nu \rbrace$$ implies that there is algebraic resonance between the eigenvalues of the linear parts of $\varphi_i$ and $\psi_j$. This extends to planar non-conformal setting the existing analogous results for self-conformal measures on the line.


title: Chiral electroluminescence from thin-film perovskite metacavities

abstract: Chiral light sources realized in ultracompact device platforms are highly desirable for various applications. Among active media employed for thin-film emission devices, lead-halide perovskites have been extensively studied for photoluminescence due to their exceptional properties. However, up to date, there have been no demonstrations of chiral electroluminescence with a substantial degree of circular polarization (DCP), being critical for the development of practical devices. Here, we propose a new concept of chiral light sources based on a thin-film perovskite metacavity and experimentally demonstrate chiral electroluminescence with DCP approaching 0.38. We design a metacavity created by a metal and a dielectric metasurface supporting photonic eigenstates with close-to-maximum chiral response. Chiral cavity modes facilitate asymmetric electroluminescence of pairs of left and right circularly polarized waves propagating in the opposite oblique directions. The proposed ultracompact light sources are especially advantageous for many applications requiring chiral light beams of both helicities.


title: Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints

abstract: Safety is crucial for robotic missions within an uncertain environment. Common safety requirements such as collision avoidance are only state-dependent, which can be restrictive for complex missions. In this work, we address a more general formulation as safe-return constraints, which require the existence of a return-policy to drive the system back to a set of safe states with high probability. The robot motion is modeled as a Markov Decision Process (MDP) with probabilistic labels, which can be highly non-ergodic. The robotic task is specified as Linear Temporal Logic (LTL) formulas over these labels, such as surveillance and transportation. We first provide theoretical guarantees on the re-formulation of such safe-return constraints, and a baseline solution based on computing two complete product automata. Furthermore, to tackle the computational complexity, we propose a hierarchical planning algorithm that combines the feature-based symbolic and temporal abstraction with constrained optimization. It synthesizes simultaneously two dependent motion policies: the outbound policy minimizes the overall cost of satisfying the task with a high probability, while the return policy ensures the safe-return constraints. The problem formulation is versatile regarding the robot model, task specifications and safety constraints. The proposed hierarchical algorithm is more efficient and can solve much larger problems than the baseline solution, with only a slight loss of optimality. Numerical validations include simulations and hardware experiments of a search-and-rescue mission and a planetary exploration mission over various system sizes.


title: Modelling Illiquid Stocks Using Quantum Stochastic Calculus

abstract: Quantum Stochastic Calculus can be used as a means by which randomness can be introduced to observables acting on a Hilbert space. In this article we show how the mechanisms of Quantum Stochastic Calculus can be used to extend the classical Black-Scholes framework by incorporating a breakdown in the liquidity of a traded asset. This is captured via the widening of the bid offer spread, and the impact on the nature of the resulting probability distribution is modelled in this work.


title: A Song of Ice and Fire: Analyzing Textual Autotelic Agents in ScienceWorld

abstract: Building open-ended agents that can autonomously discover a diversity of behaviours is one of the long-standing goals of artificial intelligence. This challenge can be studied in the framework of autotelic RL agents, i.e. agents that learn by selecting and pursuing their own goals, self-organizing a learning curriculum. Recent work identified language as a key dimension of autotelic learning, in particular because it enables abstract goal sampling and guidance from social peers for hindsight relabelling. Within this perspective, we study the following open scientific questions: What is the impact of hindsight feedback from a social peer (e.g. selective vs. exhaustive)? How can the agent learn from very rare language goal examples in its experience replay? How can multiple forms of exploration be combined, and take advantage of easier goals as stepping stones to reach harder ones? To address these questions, we use ScienceWorld, a textual environment with rich abstract and combinatorial physics. We show the importance of selectivity from the social peer's feedback; that experience replay needs to over-sample examples of rare goals; and that following self-generated goal sequences where the agent's competence is intermediate leads to significant improvements in final performance.


title: Count-min sketch with variable number of hash functions: an experimental study

abstract: Conservative Count-Min, an improved version of Count-Min sketch [Cormode, Muthukrishnan 2005], is an online-maintained hashing-based data structure summarizing element frequency information without storing elements themselves. Although several works attempted to analyze the error that can be made by Count-Min, the behavior of this data structure remains poorly understood. In [Fusy, Kucherov 2022], we demonstrated that under the uniform distribution of input elements, the error of conservative Count-Min follows two distinct regimes depending on its load factor. In this work, we provide a series of experimental results providing new insights into the behavior of conservative Count-Min. Our contributions can be seen as twofold. On one hand, we provide a detailed experimental analysis of the behavior of Count-Min sketch in different regimes and under several representative probability distributions of input elements. On the other hand, we demonstrate improvements that can be made by assigning a variable number of hash functions to different elements. This includes, in particular, reduced space of the data structure while still supporting a small error.


title: Electrical characterization of the azimuthal anisotropy of $(\mathrm{Ni}_x\mathrm{Co}_{1-x})\mathrm{B}$-based ferromagnetic nanotubes

abstract: We report on the structural, electric and magnetic properties of $(\mathrm{Ni}_x\mathrm{Co}_{1-x})\mathrm{B}$ ferromagnetic nanotubes, displaying azimuthal magnetization. The tubes are fabricated using electroless plating in polycarbonate porous templates, with lengths several tens of micrometers, diameters from 100nm to 500nm and wall thicknesses from 10nm to 80nm. The resistivity is $\sim 1.5\times10^{-6}\mathrm{\Omega/m}$, and the anisotropic magnetoresistance~(AMR) of 0.2-0.3%, one order of magnitude larger~(resp. smaller) than in the bulk material, which we attribute to the resistance at grain boundaries. We determined the azimuthal anisotropy field from M(H) AMR loops of single tubes contacted electrically. Its magnitude is around 10mT, and tends to increase with the tube wall thickness, as well as the Co content. However, surprisingly it does not dependent much on the diameter nor on the curvature.


title: Selective focusing of elastic cavities based on the time reversal far field model

abstract: This paper is concerned with the inverse time harmonic elastic scattering of multiple small and well-resolved cavities in two dimensions. We extend the so-called DORT method to the inverse elastic scattering so that selective focusing can be achieved on each cavity with far field measurements. A rigorous mathematical justification that relates the corresponding eigenfunctions of the time reversal operator to the locations of cavities is presented based on the asymptotic analysis of the far field operator and decaying property of oscillatory integrals. We show that in the regime $a\ll k^{-1}\ll L$, where $a$ denotes the size of cavity, $k$ is the compressional wavenumber $\kp$ or shear wavenumber $\ks$, and $L$ is the minimal distance between the cavities, each cavity gives rise to five significant eigenvalues and the corresponding eigenfunction generates an incident wave focusing selectively on that cavity. Numerical experiments are given to verify the theoretical result.


title: The evolution of surface quasi-geostrophic modons on sloping topography

abstract: This work discusses modons, or dipolar vortices, propagating along sloping topography. Two different regimes exist which are studied separately using the surface quasi-geostrophic equations. First, when the modon propagates in the opposite direction to topographic Rossby waves, steady solutions exist and a semi-analytical method is presented for calculating these solutions. Second, when the modon propagates in the same direction of the Rossby waves, a wave wake is generated. This wake removes energy from the modon causing it to decay slowly. Asymptotic predictions are presented for this decay and found to agree closely with numerical simulations. Over long times, decaying vortices are found to break down due to an asymmetry resulting from the generation of waves inside the vortex. A monopolar vortex moving along a wall is shown to behave in a similar way to a dipole, though the presence of the wall is found to stabilise the vortex and prevent the long-time breakdown. The problem is mathematically equivalent to a dipolar vortex moving along a density front hence our results apply directly to this case.


title: Learning stability guarantees for constrained switching linear systems from noisy observations

abstract: We present a data-driven framework based on Lyapunov theory to provide stability guarantees for a family of hybrid systems. In particular, we are interested in the asymptotic stability of switching linear systems whose switching sequence is constrained by labeled graphs, namely constrained switching linear systems. In order to do so, we provide chance-constrained bounds on stability guarantees, that can be obtained from a finite number of noisy observations. We first present a method providing stability guarantees from sampled trajectories in the hybrid state-space of the system. We then study the harder situation where one only observes the continuous part of the hybrid states. We show that in this case, one may still obtain formal chance-constrained stability guarantees. For this latter result we provide a new upper bound of general interest, also for model-based stability analysis


title: Optimized utilization of decentral flexibility for the operational management of cellular multi-modal distribution grids

abstract: Future energy systems rely mostly on supply-dependent resources like wind and solar energy. Since most of the produced energy from distributed renewable sources arises as electricity, electrification of energy consumers and producers, called prosumers, expands. In this context, multi-modal distribution grids make use of the storage capabilities of other energy sectors like heat, and abolish the supply-dependency and uncertainty of the feed-in of decentralized generators. This provides flexibility in the energy system, which increases security of supply and at the same time ensures economical energy provision. The subject of this paper is to exploit the flexibility of such a multi-modal energy system for operation in an optimal way. The cellular approach serves here as the energy system architecture. Aim is to provide flexibility with a cell by optimally distributing a flexibility request to subordinate prosumers changing their active and reactive power. The load change is hereby to be optimally dispatched to the different components of the prosumers under consideration of technical restrictions and dynamic behavior of components, the grids and economical aspects. For dynamic modelling and simulation the open-source modelling language Modelica is used. Using a low-voltage benchmark model expanded by multi-modal technologies, the proposed methodology shows that the cells are capable of providing flexibility to the overlying grid with high accuracy at low costs.


title: The influence of the effective number of active and sterile neutrinos on the determination of the values of cosmological parameters

abstract: In the presented work we consider the influence of a hypothetical sterile neutrino (with eV-scale mass) on the determination of cosmological parameters. If it is detected, it will be necessary to include it into the $\Lambda \rm CDM$ model with the fixed values of its mass $m_{\rm s}$ and mixing angle $\theta_{s}$, which is the main method used through this paper. Apart from that, the seesaw mechanism requires there to be at least two sterile states, one of them being much heavier than the active ones. The heavier sterile state ($m_{s}\sim1$ keV) would decay and increase the effective number of active neutrinos. Therefore, the influence of a change in the effective number of relativistic neutrino species $N_{\rm eff}$ was studied as well, which could be caused by, for example, the decay processes of the above-mentioned sterile neutrinos, as well as processes leading to an increase in the temperature of relic neutrinos $T_{\rm C\nu B}$. The effects studied in this work lead to a significant change in the estimates of the cosmological parameters, including the value of $H_{0}$. It has been discovered that the accounting of the sterile neutrino with masses $m=1$ and $2.7$ eV leads to a decrease in the estimate of the current Hubble parameter value $H_{0}$ and, therefore, exacerbates the ``$H_{0}$-tension'' problem. An increase in the value of the effective number of relativistic neutrino species leads, on the contrary, to an increase in the $H_{0}$ estimate, resolving the above-mentioned problem at $N_{\rm eff}=3.0+0.9$, which is equivalent to an increase of the neutrino temperature up to $T ^{\,0}_{\rm C\nu B}=1.95+0.14\,\rm K$. At the same time, the rest of the cosmological parameters do not change significantly, leaving us within the framework of the standard $\Lambda \rm CDM$ model.


title: On individual leaf depths of trees

abstract: We explore a generating function trick which allows us to keep track of infinitely many statistics using finitely many variables, by recording their individual distributions rather than their joint distributions. Building on previous work of Panholzer and Prodinger, we apply this method to study the depth distributions of individual nodes in rooted binary trees, plane trees, noncrossing trees, and increasing trees; the height distributions of individual vertices and individual steps in Dyck paths; and the number of diagonals separating two fixed sides of a convex polygon in a triangulation or dissection. We obtain both exact and asymptotic results, which sometimes refine known formulas or provide combinatorial proofs of results from the probability literature.


title: Cloud on-demand emulation of quantum dynamics with tensor networks

abstract: We introduce a tensor network based emulator, simulating a programmable analog quantum processing unit (QPU). The software package is fully integrated in a cloud platform providing a common interface for executing jobs on a HPC cluster as well as dispatching them to a QPU device. We also present typical emulation use cases in the context of Neutral Atom Quantum Processors, such as evaluating the quality of a state preparation pulse sequence, and solving Maximum Independent Set problems by applying a parallel sweep over a set of input pulse parameter values, for systems composed of a large number of qubits.


title: Gamma-ray energies and intensities observed in decay chain $^{83}Rb$/$^{83m}Kr$/$^{83}Kr$

abstract: Radioactive sources of the monoenergetic low-energy conversion electrons from the decay of isomeric $^{83m}Kr$ are frequently used in the systematic measurements, particularly in the neutrino mass and dark matter experiments. For this purpose, the isomer is obtained by the decay of its parent radionuclide $^{83}Rb$. In order to get more precise data on the gamma-rays occuring in the $^{83}Rb$/$^{83m}Kr$ chain, we re-measured the relevant gamma-ray spectra, because the previous measurement took place in 1976. The obtained intensities are in fair agreement with this previous measurement. We have, however, improved the uncertainties by a factor of 4.3, identified a new gamma transition and determined more precisely energies of weaker gamma transitions.


title: Transfer Functions of Proteinoid Microspheres

abstract: Proteinoids, or thermal proteins, are inorganic entities formed by heating amino acids to their melting point and commencing polymerisation to form polymeric chains. Typically, their diameters range from 10 to 100 micron. Some amino acids incorporated into proteinoid chains are more hydrophobic than others, leading proteinoids to cluster together when they are present in aqueous solutions at specific concentrations, allowing them to grow into microspheres. The peculiar structure of proteinoids composed of linked amino acids endows them with unique properties, including action-potential like spiking of electrical potential. These unique properties make ensembles of proteinoid microspheres a promising substrate for designing future artificial brains and unconventional computing devices. To evaluate a potential of proteinoid microspheres for unconventional electronic devices we measure and analyse the data-transfer capacities of proteinoid microspheres. In experimental laboratory conditions we demonstrate that the transfer function of proteinoids microspheres is a nontrivial phenomenon, which might be due to the wide range of proteinoid shapes, sizes, and structures.


title: Modelling Illiquid Stocks Using Quantum Stochastic Calculus: Asymptotic Methods

abstract: This article investigates the Fokker-Planck equations that arise from the application of quantum stochastic calculus to the modelling of illiquid financial markets, using asymptotic methods. We present a power series solution for quantum stochastic processes with a non-zero conservation process. Whilst the series in question are in general divergent, we show they can be used to approximate solutions for longer time frames, and provide estimates for the relative error on the higher order terms.


title: Piecewise-Stationary Multi-Objective Multi-Armed Bandit with Application to Joint Communications and Sensing

abstract: We study a multi-objective multi-armed bandit problem in a dynamic environment. The problem portrays a decision-maker that sequentially selects an arm from a given set. If selected, each action produces a reward vector, where every element follows a piecewise-stationary Bernoulli distribution. The agent aims at choosing an arm among the Pareto optimal set of arms to minimize its regret. We propose a Pareto generic upper confidence bound (UCB)-based algorithm with change detection to solve this problem. By developing the essential inequalities for multi-dimensional spaces, we establish that our proposal guarantees a regret bound in the order of $\gamma_T\log(T/{\gamma_T})$ when the number of breakpoints $\gamma_T$ is known. Without this assumption, the regret bound of our algorithm is $\gamma_T\log(T)$. Finally, we formulate an energy-efficient waveform design problem in an integrated communication and sensing system as a toy example. Numerical experiments on the toy example and synthetic and real-world datasets demonstrate the efficiency of our policy compared to the current methods.


title: PACNav: A collective navigation approach for UAV swarms deprived of communication and external localization

abstract: This article proposes Persistence Administered Collective Navigation (PACNav) as an approach for achieving decentralized collective navigation of Unmanned Aerial Vehicle (UAV) swarms. The technique is based on the flocking and collective navigation behavior observed in natural swarms, such as cattle herds, bird flocks, and even large groups of humans. As global and concurrent information of all swarm members is not available in natural swarms, these systems use local observations to achieve the desired behavior. Similarly, PACNav relies only on local observations of relative positions of UAVs, making it suitable for large swarms deprived of communication capabilities and external localization systems. We introduce the novel concepts of path persistence and path similarity that allow each swarm member to analyze the motion of other members in order to determine its own future motion. PACNav is based on two main principles: (1) UAVs with little variation in motion direction have high path persistence, and are considered by other UAVs to be reliable leaders; (2) groups of UAVs that move in a similar direction have high path similarity, and such groups are assumed to contain a reliable leader. The proposed approach also embeds a reactive collision avoidance mechanism to avoid collisions with swarm members and environmental obstacles. This collision avoidance ensures safety while reducing deviations from the assigned path. Along with several simulated experiments, we present a real-world experiment in a natural forest, showcasing the validity and effectiveness of the proposed collective navigation approach in challenging environments. The source code is released as open-source, making it possible to replicate the obtained results and facilitate the continuation of research by the community.


title: Star-Shaped Denoising Diffusion Probabilistic Models

abstract: Denoising Diffusion Probabilistic Models (DDPMs) provide the foundation for the recent breakthroughs in generative modeling. Their Markovian structure makes it difficult to define DDPMs with distributions other than Gaussian or discrete. In this paper, we introduce Star-Shaped DDPM (SS-DDPM). Its star-shaped diffusion process allows us to bypass the need to define the transition probabilities or compute posteriors. We establish duality between star-shaped and specific Markovian diffusions for the exponential family of distributions and derive efficient algorithms for training and sampling from SS-DDPMs. In the case of Gaussian distributions, SS-DDPM is equivalent to DDPM. However, SS-DDPMs provide a simple recipe for designing diffusion models with distributions such as Beta, von Mises$\unicode{x2013}$Fisher, Dirichlet, Wishart and others, which can be especially useful when data lies on a constrained manifold. We evaluate the model in different settings and find it competitive even on image data, where Beta SS-DDPM achieves results comparable to a Gaussian DDPM. Our implementation is available at https://github.com/andrey-okhotin/star-shaped .


title: Policy Learning with Rare Outcomes

abstract: Machine learning (ML) estimates of conditional average treatment effects (CATE) can guide policy decisions, either by allowing targeting of individuals with beneficial CATE estimates, or as inputs to decision trees that optimise overall outcomes. There is limited information available regarding how well these algorithms perform in real-world policy evaluation scenarios. Using synthetic data, we compare the finite sample performance of different policy learning algorithms, machine learning techniques employed during their learning phases, and methods for presenting estimated policy values. For each algorithm, we assess the resulting treatment allocation by measuring deviation from the ideal ("oracle") policy. Our main finding is that policy trees based on estimated CATEs outperform trees learned from doubly-robust scores. Across settings, Causal Forests and the Normalised Double-Robust Learner perform consistently well, while Bayesian Additive Regression Trees perform poorly. These methods are then applied to a case study targeting optimal allocation of subsidised health insurance, with the goal of reducing infant mortality in Indonesia.


title: Estimating AGN Black Hole Masses via Continuum Reverberation Mapping in the Era of LSST

abstract: Spectroscopic reverberation mapping (RM) is a direct approach widely used to estimate the mass of black holes (BHs) in active galactic nuclei (AGNs). However, it is very time consuming and difficult to apply to a large AGN sample. The empirical relation between the broad-line region size and luminosity (H$\beta$ $R_{\rm BLR}\unicode{x2013}L$) provides a practical alternative yet is subject to large scatter and systematic bias. Based on the relation between the continuum emitting region size and luminosity ($R_{\rm CER}\unicode{x2013}L$) reported by Netzer (2022), we present a new BH mass estimator via continuum RM (CRM) by comparing $R_{\rm CER}$ and $R_{\rm BLR}$, assuming that the continuum lags are dominated by the diffuse continuum emission. Using a sample of 21 AGNs, we find a tight $R_{\rm BLR}\unicode{x2013}R_{\rm CER}$ relation (scatter$\sim$0.28 dex) and that $R_{\rm BLR}$ is larger than $R_{\rm CER}$ at 5100 \r{A} by an average factor of 8.1. This tight relation enables the BH mass estimation based on the CRM combined with the velocity information. Applying the relation to rest objects in our CRM sample, we demonstrate that the predicted $R_{\rm BLR,CRM}$ follows the existing H$\beta$ $R_{\rm BLR}\unicode{x2013}L$ relation well and the estimated CRM BH masses are consistent with the RM/single-epoch BH masses using H$\beta$. This method will provide significant applications for BH mass estimation thanks to the short continuum lags and the easily accessible high-cadence, large-area photometric data, especially in the era of Legacy Survey of Space and Time.


title: Evaluation of Data Augmentation and Loss Functions in Semantic Image Segmentation for Drilling Tool Wear Detection

abstract: Tool wear monitoring is crucial for quality control and cost reduction in manufacturing processes, of which drilling applications are one example. In this paper, we present a U-Net based semantic image segmentation pipeline, deployed on microscopy images of cutting inserts, for the purpose of wear detection. The wear area is differentiated in two different types, resulting in a multiclass classification problem. Joining the two wear types in one general wear class, on the other hand, allows the problem to be formulated as a binary classification task. Apart from the comparison of the binary and multiclass problem, also different loss functions, i. e., Cross Entropy, Focal Cross Entropy, and a loss based on the Intersection over Union (IoU), are investigated. Furthermore, models are trained on image tiles of different sizes, and augmentation techniques of varying intensities are deployed. We find, that the best performing models are binary models, trained on data with moderate augmentation and an IoU-based loss function.


title: Metal-bonded perovskite lead hydride with phonon-mediated superconductivity up to 46 K under atmospheric pressure

abstract: In the search for high-temperature superconductivity in hydrides, a plethora of multi-hydrogen superconductors have been theoretically predicted, and some have been synthesized experimentally under ultrahigh pressures of several hundred GPa. However, the impracticality of these high-pressure methods has been a persistent issue. In response, we propose a new approach to achieve high-temperature superconductivity under atmospheric pressure by implanting hydrogen into lead to create a stable few-hydrogen metal-bonded perovskite, Pb$_4$H. This approach diverges from the popular design methodology of multi-hydrogen covalent high critical temperature ($T_c$) superconductors under ultrahigh pressure. By solving the anisotropic Migdal-Eliashberg (ME) equations, we demonstrate that perovskite Pb$_4$H is a typical phonon-mediated superconductor with a $T_c$ of 46 K, which is six times higher than that of bulk Pb (7.22 K) and higher than that of MgB$_2$ (39 K). The high $T_c$ can be attributed to the strong electron-phonon coupling (EPC) strength of 2.45, which arises from hydrogen implantation in lead that induces several high-frequency optical phonon modes with a relatively large phonon linewidth resulting from H atom vibration. The metallic-bonding in perovskite Pb$_4$H not only improves the structural stability but also guarantees better ductility than the widely investigated multi-hydrogen, iron-based, and cuprate superconductors. These results suggest that there is potential for the exploration of new high-temperature superconductors under atmospheric pressure and may reignite interest in their experimental synthesis soon.


title: Feedback Assisted Spin Dynamics in an Inhomogeneous Bias Magnetic Field

abstract: We study dynamics of spins in the presence of a feedback magnetic field. The inhomogeneity of the bias magnetic field results in that of the Larmor frequencies of the spins. We find that the system exhibits rich nonlinear dynamics: beyond limit cycles which have been the focus of previous studies, quasi-periodic orbits and chaos emerge in a wide parameter space. The stable regions of each phases are determined analytically or numerically. We establish the relation between the synchronization frequency of limit cycles and the field inhomogeneity. Our results have important implications to precision measurement.


title: Spoken language change detection inspired by speaker change detection

abstract: Spoken language change detection (LCD) refers to identifying the language transitions in a code-switched utterance. Similarly, identifying the speaker transitions in a multispeaker utterance is known as speaker change detection (SCD). Since tasks-wise both are similar, the architecture/framework developed for the SCD task may be suitable for the LCD task. Hence, the aim of the present work is to develop LCD systems inspired by SCD. Initially, both LCD and SCD are performed by humans. The study suggests humans require (a) a larger duration around the change point and (b) language-specific prior exposure, for performing LCD as compared to SCD. The larger duration requirement is incorporated by increasing the analysis window length of the unsupervised distance-based approach. This leads to a relative performance improvement of 29.1% and 2.4%, and a priori language knowledge provides a relative improvement of 31.63% and 14.27% on the synthetic and practical codeswitched datasets, respectively. The performance difference between the practical and synthetic datasets is mostly due to differences in the distribution of the monolingual segment duration.


title: On the Applicability of Explainable Artificial Intelligence for Software Requirement Analysis

abstract: The applications of Artificial Intelligence (AI) methods especially machine learning techniques have increased in recent years. Classification algorithms have been successfully applied to different problems such as requirement classification. Although these algorithms have good performance, most of them cannot explain how they make a decision. Explainable Artificial Intelligence (XAI) is a set of new techniques that explain the predictions of machine learning algorithms. In this work, the applicability of XAI for software requirement classification is studied. An explainable software requirement classifier is presented using the LIME algorithm. The explainability of the proposed method is studied by applying it to the PROMISE software requirement dataset. The results show that XAI can help the analyst or requirement specifier to better understand why a specific requirement is classified as functional or non-functional. The important keywords for such decisions are identified and analyzed in detail. The experimental study shows that the XAI can be used to help analysts and requirement specifiers to better understand the predictions of the classifiers for categorizing software requirements. Also, the effect of the XAI on feature reduction is analyzed. The results showed that the XAI model has a positive role in feature analysis.


title: Bayesian eikonal tomography using Gaussian processes

abstract: Eikonal tomography has become a popular methodology for deriving phase velocity maps from surface wave phase delay measurements. Its high efficiency makes it popular for handling datasets deriving from large-N arrays, in particular in the ambient-noise tomography setting. However, the results of eikonal tomography are crucially dependent on the way in which phase delay measurements are interpolated, a point which has not been thoroughly investigated. In this work, I provide a rigorous formulation for eikonal tomography using Gaussian processes (GPs) to interpolate phase delay measurements, including uncertainties. GPs allow the posterior phase delay gradient to be analytically derived. From the phase delay gradient, an excellent approximate solution for phase velocities can be obtained using the saddlepoint method. The result is a fully Bayesian result for phase velocities of surface waves, incorporating the nonlinear wavefront bending inherent in eikonal tomography, with no sampling required. The results of this analysis imply that the uncertainties reported for eikonal tomography are often underestimated.


title: Toward a complete description of $b \to u \ell^- \bar\nu$ decays within the Weak Effective Theory

abstract: We fit the available data on exclusive semileptonic $b\to u\ell^-\bar\nu$ decays within the Standard Model and in the Weak Effective Theory. Assuming Standard Model dynamics, we find $|V_{ub}| = 3.59^{+0.13}_{-0.12} \times 10^{-3}$. Lifting this assumption, we obtain stringent constraints on the coefficients of the $ub\ell\nu$ sector of the Weak Effective Theory. Performing a Bayesian model comparison, we find that a beyond the Standard Model interpretation is favoured over a Standard Model interpretation of the available data. We provide a Gaussian mixture model that enables the efficient use of our fit results in subsequent analyses beyond the Standard Model, within and beyond the framework of the Standard Model Effective Field Theory.


title: Defining relations for minimal unitary quantum affine W-algebras

abstract: We prove that any unitary highest weight module over a universal minimal quantum affine $W$-algebra at non-critical level descends to its simple quotient. We find the defining relations of the unitary simple minimal quantum affine $W$-algebras and the list of all their irreducible positive energy modules. We also classify all irreducible highest weight modules for the simple affine vertex algebras in the cases when the associated simple minimal $W$-algebra is unitary.


title: Conceptual Views on Tree Ensemble Classifiers

abstract: Random Forests and related tree-based methods are popular for supervised learning from table based data. Apart from their ease of parallelization, their classification performance is also superior. However, this performance, especially parallelizability, is offset by the loss of explainability. Statistical methods are often used to compensate for this disadvantage. Yet, their ability for local explanations, and in particular for global explanations, is limited. In the present work we propose an algebraic method, rooted in lattice theory, for the (global) explanation of tree ensembles. In detail, we introduce two novel conceptual views on tree ensemble classifiers and demonstrate their explanatory capabilities on Random Forests that were trained with standard parameters.


title: Wedge disclination description of emergent core-shifted grain boundaries at free surfaces

abstract: Emergent grain boundaries at free surface control material properties such as nanomaterial strength, catalysis, and corrosion. Recently the restructuring of emergent boundaries on copper (111) surfaces was discovered experimentally and atomic calculations point to its universality in fcc metal systems. Restructuring is due to a preference for boundaries to shift their tilt axis across the (1-10) plane towards [112] and ultimately to form low energy [112] core shifted boundaries (CSBs). However, the observed geometry of these emergent boundaries is not reproduced by atomic calculations and the driving force is still controversial due to inconsistencies between the computational continuum analysis and atomic calculations. Here, using atomic calculations that involve a methodical shift of the dislocation core, we confirmed the core shift of emergent boundaries observed in experiment and reconciled the atomic calculations with the elastic analysis through the inclusion of a straight wedge disclination at the free surface.


title: Stratigraphic forward modeling software package for research and education

abstract: We have developed an open-source software package (SedSimple) for stratigraphic forward modeling. It is aimed for use in research and education. The package uses ASCII files for input and output to facilitate understanding, debugging and preparation of multiple data sets though simple user-developed scripts. A free graphic program is available to assist in editing input and rendering results in 3D plus geologic time animation. The open-source concept offers the ability to understand the algorithm in detail, and modify or extend it as needed. Several algorithms are available in the program to model various sedimentary environments and processes, including alluvial, fluvial, turbiditic, carbonatic, deep-sea clastic, wave action, vertical tectonics and sea-level changes. These processes can be run concurrently. Furthermore, the effect of some processes can be made to affect others (for example wave action can affect carbonate growth, while also causing erosion and redistribution of the deposits). The algorithms are fully deterministic. As most forward models of natural environments, the results cannot be readily conditioned to data. However, the model is much faster than similar commercial packages of the same resolution. Therefore, we foresee that one of the main uses of the package will be to study workflows that require multiple realizations to obtain statistical predictions, such as Monte Carlo methods, combination with geostatistical methods, artificial intelligence and machine learning that require multiple inputs of geologically realistic models.


title: On codimension one stability of the soliton for the 1D focusing cubic Klein-Gordon equation

abstract: We consider the codimension one asymptotic stability problem for the soliton of the focusing cubic Klein-Gordon equation on the line under even perturbations. The main obstruction to full asymptotic stability on the center-stable manifold is a small divisor in a quadratic source term of the perturbation equation. This singularity is due to the threshold resonance of the linearized operator and the absence of null structure in the nonlinearity. The threshold resonance of the linearized operator produces a one-dimensional space of slowly decaying Klein-Gordon waves, relative to local norms. In contrast, the closely related perturbation equation for the sine-Gordon kink does exhibit null structure, which makes the corresponding quadratic source term amenable to normal forms [76]. The main result of this work establishes decay estimates up to exponential time scales for small "codimension one type" perturbations of the soliton of the focusing cubic Klein-Gordon equation. The proof is based upon a super-symmetric approach to the study of modified scattering for 1D nonlinear Klein-Gordon equations with P\"oschl-Teller potentials from [76], and an implementation of a version of an adapted functional framework introduced in [39].


title: Worst case complexity bounds for linesearch-type derivative-free algorithms

abstract: This paper is devoted to the analysis of worst case complexity bounds for linesearch-type derivative-free algorithms for the minimization of general non-convex smooth functions. We prove that two linesearch-type algorithms enjoy the same complexity properties which have been proved for pattern and direct search algorithms. In particular, we consider two derivative-free algorithms based on two different linesearch techniques and manage to prove that the number of iterations and of function evaluations required to drive the norm of the gradient of the objective function below a given threshold $\epsilon$ is ${\cal O}(\epsilon^{-2})$ in the worst case.


title: Neutrino oscillations in astrophysical environment accounting for neutrino charge radius and anapole moment

abstract: We derive an effective neutrino evolution Hamiltonian and corresponding expression for neutrino spin oscillations probabilities accounting for neutrino interactions with external electric current due to neutrino charge radii and anapole moment. The results are interesting for possible applications in astrophysics.


title: Particle acceleration by magnetic Rayleigh-Taylor instability: mechanism for flares in black-hole accretion flows

abstract: We study the magnetic Rayleigh-Taylor instability in relativistic collisionless plasma, as an astrophysical process for nonthermal particle acceleration. We consider dense plasma on top of a highly magnetized cavity with sheared magnetic field. Using particle-in-cell simulations, we show that small plumes grow and merge progressively to form a large-scale plume, which broadens to drive rapid magnetic reconnection in the cavity. We find that this leads to efficient particle acceleration capable of explaining flares from the inner accretion flow onto the black hole Sgr A*.


title: Tensor Generalized Canonical Correlation Analysis

abstract: Regularized Generalized Canonical Correlation Analysis (RGCCA) is a general statistical framework for multi-block data analysis. RGCCA enables deciphering relationships between several sets of variables and subsumes many well-known multivariate analysis methods as special cases. However, RGCCA only deals with vector-valued blocks, disregarding their possible higher-order structures. This paper presents Tensor GCCA (TGCCA), a new method for analyzing higher-order tensors with canonical vectors admitting an orthogonal rank-R CP decomposition. Moreover, two algorithms for TGCCA, based on whether a separable covariance structure is imposed or not, are presented along with convergence guarantees. The efficiency and usefulness of TGCCA are evaluated on simulated and real data and compared favorably to state-of-the-art approaches.


title: A clustering heuristic to improve a derivative-free algorithm for nonsmooth optimization

abstract: In this paper we propose an heuristic to improve the performances of the recently proposed derivative-free method for nonsmooth optimization CS-DFN. The heuristic is based on a clustering-type technique to compute a direction { which relies on an estimate of Clarke's generalized gradient} of the objective function. As such, this direction (as it is shown by the numerical experiments) is a good descent direction for the objective function. We report some numerical results and comparison with the original CS-DFN method to show the utility of the proposed improvement on a set of well-known test problems.


title: Magnetic catalysis in the (2+1)-dimensional Gross-Neveu model

abstract: We study the Gross-Neveu model in $2+1$ dimensions in an external magnetic field $B$. We first summarize known mean-field results, obtained in the limit of large flavor number $N_\mathrm{f}$, before presenting lattice results using the overlap discretization to study one reducible fermion flavor, $N_\mathrm{f}=1$. Our findings indicate that the magnetic catalysis phenomenon, i.e., an increase of the chiral condensate with the magnetic field, persists beyond the mean-field limit for temperatures below the chiral phase transition and that the critical temperature grows with increasing magnetic field. This is in contrast to the situation in QCD, where the broken phase shrinks with increasing $B$ while the condensate exhibits a non-monotonic $B$-dependence close to the chiral crossover, and we comment on this discrepancy. We do not find any trace of inhomogeneous phases induced by the magnetic field.


title: Invariant Finite-Difference Schemes for Cylindrical One-Dimensional MHD Flows with Conservation Laws Preservation

abstract: On the basis of the recent group classification of the one-dimensional magnetohydrodynamics (MHD) equations in cylindrical geometry, the construction of symmetry-preserving finite-difference schemes with conservation laws is carried out. New schemes are constructed starting from the classical completely conservative Samarsky-Popov schemes. In the case of finite conductivity, schemes are derived that admit all the symmetries and possess all the conservation laws of the original differential model, including previously unknown conservation laws. In the case of a frozen-in magnetic field (when the conductivity is infinite), various schemes are constructed that possess conservation laws, including those preserving entropy along trajectories of motion. The peculiarities of constructing schemes with an extended set of conservation laws for specific forms of entropy and magnetic fluxes are discussed.


title: Boundary Integral Formulation of the Cell-by-Cell Model of Cardiac Electrophysiology

abstract: We propose a boundary element method for the accurate solution of the cell-by-cell bidomain model of electrophysiology. The cell-by-cell model, also called Extracellular-Membrane-Intracellular (EMI) model, is a system of reaction-diffusion equations describing the evolution of the electric potential within each domain: intra- and extra-cellular space and the cellular membrane. The system is parabolic but degenerate because the time derivative is only in the membrane domain. In this work, we adopt a boundary-integral formulation for removing the degeneracy in the system and recast it to a parabolic equation on the membrane. The formulation is also numerically advantageous since the number of degrees of freedom is sensibly reduced compared to the original model. Specifically, we prove that the boundary-element discretization of the EMI model is equivalent to a system of ordinary differential equations, and we consider a time discretization based on the multirate explicit stabilized Runge-Kutta method. We numerically show that our scheme convergences exponentially in space for the single-cell case. We finally provide several numerical experiments of biological interest.


title: Graph Neural Networks Go Forward-Forward

abstract: We present the Graph Forward-Forward (GFF) algorithm, an extension of the Forward-Forward procedure to graphs, able to handle features distributed over a graph's nodes. This allows training graph neural networks with forward passes only, without backpropagation. Our method is agnostic to the message-passing scheme, and provides a more biologically plausible learning scheme than backpropagation, while also carrying computational advantages. With GFF, graph neural networks are trained greedily layer by layer, using both positive and negative samples. We run experiments on 11 standard graph property prediction tasks, showing how GFF provides an effective alternative to backpropagation for training graph neural networks. This shows in particular that this procedure is remarkably efficient in spite of combining the per-layer training with the locality of the processing in a GNN.


title: Deep Learning from Parametrically Generated Virtual Buildings for Real-World Object Recognition

abstract: We study the use of parametric building information modeling (BIM) to automatically generate training data for artificial neural networks (ANNs) to recognize building objects in photos. Teaching artificial intelligence (AI) machines to detect building objects in images is the foundation toward AI-assisted semantic 3D reconstruction of existing buildings. However, there exists the challenge of acquiring training data which is typically human-annotated, that is, unless a computer machine can generate high-quality data to train itself for a certain task. In that vein, we trained ANNs solely on realistic computer-generated images of 3D BIM models which were parametrically and automatically generated using the BIMGenE program. The ANN training result demonstrated generalizability and good semantic segmentation on a test case as well as arbitrary photos of buildings that are outside the range of the training data, which is significant for the future of training AI with generated data for solving real-world architectural problems.


title: A Systematic Literature Review of Human-Centered, Ethical, and Responsible AI

abstract: As Artificial Intelligence (AI) continues to advance rapidly, it becomes increasingly important to consider AI's ethical and societal implications. In this paper, we present a bottom-up mapping of the current state of research at the intersection of Human-Centered AI, Ethical, and Responsible AI (HCER-AI) by thematically reviewing and analyzing 164 research papers from leading conferences in ethical, social, and human factors of AI: AIES, CHI, CSCW, and FAccT. The ongoing research in HCER-AI places emphasis on governance, fairness, and explainability. These conferences, however, concentrate on specific themes rather than encompassing all aspects. While AIES has fewer papers on HCER-AI, it emphasizes governance and rarely publishes papers about privacy, security, and human flourishing. FAccT publishes more on governance and lacks papers on privacy, security, and human flourishing. CHI and CSCW, as more established conferences, have a broader research portfolio. We find that the current emphasis on governance and fairness in AI research may not adequately address the potential unforeseen and unknown implications of AI. Therefore, we recommend that future research should expand its scope and diversify resources to prepare for these potential consequences. This could involve exploring additional areas such as privacy, security, human flourishing, and explainability.


title: Elastic neutrino-atom scattering as a probe of neutrino millicharge and magnetic moment

abstract: Neutrino scattering on atomic systems at low-energy transfer is a powerful tool for searching the neutrino electromagnetic interactions. The regime of coherent elastic neutrino-atom scattering, i.e., when the atom recoils as a pointlike particle, can be effectively fulfilled in the case of tritium antineutrinos. We present theoretical calculations for coherent elastic neutrino-atom scattering processes on such targets as the H, $^2$H, $^3$He, and $^4$He %, and $^{12}$C atoms. We show how the atomic effects and neutrino electromagnetic properties, namely the neutrino millicharge and magnetic moment, may manifest themselves in the atomic-recoil spectra. Our results can be used in planning the experiments on coherent elastic neutrino-atom scattering (in particular, with superfluid He-4).


title: Archaeological Sites Detection with a Human-AI Collaboration Workflow

abstract: This paper illustrates the results obtained by using pre-trained semantic segmentation deep learning models for the detection of archaeological sites within the Mesopotamian floodplains environment. The models were fine-tuned using openly available satellite imagery and vector shapes coming from a large corpus of annotations (i.e., surveyed sites). A randomized test showed that the best model reaches a detection accuracy in the neighborhood of 80%. Integrating domain expertise was crucial to define how to build the dataset and how to evaluate the predictions, since defining if a proposed mask counts as a prediction is very subjective. Furthermore, even an inaccurate prediction can be useful when put into context and interpreted by a trained archaeologist. Coming from these considerations we close the paper with a vision for a Human-AI collaboration workflow. Starting with an annotated dataset that is refined by the human expert we obtain a model whose predictions can either be combined to create a heatmap, to be overlaid on satellite and/or aerial imagery, or alternatively can be vectorized to make further analysis in a GIS software easier and automatic. In turn, the archaeologists can analyze the predictions, organize their onsite surveys, and refine the dataset with new, corrected, annotation


title: Multicategory Matched Learning for Estimating Optimal Individualized Treatment Rules in Observational Studies with Application to a Hepatocellular Carcinoma Study

abstract: One primary goal of precision medicine is to estimate the individualized treatment rules (ITRs) that optimize patients' health outcomes based on individual characteristics. Health studies with multiple treatments are commonly seen in practice. However, most existing ITR estimation methods were developed for the studies with binary treatments. Many require that the outcomes are fully observed. In this paper, we propose a matching-based machine learning method to estimate the optimal ITRs in observational studies with multiple treatments when the outcomes are fully observed or right-censored. We establish theoretical property for the proposed method. It is compared with the existing inverse probability weighting-based ITR estimation methods in simulation studies and a hepatocellular carcinoma study.


title: Topology optimization for stationary fluid-structure interaction problems with turbulent flow

abstract: Topology optimization methods face serious challenges when applied to structural design with fluid-structure interaction (FSI) loads, specially for high Reynolds fluid flow. This paper devises an explicit boundary method that employs separate analysis and optimization grids in FSI systems. A geometry file is created after extracting a smooth contour from a set of binary design variables that defines the structural design. The FSI problem can then be modeled with accurate physics and explicitly defined regions. The Finite Element Method is used to solve the fluid and structural domains. This is the first work to consider a turbulent flow in the fluid-structure topology optimization framework. The fluid flow is solved considering the $k-\varepsilon$ turbulence model including standard wall functions at the fluid and fluid-structure boundaries. The structure is considered to be linearly elastic. Semi-automatic differentiation is employed to compute sensitivities and an optimization problem using binary design variables is solved via sequential integer linear programming. The fluid loading is linearly interpolated in order to provide the sensitivities of the fluid flow on the fluid-structure interfaces. Results show that the proposed methodology is able to provide structural designs with smooth boundaries considering loads from low and high Reynolds flow.


title: Rumor Classification through a Multimodal Fusion Framework and Ensemble Learning

abstract: The proliferation of rumors on social media has become a major concern due to its ability to create a devastating impact. Manually assessing the veracity of social media messages is a very time-consuming task that can be much helped by machine learning. Most message veracity verification methods only exploit textual contents and metadata. Very few take both textual and visual contents, and more particularly images, into account. Moreover, prior works have used many classical machine learning models to detect rumors. However, although recent studies have proven the effectiveness of ensemble machine learning approaches, such models have seldom been applied. Thus, in this paper, we propose a set of advanced image features that are inspired from the field of image quality assessment, and introduce the Multimodal fusiON framework to assess message veracIty in social neTwORks (MONITOR), which exploits all message features by exploring various machine learning models. Moreover, we demonstrate the effectiveness of ensemble learning algorithms for rumor detection by using five metalearning models. Eventually, we conduct extensive experiments on two real-world datasets. Results show that MONITOR outperforms state-of-the-art machine learning baselines and that ensemble models significantly increase MONITOR's performance.


title: Removing Structured Noise with Diffusion Models

abstract: Solving ill-posed inverse problems requires careful formulation of prior beliefs over the signals of interest and an accurate description of their manifestation into noisy measurements. Handcrafted signal priors based on e.g. sparsity are increasingly replaced by data-driven deep generative models, and several groups have recently shown that state-of-the-art score-based diffusion models yield particularly strong performance and flexibility. In this paper, we show that the powerful paradigm of posterior sampling with diffusion models can be extended to include rich, structured, noise models. To that end, we propose a joint conditional reverse diffusion process with learned scores for the noise and signal-generating distribution. We demonstrate strong performance gains across various inverse problems with structured noise, outperforming competitive baselines that use normalizing flows and adversarial networks. This opens up new opportunities and relevant practical applications of diffusion modeling for inverse problems in the context of non-Gaussian measurement models.


title: Phantom scalar-tensor models and cosmological tensions

abstract: We study three different extended scalar-tensor theories of gravity by also allowing a negative sign for the kinetic term for the scalar field in the Jordan frame. Our scope is to understand how the observational constraints for these models cope with the volume of the parameter space in which the theory is healthy. Models with a negative kinetic term lead to decreasing effective gravitational constant with redshift and behave as an effective relativistic component with a negative energy density as opposite to their corresponding version with a standard kinetic term. As a consequence, we find that the extended branch with a negative sign for the kinetic term correspond in general to lower $H_0$ and $\sigma_8$ compared to $\Lambda$CDM. We find that in all the cases with a negative sign for the kinetic term studied here, cosmological observations constrain these models around GR and prefer a volume of the parameter space in which the theory is not healthy since the scalar field behave as a ghost also in the related Einstein frame. We show that also in the phantom branch early modify gravity with a quartic coupling can substantially reduce the $H_0$ tension fitting the combination of cosmic microwave background data from Planck, baryon acoustic oscillations from BOSS and eBOSS, and Supernovae from the Pantheon sample with calibration information by SH0ES.


title: Real-Space Renormalization group for spin glasses

abstract: While in the fully-connected limit the solution of the spin-glass model is known, with the existence of a complex transition on a critical line in the temperature-external field phase diagram, in finite dimensions we don't know if a transition is present or not and, if present, if its nature is the same as the one in infinite dimensions. This work contains a review of the real-space Renormalization Group methods that have been applied to Spin Glasses, highlighting both their point of strength and weakness in characterizing the finite dimensional behaviour of the model.


title: A Novel Improved Mask RCNN for Multiple Targets Detection in the Indoor Complex Scenes

abstract: With the expansive aging of global population, service robot with living assistance applied in indoor scenes will serve as a crucial role in the field of elderly care and health in the future. Service robots need to detect multiple targets when completing auxiliary tasks. However, indoor scenes are usually complex and there are many types of interference factors, leading to great challenges in the multiple targets detection. To overcome this technical difficulty, a novel improved Mask RCNN method for multiple targets detection in the indoor complex scenes is proposed in this paper. The improved model utilizes Mask RCNN as the network framework. On this basis, Convolutional Block Attention Module (CBAM) with channel mechanism and space mechanism is integrated, and the influence of different background, distance, angle and interference factors are comprehensively considered. Meanwhile, in order to evaluate the detection and identification effects of the established model, a comprehensive evaluation system based on loss function and Mean Average Precision (mAP) is established. For verification, experiments on the detection and identification effects under different distances, backgrounds, angles and interference factors were conducted. The results show that designed model improves the accuracy to a higher level and has a better anti-interference ability than other methods when the detection speed was nearly the same.


title: MoreauGrad: Sparse and Robust Interpretation of Neural Networks via Moreau Envelope

abstract: Explaining the predictions of deep neural nets has been a topic of great interest in the computer vision literature. While several gradient-based interpretation schemes have been proposed to reveal the influential variables in a neural net's prediction, standard gradient-based interpretation frameworks have been commonly observed to lack robustness to input perturbations and flexibility for incorporating prior knowledge of sparsity and group-sparsity structures. In this work, we propose MoreauGrad as an interpretation scheme based on the classifier neural net's Moreau envelope. We demonstrate that MoreauGrad results in a smooth and robust interpretation of a multi-layer neural network and can be efficiently computed through first-order optimization methods. Furthermore, we show that MoreauGrad can be naturally combined with $L_1$-norm regularization techniques to output a sparse or group-sparse explanation which are prior conditions applicable to a wide range of deep learning applications. We empirically evaluate the proposed MoreauGrad scheme on standard computer vision datasets, showing the qualitative and quantitative success of the MoreauGrad approach in comparison to standard gradient-based interpretation methods.


title: Identifiability and singular locus of secant varieties to spinor varieties

abstract: In this work we analyze the $Spin(V)$-structure of the secant variety of lines $\sigma_{2}(\mathbb{S})$ to a Spinor variety $\mathbb{S}$ minimally embedded in its spin representation. In particular, we determine the poset of the $Spin(V)$-orbits and their dimensions. We use it for solving the problems of identifiability and tangential-identifiability in $\sigma_2(\mathbb S)$, and for determining the second Terracini locus of $\mathbb{S}$. Finally, we show that the singular locus $Sing(\sigma_{2}(\mathbb{S}))$ contains the two $Spin(V)$-orbits of lowest dimensions and it lies in the tangential variety $\tau(\mathbb{S})$: we also conjecture what it set-theoretically is.


title: From linear to circular polarized light -- Floquet engineering in Kitaev-Heisenberg materials with Lissajous figures

abstract: This paper discusses Floquet engineering with arbitrary polarization in $\alpha$-RuCl$_3$. We describe the influence of arbitrary polarization and the limiting cases of linear and circular polarization. The corresponding model is derived via perturbation theory up to fourth-order. Starting from linear and circular polarization we bridge the gap between those two limiting cases. We then we study more complex Lissajous figures and general trends arising for them.


title: Objective Evaluation-based High-efficiency Learning Framework for Hyperspectral Image Classification

abstract: Deep learning methods have been successfully applied to hyperspectral image (HSI) classification with remarkable performance. Because of limited labelled HSI data, earlier studies primarily adopted a patch-based classification framework, which divides images into overlapping patches for training and testing. However, this approach results in redundant computations and possible information leakage. In this study, we propose an objective evaluation-based high-efficiency learning framework for tiny HSI classification. This framework comprises two main parts: (i) a leakage-free balanced sampling strategy, and (ii) a modified end-to-end fully convolutional network (FCN) architecture that optimizes the trade-off between accuracy and efficiency. The leakage-free balanced sampling strategy generates balanced and non-overlapping training and testing data by partitioning an HSI and the ground truth image into small windows, each of which corresponds to one training or testing sample. The proposed high-efficiency FCN exhibits a pixel-to-pixel architecture with modifications aimed at faster inference speed and improved parameter efficiency. Experiments conducted on four representative datasets demonstrated that the proposed sampling strategy can provide objective performance evaluation and that the proposed network outperformed many state-of-the-art approaches with respect to the speed/accuracy tradeoff. Our source code is available at https://github.com/xmzhang2018.


title: Optical Switching Data Center Networks: Understanding Techniques and Challenges

abstract: Relying on the flexible-access interconnects to the scalable storage and compute resources, data centers deliver critical communications connectivity among numerous servers to support the housed applications and services. To provide the high-speeds and long-distance communications, the data centers have turned to fiber interconnections. With the stringently increased traffic volume, the data centers are then expected to further deploy the optical switches into the systems infrastructure to implement the full optical switching. This paper first summarizes the topologies and traffic characteristics in data centers and analyzes the reasons and importance of moving to optical switching. Recent techniques related to the optical switching, and main challenges limiting the practical deployments of optical switches in data centers are also summarized and reported.


title: Privatization of Probability Distributions by the Wavelet Integral approach

abstract: A naive theory of additive perturbations on a continuous probability distribution is presented. We propose a new privatization mechanism based on a naive theory of a perturbation on a probability using wavelets, such as a noise perturbs the signal of a digital image sensor. The cumulative wavelet integral function is defined and builds up the perturbations with the help of this function. We show that an arbitrary distribution function additively perturbed is still a distribution function, which can be seen as a privatized distribution, with the privatization mechanism being a wavelet function. It is shown that an arbitrary cumulative distribution function added to such an additive perturbation is still a cumulative distribution function. Thus, we offer a mathematical method for choosing a suitable probability distribution to data by starting from some guessed initial distribution. The areas of artificial intelligence and machine learning are constantly in need of data fitting techniques, closely related to sensors. The proposed privatization mechanism is therefore a contribution to increasing the scope of existing techniques.


title: Reinforcement Learning for Protocol Synthesis in Resource-Constrained Wireless Sensor and IoT Networks

abstract: This article explores the concepts of online protocol synthesis using Reinforcement Learning (RL). The study is performed in the context of sensor and IoT networks with ultra low complexity wireless transceivers. The paper introduces the use of RL and Multi Armed Bandit (MAB), a specific type of RL, for Medium Access Control (MAC) under different network and traffic conditions. It then introduces a novel learning based protocol synthesis framework that addresses specific difficulties and limitations in medium access for both random access and time slotted networks. The mechanism does not rely on carrier sensing, network time-synchronization, collision detection, and other low level complex operations, thus making it ideal for ultra simple transceiver hardware used in resource constrained sensor and IoT networks. Additionally, the ability of independent protocol learning by the nodes makes the system robust and adaptive to the changes in network and traffic conditions. It is shown that the nodes can be trained to learn to avoid collisions, and to achieve network throughputs that are comparable to ALOHA based access protocols in sensor and IoT networks with simplest transceiver hardware. It is also shown that using RL, it is feasible to synthesize access protocols that can sustain network throughput at high traffic loads, which is not feasible in the ALOHA-based systems. The ability of the system to provide throughput fairness under network and traffic heterogeneities are also experimentally demonstrated.


title: Multi-armed Bandit Learning for TDMA Transmission Slot Scheduling and Defragmentation for Improved Bandwidth Usage

abstract: This paper proposes a Time Division Multiple Access (TDMA) MAC slot allocation protocol with efficient bandwidth usage in wireless sensor networks and Internet of Things (IoTs). The developed protocol has two primary components: a Multi-Armed Bandits (MAB)-based slot allocation mechanism for collision free transmission, and a Decentralized Defragmented Slot Backshift (DDSB) operation for improving bandwidth usage efficiency. The proposed framework is decentralized in that each node finds its transmission schedule independently without the control of any centralized arbitrator. The developed mechanism is suitable for networks with or without time synchronization, thus, making it suitable for low-complexity wireless transceivers for wireless sensor and IoT nodes. This framework is able to manage the trade-off between learning convergence time and bandwidth. In addition, it allows the nodes to adapt to topological changes while maintaining efficient bandwidth usage. The developed logic is tested for both fully-connected and arbitrary mesh networks with extensive simulation experiments. It is shown how the nodes can learn to select collision-free transmission slots using MAB. Moreover, the nodes learn to self-adjust their transmission schedules using a novel DDSB framework in order to reduce bandwidth usage.


title: Euclid: Cosmology forecasts from the void-galaxy cross-correlation function with reconstruction

abstract: We investigate the cosmological constraints that can be expected from measurement of the cross-correlation of galaxies with cosmic voids identified in the Euclid spectroscopic survey, which will include spectroscopic information for tens of millions of galaxies over $15\,000$ deg$^2$ of the sky in the redshift range $0.9\leq z<1.8$. We do this using simulated measurements obtained from the Flagship mock catalogue, the official Euclid mock that closely matches the expected properties of the spectroscopic data set. To mitigate anisotropic selection-bias effects, we use a velocity field reconstruction method to remove large-scale redshift-space distortions from the galaxy field before void-finding. This allows us to accurately model contributions to the observed anisotropy of the cross-correlation function arising from galaxy velocities around voids as well as from the Alcock-Paczynski effect, and we study the dependence of constraints on the efficiency of reconstruction. We find that Euclid voids will be able to constrain the ratio of the transverse comoving distance $D_{\rm M}$ and Hubble distance $D_{\rm H}$ to a relative precision of about $0.3\%$, and the growth rate $f\sigma_8$ to a precision of between $5\%$ and $8\%$ in each of four redshift bins covering the full redshift range. In the standard cosmological model, this translates to a statistical uncertainty $\Delta\Omega_\mathrm{m}=\pm0.0028$ on the matter density parameter from voids, better than can be achieved from either Euclid galaxy clustering and weak lensing individually. We also find that voids alone can measure the dark energy equation of state to $6\%$ precision.


title: Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory

abstract: We present the first definition of strictly associative and unital $\infty$-category. Our proposal takes the form of a generalized algebraic theory, with operations that give the composition and coherence laws, and equations encoding the strict associative and unital structure. The key technical idea of the paper is an equality generator called insertion, which can ``insert'' an argument context into the head context, simplifying the syntax of a term. The equational theory is defined by a reduction relation, and we study its properties in detail, showing that it yields a decision procedure for equality. Expressed as a type theory, our model is well-adapted for generating and verifying efficient proofs of higher categorical statements. We illustrate this via an OCaml implementation, and give a number of examples, including a short encoding of the syllepsis, a 5-dimensional homotopy that plays an important role in the homotopy groups of spheres.


title: From Group-Differences to Single-Subject Probability: Conformal Prediction-based Uncertainty Estimation for Brain-Age Modeling

abstract: The brain-age gap is one of the most investigated risk markers for brain changes across disorders. While the field is progressing towards large-scale models, recently incorporating uncertainty estimates, no model to date provides the single-subject risk assessment capability essential for clinical application. In order to enable the clinical use of brain-age as a biomarker, we here combine uncertainty-aware deep Neural Networks with conformal prediction theory. This approach provides statistical guarantees with respect to single-subject uncertainty estimates and allows for the calculation of an individual's probability for accelerated brain-aging. Building on this, we show empirically in a sample of N=16,794 participants that 1. a lower or comparable error as state-of-the-art, large-scale brain-age models, 2. the statistical guarantees regarding single-subject uncertainty estimation indeed hold for every participant, and 3. that the higher individual probabilities of accelerated brain-aging derived from our model are associated with Alzheimer's Disease, Bipolar Disorder and Major Depressive Disorder.


title: On the importance of data encoding in quantum Boltzmann methods

abstract: In recent years, quantum Boltzmann methods have gained more and more interest as they might provide a viable path towards solving fluid dynamics problems on quantum computers once this emerging compute technology has matured and fault-tolerant many-qubit systems become available. The major challenge in developing a start-to-end quantum algorithm for the Boltzmann equation consists in encoding relevant data efficiently in quantum bits (qubits) and formulating the streaming, collision and reflection steps as one comprehensive unitary operation. The current literature on quantum Boltzmann methods mostly proposes data encodings and quantum primitives for individual phases of the pipeline assuming that they can be combined to a full algorithm. In this paper we disprove this assumption by showing that for encodings commonly discussed in literature either the collision or the streaming step cannot be unitary. Building on this landmark result we propose a novel encoding in which the number of qubits used to encode the velocity depends on the number of time steps one wishes to simulate, with the upper bound depending on the total number of grid points. In light of the non-unitarity result established for existing encodings, our encoding method is to the best of our knowledge the only one currently known that can be used for a start-to-end quantum Boltzmann solver where both the collision and the streaming step are implemented as a unitary operation. Furthermore our theoretical unitarity result can serve as a guideline on which types of encodings to consider or whether a `stop-and-go' method with repeated measurements and re-initializations is the method of choice.


title: A short note on the SIMS characterisation of ZnO/Si(100) interface

abstract: The ZnO films, 25 nm thick were deposited by e-beam evaporation of ZnO (99.9%) pellets onto native oxide covered silicon (100) substrates. Details of the interface chemical composition and the chemical depth profile have been deduced as follows: Adsorbed OH surface/OH: ZnO Interface/Pure ZnO thin film/ZnO:H: Si Interface/H:SiO2/SiO2/Si(100). The physical profile of the crater formed by the SIMS depth profiling was measured with a Tencor P-2 profilometer as depth profiling showed uniform ion milling and good consistency with film thickness (25 nm) measured by SIMS depth profile (25.4 nm).


title: A proposal for experiment with high-intensity tritium neutrino source in Sarov: The search for coherent elastic neutrino-atom scattering and neutrino magnetic moment

abstract: A description of the current state of the project for the study of coherent elastic neutrino-atom scattering using a tritium source and liquid helium detector is given. The project was proposed in our paper in 2019 and its main goal is to obtain a new record limit on the neutrino magnetic moment at a level below 10^{-12}\mu_B using a tritium antineutrino source with an intensity of 10 MCi or even 40 MCi.


title: Lower bounds on the measure of the support of positive and negative parts of trigonometric polynomials

abstract: For a finite set of natural numbers $D$ consider a complex polynomial of the form $f(z) = \sum_{d \in D} c_d z^d$. Let $\rho_+(f)$ and $\rho_-(f)$ be the fractions of the unit circle that $f$ sends to the right($\operatorname{Re} f(z) > 0$) and left($\operatorname{Re} f(z) < 0$) half-planes, respectively. Note that $\operatorname{Re} f(z)$ is a real trigonometric polynomial, whose allowed set of frequencies is $D$. Turns out that $\min(\rho_+(f), \rho_-(f))$ is always bounded below by a numerical characteristic $\alpha(D)$ of our set $D$ that arises from a seemingly unrelated combinatorial problem. Furthermore, this result could be generalized to power series, almost periodic functions, functions of several variables and multivalued algebraic functions.


title: The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization

abstract: We present a synchronized multisensory dataset for accurate and robust indoor localization: the Lund University Vision, Radio, and Audio (LuViRA) Dataset. The dataset includes color images, corresponding depth maps, inertial measurement unit (IMU) readings, channel response between a 5G massive multiple-input and multiple-output (MIMO) testbed and user equipment, audio recorded by 12 microphones, and accurate six degrees of freedom (6DOF) pose ground truth of 0.5 mm. We synchronize these sensors to ensure that all data is recorded simultaneously. A camera, speaker, and transmit antenna are placed on top of a slowly moving service robot, and 89 trajectories are recorded. Each trajectory includes 20 to 50 seconds of recorded sensor data and ground truth labels. Data from different sensors can be used separately or jointly to perform localization tasks, and data from the motion capture (mocap) system is used to verify the results obtained by the localization algorithms. The main aim of this dataset is to enable research on sensor fusion with the most commonly used sensors for localization tasks. Moreover, the full dataset or some parts of it can also be used for other research areas such as channel estimation, image classification, etc. Our dataset is available at: https://github.com/ilaydayaman/LuViRA_Dataset


title: Laser-induced magnonic band gap formation and control in YIG/GaAs heterostructure

abstract: We demonstrate the laser-induced control over spin-wave (SW) transport in the magnonic crystal (MC) waveguide formed from the semiconductor slab placed on the ferrite film. We considered bilayer MC with periodical grooves performed on the top of the n-type gallium arsenide slab side that oriented to the yttrium iron garnet film. To observe the appearance of magnonic gap induced by laser radiation, the fabricated structure was studied by the use of microwave spectroscopy and Brillouin light-scattering. We perform detailed numerical studies of this structure. We showed that the optical control of the magnonic gaps (frequency width and position) is related to the variation of the charge carriers' concentration in GaAs. We attribute these to nonreciprocity of SW transport in the layered structure. Nonreciprocity was induced by the laser exposure of the GaAs slab due to SWs' induced electromagnetic field screening by the optically-generated charge carriers. We showed that SW dispersion, nonreciprocity, and magnonic band gap position and width in the ferrite-semiconductor magnonic crystal can be modified in a controlled manner by laser radiation. Our results show the possibility of the integration of magnonics and semiconductor electronics on the base of YIG/GaAs structures.


title: TurboTLS: TLS connection establishment with 1 less round trip

abstract: We show how to establish TLS connections using one less round trip. In our approach, which we call TurboTLS, the initial client-to-server and server-to-client flows of the TLS handshake are sent over UDP rather than TCP. At the same time, in the same flights, the three-way TCP handshake is carried out. Once the TCP connection is established, the client and server can complete the final flight of the TLS handshake over the TCP connection and continue using it for application data. No changes are made to the contents of the TLS handshake protocol, only its delivery mechanism. We avoid problems with UDP fragmentation by using request-based fragmentation, in which the client sends in advance enough UDP requests to provide sufficient room for the server to fit its response with one response packet per request packet. Clients can detect which servers support this without an additional round trip, if the server advertises its support in a DNS HTTPS resource record. Experiments using our software implementation show substantial latency improvements. On reliable connections, we effectively eliminate a round trip without any noticeable cost. To ensure adequate performance on unreliable connections, we use lightweight packet ordering and buffering; we can have a client wait a very small time to receive a potentially lost packet (e.g., a fraction of the RTT observed for the first fragment) before falling back to TCP without any further delay, since the TCP connection was already in the process of being established. This approach offers substantial performance improvements with low complexity, even in heterogeneous network environments with poorly configured middleboxes.


title: Trauma-Informed Social Media: Towards Solutions for Reducing and Healing Online Harm

abstract: Social media platforms exacerbate trauma, and many users experience various forms of trauma unique to them (e.g., doxxing and swatting). Trauma is the psychological and physical response to experiencing a deeply disturbing event. Platforms' failures to address trauma threaten users' well-being globally, especially amongst minoritized groups. Platform policies also expose moderators and designers to trauma through content they must engage with as part of their jobs (e.g., child sexual abuse). We consider how a trauma-informed approach might help address or decrease the likelihood of (re)experiencing trauma online. A trauma-informed approach to social media recognizes that everyone likely has a trauma history and that trauma is experienced at the individual, secondary, collective, and cultural levels. This paper proceeds by detailing trauma and its impacts. We then describe how the six trauma-informed principles can be applied to social media design, content moderation, and companies. We conclude by offering recommendations that balance platform responsibility and accountability with well-being and healing for all.


title: Discovery of sparse hysteresis models for piezoelectric materials

abstract: This article presents an approach for modelling hysteresis in piezoelectric materials, that leverages recent advancements in machine learning, particularly in sparse-regression techniques. While sparse regression has previously been used to model various scientific and engineering phenomena, its application to nonlinear hysteresis modelling in piezoelectric materials has yet to be explored. The study employs the least-squares algorithm with a sequential threshold to model the dynamic system responsible for hysteresis, resulting in a concise model that accurately predicts hysteresis for both simulated and experimental piezoelectric material data. Several numerical experiments are performed, including learning butterfly-shaped hysteresis and modelling real-world hysteresis data for a piezoelectric actuator. The presented approach is compared to traditional regression-based and neural network methods, demonstrating its efficiency and robustness. Source code is available at https://github.com/chandratue/SmartHysteresis


title: Exact dynamics of the critical Kauffman model with connectivity one

abstract: The critical Kauffman model with connectivity one is the simplest class of critical Boolean networks. Nevertheless, it exhibits intricate behavior at the boundary of order and chaos. We introduce a formalism for expressing the dynamics of multiple loops as a product of the dynamics of individual loops. Using it, we prove that the number of attractors scales as $2^m$, where $m$ is the number of nodes in loops - as fast as possible, and much faster than previously believed.


title: Modelling spatial constraints and scaling effects of catalyst phase separation on linear pathway kinetics

abstract: Chemical reactions are usually studied under the assumption that both substrates and catalysts are well mixed (WM) throughout the system. Although this is often applicable to test-tube experimental conditions, it is not realistic in cellular environments, where biomolecules can undergo liquid-liquid phase separation (LLPS) and form condensates, leading to important functional outcomes, including the modulation of catalytic action. Similar processes may also play a role in protocellular systems, like primitive coacervates, or in membrane-assisted prebiotic pathways. Here we explore whether the de-mixing of catalysts could lead to the formation of micro-environments that influence the kinetics of a linear (multi-step) reaction pathway, as compared to a WM system. We implemented a general lattice model to simulate LLPS of an ensemble of different catalysts and extended it to include diffusion and a sequence of reactions of small substrates. We carried out a quantitative analysis of how the phase separation of the catalysts affects reaction times depending on the affinity between substrates and catalysts, the length of the reaction pathway, the system size, and the degree of homogeneity of the condensate. A key aspect underlying the differences reported between the two scenarios is that the scale invariance observed in the WM system is broken by condensation processes. The main theoretical implications of our results for mean-field chemistry are drawn, extending the mass action kinetics scheme to include substrate initial hitting times to reach the catalysts condensate. We finally test this approach by considering open non-linear conditions, where we successfully predict, through microscopic simulations, that phase separation inhibits chemical oscillatory behaviour, providing a possible explanation for the marginal role that this complex dynamic behaviour plays in real metabolisms.


title: Characterizing contaminant noise in barcoded perturbation experiments

abstract: Bursting cells lead to ambient RNA that contaminates sequencing data. This process is especially problematic in perturbation experiments where transcription factors are implanted into cells to determine their effects. The presence of contaminants makes it difficult to determine whether a factor is truly expressed in the cell. This paper studies the properties of contaminant noise from an analytical perspective, showing that the cell bursting process constrains the form of the noise distribution across factors. These constraints can be leveraged to improve decontamination by removing counts that are more likely the result of noise than expression. In two biological replicates of a perturbation experiment, run across two sequencing protocols, decontaminated counts agree with bulk genomic measurements of the transduction rate and are automatically corrected for differences in sequencing.


title: Sharp Fourier restriction to monomial curves

abstract: We establish lower bounds for the operator norms of the Fourier restriction/extension operators associated to monomial curves with affine arclength measure. Furthermore, we prove that the set of all extremizing sequences of such an operator is precompact modulo the operator's symmetry group if and only if the operator norm is strictly larger than this threshold. For the proof, we introduce a number of new ingredients, some of which may be applicable to analogous questions on more general manifolds.


title: Strong stationarity for optimal control problems with non-smooth integral equation constraints: Application to continuous DNNs

abstract: Motivated by the residual type neural networks (ResNet), this paper studies optimal control problems constrained by a non-smooth integral equation. Such non-smooth equations, for instance, arise in the continuous representation of fractional deep neural networks (DNNs). Here the underlying non-differentiable function is the ReLU or max function. The control enters in a nonlinear and multiplicative manner and we additionally impose control constraints. Because of the presence of the non-differentiable mapping, the application of standard adjoint calculus is excluded. We derive strong stationary conditions by relying on the limited differentiability properties of the non-smooth map. While traditional approaches smoothen the non-differentiable function, no such smoothness is retained in our final strong stationarity system. Thus, this work also closes a gap which currently exists in continuous neural networks with ReLU type activation function.


title: Large Language Models for Code: Security Hardening and Adversarial Testing

abstract: Large language models (large LMs) are increasingly trained on massive codebases and used to generate code. However, LMs lack awareness of security and are found to frequently produce unsafe code. This work studies the security of LMs along two important axes: (i) security hardening, which aims to enhance LMs' reliability in generating secure code, and (ii) adversarial testing, which seeks to evaluate LMs' security at an adversarial standpoint. We address both of these by formulating a new security task called controlled code generation. The task is parametric and takes as input a binary property to guide the LM to generate secure or unsafe code, while preserving the LM's capability of generating functionally correct code. We propose a novel learning-based approach called SVEN to solve this task. SVEN leverages property-specific continuous vectors to guide program generation towards the given property, without modifying the LM's weights. Our training procedure optimizes these continuous vectors by enforcing specialized loss terms on different regions of code, using a high-quality dataset carefully curated by us. Our extensive evaluation shows that SVEN is highly effective in achieving strong security control. For instance, a state-of-the-art CodeGen LM with 2.7B parameters generates secure code for 59.1% of the time. When we employ SVEN to perform security hardening (or adversarial testing) on this LM, the ratio is significantly boosted to 92.3% (or degraded to 36.8%). Importantly, SVEN closely matches the original LMs in functional correctness.


title: Bayesian modeling with spatial curvature processes

abstract: Spatial process models are widely used for modeling point-referenced variables arising from diverse scientific domains. Analyzing the resulting random surface provides deeper insights into the nature of latent dependence within the studied response. We develop Bayesian modeling and inference for rapid changes on the response surface to assess directional curvature along a given trajectory. Such trajectories or curves of rapid change, often referred to as \emph{wombling} boundaries, occur in geographic space in the form of rivers in a flood plain, roads, mountains or plateaus or other topographic features leading to high gradients on the response surface. We demonstrate fully model based Bayesian inference on directional curvature processes to analyze differential behavior in responses along wombling boundaries. We illustrate our methodology with a number of simulated experiments followed by multiple applications featuring the Boston Housing data; Meuse river data; and temperature data from the Northeastern United States.