title: Explainable Multi-Camera 3D Object Detection with Transformer-Based Saliency Maps

abstract: Vision Transformers (ViTs) have achieved state-of-the-art results on various computer vision tasks, including 3D object detection. However, their end-to-end implementation also makes ViTs less explainable, which can be a challenge for deploying them in safety-critical applications, such as autonomous driving, where it is important for authorities, developers, and users to understand the model's reasoning behind its predictions. In this paper, we propose a novel method for generating saliency maps for a DetR-like ViT with multiple camera inputs used for 3D object detection. Our method is based on the raw attention and is more efficient than gradient-based methods. We evaluate the proposed method on the nuScenes dataset using extensive perturbation tests and show that it outperforms other explainability methods in terms of visual quality and quantitative metrics. We also demonstrate the importance of aggregating attention across different layers of the transformer. Our work contributes to the development of explainable AI for ViTs, which can help increase trust in AI applications by establishing more transparency regarding the inner workings of AI models.


title: ChatGPT, Llama, can you write my report? An experiment on assisted digital forensics reports written using (Local) Large Language Models

abstract: Generative AIs, especially Large Language Models (LLMs) such as ChatGPT or Llama, have advanced significantly, positioning them as valuable tools for digital forensics. While initial studies have explored the potential of ChatGPT in the context of investigations, the question of to what extent LLMs can assist the forensic report writing process remains unresolved. To answer the question, this article first examines forensic reports with the goal of generalization (e.g., finding the `average structure' of a report). We then evaluate the strengths and limitations of LLMs for generating the different parts of the forensic report using a case study. This work thus provides valuable insights into the automation of report writing, a critical facet of digital forensics investigations. We conclude that combined with thorough proofreading and corrections, LLMs may assist practitioners during the report writing process but at this point cannot replace them.


title: Efficient Discrete Physics-informed Neural Networks for Addressing Evolutionary Partial Differential Equations

abstract: Physics-informed neural networks (PINNs) have shown promising potential for solving partial differential equations (PDEs) using deep learning. However, PINNs face training difficulties for evolutionary PDEs, particularly for dynamical systems whose solutions exhibit multi-scale or turbulent behavior over time. The reason is that PINNs may violate the temporal causality property since all the temporal features in the PINNs loss are trained simultaneously. This paper proposes to use implicit time differencing schemes to enforce temporal causality, and use transfer learning to sequentially update the PINNs in space as surrogates for PDE solutions in different time frames. The evolving PINNs are better able to capture the varying complexities of the evolutionary equations, while only requiring minor updates between adjacent time frames. Our method is theoretically proven to be convergent if the time step is small and each PINN in different time frames is well-trained. In addition, we provide state-of-the-art (SOTA) numerical results for a variety of benchmarks for which existing PINNs formulations may fail or be inefficient. We demonstrate that the proposed method improves the accuracy of PINNs approximation for evolutionary PDEs and improves efficiency by a factor of 4-40x.


title: BLSTM-Based Confidence Estimation for End-to-End Speech Recognition

abstract: Confidence estimation, in which we estimate the reliability of each recognized token (e.g., word, sub-word, and character) in automatic speech recognition (ASR) hypotheses and detect incorrectly recognized tokens, is an important function for developing ASR applications. In this study, we perform confidence estimation for end-to-end (E2E) ASR hypotheses. Recent E2E ASR systems show high performance (e.g., around 5% token error rates) for various ASR tasks. In such situations, confidence estimation becomes difficult since we need to detect infrequent incorrect tokens from mostly correct token sequences. To tackle this imbalanced dataset problem, we employ a bidirectional long short-term memory (BLSTM)-based model as a strong binary-class (correct/incorrect) sequence labeler that is trained with a class balancing objective. We experimentally confirmed that, by utilizing several types of ASR decoding scores as its auxiliary features, the model steadily shows high confidence estimation performance under highly imbalanced settings. We also confirmed that the BLSTM-based model outperforms Transformer-based confidence estimation models, which greatly underestimate incorrect tokens.


title: LMMSE-based SIMO Receiver for Ultraviolet Scattering Communication with Nonlinear Conversion

abstract: Linear minimum mean square error (LMMSE) receivers are often applied in practical communication scenarios for single-input-multiple-output (SIMO) systems owing to their low computational complexity and competitive performance. However, their performance is only the best among all the linear receivers, as they minimize the bit mean square error (MSE) alone in linear space. To overcome this limitation, in this study, we propose an LMMSE receiver based on the measurements augmented by their nonlinear conversion for a photon-counting receiver, a photomultiplier tube, and an avalanche photodetector. The performance of the proposed LMMSE receiver is studied for different nonlinear conversions, numbers of receivers, and receiver types. The simulation results indicate that the Monte Carlo results are consistent with the analytical results and that the proposed LMMSE receiver outperforms the conventional one in terms of bit MSE and bit error rate. Accordingly, it can be concluded that to achieve a desired bit MSE, the proposed LMMSE-based nonlinear receiver not only reduces the need to increase the number of receivers but also reduces the bandwidth requirements.


title: Tuning-Free Inversion-Enhanced Control for Consistent Image Editing

abstract: Consistent editing of real images is a challenging task, as it requires performing non-rigid edits (e.g., changing postures) to the main objects in the input image without changing their identity or attributes. To guarantee consistent attributes, some existing methods fine-tune the entire model or the textual embedding for structural consistency, but they are time-consuming and fail to perform non-rigid edits. Other works are tuning-free, but their performances are weakened by the quality of Denoising Diffusion Implicit Model (DDIM) reconstruction, which often fails in real-world scenarios. In this paper, we present a novel approach called Tuning-free Inversion-enhanced Control (TIC), which directly correlates features from the inversion process with those from the sampling process to mitigate the inconsistency in DDIM reconstruction. Specifically, our method effectively obtains inversion features from the key and value features in the self-attention layers, and enhances the sampling process by these inversion features, thus achieving accurate reconstruction and content-consistent editing. To extend the applicability of our method to general editing scenarios, we also propose a mask-guided attention concatenation strategy that combines contents from both the inversion and the naive DDIM editing processes. Experiments show that the proposed method outperforms previous works in reconstruction and consistent editing, and produces impressive results in various settings.


title: Bouncing cosmologies at the Lagrangian fixed point

abstract: We explore the physics of a Lagrangian fixed point within the framework of a gravitational average effective action with scale-dependent couplings. A concrete model with a Lagrangian fixed point in four-dimensional space-time is formulated. The cosmological equations of this model are then solved analytically. The solution offers several non-trivial branches, which have the characteristics of a bouncing cosmology with late time inflation and variable gravitational couplings.


title: Absolute and convective instabilities in a liquid film over a substrate moving against gravity

abstract: The drag-out problem for small Reynolds numbers (Re) admits the Landau-Levich-Derjaguin (LLD) solution for small capillary numbers (Ca), and Derjaguin's solution for large Ca. We investigate whether these solutions are absolutely or convectively unstable, solving the Orr-Sommerfeld eigenvalue problem. For Derjaguin's solution, we show that the instability is unconditionally convective for Kapitza number (Ka) smaller than 17 and becomes absolute for Ka>0.15 and Re^(1.7) for Re>10. For water (Ka=3400), the LLD solution is always convectively unstable. The absolute instability is observed only when the dip-coated film is additionally fed from above.


title: Likelihood for a Network of Gravitational-Wave Detectors with Correlated Noise

abstract: The Einstein Telescope faces a critical data analysis challenge with correlated noise, often overlooked in current parameter estimation analyses. We address this issue by presenting the statistical formulation of the likelihood function that includes correlated noise for the Einstein Telescope or any detector network. Neglecting these correlations may significantly reduce parameter estimation accuracy, even leading to the failure to reconstruct otherwise resolvable signals. This emphasizes how critical a proper treatment of correlated noise is, as presented in this work, to unlocking the wealth of results promised by the Einstein Telescope.


title: A fixed-point algorithm for matrix projections with applications in quantum information

abstract: We develop a simple fixed-point iterative algorithm that computes the matrix projection with respect to the Bures distance on the set of positive definite matrices that are invariant under some symmetry. We prove that the fixed-point iteration algorithm converges exponentially fast to the optimal solution in the number of iterations. Moreover, it numerically shows fast convergence compared to the off-the-shelf semidefinite program solvers. Our algorithm, for the specific case of matrix barycenters, recovers the fixed-point iterative algorithm originally introduced in (\'Alvarez-Esteban et al., 2016). Compared to previous works, our proof is more general and direct as it is based only on simple matrix inequalities. Finally, we discuss several applications of our algorithm in quantum resource theories and quantum Shannon theory.


title: Particle acceleration by sub-proton cyclotron frequency spectrum of dispersive Alfven waves in inhomogeneous solar coronal plasmas

abstract: The problem of explaining observed soft X-ray fluxes during solar flares, which invokes acceleration of large fraction of electrons, if the acceleration takes places at the solar coronal loop-top, can potentially be solved by postulating that flare at loop-top creates dispersive Alfven waves (DAWs) which propagate towards the foot-points. As DAWs move in progressively denser parts of the loop (due to gravitational stratification) the large fraction of electrons is no longer needed. Here we extend our previous results by considering $f ^{-1}$ frequency spectrum of DAWs and add ${\rm He^{++}}$ ions using fully kinetic particle-in-cell (PIC) simulations. We consider cases when transverse density gradient is in the range ${ 4-40} c/\omega_{\rm { pe}}$ and DAW driving frequency is $0.3-0.6\omega_{\rm { cp}}$. We find that (i) The frequency spectrum case does not affect electron acceleration fraction in the like-to-like cases, but few times larger percentage of ${\rm He^{++}}$ heating is seen due to ion cyclotron resonance; (ii) In cases when counter propagating DAWs collide multiple-times, much larger electron and ion acceleration fractions are found, but the process is intermittent in time. This is because intensive heating (temperature increase) makes the-above-thermal-fraction smaller; Also more isotropic velocity distributions are seen; (iii) Development of kink oscillations occurs when DAWs collide; (iv) Scaling of the magnetic fluctuations power spectrum steepening in the higher-density regions is seen, due to wave refraction. Our PIC runs produce much steeper slopes than the orginal spectrum, indicating that the electron-scale physics has a notable effect of DAW spectrum evolution.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Arbitrary relaxation rate under non-Hermitian matrix iterations

abstract: We study the exponential relaxation of observables, propagated with a non-Hermitian transfer matrix, an example being out-of-time-ordered correlations (OTOC) in brickwall (BW) random quantum circuits. Until a time that scales as the system size, the exponential decay of observables is not usually determined by the second largest eigenvalue of the transfer matrix, as one can naively expect, but it is in general slower -- this slower decay rate was dubbed "phantom eigenvalue". Generally, this slower decay is given by the largest value in the pseudospecturm of the transfer matrix, however we show that the decay rate can be an arbitrary value between the second largest eigenvalue and the largest value in the pseudospectrum. This arbitrary decay can be observed for example in the propagation of OTOC in periodic boundary conditions BW circuits. To explore this phenomenon, we study a 1D biased random walk coupled to two reservoirs at the edges, and prove that this simple system also exhibits phantom eigenvalues.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Equivalence principle violation in nonminimally coupled gravity and constraints from Lunar Laser Ranging

abstract: We analyze the dynamics of the Sun-Earth-Moon system in the context of a particular class of theories of gravity where curvature and matter are nonminimally coupled (NMC). These theories can potentially violate the Equivalence Principle as they give origin to a fifth force and a extra non-Newtonian force that may imply that Earth and Moon fall differently towards the Sun. We show, through a detailed analysis, that consistency with the bound on Weak Equivalence Principle arising from 48 years of Lunar Laser Ranging data, for a range of parameters of the NMC gravity theory, can be achieved via the implementation of a suitable screening mechanism.


title: Towards Loose-Fitting Garment Animation via Generative Model of Deformation Decomposition

abstract: Existing data-driven methods for garment animation, usually driven by linear skinning, although effective on tight garments, do not handle loose-fitting garments with complex deformations well. To address these limitations, we develop a garment generative model based on deformation decomposition to efficiently simulate loose garment deformation without directly using linear skinning. Specifically, we learn a garment generative space with the proposed generative model, where we decouple the latent representation into unposed deformed garments and dynamic offsets during the decoding stage. With explicit garment deformations decomposition, our generative model is able to generate complex pose-driven deformations on canonical garment shapes. Furthermore, we learn to transfer the body motions and previous state of the garment to the latent space to regenerate dynamic results. In addition, we introduce a detail enhancement module in an adversarial training setup to learn high-frequency wrinkles. We demonstrate our method outperforms state-of-the-art data-driven alternatives through extensive experiments and show qualitative and quantitative analysis of results.


title: Structure-Guided Automated Reasoning

abstract: Algorithmic meta-theorems state that problems that can be formalized in a fixed logic can be solved efficiently on classes of structures with certain properties. A prominent example is Courcelle's Theorem, which states that all problems expressible in monadic second-order logic can be solved efficiently on structures of small treewidth. Such theorems are usually proven by a generic algorithm for the model-checking problem of the given logic, which is often complex and rarely leads to highly efficient solutions. Alternatively, we can solve the model-checking problem by grounding the given logic to propositional logic, for which dedicated solvers are available. Such encodings will, however, usually not preserve the input's treewidth. This paper investigates whether all problems definable in monadic second-order logic can efficiently be encoded into SAT such that the input's treewidth bounds the treewidth of the resulting formula. We answer this in the affirmative and, hence, provide an alternative proof of Courcelle's Theorem. Our technique can naturally be extended: There are treewidth-aware reductions from the optimization version of Courcelle's Theorem to MaxSAT and from the counting version of the theorem to #SAT. By using encodings to SAT, we obtain, ignoring polynomial factors, the same running time for the model-checking problem as we would with dedicated algorithms. We complement our upper bounds with new lower bounds based on ETH; and we show that the block size of the input's formula and the treewidth of the input's structure are tightly linked. We also provide matching upper and lower bounds for a fragment of guarded MSO, only using SAT-based techniques.


title: Magnetic droplet solitons

abstract: Magnetic droplets are nanoscale, non-topological, dynamical solitons that can be nucleated in different spintronic devices, such as spin torque nano-oscillators (STNOs) and spin Hall nano-oscillators (SHNOs). This chapter first briefly discusses the theory of spin current driven dissipative magnetic droplets in ferromagnetic thin films with uniaxial anisotropy. We then thoroughly review the research literature on magnetic droplets and their salient features, as measured using electrical, microwave, and synchrotron techniques, and as envisaged by micromagnetic simulations. We also touch upon a closely related soliton, the dynamical skyrmion. Finally, we present an outlook of new routes in droplet science.


title: Timing Performance of the CMS High Granularity Calorimeter Prototype

abstract: This paper describes the experience with the calibration, reconstruction and evaluation of the timing capabilities of the CMS HGCAL prototype in the beam tests in 2018. The calibration procedure includes multiple steps and corrections ranging from tens of nanoseconds to a few hundred picoseconds. The timing performance is studied using signals from positron beam particles with energies between 20 GeV and 300 GeV. The performance is studied as a function of particle energy against an external timing reference as well as standalone by comparing the two different halves of the prototype. The timing resolution is found to be 60 ps for single-channel measurements and better than 20 ps for full showers at the highest energies, setting excellent perspectives for the HGCAL calorimeter performance at the HL-LHC.


title: A Four-channel Optically Pumped Magnetometer for a Magnetoencephalography Sensor Array

abstract: We present a novel four-channel OPM sensor for magnetoencephalography that utilizes a two-color pump/probe scheme on a single optical axis. We characterize its performance across 18 built sensor modules. The new sensor implements several improvements over our previously developed sensor including lower vapor-cell operating temperature, improved probe-light detection optics, and reduced optical power requirements. The sensor also has new electromagnetic field coils on the sensor head which are designed using stream-function-based current optimization. We detail the coil design methodology and present experimental characterization of the coil performance. The magnetic sensitivity of the sensor is on average 12.3 fT/rt-Hz across the 18 modules while the average gradiometrically inferred sensitivity is about 6.0 fT/rt-Hz. The sensor 3-dB bandwidth is 100 Hz on average. The on-sensor coil performance is in good agreement with the simulations.


title: Kinetic inductance in superconducting CoSi$_2$ coplanar microwave transmission lines

abstract: We have looked into cobalt disilicide (CoSi$_2$) as a potential building block for superconducting quantum circuits. In order to achieve this, we annealed a thin layer of Co to create 10-105 nm thick microwave cavities from CoSi$_2$ embedded in the silicon substrate. The cavity properties were measured as a function of temperature and power. In films measuring 10 and 25 nm, we find a significant kinetic inductance $L_\mathrm{K}$ with a non-BCS power-law variation $\delta L_\mathrm{K} \propto T^{4.3 \pm 0.2}$ at low temperatures. The quality factor of the studied microwave resonances increased almost linearly with thickness, with two-level systems having very little effect. The power dependence of kinetic inductance was analyzed in terms of heat flow due to electron-phonon coupling, which was found stronger than estimated for heat relaxation by regular quasiparticles.


title: Multi-Agent Reinforcement Learning for Assessing False-Data Injection Attacks on Transportation Networks

abstract: The increasing reliance of drivers on navigation applications has made transportation networks more susceptible to data-manipulation attacks by malicious actors. Adversaries may exploit vulnerabilities in the data collection or processing of navigation services to inject false information, and to thus interfere with the drivers' route selection. Such attacks can significantly increase traffic congestions, resulting in substantial waste of time and resources, and may even disrupt essential services that rely on road networks. To assess the threat posed by such attacks, we introduce a computational framework to find worst-case data-injection attacks against transportation networks. First, we devise an adversarial model with a threat actor who can manipulate drivers by increasing the travel times that they perceive on certain roads. Then, we employ hierarchical multi-agent reinforcement learning to find an approximate optimal adversarial strategy for data manipulation. We demonstrate the applicability of our approach through simulating attacks on the Sioux Falls, ND network topology.


title: DSAP: Analyzing Bias Through Demographic Comparison of Datasets

abstract: In the last few years, Artificial Intelligence systems have become increasingly widespread. Unfortunately, these systems can share many biases with human decision-making, including demographic biases. Often, these biases can be traced back to the data used for training, where large uncurated datasets have become the norm. Despite our knowledge of these biases, we still lack general tools to detect and quantify them, as well as to compare the biases in different datasets. Thus, in this work, we propose DSAP (Demographic Similarity from Auxiliary Profiles), a two-step methodology for comparing the demographic composition of two datasets. DSAP can be deployed in three key applications: to detect and characterize demographic blind spots and bias issues across datasets, to measure dataset demographic bias in single datasets, and to measure dataset demographic shift in deployment scenarios. An essential feature of DSAP is its ability to robustly analyze datasets without explicit demographic labels, offering simplicity and interpretability for a wide range of situations. To show the usefulness of the proposed methodology, we consider the Facial Expression Recognition task, where demographic bias has previously been found. The three applications are studied over a set of twenty datasets with varying properties. The code is available at https://github.com/irisdominguez/DSAP.


title: Thermoelectric and magneto-transport characteristics of interconnected networks of ferromagnetic nanowires and nanotubes

abstract: Macroscopic-scale nanostructures, situated at the interface of nanostructures and bulk materials, hold significant promise in the realm of thermoelectric materials. Nanostructuring presents a compelling avenue for enhancing material thermoelectric performance as well as unlocking intriguing nanoscale phenomena, including spin-dependent thermoelectric effects. This is achieved while preserving high power output capabilities and ease of measurements related to the overall macroscopic dimensions. Within this framework, the recently developed three-dimensional interconnected nanowire and nanotube networks, integrated into a flexible polymer membrane, emerge as promising candidates for macroscopic nanostructures. The flexibility of these composites also paves the way for advances in the burgeoning field of flexible thermoelectrics. In this study, we demonstrate that the three-dimensional nanowire networks made of ferromagnetic metals maintain the intrinsic bulk thermoelectric power of their bulk constituent even for a diameter reduced to approximately 23 nm. Furthermore, we showcase the pioneering magneto-thermoelectric measurements of three-dimensional interconnected nickel nanotube networks. These macroscopic materials, comprising interconnected nanotubes, enable the development of large-area devices that exhibit efficient thermoelectric performance, while their nanoscale tubular structures provide distinctive magneto-transport properties. This research represents a significant step toward harnessing the potential of macroscopic nanostructured materials in the field of thermoelectrics.


title: Towards more sustainable enterprise data and application management with cross silo Federated Learning and Analytics

abstract: To comply with new legal requirements and policies committed to privacy protection, more and more companies start to deploy cross-silo Federated Learning at global scale, where several clients/silos collaboratively train a global model under the coordination of a central server. Instead of data sharing and transmission, clients train models using their private local data and exchange model updates. However, there is little understanding of the carbon emission impact of cross silo Federated Learning due to the lack of related works. In this study, we first analyze the sustainability aspect of cross-silo Federated Learning, across the AI product life cycle instead of focusing only on the model training, with the comparison to the centralized method. A more holistic quantitative cost and CO2 emission estimation method for real world cross-silo Federated Learning setting is proposed. Secondly, we propose a novel data and application management system using cross silo Federated Learning and analytics to make IT companies more sustainable and cost effective.


title: Dipole coupling of a bilayer graphene quantum dot to a high-impedance microwave resonator

abstract: We implement circuit quantum electrodynamics (cQED) with quantum dots in bilayer graphene, a maturing material platform for semiconductor qubits that can host long-lived spin and valley states. The presented device combines a high-impedance ($Z_\mathrm{r} \approx 1 \mathrm{k{\Omega}}$) superconducting microwave resonator with a double quantum dot electrostatically defined in a graphene-based van der Waals heterostructure. Electric dipole coupling between the subsystems allows the resonator to sense the electric susceptibility of the double quantum dot from which we reconstruct its charge stability diagram. We achieve sensitive and fast detection with a signal-to-noise ratio of 3.5 within 1 ${\mu}\mathrm{s}$ integration time. The charge-photon interaction is quantified in the dispersive and resonant regimes by comparing the coupling-induced change in the resonator response to input-output theory, yielding a maximal coupling strength of $g/2{\pi} = 49.7 \mathrm{MHz}$. Our results introduce cQED as a probe for quantum dots in van der Waals materials and indicate a path toward coherent charge-photon coupling with bilayer graphene quantum dots.


title: A Language-based solution to enable Metaverse Retrieval

abstract: Recently, the Metaverse is becoming increasingly attractive, with millions of users accessing the many available virtual worlds. However, how do users find the one Metaverse which best fits their current interests? So far, the search process is mostly done by word of mouth, or by advertisement on technology-oriented websites. However, the lack of search engines similar to those available for other multimedia formats (e.g., YouTube for videos) is showing its limitations, since it is often cumbersome to find a Metaverse based on some specific interests using the available methods, while also making it difficult to discover user-created ones which lack strong advertisement. To address this limitation, we propose to use language to naturally describe the desired contents of the Metaverse a user wishes to find. Second, we highlight that, differently from more conventional 3D scenes, Metaverse scenarios represent a more complex data format since they often contain one or more types of multimedia which influence the relevance of the scenario itself to a user query. Therefore, in this work, we create a novel task, called Text-to-Metaverse retrieval, which aims at modeling these aspects while also taking the cross-modal relations with the textual data into account. Since we are the first ones to tackle this problem, we also collect a dataset of 33000 Metaverses, each of which consists of a 3D scene enriched with multimedia content. Finally, we design and implement a deep learning framework based on contrastive learning, resulting in a thorough experimental setup.


title: Extrapolating semileptonic form factors using Bayesian-inference fits regulated by unitarity and analyticity

abstract: We discuss our recently proposed model-independent framework for fitting hadronic form-factor data, which are often only available at discrete kinematical points, using parameterisations based on unitarity and analyticity. The accompanying dispersive bound on the form factors (unitarity constraint) is used to regulate the ill-posed fitting problem and allow model-independent predictions over the entire physical range. Kinematical constraints, for example for the vector and scalar form factors in semileptonic meson decays, can be imposed exactly. The core formulae are straight-forward to implement with standard math libraries. We demonstrate the method for the exclusive semileptonic decay $B_s\to K\ell\nu$, an example requiring one to use a generalisation of the original Boyd Grinstein Lebed (BGL) unitarity constraint. We further present a first application of the method to $B \to D^*\ell \nu$ decays.


title: The Hierarchical Structure of Galactic Haloes: Differentiating Clusters from Stochastic Clumping with AstroLink

abstract: We present AstroLink, an efficient and versatile clustering algorithm designed to hierarchically classify astrophysically-relevant structures from both synthetic and observational data sets. We build upon CluSTAR-ND, a hierarchical galaxy/(sub)halo finder, so that AstroLink now generates a two-dimensional representation of the implicit clustering structure as well as ensuring that clusters are statistically distinct from the noisy density fluctuations implicit within the $n$-dimensional input data. This redesign replaces the three cluster extraction parameters from CluSTAR-ND with a single parameter, $S$ -- the lower statistical significance threshold of clusters, which can be automatically and reliably estimated via a dynamical model-fitting process. We demonstrate the robustness of this approach compared to AstroLink's predecessors by applying each algorithm to a suite of simulated galaxies defined over various feature spaces. We find that AstroLink delivers a more powerful clustering performance while being $\sim27\%$ faster and using less memory than CluSTAR-ND. With these improvements, AstroLink is ideally suited to extracting a meaningful set of hierarchical and arbitrarily-shaped astrophysical clusters from both synthetic and observational data sets -- lending itself as a great tool for morphological decomposition within the context of hierarchical structure formation.


title: Evaluating the Security and Privacy Risk Postures of Virtual Assistants

abstract: Virtual assistants (VAs) have seen increased use in recent years due to their ease of use for daily tasks. Despite their growing prevalence, their security and privacy implications are still not well understood. To address this gap, we conducted a study to evaluate the security and privacy postures of eight widely used voice assistants: Alexa, Braina, Cortana, Google Assistant, Kalliope, Mycroft, Hound, and Extreme. We used three vulnerability testing tools, AndroBugs, RiskInDroid, and MobSF, to assess the security and privacy of these VAs. Our analysis focused on five areas: code, access control, tracking, binary analysis, and sensitive data confidentiality. The results revealed that these VAs are vulnerable to a range of security threats, including not validating SSL certificates, executing raw SQL queries, and using a weak mode of the AES algorithm. These vulnerabilities could allow malicious actors to gain unauthorized access to users' personal information. This study is a first step toward understanding the risks associated with these technologies and provides a foundation for future research to develop more secure and privacy-respecting VAs.


title: Mining multi-modal communication patterns in interaction with explainable and non-explainable robots

abstract: We investigate interaction patterns for humans interacting with explainable and non-explainable robots. Non-explainable robots are here robots that do not explain their actions or non-actions, neither do they give any other feedback during interaction, in contrast to explainable robots. We video recorded and analyzed human behavior during a board game, where 20 humans verbally instructed either an explainable or non-explainable Pepper robot to move objects on the board. The transcriptions and annotations of the videos were transformed into transactions for association rule mining. Association rules discovered communication patterns in the interaction between the robots and the humans, and the most interesting rules were also tested with regular chi-square tests. Some statistically significant results are that there is a strong correlation between men and non-explainable robots and women and explainable robots, and that humans mirror some of the robot's modality. Our results also show that it is important to contextualize human interaction patterns, and that this can be easily done using association rules as an investigative tool. The presented results are important when designing robots that should adapt their behavior to become understandable for the interacting humans.


title: Fluid Simulation on Neural Flow Maps

abstract: We introduce Neural Flow Maps, a novel simulation method bridging the emerging paradigm of implicit neural representations with fluid simulation based on the theory of flow maps, to achieve state-of-the-art simulation of inviscid fluid phenomena. We devise a novel hybrid neural field representation, Spatially Sparse Neural Fields (SSNF), which fuses small neural networks with a pyramid of overlapping, multi-resolution, and spatially sparse grids, to compactly represent long-term spatiotemporal velocity fields at high accuracy. With this neural velocity buffer in hand, we compute long-term, bidirectional flow maps and their Jacobians in a mechanistically symmetric manner, to facilitate drastic accuracy improvement over existing solutions. These long-range, bidirectional flow maps enable high advection accuracy with low dissipation, which in turn facilitates high-fidelity incompressible flow simulations that manifest intricate vortical structures. We demonstrate the efficacy of our neural fluid simulation in a variety of challenging simulation scenarios, including leapfrogging vortices, colliding vortices, vortex reconnections, as well as vortex generation from moving obstacles and density differences. Our examples show increased performance over existing methods in terms of energy conservation, visual complexity, adherence to experimental observations, and preservation of detailed vortical structures.


title: Convolutional neural network for retrieval of the time-dependent bond length in a molecule from photoelectron momentum distributions

abstract: We apply deep learning for retrieval of the time-dependent bond length in the dissociating two-dimensional H$_2^{+}$ molecule using photoelectron momentum distributions. We consider a pump-probe scheme and calculate electron momentum distributions from strong-field ionization by treating the motion of the nuclei classically, semiclassically or quantum mechanically. A convolutional neural network trained on momentum distributions obtained at fixed internuclear distances retrieves the time-varying bond length with an absolute error of $0.2$-$0.3$ a.u.


title: Faster identification of faster Formula 1 drivers via time-rank duality

abstract: Two natural ways of modelling Formula 1 race outcomes are a probabilistic approach, based on the exponential distribution, and econometric modelling of the ranks. Both approaches lead to exactly soluble race-winning probabilities. Equating race-winning probabilities leads to a set of equivalent parametrisations. This time-rank duality is attractive theoretically and leads to quicker ways of dis-entangling driver and car level effects.


title: Balancing Energy Efficiency and Distributional Robustness in Over-the-Air Federated Learning

abstract: The growing number of wireless edge devices has magnified challenges concerning energy, bandwidth, latency, and data heterogeneity. These challenges have become bottlenecks for distributed learning. To address these issues, this paper presents a novel approach that ensures energy efficiency for distributionally robust federated learning (FL) with over air computation (AirComp). In this context, to effectively balance robustness with energy efficiency, we introduce a novel client selection method that integrates two complementary insights: a deterministic one that is designed for energy efficiency, and a probabilistic one designed for distributional robustness. Simulation results underscore the efficacy of the proposed algorithm, revealing its superior performance compared to baselines from both robustness and energy efficiency perspectives, achieving more than 3-fold energy savings compared to the considered baselines.


title: Photoinduced topological phase transition in monolayer Ti$_2$SiCO$_2$

abstract: The TiSiCO-family monolayer $X_2Y$CO$_2$($X$=Ti, Zr, Hf; $Y$=Si, Ge) is a two-dimensional second-order topological insulator with unique valley-layer coupling in equilibrium condition. In this work, based on the four-band tight-binding (TB) model of monolayer Ti$_2$SiCO$_2$ (ML-TiSiCO) and the Floquet theory, we study the non-equilibrium properties of the ML-TiSiCO under a periodic field of laser and a gate-electric field. We find the interaction between the time-periodic polarized light and the electric field can lead to a variety of intriguing topological phase transitions. By driving the system with only circularly polarized light (CPL), a photoinduced topological phase transition occurs from a second-order topological insulator to a Chern insulator with a Chern number of $C=\pm$2, and the sign of the Chern number $C$ is determined by the chirality of the incident light. Further adding a perpendicular electric field, we find that the ML-TiSiCO exhibits a rich phase diagram, consisting of Chern insulators with different Chern numbers and various topological semimetals. In contrast, since the linearly polarized light (LPL) does not break time-reversal symmetry, the Chern number of the system would not be changed under the irradiation of LPL. However, there still exist many topological phases, including second-order topological insulator, topological semi-Dirac, Dirac and valley-polarized Dirac semimetals under the interaction between the LPL and the electric field. Our results not only enhance the understanding of the fundamental properties of ML-TiSiCO but also broaden the potential applications of such materials in optoelectronic devices.


title: The scaling limit of the root component in the Wired Minimal Spanning Forest of the Poisson Weighted Infinite Tree

abstract: In this paper we prove a scaling limit result for the component of the root in the Wired Minimal Spanning Forest (WMSF) of the Poisson-Weighted Infinite Tree (PWIT), where the latter tree arises as the local weak limit of the Minimal Spanning Tree (MST) on the complete graph endowed with i.i.d. weights on its edges. The limiting object can be obtained by aggregating independent Brownian trees using two types of gluing procedures: one that we call the Brownian tree aggregation process and resembles the so-called stick-breaking construction of the Brownian tree; and another one that we call the chain construction, which simply corresponds to gluing a sequence of metric spaces along a line.


title: Can we observe effects of early nonequilibrium dynamics using collective flow

abstract: The rapid expansion of the fireball created in a heavy-ion collision causes strong departures from local equilibrium. Such effects are especially important in the very early phase of the collision, bringing a substantial pressure asymmetry. We investigate effects of this early stage pressure asymmetry in a kinetic model without boost-invariance. In the kinetic evolution the pressure asymmetry results from the competition of the longitudinal expansion and the kinetic relaxation. Unlike the transverse flow, the directed flow is found to be very sensitive to the equilibration rate and the pressure anisotropy.


title: Adjoints of sums of m-accretive operators and applications to non-autonomous evolutionary equations

abstract: We provide certain compatibility conditions for m-accretive operators such that the adjoint of the sum is given by the closure of the sum of the respective adjoint. We revisit the proof of well-posedness of the abstract class of partial differential-algebraic equations known as evolutionary equations. We show that the general mechanism provided here can be applied to establish well-posedness for non-autonomous evolutionary equations with $L_{\infty}$-coefficients thus not only generalising known results but opening up new directions other methods such as evolution families have a hard time to come by.


title: Generation of squeezed Fock states by measurement

abstract: The generation of squeezed Fock states by the one or more photon subtraction from a two-mode entangled Gaussian (TMEG) state is theoretically addressed. We showed that an arbitrary order Fock state can be generated this way and we obtained a condition that should be imposed on the parameters of the TMEG state to guaranty such a generation. We called the regime, in which this condition is satisfied, universal solution regime. We showed that, for first squeezed Fock state, the above condition is redundant such that the generation of the first squeezed Fock state is still possible by a one photon subtraction from an arbitrary TMEG state. At the same time, the maximum generation probability of the first squeezed Fock state generation corresponds to the universal solution regime. We applied the above results to the description of generation of the squeezed Fock states using a beam splitter and a Controlled-Z operation. We have estimated the parameters of such setups and input squeezed states, which are necessary to obtain squeezed Fock states with the maximum probability.


title: Thermodynamics and dynamics of coupled complex SYK models

abstract: It has been known that the large-$q$ complex SYK model falls under the same universality class as that of van der Waals (mean-field) and saturates the Maldacena-Shenker-Stanford bound, both features shared by various black holes. This makes the SYK model a useful tool in probing the fundamental nature of quantum chaos and holographic duality. This work establishes the robustness of this shared universality class and chaotic properties for SYK-like models by extending to a system of coupled large-$q$ complex SYK models of different orders. We provide a detailed derivation of thermodynamic properties, specifically the critical exponents for an observed phase transition, as well as dynamical properties, in particular the Lyapunov exponent, via the out-of-time correlator calculations. Our analysis reveals that, despite the introduction of an additional scaling parameter through interaction strength ratios, the system undergoes a continuous phase transition at low temperatures, similar to that of the single SYK model. The critical exponents align with the Landau-Ginzburg (mean-field) universality class, shared with van der Waals gases and various AdS black holes. Furthermore, we demonstrate that the coupled SYK system remains maximally chaotic in the large-$q$ limit at low temperatures, adhering to the Maldacena-Shenker-Stanford bound, a feature consistent with the single SYK model. These findings establish robustness and open avenues for broader inquiries into the universality and chaos in complex quantum systems. We provide a detailed outlook for future work by considering the ``very" low-temperature regime, where we discuss relations with the Hawking-Page phase transition observed in the holographic dual black holes. We present preliminary calculations and discuss the possible follow-ups that might be be taken to make the connection robust.


title: A magnetar giant flare in the nearby starburst galaxy M82

abstract: Giant flares, short explosive events releasing up to 10$^{47}$ erg of energy in the gamma-ray band in less than one second, are the most spectacular manifestation of magnetars, young neutron stars powered by a very strong magnetic field, 10$^{14-15}$ G in the magnetosphere and possibly higher in the star interior. The rate of occurrence of these rare flares is poorly constrained, as only three have been seen from three different magnetars in the Milky Way and in the Large Magellanic Cloud in about 50 years since the beginning of gamma-ray astronomy. This sample can be enlarged by the discovery of extragalactic events, since for a fraction of a second giant flares reach peak luminosities above 10$^{46}$ erg/s, which makes them visible by current instruments up to a few tens of Mpc. However, at these distances they appear similar to, and difficult to distinguish from, regular short gamma-ray bursts (GRBs). The latter are much more energetic events, 10$^{50-53}$ erg, produced by compact binary mergers and originating at much larger distances. Indeed, only a few short GRBs have been proposed, with different levels of confidence, as magnetar giant flare candidates in nearby galaxies. Here we report the discovery of a short GRB positionally coincident with the central region of the starburst galaxy M82. Its spectral and timing properties, together with the limits on its X-ray and optical counterparts obtained a few hours after the event and the lack of an associated gravitational wave signal, qualify with high confidence this event as a giant flare from a magnetar in M82.


title: Collaborative Synthesis of Patient Records through Multi-Visit Health State Inference

abstract: Electronic health records (EHRs) have become the foundation of machine learning applications in healthcare, while the utility of real patient records is often limited by privacy and security concerns. Synthetic EHR generation provides an additional perspective to compensate for this limitation. Most existing methods synthesize new records based on real EHR data, without consideration of different types of events in EHR data, which cannot control the event combinations in line with medical common sense. In this paper, we propose MSIC, a Multi-visit health Status Inference model for Collaborative EHR synthesis to address these limitations. First, we formulate the synthetic EHR generation process as a probabilistic graphical model and tightly connect different types of events by modeling the latent health states. Then, we derive a health state inference method tailored for the multi-visit scenario to effectively utilize previous records to synthesize current and future records. Furthermore, we propose to generate medical reports to add textual descriptions for each medical event, providing broader applications for synthesized EHR data. For generating different paragraphs in each visit, we incorporate a multi-generator deliberation framework to collaborate the message passing of multiple generators and employ a two-phase decoding strategy to generate high-quality reports. Our extensive experiments on the widely used benchmarks, MIMIC-III and MIMIC-IV, demonstrate that MSIC advances state-of-the-art results on the quality of synthetic data while maintaining low privacy risks.


title: Towards Message Brokers for Generative AI: Survey, Challenges, and Opportunities

abstract: In today's digital world, Generative Artificial Intelligence (GenAI) such as Large Language Models (LLMs) is becoming increasingly prevalent, extending its reach across diverse applications. This surge in adoption has sparked a significant increase in demand for data-centric GenAI models, highlighting the necessity for robust data communication infrastructures. Central to this need are message brokers, which serve as essential channels for data transfer within various system components. This survey aims to delve into a comprehensive analysis of traditional and modern message brokers, offering a comparative study of prevalent platforms. Our study considers numerous criteria including, but not limited to, open-source availability, integrated monitoring tools, message prioritization mechanisms, capabilities for parallel processing, reliability, distribution and clustering functionalities, authentication processes, data persistence strategies, fault tolerance, and scalability. Furthermore, we explore the intrinsic constraints that the design and operation of each message broker might impose, recognizing that these limitations are crucial in understanding their real-world applicability. Finally, this study examines the enhancement of message broker mechanisms specifically for GenAI contexts, emphasizing the criticality of developing a versatile message broker framework. Such a framework would be poised for quick adaptation, catering to the dynamic and growing demands of GenAI in the foreseeable future. Through this dual-pronged approach, we intend to contribute a foundational compendium that can guide future innovations and infrastructural advancements in the realm of GenAI data communication.


title: Inconsistency of Score-Elevated Reserve Policy for Indian Affirmative Action

abstract: India has enacted an intricate affirmative action program through a reservation system since the 1950s. Notably, in 2008, a historic judgment by the Supreme Court of India (SCI) in the case of Ashoka Kumar Thakur vs. Union of India mandated a 27 percent reservation to the Other Backward Classes (OBC). The SCI's ruling suggested implementing the OBC reservation as a soft reserve without defining a procedural framework. The SCI recommended a maximum of 10 points difference between the cutoff scores of the open-category and OBC positions. We show that this directive conflicts with India's fundamental Supreme Court mandates on reservation policy. Moreover, we show that the score-elevated reserve policy proposed by S\"onmez and Yenmez (2022) is inconsistent with this directive.


title: On the $v$-Picard group of Stein spaces

abstract: We study the image of the Hodge-Tate logarithm map (in any cohomological degree), defined by Heuer, in the case of smooth Stein varieties. Heuer, motivated by the computations for the affine space of any dimension, raised the question whether this image is always equal to the group of closed differential forms. We show that it indeed always contains such forms but the quotient can be non-trivial: it contains a slightly mysterious $Z_p$-module that maps, via the Bloch-Kato exponential map, to integral classes in the pro-\'etale cohomology. This quotient is already non-trivial for open unit discs of dimension strictly greater than $1$.


title: Global Occlusion-Aware Transformer for Robust Stereo Matching

abstract: Despite the remarkable progress facilitated by learning-based stereo-matching algorithms, the performance in the ill-conditioned regions, such as the occluded regions, remains a bottleneck. Due to the limited receptive field, existing CNN-based methods struggle to handle these ill-conditioned regions effectively. To address this issue, this paper introduces a novel attention-based stereo-matching network called Global Occlusion-Aware Transformer (GOAT) to exploit long-range dependency and occlusion-awareness global context for disparity estimation. In the GOAT architecture, a parallel disparity and occlusion estimation module PDO is proposed to estimate the initial disparity map and the occlusion mask using a parallel attention mechanism. To further enhance the disparity estimates in the occluded regions, an occlusion-aware global aggregation module (OGA) is proposed. This module aims to refine the disparity in the occluded regions by leveraging restricted global correlation within the focus scope of the occluded areas. Extensive experiments were conducted on several public benchmark datasets including SceneFlow, KITTI 2015, and Middlebury. The results show that the proposed GOAT demonstrates outstanding performance among all benchmarks, particularly in the occluded regions.


title: SAVAE: Leveraging the variational Bayes autoencoder for survival analysis

abstract: As in many fields of medical research, survival analysis has witnessed a growing interest in the application of deep learning techniques to model complex, high-dimensional, heterogeneous, incomplete, and censored medical data. Current methods often make assumptions about the relations between data that may not be valid in practice. In response, we introduce SAVAE (Survival Analysis Variational Autoencoder), a novel approach based on Variational Autoencoders. SAVAE contributes significantly to the field by introducing a tailored ELBO formulation for survival analysis, supporting various parametric distributions for covariates and survival time (as long as the log-likelihood is differentiable). It offers a general method that consistently performs well on various metrics, demonstrating robustness and stability through different experiments. Our proposal effectively estimates time-to-event, accounting for censoring, covariate interactions, and time-varying risk associations. We validate our model in diverse datasets, including genomic, clinical, and demographic data, with varying levels of censoring. This approach demonstrates competitive performance compared to state-of-the-art techniques, as assessed by the Concordance Index and the Integrated Brier Score. SAVAE also offers an interpretable model that parametrically models covariates and time. Moreover, its generative architecture facilitates further applications such as clustering, data imputation, and the generation of synthetic patient data through latent space inference from survival data.


title: Cauchy numbers in type $B$

abstract: In this paper, we will introduce the Cauchy numbers of both kinds in type B and produce their corresponding exponential generating functions. Then we will provide some identities involving Cauchy, Lah, and Stirling numbers in type B through combinatorial methods.


title: Inverse spectral Love problem via Weyl-Titchmarsh function

abstract: In this paper we prove an inverse resonance theorem for the half-solid with vanishing stresses on the surface via Weyl-Titchmarsh function. Using a semi-classical approach it is possible to simplify this three-dimensional problem of the elastic wave equation for the half-solid as a Schr\"odinger equation with Robin boundary conditions on the half-line. The goal of the paper is to establish a method to recover the potential from the Weyl-Titchmarsh function for non self-adjoint problems and to establish a one-to-one and onto map between suitable function spaces. Moreover, we produce an algorithm in order to retrieve the shear modulus from the eigenvalues and resonances, via the spectral data.


title: Hochschild cohomology of Lie-Rinehart algebras

abstract: We compute the Hochschild cohomology of universal enveloping algebras of Lie-Rinehart algebras in terms of the Poisson cohomology of the associated graded quotient algebras. Central in our approach are two cochain complexes of "nonlinear Chevalley-Eilenberg" cochains whose origins lie in Lie-Rinehart modules "up to homotopy", one on the Hochschild cochains of the base algebra, another related to the adjoint representation. The Poincare-Birkhoff-Witt isomorphism is then extended to a certain intertwiner between such modules. Finally, exploiting the twisted Calabi-Yau structure, we obtain results for the dual Hochschild and cyclic homology.


title: Value Distributions of Derivatives of $K$-regular Polynomial Families

abstract: Let $\Omega \in \mathbb{C}$ be a domain such that $K:= \mathbb{C} \setminus \Omega$ is compact and non-polar. Let $g_\Omega$ be the Green's function with a logarithmic pole at infinity, and let $\omega = \omega_K$ be the equilibrium distribution on $K$. Let $(q_k)_{k>0}$ be a sequence of polynomials with $n_k$, the degree of $q_k$ satisfying $n_k \to \infty$, and let $(q_k^m)_k$ denote the sequence of $m$-th derivatives. We provide conditions, which ensure that the preimages $(q_k^m)^{-1}(\{a\})$ uniformly equidistribute on $\partial \Omega$, as $k \to \infty$, for every $a \in \mathbb{C}$ and every $m = 0, 1, \ldots$


title: Completions of Kleene's second model

abstract: We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been studied before. By a result of Klop it is known that not every pca has a strong completion. The study of completions of $\mathcal{K}_2$ has as corollaries that weak and strong embeddings are different, and that every countable pca has a weak completion. We then consider generalizations of $\mathcal{K}_2$ for larger cardinals, and use these to show that it is consistent that every pca has a weak completion.


title: Deep Non-Parametric Time Series Forecaster

abstract: This paper presents non-parametric baseline models for time series forecasting. Unlike classical forecasting models, the proposed approach does not assume any parametric form for the predictive distribution and instead generates predictions by sampling from the empirical distribution according to a tunable strategy. By virtue of this, the model is always able to produce reasonable forecasts (i.e., predictions within the observed data range) without fail unlike classical models that suffer from numerical stability on some data distributions. Moreover, we develop a global version of the proposed method that automatically learns the sampling strategy by exploiting the information across multiple related time series. The empirical evaluation shows that the proposed methods have reasonable and consistent performance across all datasets, proving them to be strong baselines to be considered in one's forecasting toolbox.


title: Room Acoustic Rendering Networks with Control of Scattering and Early Reflections

abstract: Room acoustic synthesis can be used in Virtual Reality (VR), Augmented Reality (AR) and gaming applications to enhance listeners' sense of immersion, realism and externalisation. A common approach is to use Geometrical Acoustics (GA) models to compute impulse responses at interactive speed, and fast convolution methods to apply said responses in real time. Alternatively, delay-network-based models are capable of modeling certain aspects of room acoustics, but with a significantly lower computational cost. In order to bridge the gap between these classes of models, recent work introduced delay network designs that approximate Acoustic Radiance Transfer (ART), a GA model that simulates the transfer of acoustic energy between discrete surface patches in an environment. This paper presents two key extensions of such designs. The first extension involves a new physically-based and stability-preserving design of the feedback matrices, enabling more accurate control of scattering and, more in general, of late reverberation properties. The second extension allows an arbitrary number of early reflections to be modeled with high accuracy, meaning the network can be scaled at will between computational cost and early reverb precision. The proposed extensions are compared to the baseline ART-approximating delay network as well as two reference GA models. The evaluation is based on objective measures of perceptually-relevant features, including frequency-dependent reverberation times, echo density build-up, and early decay time. Results show how the proposed extensions result in a significant improvement over the baseline model, especially for the case of non-convex geometries or the case of unevenly distributed wall absorption, both scenarios of broad practical interest.


title: Quantified Legendreness and the regularity of minima

abstract: We introduce a new quantification of nonuniform ellipticity in variational problems via convex duality, and prove higher differentiability and $2d$-smoothness results for vector valued minimizers of possibly degenerate functionals. Our framework covers convex, anisotropic polynomials as prototypical model examples - in particular, we improve in an essentially optimal fashion Marcellini's original results \cite{ma1}.


title: Electromagnetic effects on topological observables in QCD

abstract: In this proceedings article we present a selected set of our lattice results regarding the effect that background electromagnetic fields have on the topology of QCD. In particular, we report on the lattice spacing-dependence of the axion-photon coupling as well as on the response of the topological susceptibility to strong magnetic fields at nonzero temperatures. We demonstrate that the ratio of topological susceptibilities at finite to zero magnetic field has a well behaved continuum limit at low temperatures using a reweighting technique. Moreover, we study the scaling of the axion-photon coupling towards the continuum limit and show that it is less severely affected by discretisation effects.


title: A modular bisimulation characterisation for fragments of hybrid logic

abstract: There are known characterisations of several fragments of hybrid logic by means of invariance under bisimulations of some kind. The fragments include $\{\store, \jump\}$ with or without nominals (Areces, Blackburn, Marx), $\jump$ with or without nominals (ten Cate), and $\store$ without nominals (Hodkinson, Tahiri). Some pairs of these characterisations, however, are incompatible with one another. For other fragments of hybrid logic no such characterisations were known so far. We prove a generic bisimulation characterisation theorem for all standard fragments of hybrid logic, in particular for the case with $\store$ and nominals, left open by Hodkinson and Tahiri. Our characterisation is built on a common base and for each feature extension adds a specific condition, so it is modular in an engineering sense.


title: A weak inequality in fractional homogeneous Sobolev spaces

abstract: In this paper, we prove the following inequality \begin{equation*} \|\big(\int_{\mathbb{R}^n}\frac{|f(\cdot+y)-f(\cdot)|^q}{|y|^{n+sq}}dy\big)^{\frac{1}{q}}\|_{L^{p,\infty}(\mathbb{R}^n)}\lesssim\|f\|_{\dot{L}^p_s(\mathbb{R}^n)}, \end{equation*} where $\|\cdot\|_{L^{p,\infty}(\mathbb{R}^n)}$ is the weak $L^p$ quasinorm and $\|\cdot\|_{\dot{L}^p_s(\mathbb{R}^n)}$ is the homogeneous Sobolev norm, and parameters satisfy the condition that $1<p<q$, $2\leq q<\infty$, and $0<s=n(\frac{1}{p}-\frac{1}{q})<1$. Furthermore, we prove the estimate $\|\mathfrak{g}_{s,q}(f)\|_{L^p(\mathbb{R}^n)}\lesssim\|f\|_{\dot{F}^s_{p,q}(\mathbb{R}^n)}$ when $0<p,q<\infty$, $-1<s<1$, $\|\cdot\|_{\dot{F}^s_{p,q}(\mathbb{R}^n)}$ denotes the homogeneous Triebel-Lizorkin quasinorm and the Littlewood-Paley-Poisson function $\mathfrak{g}_{s,q}(f)(\cdot)$ is a generalization of the classical Littlewood-Paley $g$-function. Moreover, we prove the weak type $(p,p)$ boundedness of the $\mathcal{G}_{\lambda,q}$-function and the $\mathcal{R}_{s,q}$-function, where the $\mathcal{G}_{\lambda,q}$-function is a generalization of the well-known classical Littlewood-Paley $g_{\lambda}^*$-function. To the best of the author's knowledge, in the theorems of this paper, conditions are reduced to a minimum, and the applicability of the results has been expanded as much as possible.


title: First observation of liquid xenon electroluminescence with a Microstrip Plate

abstract: We report on the first observation of electroluminescence amplification with a Microstrip Plate immersed in liquid xenon. The electroluminescence of the liquid, induced by alpha-particles, was observed in an intense non-uniform electric field in the vicinity of 8-$\mu$m narrow anode strips interlaced with wider cathode ones, deposited on the same side of a glass substrate. The electroluminescence yield in the liquid reached a value of $(35.5 \pm 2.6)$ VUV photons/electron. We propose ways of enhancing this response with more appropriate microstructures towards their potential incorporation as sensing elements in single-phase noble-liquid detectors.


title: Density Uncertainty Quantification with NeRF-Ensembles: Impact of Data and Scene Constraints

abstract: In the fields of computer graphics, computer vision and photogrammetry, Neural Radiance Fields (NeRFs) are a major topic driving current research and development. However, the quality of NeRF-generated 3D scene reconstructions and subsequent surface reconstructions, heavily relies on the network output, particularly the density. Regarding this critical aspect, we propose to utilize NeRF-Ensembles that provide a density uncertainty estimate alongside the mean density. We demonstrate that data constraints such as low-quality images and poses lead to a degradation of the training process, increased density uncertainty and decreased predicted density. Even with high-quality input data, the density uncertainty varies based on scene constraints such as acquisition constellations, occlusions and material properties. NeRF-Ensembles not only provide a tool for quantifying the uncertainty but exhibit two promising advantages: Enhanced robustness and artifact removal. Through the utilization of NeRF-Ensembles instead of single NeRFs, small outliers are removed, yielding a smoother output with improved completeness of structures. Furthermore, applying percentile-based thresholds on density uncertainty outliers proves to be effective for the removal of large (foggy) artifacts in post-processing. We conduct our methodology on 3 different datasets: (i) synthetic benchmark dataset, (ii) real benchmark dataset, (iii) real data under realistic recording conditions and sensors.


title: On-demand transposition across light-matter interaction regimes in bosonic cQED

abstract: The diverse applications of light-matter interactions in science and technology stem from the qualitatively distinct ways these interactions manifest, prompting the development of physical platforms that can interchange between regimes on demand. Bosonic cQED employs the light field of high-Q superconducting cavities coupled to non-linear circuit elements, harnessing the rich dynamics of their interaction for quantum information processing. However, implementing fast switching of the interaction regime without deteriorating the cavity coherence is a significant challenge. We present the first experiment to achieve this feat, combining nanosecond-scale frequency tunability of a transmon coupled to a cavity with lifetime of hundreds of microseconds. Our implementation affords a range of new capabilities for quantum information processing; from fast creation of cavity Fock states using resonant interaction and interchanging tomography techniques at qualitatively distinct interaction regimes on the fly, to the suppression of unwanted cavity-transmon dynamics during idle evolution. By bringing flux tunability into the bosonic cQED toolkit, our work opens up a new paradigm to probe the full range of light-matter interaction dynamics within a single platform and provides valuable new pathways towards robust and versatile quantum information processing.


title: Submillimeter-wavelength Polarimetry of IRC+10216

abstract: We present SCUBA-2/POL-2 850 $\mu$m polarimetric observations of the circumstellar envelope (CSE) of the carbon-rich asymptotic giant branch (AGB) star IRC+10216. Both FIR and optical polarization data indicate grains aligned with their long axis in the radial direction relative to the central star. The 850 $\mu$m polarization does not show this simple structure. The 850 $\mu$m data are indicative, albeit not conclusive, of a magnetic dipole geometry. Assuming such a simple dipole geometry, the resulting 850 $\mu$m polarization geometry is consistent with both Zeeman observations and small-scale structure in the CSE. While there is significant spectral line polarization contained within the SCUBA-2 850 $\mu$m pass-band for the source, it is unlikely that our broadband polarization results are dominated by line polarization. To explain the required grain alignment, grain mineralogy effects, due to either fossil silicate grains from the earlier oxygen-rich AGB phase of the star, or due to the incorporation of ferromagnetic inclusions in the largest grains, may play a role. We argue that the most likely explanation is due to a new alignment mechanism \citep{arXiv:2009.11304} wherein a charged grain, moving relative to the magnetic field, precesses around the induced electric field and therefore aligns with the magnetic field. This mechanism is particularly attractive as the optical, FIR, and sub-mm wave polarization of the carbon dust can then be explained in a consistent way, differing simply due to the charge state of the grains.


title: Token-Level Contrastive Learning with Modality-Aware Prompting for Multimodal Intent Recognition

abstract: Multimodal intent recognition aims to leverage diverse modalities such as expressions, body movements and tone of speech to comprehend user's intent, constituting a critical task for understanding human language and behavior in real-world multimodal scenarios. Nevertheless, the majority of existing methods ignore potential correlations among different modalities and own limitations in effectively learning semantic features from nonverbal modalities. In this paper, we introduce a token-level contrastive learning method with modality-aware prompting (TCL-MAP) to address the above challenges. To establish an optimal multimodal semantic environment for text modality, we develop a modality-aware prompting module (MAP), which effectively aligns and fuses features from text, video and audio modalities with similarity-based modality alignment and cross-modality attention mechanism. Based on the modality-aware prompt and ground truth labels, the proposed token-level contrastive learning framework (TCL) constructs augmented samples and employs NT-Xent loss on the label token. Specifically, TCL capitalizes on the optimal textual semantic insights derived from intent labels to guide the learning processes of other modalities in return. Extensive experiments show that our method achieves remarkable improvements compared to state-of-the-art methods. Additionally, ablation analyses demonstrate the superiority of the modality-aware prompt over the handcrafted prompt, which holds substantial significance for multimodal prompt learning. The codes are released at https://github.com/thuiar/TCL-MAP.


title: Emergence of Vertical Diversity under Disturbance

abstract: We propose a statistical physics model of a neutral community, where each agent can represent identical plant species growing in the vertical direction with sunlight in the form of rich-get-richer competition. Disturbance added to this ecosystem, which makes an agent restart from the lowest growth level, is realized as a stochastic resetting. We show that in this model for sufficiently strong competition, vertical diversity characterized by a family of Hill numbers robustly emerges as a local maximum at intermediate disturbance.


title: Macroscopic elasticity of the hat aperiodic tiling

abstract: We explore the macroscopic elastic behavior of the aperiodic but hyperuniform (single tile) tiling.


title: Zero-shot Causal Graph Extrapolation from Text via LLMs

abstract: We evaluate the ability of large language models (LLMs) to infer causal relations from natural language. Compared to traditional natural language processing and deep learning techniques, LLMs show competitive performance in a benchmark of pairwise relations without needing (explicit) training samples. This motivates us to extend our approach to extrapolating causal graphs through iterated pairwise queries. We perform a preliminary analysis on a benchmark of biomedical abstracts with ground-truth causal graphs validated by experts. The results are promising and support the adoption of LLMs for such a crucial step in causal inference, especially in medical domains, where the amount of scientific text to analyse might be huge, and the causal statements are often implicit.


title: Discrete Algebraic sets in Discrete Manifolds

abstract: A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with contractible unit sphere to get a contractible graph. We prove a discrete Morse-Sard theorem: if G=(V,E) is a d-manifold and f:V to R^k an arbitrary map, then for any c not in f(V), a level set { f = c } is always a (d-k)-manifold or empty. While a priori open sets in the simplicial complex of G, they are sub-manifolds in the Barycentric refinement of G. Level sets are orientable if G is orientable. Any complex-valued function psi on a discrete 4-manifold M defines so level surfaces {psi=c} which are except for c in f(V) always 2-manifolds or empty.


title: Rotational surfaces with prescribed curvatures

abstract: We deal with the problem of prescribing different types of curvatures (principal, mean or Gaussian) on rotational surfaces in terms of arbitrary continuous functions depending on the distance from the surface to the axis of revolution. In this line, we get the complete explicit classification of the rotational surfaces with mean or Gauss curvature inversely proportional to the distance from the surface to the axis of revolution. We also provide new uniqueness results on some well known surfaces, such as the catenoid or the torus of revolution, and others less well known but equally interesting for their physical applications, such as the Mylar balloon or the Flamm's paraboloid.


title: Highlights from the Pierre Auger Observatory

abstract: The Pierre Auger Observatory is a unique facility designed to study ultra-high energy cosmic rays, with energies up to 10$^{20}$ eV and beyond. The Observatory is located in Argentina and comprises more than 1600 water Cherenkov detectors spread over an area of 3000 square kilometers overlooked by Fluorescence detectors. The first phase of the Observatory's data-taking began in 2004 and continued until the end of 2021. In this contribution, the results from the Phase~I data analysis of the Pierre Auger Observatory are presented. They include, among others, measurements of the cosmic-ray energy spectrum, composition, and arrival direction anisotropy. The Phase~I results from the Pierre Auger Observatory provide major advances in the understanding of the ultra-high energy cosmic ray phenomena and lay the foundation for second-phase studies with the upgraded AugerPrime detector. The status of the AugerPrime upgrade and its performance will be also discussed.


title: Error-Correction Performance of Regular Ring-Linear LDPC Codes over Lee Channels

abstract: Most low-density parity-check (LDPC) code constructions are considered over finite fields. In this work, we focus on regular LDPC codes over integer residue rings and analyze their performance with respect to the Lee metric. Their error-correction performance is studied over two channel models, in the Lee metric. The first channel model is a discrete memoryless channel, whereas in the second channel model an error vector is drawn uniformly at random from all vectors of a fixed Lee weight. It is known that the two channel laws coincide in the asymptotic regime, meaning that their marginal distributions match. For both channel models, we derive upper bounds on the block error probability in terms of a random coding union bound as well as sphere packing bounds that make use of the marginal distribution of the considered channels. We estimate the decoding error probability of regular LDPC code ensembles over the channels using the marginal distribution and determining the expected Lee weight distribution of a random LDPC code over a finite integer ring. By means of density evolution and finite-length simulations, we estimate the error-correction performance of selected LDPC code ensembles under belief propagation decoding and a low-complexity symbol message passing decoding algorithm and compare the performances.


title: Representations of the affine ageing algebra $\widehat{\mathfrak{age}}(1)$

abstract: In this paper, we investigate the affine ageing algebra $\widehat{\mathfrak{age}}(1)$, which is a central extension of the loop algebra of the 1-spatial ageing algebra $\mathfrak{age}(1)$. Certain Verma-type modules including Verma modules and imaginary Verma modules of $\widehat{\mathfrak{age}}(1)$ are studied.Particularly, the simplicity of these modules are characterized and their irreducible quotient modules are determined. We also study the restricted modules of $\widehat{\mathfrak{age}}(1)$ which are also the modules of the affine vertex algebra arising from the 1-spatial ageing algebra $\mathfrak{age}(1)$. We present certain constructions of simple restricted $\widehat{\mathfrak{age}}(1)$-modules and an explicit such example of simple restricted module via the Whittaker module of $\widehat{\mathfrak{age}}(1)$ is given.


title: Capitalizing on Next-Generation Optical Communication Systems with Proactive Multi-Period Network Planning

abstract: Optical transport network operators typically follow a pay-as-you-grow strategy for their network deployment. We propose a proactive multi-period planning approach based on heuristic network planning, supporting this deployment strategy while enabling efficient network utilization through next-generation technology. We report 60% less provisioned lightpaths.


title: MEAOD: Model Extraction Attack against Object Detectors

abstract: The widespread use of deep learning technology across various industries has made deep neural network models highly valuable and, as a result, attractive targets for potential attackers. Model extraction attacks, particularly query-based model extraction attacks, allow attackers to replicate a substitute model with comparable functionality to the victim model and present a significant threat to the confidentiality and security of MLaaS platforms. While many studies have explored threats of model extraction attacks against classification models in recent years, object detection models, which are more frequently used in real-world scenarios, have received less attention. In this paper, we investigate the challenges and feasibility of query-based model extraction attacks against object detection models and propose an effective attack method called MEAOD. It selects samples from the attacker-possessed dataset to construct an efficient query dataset using active learning and enhances the categories with insufficient objects. We additionally improve the extraction effectiveness by updating the annotations of the query dataset. According to our gray-box and black-box scenarios experiments, we achieve an extraction performance of over 70% under the given condition of a 10k query budget.


title: A note on nonseparable Lipschitz-free spaces

abstract: We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a G\^ateaux differentiability space. On the other hand, we single out more general properties where this equivalence fails. In particular, the question whether the duals of non-separable Lipschitz-free spaces have a weak$^*$ sequentially compact ball is undecidable in ZFC. Finally, we provide an example of a nonseparable dual Lipschitz-free space that fails the Radon-Nikod\'ym property.


title: Prospects to scrutinise or smash SM*A*S*H

abstract: SM*A*S*H is an extension of the Standard Model of particle physics which has just the minimal number of fields in order to solve six puzzles of particle physics and cosmology in one smash: vacuum stability, inflation, baryon asymmetry, neutrino masses, strong CP, and dark matter. The parameters of SM*A*S*H are constrained by symmetries and requirements to solve these puzzles. This provides various firm predictions for observables which can be confronted with experiments. We discuss the prospects and timeline to scrutinise or smash SM*A*S*H by cosmic microwave background polarisation experiments, axion haloscopes, and future space-borne gravitational wave detectors.


title: Equivariant neural network for Green's functions of molecules and materials

abstract: The many-body Green's function provides access to electronic properties beyond density functional theory level in ab inito calculations. In this manuscript, we propose a deep learning framework for predicting the finite-temperature Green's function in atomic orbital space, aiming to achieve a balance between accuracy and efficiency. By predicting the self-energy matrices in Lehmann representation using an equivariant message passing neural network, our method respects its analytical property and the $E(3)$ equivariance. The Green's function is obtained from the predicted self-energy through Dyson equation with target total number of electrons. We present proof-of-concept benchmark results for both molecules and simple periodic systems, showing that our method is able to provide accurate estimate of physical observables such as energy and density of states based on the predicted Green's function.


title: Engineered Ordinary Differential Equations as Classification Algorithm (EODECA): thorough characterization and testing

abstract: EODECA (Engineered Ordinary Differential Equations as Classification Algorithm) is a novel approach at the intersection of machine learning and dynamical systems theory, presenting a unique framework for classification tasks [1]. This method stands out with its dynamical system structure, utilizing ordinary differential equations (ODEs) to efficiently handle complex classification challenges. The paper delves into EODECA's dynamical properties, emphasizing its resilience against random perturbations and robust performance across various classification scenarios. Notably, EODECA's design incorporates the ability to embed stable attractors in the phase space, enhancing reliability and allowing for reversible dynamics. In this paper, we carry out a comprehensive analysis by expanding on the work [1], and employing a Euler discretization scheme. In particular, we evaluate EODECA's performance across five distinct classification problems, examining its adaptability and efficiency. Significantly, we demonstrate EODECA's effectiveness on the MNIST and Fashion MNIST datasets, achieving impressive accuracies of $98.06\%$ and $88.21\%$, respectively. These results are comparable to those of a multi-layer perceptron (MLP), underscoring EODECA's potential in complex data processing tasks. We further explore the model's learning journey, assessing its evolution in both pre and post training environments and highlighting its ability to navigate towards stable attractors. The study also investigates the invertibility of EODECA, shedding light on its decision-making processes and internal workings. This paper presents a significant step towards a more transparent and robust machine learning paradigm, bridging the gap between machine learning algorithms and dynamical systems methodologies.

categories: cs.LG cond-mat.dis-nn cond-mat.stat-mech cs.AI cs.NE nlin.PS


title: Exploiting bias in optimal finite-time copying protocols

abstract: We study a finite-time cyclic copy protocol that creates persisting correlations between a memory and a data bit. The average work to copy the two states of the data bit consists of the mutual information created between the memory and data bit after copying, a cost due to the difference between the initial and final states of the memory bit, and a finite-time cost. At low copy speeds, the optimal initial distribution of the memory bit matches the bias in the expected outcome, set by the bias in the data bit and the copying accuracies. However, if both states of the data are copied with the same accuracy, then in the high-speed regime copying the unlikely data bit state becomes prohibitively costly with a biased memory; the optimal initial distribution is then pushed towards 50:50. Copying with unequal accuracies, at fixed copy-generated mutual information, yields an opposite yet more effective strategy. Here, the initial memory distribution becomes increasingly biased as the copy speed increases, drastically lowering the work and raising the maximum speed. This strategy is so effective that it induces a symmetry breaking transition for an unbiased data bit.


title: The XXL survey LII : The evolution of radio AGN luminosity function determined via parametric methods from GMRT, ATCA, VLA and Cambridge interferometer observations

abstract: We model the evolution of active galactic nuclei by constructing their radio luminosity functions. We use a set of surveys of varying area and depth, namely the deep COSMOS survey of $1,916$ AGN sources, the wide shallow 3CRR, 7C and 6CE surveys, containing together $356$ AGNs, and the intermediate XXL-North and South fields consisting of $899$ and $1,484$ sources, respectively. We also used the CENSORS, BRL, Wall $\&$ Peacock and Config surveys, consisting respectively of $150$, $178$, $233$ and $230$ sources. Together, these surveys numbered $5,446$ AGN sources and constrained the luminosity functions at high redshift and over a wide range of luminosities (up to $z \approx 3$ and $\log (L / \mathrm{W Hz^{-1}}) \in [22,29])$. We concentrate on parametric methods within the Bayesian framework and show that the luminosity-dependent density evolution (LDDE) model fits the data best, with evidence ratios varying from "strong" ($>10$) to "decisive" ($>100$) according to the Jeffreys interpretation. We determine the number density, luminosity density and kinetic luminosity density as a function of redshift, and observe a flattening of these functions at higher redshifts, not present in simpler models, which we explain by our use of the LDDE model. Finally, we divide our sample into subsets according to the stellar mass of the host galaxies in order to investigate a possible bimodality in evolution. We found a difference in LF shape and evolution between these subsets. All together, these findings point to a physical picture where the evolution and density of AGN cannot be explained well by simple models but require more complex models either via AGN sub-populations where the total AGN sample is divided into subsamples according to various properties such as, for example, optical properties and stellar mass, or via luminosity-dependent functions.


title: Uncertainty Quantification in Computational Fluid Dynamics: Physics and Machine Learning Based Approaches

abstract: Turbulent flow has been extensively studied using computational fluid dynamics (CFD) simulations since turbulent flow regime is so frequently encountered in both academic and engineering applications. The high-fidelity simulation of the Direct Numerical Simulation (DNS) requires a sufficiently fine mesh to resolve the smallest Kolmogorov length scale of turbulent motion, which requires a tremendous amount of computational resources, and hence usually prohibited in engineering applications. At the current state of computational power we can only execute DNS simulations for small sections of an aircraft wing at high Reynolds numbers. Even though large-eddy simulation (LES) has reduced the computational overheads by only resolving the large-scale eddies with the small-scale eddies being modelled. However, for extremely high Reynolds number and complex geometry flows LES is still restricted to academic studies. As the result, Reynolds-averaged Navier-Stokes (RANS) based turbulence models have significantly reduced the computational overheads by modeling all scales of turbulent motion. Unlike DNS and LES which are dedicated to representing the true physics of turbulent flows, RANS approach uses simplifying modeling assumptions to describe both lower order and higher order quantities. This makes RANS still remain the most widely used CFD method in engineering applications; however, simplifying assumptions also introduces sources uncertainties during simulation.


title: Kernel Heterogeneity Improves Sparseness of Natural Images Representations

abstract: Both biological and artificial neural networks inherently balance their performance with their operational cost, which balances their computational abilities. Typically, an efficient neuromorphic neural network is one that learns representations that reduce the redundancies and dimensionality of its input. This is for instance achieved in sparse coding, and sparse representations derived from natural images yield representations that are heterogeneous, both in their sampling of input features and in the variance of those features. Here, we investigated the connection between natural images' structure, particularly oriented features, and their corresponding sparse codes. We showed that representations of input features scattered across multiple levels of variance substantially improve the sparseness and resilience of sparse codes, at the cost of reconstruction performance. This echoes the structure of the model's input, allowing to account for the heterogeneously aleatoric structures of natural images. We demonstrate that learning kernel from natural images produces heterogeneity by balancing between approximate and dense representations, which improves all reconstruction metrics. Using a parametrized control of the kernels' heterogeneity used by a convolutional sparse coding algorithm, we show that heterogeneity emphasizes sparseness, while homogeneity improves representation granularity. In a broader context, these encoding strategy can serve as inputs to deep convolutional neural networks. We prove that such variance-encoded sparse image datasets enhance computational efficiency, emphasizing the benefits of kernel heterogeneity to leverage naturalistic and variant input structures and possible applications to improve the throughput of neuromorphic hardware.


title: Hietarinta Chern-Simons supergravity and its asymptotic structure

abstract: In this paper we present the Hietarinta Chern-Simons supergravity theory in three space-time dimensions which extends the simplest Poincar\'e supergravity theory. After approaching the construction of the action using the Chern-Simons formalism, the analysis of the corresponding asymptotic symmetry algebra is considered. For this purpose, we first propose a consistent set of asymptotic boundary conditions for the aforementioned supergravity theory whose underlying symmetry corresponds to the supersymmetric extension of the Hietarinta algebra. We then show that the corresponding charge algebra contains the super-$\mathfrak{bms}_{3}$ algebra as subalgebra, and has three independent central charges. We also show that the obtained asymptotic symmetry algebra can alternatively be recovered as a vanishing cosmological constant limit of three copies of the Virasoro algebra, one of which is augmented by supersymmetry.


title: Cybersecurity in Motion: A Survey of Challenges and Requirements for Future Test Facilities of CAVs

abstract: The way we travel is changing rapidly, and Cooperative Intelligent Transportation Systems (C-ITSs) are at the forefront of this evolution. However, the adoption of C-ITSs introduces new risks and challenges, making cybersecurity a top priority for ensuring safety and reliability. Building on this premise, this paper presents an envisaged Cybersecurity Centre of Excellence (CSCE) designed to bolster research, testing, and evaluation of the cybersecurity of C-ITSs. We explore the design, functionality, and challenges of CSCE's testing facilities, outlining the technological, security, and societal requirements. Through a thorough survey and analysis, we assess the effectiveness of these systems in detecting and mitigating potential threats, highlighting their flexibility to adapt to future C-ITSs. Finally, we identify current unresolved challenges in various C-ITS domains, with the aim of motivating further research into the cybersecurity of C-ITSs.


title: A Mathematical Guide to Operator Learning

abstract: Operator learning aims to discover properties of an underlying dynamical system or partial differential equation (PDE) from data. Here, we present a step-by-step guide to operator learning. We explain the types of problems and PDEs amenable to operator learning, discuss various neural network architectures, and explain how to employ numerical PDE solvers effectively. We also give advice on how to create and manage training data and conduct optimization. We offer intuition behind the various neural network architectures employed in operator learning by motivating them from the point-of-view of numerical linear algebra.


title: Mistaken identities lead to missed opportunities: Testing for mean differences in partially matched data

abstract: It is increasingly common to collect pre-post data with pseudonyms or self-constructed identifiers. On survey responses from sensitive populations, identifiers may be made optional to encourage higher response rates. The ability to match responses between pre- and post-intervention phases for every participant may be impossible in such applications, leaving practitioners with a choice between the paired t-test on the matched samples and the two-sample t-test on all samples for evaluating mean differences. We demonstrate the inadequacies with both approaches, as the former test requires discarding unmatched data, while the latter test ignores correlation and assumes independence. In cases with a subset of matched samples, an opportunity to achieve limited inference about the correlation exists. We propose a novel technique for such `partially matched' data, which we refer to as the Quantile-based t-test for correlated samples, to assess mean differences using a conservative estimate of the correlation between responses based on the matched subset. Critically, our approach does not discard unmatched samples, nor does it assume independence. Our results demonstrate that the proposed method yields nominal Type I error probability while affording more power than existing approaches. Practitioners can readily adopt our approach with basic statistical programming software.


title: Distributed Stochastic Bilevel Optimization: Improved Complexity and Heterogeneity Analysis

abstract: This paper consider solving a class of nonconvex-strongly-convex distributed stochastic bilevel optimization (DSBO) problems with personalized inner-level objectives. Most existing algorithms require computational loops for hypergradient estimation, leading to computational inefficiency. Moreover, the impact of data heterogeneity on convergence in bilevel problems is not explicitly characterized yet. To address these issues, we propose LoPA, a loopless personalized distributed algorithm that leverages a tracking mechanism for iterative approximation of inner-level solutions and Hessian-inverse matrices without relying on extra computation loops. Our theoretical analysis explicitly characterizes the heterogeneity across nodes denoted by $b$, and establishes a sublinear rate of ${{\mathcal{O}}}( {\frac{{1}}{{(1-\rho)^2K}} + \frac{{b^{\frac{2}{3}} }}{{\left( {1 - \rho } \right)^{\frac{2}{3}}K^{\frac{2}{3}} }} + \frac{{1}}{\sqrt{ K }} ( \sigma_{\rm{p}} + \frac{1}{\sqrt{m}}\sigma_{\rm{c}}) } )$ without the boundedness of local hypergradients, where $\sigma_{\rm p}$ and $\sigma_{\rm c}$ represent the gradient sampling variances associated with the inner- and outer-level variables, respectively. We also develop a variant of LoPA based on gradient tracking to eliminate the impact of data heterogeneity, yielding an improved rate of ${{\mathcal{O}}}(\frac{{{1}}}{{ (1-\rho)^4K }} + \frac{1}{{\sqrt{K}}}( \sigma_{\rm{p}} + \frac{1}{\sqrt{m}}\sigma_{\rm{c}} ) )$. The computational complexity of LoPA is of ${{\mathcal{O}}}({\epsilon^{-2}})$ to an $\epsilon$-stationary point, matching the communication complexity due to the loopless structure, which outperforms existing counterparts for DSBO. Numerical experiments validate the effectiveness of the proposed algorithm.