title: Generation and detection of spin current in iridate/manganite heterostructures

abstract: The present study focuses on experimental investigations of spin current across the interface of an iridate/manganite heterostructure (SrIrO3/La0.7Sr0.3MnO3) consisting of oxide epitaxial films with nanometer thickness. Pure spin current is induced by microwave irradiation in the GHz frequency band, specifically under conditions of ferromagnetic resonance. The detection of spin current is achieved through the inverse spin-Hall effect, which measures the charge current arising on the electrically conductive SrIrO3 film with strong spin-orbit interaction. To quantify the efficiency of spin current conversion to charge current, the angular dependences of spin magnetoresistance of the iridate/manganite interface are measured, thereby determining the spin- Hall angle.


title: Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust

abstract: Rust is one of the most promising systems programming languages to fundamentally solve the memory safety issues that have plagued low-level software for over forty years. However, to accommodate the scenarios where Rust's type rules might be too restrictive for certain systems programming and where programmers opt for performance over security checks, Rust opens security escape hatches allowing writing unsafe source code or calling unsafe libraries. Consequently, unsafe Rust code and directly-linked unsafe foreign libraries may not only introduce memory safety violations themselves but also compromise the entire program as they run in the same monolithic address space as the safe Rust. This problem can be mitigated by isolating unsafe memory objects (those accessed by unsafe code) and sandboxing memory accesses to the unsafe memory. One category of prior work utilizes existing program analysis frameworks on LLVM IR to identify unsafe memory objects and accesses. However, they suffer the limitations of prolonged analysis time and low precision. In this paper, we tackled these two challenges using summary-based whole-program analysis on Rust's MIR. The summary-based analysis computes information on demand so as to save analysis time. Performing analysis on Rust's MIR exploits the rich high-level type information inherent to Rust, which is unavailable in LLVM IR. This manuscript is a preliminary study of ongoing research. We have prototyped a whole-program analysis for identifying both unsafe heap allocations and memory accesses to those unsafe heap objects. We reported the overhead and the efficacy of the analysis in this paper.


title: Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control

abstract: In many real-world problems, predictions are leveraged to monitor and control cyber-physical systems, demanding guarantees on the satisfaction of reliability and safety requirements. However, predictions are inherently uncertain, and managing prediction uncertainty presents significant challenges in environments characterized by complex dynamics and forking trajectories. In this work, we assume access to a pre-designed probabilistic implicit or explicit sequence model, which may have been obtained using model-based or model-free methods. We introduce probabilistic time series-conformal risk prediction (PTS-CRC), a novel post-hoc calibration procedure that operates on the predictions produced by any pre-designed probabilistic forecaster to yield reliable error bars. In contrast to existing art, PTS-CRC produces predictive sets based on an ensemble of multiple prototype trajectories sampled from the sequence model, supporting the efficient representation of forking uncertainties. Furthermore, unlike the state of the art, PTS-CRC can satisfy reliability definitions beyond coverage. This property is leveraged to devise a novel model predictive control (MPC) framework that addresses open-loop and closed-loop control problems under general average constraints on the quality or safety of the control policy. We experimentally validate the performance of PTS-CRC prediction and control by studying a number of use cases in the context of wireless networking. Across all the considered tasks, PTS-CRC predictors are shown to provide more informative predictive sets, as well as safe control policies with larger returns.


title: BeatDance: A Beat-Based Model-Agnostic Contrastive Learning Framework for Music-Dance Retrieval

abstract: Dance and music are closely related forms of expression, with mutual retrieval between dance videos and music being a fundamental task in various fields like education, art, and sports. However, existing methods often suffer from unnatural generation effects or fail to fully explore the correlation between music and dance. To overcome these challenges, we propose BeatDance, a novel beat-based model-agnostic contrastive learning framework. BeatDance incorporates a Beat-Aware Music-Dance InfoExtractor, a Trans-Temporal Beat Blender, and a Beat-Enhanced Hubness Reducer to improve dance-music retrieval performance by utilizing the alignment between music beats and dance movements. We also introduce the Music-Dance (MD) dataset, a large-scale collection of over 10,000 music-dance video pairs for training and testing. Experimental results on the MD dataset demonstrate the superiority of our method over existing baselines, achieving state-of-the-art performance. The code and dataset will be made public available upon acceptance.


title: Multi-Body Neural Scene Flow

abstract: The test-time optimization of scene flow - using a coordinate network as a neural prior - has gained popularity due to its simplicity, lack of dataset bias, and state-of-the-art performance. We observe, however, that although coordinate networks capture general motions by implicitly regularizing the scene flow predictions to be spatially smooth, the neural prior by itself is unable to identify the underlying multi-body rigid motions present in real-world data. To address this, we show that multi-body rigidity can be achieved without the cumbersome and brittle strategy of constraining the $SE(3)$ parameters of each rigid body as done in previous works. This is achieved by regularizing the scene flow optimization to encourage isometry in flow predictions for rigid bodies. This strategy enables multi-body rigidity in scene flow while maintaining a continuous flow field, hence allowing dense long-term scene flow integration across a sequence of point clouds. We conduct extensive experiments on real-world datasets and demonstrate that our approach outperforms the state-of-the-art in 3D scene flow and long-term point-wise 4D trajectory prediction. The code is available at: https://github.com/kavisha725/MBNSF.


title: Three-dimensional broadband FDTD optical simulations of CMOS image sensor

abstract: In this paper, we present the results of rigorous electromagnetic broadband simulations applied to CMOS image sensors as well as experimental measurements. We firstly compare the results of 1D, 2D, and 3D broadband simulations in the visible range (380nm-720nm) of a 1.75$\mu$m CMOS image sensor, emphasizing the limitations of 1D and 2D simulations and the need of 3D modeling, particularly to rigorously simulate parameters like Quantum Efficiency. Then we illustrate broadband simulations by two proposed solutions that improve the spectral response of the sensor: an antireflective coating, and the reduction of the optical stack. We finally show that results from experimental measurements are in agreement with the simulated results.


title: A sharper bound of the Hotelling-Solomons inequality

abstract: The original Hotelling-Solomons inequality indicates that an upper bound of |mean - median|/(standard deviation) is 1. In this note, we find a new bound depending on the sample size, which is strictly smaller than 1.


title: On the spaces of $(d+d^c)$-harmonic forms and $(d+d^\Lambda)$-harmonic forms on almost Hermitian manifolds and complex surfaces

abstract: We study the spaces of $(d + d^c)$-harmonic forms and $(d + d^\Lambda)$-harmonic forms, the natural generalization of the spaces of Bott-Chern harmonic forms, resp. symplectic harmonic forms from complex, resp. symplectic, manifolds to almost Hermitian manifolds. With the same techniques, we also prove that Bott-Chern and Aeppli numbers of compact complex surfaces depend only on the topology of the underlying manifold, a fact that was well-known for Hodge numbers of compact complex surfaces. We give several applications to compact quotients of Lie groups by a lattice.


title: FDTD-based optical simulations methodology for CMOS image sensors pixels architecture and process optimization

abstract: This paper presents a new FDTD-based optical simulation model dedicated to describe the optical performances of CMOS image sensors taking into account diffraction effects. Following market trend and industrialization constraints, CMOS image sensors must be easily embedded into even smaller packages, which are now equipped with auto-focus and short-term coming zoom system. Due to miniaturization, the ray-tracing models used to evaluate pixels optical performances are not accurate anymore to describe the light propagation inside the sensor, because of diffraction effects. Thus we adopt a more fundamental description to take into account these diffraction effects: we chose to use Maxwell-Boltzmann based modeling to compute the propagation of light, and to use a software with an FDTD-based (Finite Difference Time Domain) engine to solve this propagation. We present in this article the complete methodology of this modeling: on one hand incoherent plane waves are propagated to approximate a product-use diffuse-like source, on the other hand we use periodic conditions to limit the size of the simulated model and both memory and computation time. After having presented the correlation of the model with measurements we will illustrate its use in the case of the optimization of a 1.75$\mu$m pixel.


title: The Gehring-Hayman type theorem on pseudoconvex domains of finite type in $\mathbb{C}^2$

abstract: In this paper, we obtain the Gehring-Hayman type theorem on smoothly bounded pseudoconvex domains of finite type in $\mathbb{C}^2$. As an application, we provide a quantitative comparison between global and local Kobayashi distances near a boundary point for these domains.


title: Learning visual-based deformable object rearrangement with local graph neural networks

abstract: Goal-conditioned rearrangement of deformable objects (e.g. straightening a rope and folding a cloth) is one of the most common deformable manipulation tasks, where the robot needs to rearrange a deformable object into a prescribed goal configuration with only visual observations. These tasks are typically confronted with two main challenges: the high dimensionality of deformable configuration space and the underlying complexity, nonlinearity and uncertainty inherent in deformable dynamics. To address these challenges, we propose a novel representation strategy that can efficiently model the deformable object states with a set of keypoints and their interactions. We further propose local-graph neural network (GNN), a light local GNN learning to jointly model the deformable rearrangement dynamics and infer the optimal manipulation actions (e.g. pick and place) by constructing and updating two dynamic graphs. Both simulated and real experiments have been conducted to demonstrate that the proposed dynamic graph representation shows superior expressiveness in modeling deformable rearrangement dynamics. Our method reaches much higher success rates on a variety of deformable rearrangement tasks (96.3% on average) than state-of-the-art method in simulation experiments. Besides, our method is much more lighter and has a 60% shorter inference time than state-of-the-art methods. We also demonstrate that our method performs well in the multi-task learning scenario and can be transferred to real-world applications with an average success rate of 95% by solely fine tuning a keypoint detector.


title: Time integration schemes based on neural networks for solving partial differential equations on coarse grids

abstract: The accuracy of solving partial differential equations (PDEs) on coarse grids is greatly affected by the choice of discretization schemes. In this work, we propose to learn time integration schemes based on neural networks which satisfy three distinct sets of mathematical constraints, i.e., unconstrained, semi-constrained with the root condition, and fully-constrained with both root and consistency conditions. We focus on the learning of 3-step linear multistep methods, which we subsequently applied to solve three model PDEs, i.e., the one-dimensional heat equation, the one-dimensional wave equation, and the one-dimensional Burgers' equation. The results show that the prediction error of the learned fully-constrained scheme is close to that of the Runge-Kutta method and Adams-Bashforth method. Compared to the traditional methods, the learned unconstrained and semi-constrained schemes significantly reduce the prediction error on coarse grids. On a grid that is 4 times coarser than the reference grid, the mean square error shows a reduction of up to an order of magnitude for some of the heat equation cases, and a substantial improvement in phase prediction for the wave equation. On a 32 times coarser grid, the mean square error for the Burgers' equation can be reduced by up to 35% to 40%.


title: On structural proof theory of the modal logic K+ extended with infinitary derivations

abstract: We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since they correspond to cyclic cut-free proofs of the presented sequent calculus.


title: Investigating Bias in Multilingual Language Models: Cross-Lingual Transfer of Debiasing Techniques

abstract: This paper investigates the transferability of debiasing techniques across different languages within multilingual models. We examine the applicability of these techniques in English, French, German, and Dutch. Using multilingual BERT (mBERT), we demonstrate that cross-lingual transfer of debiasing techniques is not only feasible but also yields promising results. Surprisingly, our findings reveal no performance disadvantages when applying these techniques to non-English languages. Using translations of the CrowS-Pairs dataset, our analysis identifies SentenceDebias as the best technique across different languages, reducing bias in mBERT by an average of 13%. We also find that debiasing techniques with additional pretraining exhibit enhanced cross-lingual effectiveness for the languages included in the analyses, particularly in lower-resource languages. These novel insights contribute to a deeper understanding of bias mitigation in multilingual language models and provide practical guidance for debiasing techniques in different language contexts.


title: Dynamics-augmented cluster-based network model

abstract: In this study, we propose a novel data-driven reduced-order model for complex dynamics, including nonlinear, multi-attractor, multi-frequency, and multiscale behaviours. The starting point is a fully automatable cluster-based network model (CNM) (Li et al. J. Fluid Mech. vol.906, 2021, A21) which kinematically coarse-grains the state with clusters and dynamically predicts the transitions in a network model. In the proposed dynamics-augmented CNM (dCNM), the prediction error is reduced with trajectory-based clustering using the same number of centroids. The dCNM is first exemplified for the Lorenz system and then implemented for the three-dimensional sphere wake featuring periodic, quasi-periodic and chaotic flow regimes. For both plants, the dCNM significantly outperforms the CNM in resolving the multi-frequency and multiscale dynamics. This increased prediction accuracy is obtained by stratification of the state space aligned with the direction of the trajectories. Thus, the dCNM has numerous potential applications to a large spectrum of shear flows, even for complex dynamics.


title: End-to-end Offline Reinforcement Learning for Glycemia Control

abstract: The development of closed-loop systems for glycemia control in type I diabetes relies heavily on simulated patients. Improving the performances and adaptability of these close-loops raises the risk of over-fitting the simulator. This may have dire consequences, especially in unusual cases which were not faithfully-if at all-captured by the simulator. To address this, we propose to use offline RL agents, trained on real patient data, to perform the glycemia control. To further improve the performances, we propose an end-to-end personalization pipeline, which leverages offline-policy evaluation methods to remove altogether the need of a simulator, while still enabling an estimation of clinically relevant metrics for diabetes.


title: On relative constructible sheaves and integral transforms

abstract: The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible sheaves and for relative regular holonomic $\mathcal D$-modules and prove they induce relative equivalences of categories. The third is to introduce and study the notions of relative constructible functions and relative Euler-Poincar\'e index. We prove that the relative Euler-Poincar\'e index provides an isomorphism between the Grothendieck group of the derived category of complexes with bounded relative $\mathbb R$-constructible cohomology and the ring of relative constructible functions.


title: Recurrence of the plane Elephant random walk

abstract: We give a short proof of the recurrence of the two-dimensional elephant random walk in the diffusive regime. This was recently established by Shuo Qin, but our proof only uses very rough comparison with the standard plane random walk. We hope that the method can be useful for other applications.


title: A Survey on Quantum Machine Learning: Current Trends, Challenges, Opportunities, and the Road Ahead

abstract: Quantum Computing (QC) claims to improve the efficiency of solving complex problems, compared to classical computing. When QC is applied to Machine Learning (ML) applications, it forms a Quantum Machine Learning (QML) system. After discussing the basic concepts of QC and its advantages over classical computing, this paper reviews the key aspects of QML in a comprehensive manner. We discuss different QML algorithms and their domain applicability, quantum datasets, hardware technologies, software tools, simulators, and applications. In this survey, we provide valuable information and resources for readers to jumpstart into the current state-of-the-art techniques in the QML field.


title: Spectral representation of two-sided signals from $\ell_\infty$ and applications to signal processing

abstract: The paper studies spectral representation as well as predictability and recoverability problems for non-vanishing discrete time signals from $\ell_\infty$, i.e. for bounded discrete time signals, including signals that do not vanish at $\pm\infty$. The extends the notions of transfer functions, the spectrum gaps, bandlimitness, and filters, on these general type signals. Some frequency conditions of predictability and data recoverability are presented, and some recovery methods and predictors have been suggested.


title: Stochastic spin-orbit-torque synapse and its application in uncertainty quantification

abstract: Stochasticity plays a significant role in the low-power operation of a biological neural network. In an artificial neural network (ANN), stochasticity also contributes to critical functions such as the uncertainty quantification (UQ) for estimating the probability for the correctness of prediction. This UQ is vital for cutting-edge applications, including medical diagnostics, autopilots, and large language models. Thanks to high computing velocity and low dissipation, a spin-orbit-torque (SOT) device exhibits significant potential for implementing the UQ. However, up until now, the application of UQ for stochastic SOT devices remains unexplored. In this study, based on SOT-induced stochastic magnetic domain wall (DW) motion with varying velocity, we fabricated an SOT synapse that could emulate stochastic weight update following the Spike-Timing-Dependent-Plasticity (STDP) rule. Furthermore, we set up a stochastic Spiking-Neural-Network (SNN), which, when compared to its deterministic counterpart, demonstrates a clear advantage in quantifying uncertainty for diagnosing the type of breast tumor (benign or malignant).


title: Interpreting and Exploiting Functional Specialization in Multi-Head Attention under Multi-task Learning

abstract: Transformer-based models, even though achieving super-human performance on several downstream tasks, are often regarded as a black box and used as a whole. It is still unclear what mechanisms they have learned, especially their core module: multi-head attention. Inspired by functional specialization in the human brain, which helps to efficiently handle multiple tasks, this work attempts to figure out whether the multi-head attention module will evolve similar function separation under multi-tasking training. If it is, can this mechanism further improve the model performance? To investigate these questions, we introduce an interpreting method to quantify the degree of functional specialization in multi-head attention. We further propose a simple multi-task training method to increase functional specialization and mitigate negative information transfer in multi-task learning. Experimental results on seven pre-trained transformer models have demonstrated that multi-head attention does evolve functional specialization phenomenon after multi-task training which is affected by the similarity of tasks. Moreover, the multi-task training strategy based on functional specialization boosts performance in both multi-task learning and transfer learning without adding any parameters.


title: Tunneling density of states of fractional quantum Hall edges: an unconventional bosonization approach

abstract: An unconventional bosonization approach that employs a modified Fermi-Bose correspondence is used to obtain the tunneling density of states (TDOS) of fractional quantum Hall (FQHE) edges in the vicinity of a point contact. The chiral Luttinger liquid model is generally used to describe FQHE edge excitations. We introduce a bosonization procedure to study edge state transport in Laughlin states at filling $\nu = 1/m$ with $m$ odd (single edge mode) in the presence of a point contact constriction that brings the top and bottom edges of the sample into close proximity. The unconventional bosonization involves modifying the Fermi-Bose correspondence to incorporate backscattering at the point contact, leaving the action of the theory purely quadratic even in presence of the inhomogeneity. We have shown convincingly in earlier works that this procedure correctly reproduces the most singular parts of the Green functions of the system even when mutual forward scattering between fermions are included. The most singular part of the density-density correlation function (DDCF) relevant to TDOS calculation is computed using a generating functional approach. The TDOS for both the electron tunneling as well as the Laughlin quasiparticle tunneling cases is obtained and is found to agree with previous results in the literature. For electron tunneling the well-known universal power laws for TDOS viz. $ \sim \mbox{ }\omega^{ m-1 }$ and for quasi-particle tunneling the power law $ \sim \mbox{ } \omega^{ \frac{1}{m}-1 } $ are both correctly recovered using our unconventional bosonization scheme. This demonstrates convincingly the utility of the present method which unlike conventional approaches, does not treat the point-contact as an afterthought and yet remains solvable so long as only the most singular parts of the correlation functions are desired.


title: Adaptive Particle Swarm Optimization for through-foliage target detection with drone swarms

abstract: This work contributes to efforts on autonomously detecting a vegetation-occluded target by airborne observers. It investigates and enhances previous work on a Particle Swarm Optimization (PSO) strategy for Airborne Optical Sectioning (AOS) drone swarms. First, it identifies two issues with that method and proposes to resolve them by a leader stabilization for its scattering and projection-based line positions for its default scanning pattern. Second, it connects this method to other PSO variants and presents a new adaptive PSO strategy for AOS drone swarms that draws on the ideas of Adaptive PSO (APSO).


title: Hamming Encoder: Mining Discriminative k-mers for Discrete Sequence Classification

abstract: Sequence classification has numerous applications in various fields. Despite extensive studies in the last decades, many challenges still exist, particularly in pattern-based methods. Existing pattern-based methods measure the discriminative power of each feature individually during the mining process, leading to the result of missing some combinations of features with discriminative power. Furthermore, it is difficult to ensure the overall discriminative performance after converting sequences into feature vectors. To address these challenges, we propose a novel approach called Hamming Encoder, which utilizes a binarized 1D-convolutional neural network (1DCNN) architecture to mine discriminative k-mer sets. In particular, we adopt a Hamming distance-based similarity measure to ensure consistency in the feature mining and classification procedure. Our method involves training an interpretable CNN encoder for sequential data and performing a gradient-based search for discriminative k-mer combinations. Experiments show that the Hamming Encoder method proposed in this paper outperforms existing state-of-the-art methods in terms of classification accuracy.


title: Untying the Reversal Curse via Bidirectional Language Model Editing

abstract: Recent studies have demonstrated that large language models (LLMs) store massive factual knowledge within their parameters. But existing LLMs are prone to hallucinate unintended text due to false or outdated knowledge. Since retraining LLMs is resource intensive, there has been a growing interest in the concept of model editing. Despite the emergence of benchmarks and approaches, these unidirectional editing and evaluation have failed to explore the reversal curse. Intuitively, if "The capital of France is" is edited to be a counterfact "London" within a model, then it should be able to naturally reason and recall the reverse fact, i.e., "London is the capital of" followed by "France" instead of "England". In this paper, we study bidirectional language model editing, aiming to provide rigorous model editing evaluation to assess if edited LLMs can recall the editing knowledge bidirectionally. A new evaluation metric of reversibility is introduced, and a benchmark dubbed as Bidirectional Assessment for Knowledge Editing (BAKE) is constructed to evaluate the reversibility of edited models in recalling knowledge in the reverse direction of editing. We surprisingly observe that while current editing methods and LLMs can effectively recall editing facts in the direction of editing, they suffer serious deficiencies when evaluated in the reverse direction. To mitigate the reversal curse, a method named Bidirectionally Inversible Relationship moDeling (BIRD) is proposed. A set of editing objectives that incorporate bidirectional relationships between subject and object into the updated model weights are designed. Experiments show that BIRD improves the performance of four representative LLMs of different sizes via question answering and judgement.


title: Structure and properties of lead silicate glasses

abstract: The original electronic structure of the Pb$^{2+}$ ion explains its particular structural role in crystalline phases and silicate glasses. After a description of the structural role of lead in crystalline phases (PbO, silicates), this chapter presents a summary of the main structural studies carried out on glasses from the SiO$_2$-PbO, SiO$_2$-PbO-R$_2$O (R: alkaline) and SiO$_2$-PbO-Al$_2$O$_3$ systems, using various spectroscopic and simulation techniques.


title: Assessing univariate and bivariate risks of late-frost and drought using vine copulas: A historical study for Bavaria

abstract: In light of climate change's impacts on forests, including extreme drought and late-frost, leading to vitality decline and regional forest die-back, we assess univariate drought and late-frost risks and perform a joint risk analysis in Bavaria, Germany, from 1952 to 2020. Utilizing a vast dataset with 26 bioclimatic and topographic variables, we employ vine copula models due to the data's non-Gaussian and asymmetric dependencies. We use D-vine regression for univariate and Y-vine regression for bivariate analysis, and propose corresponding univariate and bivariate conditional probability risk measures. We identify "at-risk" regions, emphasizing the need for forest adaptation due to climate change.


title: Towards image compression with perfect realism at ultra-low bitrates

abstract: Image codecs are typically optimized to trade-off bitrate \vs distortion metrics. At low bitrates, this leads to compression artefacts which are easily perceptible, even when training with perceptual or adversarial losses. To improve image quality and remove dependency on the bitrate, we propose to decode with iterative diffusion models. We condition the decoding process on a vector-quantized image representation, as well as a global image description to provide additional context. We dub our model PerCo for 'perceptual compression', and compare it to state-of-the-art codecs at rates from 0.1 down to 0.003 bits per pixel. The latter rate is more than an order of magnitude smaller than those considered in most prior work, compressing a 512x768 Kodak image with less than 153 bytes. Despite this ultra-low bitrate, our approach maintains the ability to reconstruct realistic images. We find that our model leads to reconstructions with state-of-the-art visual quality as measured by FID and KID. As predicted by rate-distortion-perception theory, visual quality is less dependent on the bitrate than previous methods.


title: Arithmetic as a theory modulo

abstract: We present constructive arithmetic in Deduction modulo with rewrite rules only.


title: Resonant Effects of a Bar on the Galactic Disk Kinematics Perpendicular to Its Plane

abstract: Detailed analysis of kinematics of the Milky Way disk in the solar neighborhood based on the GAIA DR3 catalog reveals the existence of peculiarities in the stellar velocity distribution perpendicular to the galactic plane. We study the influence of resonances -- the outer Lindblad resonance and the outer vertical Lindblad resonance -- of a rotating bar with stellar oscillations perpendicular to the plane of the disk, and their role in shaping the spatial and the velocity distributions of stars. We find that the $Z$ and $V_Z$ distributions of stars with respect to $L_Z$ are affected by the outer Lindblad resonance. The existence of bar resonance with stellar oscillations perpendicular to the plane of the disk is demonstrated for a long (large semi-axis 5 kpc) and fast rotating bar with $\Omega_{b}= 60.0$ $km~s^{-1}~kpc^{-1}$. We show also that, in the model with the long and fast rotating bar, some stars in the 2:1 OLR region deviate far from their original places, entering the bar region. A combination of resonance excitation of stellar motions at the 2:1 OLR region together with strong interaction of the stars with the bar potential leads to the formation of the group of 'escapees', i.e., stars that deviate in $R$ and $Z$ -- directions at large distances from the resonance region. Simulations, however, do not demonstrate any noticeable effect on $V_Z$-distribution of stars in the solar neighborhood


title: Is the M81 Fast Radio Burst Host Globular Cluster Special?

abstract: We use multiband archival HST observations to measure the photometric and structural parameters of the M81 globular cluster that hosts the Fast Radio Burst FRB 20200120E. Our best-fitting King model has an effective radius $r_h = 3.06$ pc with a moderate King model concentration of $c = 53$, and an inferred core radius of 0.81 pc. We revisit the exact astrometric location of the FRB within the cluster, and find that FRB 20200120E is located 1.92 pc from the center, but within the projected half-light radius. We estimate the relative encounter rate of the FRB host, along with the corresponding rates of 210 other globular clusters in M81, and compare these values with the encounter rates of Galactic globular clusters. The FRB resides in a globular cluster with an encounter rate that is moderately higher than the median stellar encounter rate in our two comparison samples. While the estimated encounter rate of the FRB host cluster (e.g., $\sim50\%$ of a cluster like 47 Tuc) is sufficient to allow the possibility that the FRB formed dynamically, our results do not place strong constraints on this scenario due to the limitations of the available HST data and the possible systematic uncertainties and selection effects in the comparison data.


title: Towards Data-Conditional Simulation for ABC Inference in Stochastic Differential Equations

abstract: We develop a Bayesian inference method for discretely-observed stochastic differential equations (SDEs). Inference is challenging for most SDEs, due to the analytical intractability of the likelihood function. Nevertheless, forward simulation via numerical methods is straightforward, motivating the use of approximate Bayesian computation (ABC). We propose a conditional simulation scheme for SDEs that is based on lookahead strategies for sequential Monte Carlo (SMC) and particle smoothing using backward simulation. This leads to the simulation of trajectories that are consistent with the observed trajectory, thereby increasing the ABC acceptance rate. We additionally employ an invariant neural network, previously developed for Markov processes, to learn the summary statistics function required in ABC. The neural network is incrementally retrained by exploiting an ABC-SMC sampler, which provides new training data at each round. Since the SDEs simulation scheme differs from standard forward simulation, we propose a suitable importance sampling correction, which has the added advantage of guiding the parameters towards regions of high posterior density, especially in the first ABC-SMC round. Our approach achieves accurate inference and is about three times faster than standard (forward-only) ABC-SMC. We illustrate our method in five simulation studies, including three examples from the Chan-Karaolyi-Longstaff-Sanders SDE family, a stochastic bi-stable model (Schl{\"o}gl) that is notoriously challenging for ABC methods, and a two dimensional biochemical reaction network.


title: Unlocking Metasurface Practicality for B5G Networks: AI-assisted RIS Planning

abstract: The advent of reconfigurable intelligent surfaces(RISs) brings along significant improvements for wireless technology on the verge of beyond-fifth-generation networks (B5G).The proven flexibility in influencing the propagation environment opens up the possibility of programmatically altering the wireless channel to the advantage of network designers, enabling the exploitation of higher-frequency bands for superior throughput overcoming the challenging electromagnetic (EM) propagation properties at these frequency bands. However, RISs are not magic bullets. Their employment comes with significant complexity, requiring ad-hoc deployments and management operations to come to fruition. In this paper, we tackle the open problem of bringing RISs to the field, focusing on areas with little or no coverage. In fact, we present a first-of-its-kind deep reinforcement learning (DRL) solution, dubbed as D-RISA, which trains a DRL agent and, in turn, obtain san optimal RIS deployment. We validate our framework in the indoor scenario of the Rennes railway station in France, assessing the performance of our algorithm against state-of-the-art (SOA) approaches. Our benchmarks showcase better coverage, i.e., 10-dB increase in minimum signal-to-noise ratio (SNR), at lower computational time (up to -25 percent) while improving scalability towards denser network deployments.


title: Specifications tests for count time series models with covariates

abstract: We propose a goodness-of-fit test for a class of count time series models with covariates which includes the Poisson autoregressive model with covariates (PARX) as a special case. The test criteria are derived from a specific characterization for the conditional probability generating function and the test statistic is formulated as a $L_2$ weighting norm of the corresponding sample counterpart. The asymptotic properties of the proposed test statistic are provided under the null hypothesis as well as under specific alternatives. A bootstrap version of the test is explored in a Monte--Carlo study and illustrated on a real data set on road safety.


title: No random transits in CHEOPS observations of HD 139139

abstract: HD 139139 (a.k.a. 'The Random Transiter') is a star that exhibited enigmatic transit-like features with no apparent periodicity in K2 data. The shallow depth of the events ($\sim$200 ppm -- equivalent to transiting objects with radii of $\sim$1.5 R$_\oplus$ in front of a Sun-like star), and their non-periodicity, constitutes a challenge for the photometric follow-up of this star. The goal of this study is to confirm with independent measurements the presence of shallow, non-periodic transit-like features on this object. We performed observations with CHEOPS, for a total accumulated time of 12.75 d, distributed in visits of roughly 20 h in two observing campaigns in years 2021 and 2022. The precision of the data is sufficient to detect 150 ppm features with durations longer than 1.5 h. We use the duration and times of the events seen in the K2 curve to estimate how many should have been detected in our campaigns, under the assumption that their behaviour during the CHEOPS observations would be the same as in the K2 data of 2017. We do not detect events with depths larger than 150 ppm in our data set. If the frequency, depth, and duration of the events were the same as in the K2 campaign, we estimate the probability of having missed all events due to our limited observing window would be 4.8 %. We suggest three different scenarios to explain our results: 1) Our observing window was not long enough, and the events were missed with the estimated 4.8 % probability. 2) The events recorded in the K2 observations were time critical, and the mechanism producing them was either not active in the 2021 and 2022 campaigns or created shallower events under our detectability level. 3) The enigmatic events in the K2 data are the result of an unidentified and infrequent instrumental noise in the original data set or its data treatment.


title: Legal NLP Meets MiCAR: Advancing the Analysis of Crypto White Papers

abstract: In the rapidly evolving field of crypto assets, white papers are essential documents for investor guidance, and are now subject to unprecedented content requirements under the European Union's Markets in Crypto-Assets Regulation (MiCAR). Natural Language Processing (NLP) can serve as a powerful tool for both analyzing these documents and assisting in regulatory compliance. This paper delivers two contributions to the topic. First, we survey existing applications of textual analysis to unregulated crypto asset white papers, uncovering a research gap that could be bridged with interdisciplinary collaboration. We then conduct an analysis of the changes introduced by MiCAR, highlighting the opportunities and challenges of integrating NLP within the new regulatory framework. The findings set the stage for further research, with the potential to benefit regulators, crypto asset issuers, and investors.


title: On eigenfunctions of the block graphs of geometric Steiner systems

abstract: This paper lies in the context of the studies of eigenfunctions of graphs having minimum cardinality of support. One of the tools is the weight-distribution bound, a lower bound on the cardinality of support of an eigenfunction of a distance-regular graph corresponding to a non-principal eigenvalue. The tightness of the weight-distribution bound was previously shown in general for the smallest eigenvalue of a Grassmann graph. However, a characterisation of optimal eigenfunctions was not obtained. Motivated by this open problem, we consider the class of strongly regular Grassmann graphs and give the required characterisation in this case. We then show the tightness of the weight-distribution bound for block graphs of affine designs (defined on the lines of an affine space with two lines being adjacent when intersect) and obtain a similar characterisation of optimal eigenfunctions.


title: Exploring the Sun's birth radius and the distribution of planet building blocks in the Milky Way galaxy: A multi-zone Galactic chemical evolution approach

abstract: We explore the influence of the Milky Way galaxy's chemical evolution on the formation, structure, and habitability of the Solar system. Using a multi-zone Galactic Chemical Evolution (GCE) model, we successfully reproduce key observational constraints, including the age-metallicity ([Fe/H]) relation, metallicity distribution functions, abundance gradients, and [X/Fe] ratio trends for critical elements involved in planetary mineralogy, including C, O, Mg, and Si. Our GCE model suggests that the Sun formed in the inner Galactic disc, $R_{\rm birth,\odot}\approx 5$ kpc. We also combined a stoichiometric model with the GCE model to examine the temporal evolution and spatial distribution of planet building blocks (PBBs) within the Milky Way galaxy, revealing trends in the condensed mass fraction ($f_{\rm cond}$), iron-to-silicon mass fraction ($f_{\rm iron}$), and water mass fraction ($f_{\rm water}$) over time and towards the inner Galactic disc regions. Specifically, our model predicts a higher $f_{\rm cond}$ in the protoplanetary disc within the inner regions of the Milky Way galaxy, as well as an increased $f_{\rm iron}$ and a decreased $f_{\rm water}$ in the inner regions. Based on these findings, we discuss the potential impact of the Sun's birth location on the overall structure and habitability of the Solar System.


title: A Multilayered Security Infrastructure for Connected Vehicles -- First Lessons from the Field

abstract: Connected vehicles are vulnerable to manipulation and a broad attack surface can be used to intrude in-vehicle networks from anywhere on earth. In this work, we present an integrated security infrastructure comprising network protection, monitoring, incident management, and counteractions, which we built into a prototype based on a production car. Our vehicle implements a Software-Defined Networking Ethernet backbone to restrict communication routes, network anomaly detection to make misbehavior evident, virtual controller functions to enable agile countermeasures, and an automotive cloud defense center to analyse and manage incidents on vehicle fleets. We present first measurements and lessons learned from operating the prototype: many network attacks can be prevented through software-defined access control in the backbone; anomaly detection can reliably detect misbehavior but needs to improve on false positive rate; controller virtualization needs tailored frameworks to meet in-car requirements; and cloud defence enables fleet management and advanced countermeasures. Our findings indicate attack mitigation times in the vehicle from 257 ms to 328 ms and from 2,168 ms to 2,713 ms traversing the cloud.


title: Flux-pinning mediated superconducting diode effect in the NbSe$_2$/CrGeTe$_3$ heterostructure

abstract: In ferromagnet/superconductor bilayer systems, dipolar fields from the ferromagnet can create asymmetric energy barriers for the formation and dynamics of vortices through flux pinning. Conversely, the flux emanating from vortices can pin the domain walls of the ferromagnet, thereby creating asymmetric critical currents. Here, we report the observation of a superconducting diode effect in a NbSe$_2$/CrGeTe$_3$ van der Waals heterostructure in which the magnetic domains of CrGeTe$_3$ control the Abrikosov vortex dynamics in NbSe$_2$. In addition to extrinsic vortex pinning mechanisms at the edges of NbSe$_2$, flux-pinning-induced bulk pinning of vortices can alter the critical current. This asymmetry can thus be explained by considering the combined effect of this bulk pinning mechanism along with the vortex tilting induced by the Lorentz force from the transport current in the NbSe$_2$/CrGeTe$_3$ heterostructure. We also provide evidence of critical current modulation by flux pinning depending on the history of the field setting procedure. Our results suggest a method of controlling the efficiency of the superconducting diode effect in magnetically coupled van der Waals superconductors, where dipolar fields generated by the magnetic layer can be used to modulate the dynamics of the superconducting vortices in the superconductors.


title: Scene Graph Conditioning in Latent Diffusion

abstract: Diffusion models excel in image generation but lack detailed semantic control using text prompts. Additional techniques have been developed to address this limitation. However, conditioning diffusion models solely on text-based descriptions is challenging due to ambiguity and lack of structure. In contrast, scene graphs offer a more precise representation of image content, making them superior for fine-grained control and accurate synthesis in image generation models. The amount of image and scene-graph data is sparse, which makes fine-tuning large diffusion models challenging. We propose multiple approaches to tackle this problem using ControlNet and Gated Self-Attention. We were able to show that using out proposed methods it is possible to generate images from scene graphs with much higher quality, outperforming previous methods. Our source code is publicly available on https://github.com/FrankFundel/SGCond


title: Study (using a chiral effective Lagrangian model) of the scalar and pseudoscalar meson mass spectrum of QCD at finite temperature, above $T_c$

abstract: In this work, we analyze (using a chiral effective Lagrangian model) the scalar and pseudoscalar meson mass spectrum of QCD at finite temperature, above the chiral transition at $T_c$, in the realistic case with $N_f = 2 + 1$ light quark flavors (that is, with $m_{u,d} \to 0$ and $m_s \neq 0$), looking, in particular, for signatures of the breaking of the $U(1)$ axial symmetry above $T_c$. A critical comparison with the corresponding results obtained (in a previous study) in the two limit cases $N_f = 2$ and $N_f = 3$ and with the available lattice results is performed, together with a discussion on the limits of validity of a description in terms of a chiral effective Lagrangian model.


title: Magnetic contrast layers with functional SiO2 coatings for soft matter studies with polarised neutron reflectometry

abstract: This study introduces silicon substrates with a switchable magnetic contrast layer (MCL) for polarised neutron reflectometry experiments (PNR) at solid/liquid interface to study soft matter surface layers. The advantage with neutron reflectometry (NR) data is that structural and compositional information can be enhanced by using different isotopic contrast on the same sample. This approach is normally referred to as contrast matching, which can be achieved by using solvents with different isotopic contrast, e. g. different H2O/D2O ratio, and/or by selective deuteration of the molecules. However, some soft matter system might be perturbed by this approach, or it might not be possible, particularly for biological samples. In this scenario, solid substrates with a MCL are an appealing alternative, as the magnetic contrast with the substrate can be used to partially recover the information on the sample structure. More specifically, in this study, a magnetically soft Fe layer coated with SiO2 was produced by ion-beam sputter deposition on silicon substrates of different sizes. The structure was evaluated using XRR, AFM, VSM, and PNR. The collected data showed high quality and repeatability of the MCL parameters, regardless of the substrate size and thickness of the capping SiO2 layers. As compared to other kinds of substrates with MCL layer previously proposed, which used Au capping layer, the SiO2 capping layer allows to reproduce the typical surface of standard silicon substrate used for NR experiment and compatible with a large variety of soft matter samples. We demonstrated such application, by using ready-to-measure 50*50*10 mm3 substrates in PNR experiments for the characterisation of a lipid bilayer in a single solvent contrast. Overall, the article highlights the potential of PNR with MCL for investigation of soft matter samples.


title: GMRT observations of the radio trail from CXOU J163802.6-471358

abstract: The X-ray source CXOU J163802.6-471358is thought to be a pulsar wind nebula (PWN), as it shows an extended, $\approx 40$ arcsec trail from a compact source. Here we present GMRT observations of this source at 330 and 1390 MHz, which reveal a remarkable linear radio trail $\approx 90$ arcsec in extent. Although the radio trail points back to the supernova remnant (SNR) G338.1+0.4, $\approx 50$ arcmin from ,CXOU J163802.6-471358 associating it with this remnant would require a very large velocity for the pulsar. There are no known galactic SNRs close to the PWN and radio trail. No pulsar has yet been identified in CXOU J163802.6-471358, but if one could be found, this would allow more quantitative studies of the PWN and radio trail to be made.


title: Primordial magnetic non-Gaussianity with generic vacua and detection prospects in CMB spectral distortions

abstract: Assuming a slow-roll inflationary model where conformal invariance of the Maxwell action is broken via a non-minimal kinetic coupling term, we investigate the non-Gaussian three-point cross-correlation function between the primordial curvature perturbation and the primordial magnetic field, under a fairly general choice of initial vacua for both the scalar and the gauge field sectors. Among the possible triangular configurations of the resulting cross-bispectrum, we find that the squeezed limit leads to local-type non-Gaussianity allowing a product form decomposition in terms of the scalar and magnetic power spectra, which is a generic result independent of any specific choice of the initial states. We subsequently explore its detection prospects in the CMB via correlations between pre-recombination $\mu$-type spectral distortions and temperature anisotropies, sourced by such a primordial cross-correlation. Our analysis with several proposed next-generation CMB missions forecasts a low value of the signal-to-noise ratio (SNR) for the $\mu T$ spectrum if both the vacua are assumed to be pure Bunch-Davies. On the contrary, the SNR may be enhanced significantly for non-Bunch-Davies initial states for the magnetic sector within allowed bounds from current CMB data.


title: ConsistNet: Enforcing 3D Consistency for Multi-view Images Diffusion

abstract: Given a single image of a 3D object, this paper proposes a novel method (named ConsistNet) that is able to generate multiple images of the same object, as if seen they are captured from different viewpoints, while the 3D (multi-view) consistencies among those multiple generated images are effectively exploited. Central to our method is a multi-view consistency block which enables information exchange across multiple single-view diffusion processes based on the underlying multi-view geometry principles. ConsistNet is an extension to the standard latent diffusion model, and consists of two sub-modules: (a) a view aggregation module that unprojects multi-view features into global 3D volumes and infer consistency, and (b) a ray aggregation module that samples and aggregate 3D consistent features back to each view to enforce consistency. Our approach departs from previous methods in multi-view image generation, in that it can be easily dropped-in pre-trained LDMs without requiring explicit pixel correspondences or depth prediction. Experiments show that our method effectively learns 3D consistency over a frozen Zero123 backbone and can generate 16 surrounding views of the object within 40 seconds on a single A100 GPU. Our code will be made available on https://github.com/JiayuYANG/ConsistNet


title: Work Fluctuations in Ergotropic Heat Engines

abstract: We study the work fluctuations in ergotropic heat engines, namely two-strokes quantum Otto engines where the work stroke is designed to extract the ergotropy (the maximum amount of work by a cyclic unitary evolution) from a couple of quantum systems at canonical equilibrium at two different temperatures, whereas the heat stroke thermalizes back the systems to their respective reservoirs. We provide an exhaustive study for the case of two qutrits whose energy levels are equally spaced at two different frequencies by deriving the complete work statistics. By varying the values of temperatures and frequencies, only three kinds of optimal unitary strokes are found: the swap operator $U_1$, an idle swap $U_2$ (where one of the qutrits is regarded as an effective qubit), and a non trivial permutation of energy eigenstates $U_3$, which indeed corresponds to the composition of the two previous unitaries, namely $U_3=U_2 U_1$. While $U_1$ and $U_2$ are Hermitian (and hence involutions), $U_3$ is not. This point has an impact on the thermodynamic uncertainty relations (TURs) which bound the signal-to-noise ratio of the extracted work in terms of the entropy production. In fact, we show that all TURs derived from a strong detailed fluctuation theorem are violated by the transformation $U_3$.


title: Axionic Instability of Periodic Weyl-Semimetal Superstructures

abstract: Weyl-semimetal superstructures with a spiraling position of a pair of Weyl nodes of opposite chirality can host a chiral-symmetry preserving Fermi-arc metal state, where the chirality is carried by cylindrical Fermi surfaces, electron- and hole-like depending on the chirality. The Fermi surfaces nest at vanishing momentum separation (zero nesting vector) at the electron-hole-compensation energy because the nesting is topologically protected by vanishing spatial overlap of any pair of equal-momentum opposite-chirality states. In this work we show that the nesting and Coulomb interaction drive a spontaneous chiral symmetry breaking in such a Fermi arc metal, which leads to a dynamical axion insulator state but without breaking translational symmetry (no charge-density-wave order) as in a conventional Weyl semimetal. As for material realization, we discuss magnetically doped Bi$_2$Se$_3$, for which the Weyl-node positions depend on the order of the magnetic dopands. In this case, the axionic condensation can itself stabilize a spiral order of the magnetization, and hence the spiraling node positions, even if the magnetic interaction is intrinsically ferromagnetic.


title: Probing massive gravitons in $f(R)$ with lensed gravitational waves

abstract: We investigate the novel features of gravitational wave solutions in $f(R)$ gravity under proper gauge considerations in the shifted Ricci scalar background curvature ($R^{1+\epsilon}$). The solution is further explored to study the modified dispersion relations for massive modes at local scales and to derive constraints on $\epsilon$. Our analysis yields new insights as we scrutinize these dispersion effects on the polarization (modified Newman-Penrose content) and lensing properties of gravitational waves. It is discovered that the existing longitudinal scalar mode, and transverse breathing scalar mode are both independent of the mass parameter for $\epsilon<<1$. Further, by analysing the lensing amplification factor for the point mass lens model, we show that lensing of gravitational wave is highly sensitive to these dispersion effects in the milli-Hertz frequency (wave optics regime). It is expected that ultra-light modes, having mass about $\mathcal{O} (10^{-15})$ eV for $\epsilon<<1 (\approx 10^{-7})$ lensed by ($10^3\leq M_{Lens}\leq 10^6$)$M_\odot$ compact objects are likely to be detected by the advanced gravitational wave space-borne detectors, particularly within LISA's (The Laser Interferometer Space Antenna) sensitivity band.


title: Editable-DeepSC: Cross-Modal Editable Semantic Communication Systems

abstract: Different from \emph{data-oriented} communication systems primarily focusing on how to accurately transmit every bit of data, \emph{task-oriented} semantic communication systems \iffalse, which are capturing widespread research attention recently,\fi only transmit the specific semantic information required by downstream tasks, striving to minimize the communication overhead and maintain competitive tasks execution performance in the presence of channel noise. However, it is worth noting that in many scenarios, the transmitted semantic information needs to be dynamically modified according to the users' preferences and few existing works take this into consideration. Therefore, in this paper, we propose a novel cross-modal editable semantic communication system, named \emph{Editable-DeepSC}, to tackle this challenge. By utilizing inversion methods based on StyleGAN priors, \emph{Editable-DeepSC} takes cross-modal text-image pairs as inputs and transmits the edited information of images based on textual instructions. Extensive numerical results demonstrate that our proposed \emph{Editable-DeepSC} can achieve remarkable editing effects under the perturbations of channel noise, outperforming existing \emph{data-oriented} communication methods.


title: Attribution Patching Outperforms Automated Circuit Discovery

abstract: Automated interpretability research has recently attracted attention as a potential research direction that could scale explanations of neural network behavior to large models. Existing automated circuit discovery work applies activation patching to identify subnetworks responsible for solving specific tasks (circuits). In this work, we show that a simple method based on attribution patching outperforms all existing methods while requiring just two forward passes and a backward pass. We apply a linear approximation to activation patching to estimate the importance of each edge in the computational subgraph. Using this approximation, we prune the least important edges of the network. We survey the performance and limitations of this method, finding that averaged over all tasks our method has greater AUC from circuit recovery than other methods.


title: Optimized Layerwise Approximation for Efficient Private Inference on Fully Homomorphic Encryption

abstract: Recent studies have explored the deployment of privacy-preserving deep neural networks utilizing homomorphic encryption (HE), especially for private inference (PI). Many works have attempted the approximation-aware training (AAT) approach in PI, changing the activation functions of a model to low-degree polynomials that are easier to compute on HE by allowing model retraining. However, due to constraints in the training environment, it is often necessary to consider post-training approximation (PTA), using the pre-trained parameters of the existing plaintext model without retraining. Existing PTA studies have uniformly approximated the activation function in all layers to a high degree to mitigate accuracy loss from approximation, leading to significant time consumption. This study proposes an optimized layerwise approximation (OLA), a systematic framework that optimizes both accuracy loss and time consumption by using different approximation polynomials for each layer in the PTA scenario. For efficient approximation, we reflect the layerwise impact on the classification accuracy by considering the actual input distribution of each activation function while constructing the optimization problem. Additionally, we provide a dynamic programming technique to solve the optimization problem and achieve the optimized layerwise degrees in polynomial time. As a result, the OLA method reduces inference times for the ResNet-20 model and the ResNet-32 model by 3.02 times and 2.82 times, respectively, compared to prior state-of-the-art implementations employing uniform degree polynomials. Furthermore, we successfully classified CIFAR-10 by replacing the GELU function in the ConvNeXt model with only 3-degree polynomials using the proposed method, without modifying the backbone model.


title: On evolution PDEs on co-evolving graphs

abstract: We provide a well-posedness theory for a class of nonlocal continuity equations on co-evolving graphs. We describe the connection among vertices through an edge weight function and we let it evolve in time, coupling its dynamics with the dynamics on the graph. This is relevant in applications to opinion dynamics and transportation networks. Existence and uniqueness of suitably defined solutions is obtained by exploiting the Banach fixed-point Theorem. We consider different time scales for the evolution of the weight function: faster and slower than the flow defined on the graph. The former leads to graphs whose weight functions depend nonlocally on the density configuration at the vertices, while the latter induces static graphs. Furthermore, we prove a discrete-to-continuum limit for the PDEs under study as the number of vertices converges to infinity.


title: B-rep Boolean Resulting Model Repair by Correcting Intersection Edges Based on Inference Procedure

abstract: As the most essential part of CAD modeling operations, boolean operations on B-rep CAD models often suffer from errors. Errors caused by geometric precision or numerical uncertainty are hard to eliminate. They will reduce the reliability of boolean operations and damage the integrity of the resulting models. And it is difficult to repair false boolean resulting models damaged by errors. In practice, we find that the illegal boolean resulting models stem from the false intersection edges caused by errors. Therefore, this paper proposes an automatic method based on set reasoning to repair flawed structures of the boolean resulting models by correcting their topological intersection edges. We provide a local adaptive tolerance estimation method for each intersection edge based on its geometric features as well as its origin. Then, we propose a set of inference mechanisms based on set operations to infer whether a repair is needed based on the tolerance value and how to correct the inaccurate intersection edge. Our inference strategies are strictly proven, ensuring the reliability and robustness of the repair process. The inference process will transform the problem into a geometric equivalent form less susceptible to errors to get a more accurate intersection edge. Since our inference procedure focuses on topological features, our method can repair the flawed boolean resulting models, no matter what source of errors causes the problem.


title: Semi-Supervised Crowd Counting with Contextual Modeling: Facilitating Holistic Understanding of Crowd Scenes

abstract: To alleviate the heavy annotation burden for training a reliable crowd counting model and thus make the model more practicable and accurate by being able to benefit from more data, this paper presents a new semi-supervised method based on the mean teacher framework. When there is a scarcity of labeled data available, the model is prone to overfit local patches. Within such contexts, the conventional approach of solely improving the accuracy of local patch predictions through unlabeled data proves inadequate. Consequently, we propose a more nuanced approach: fostering the model's intrinsic 'subitizing' capability. This ability allows the model to accurately estimate the count in regions by leveraging its understanding of the crowd scenes, mirroring the human cognitive process. To achieve this goal, we apply masking on unlabeled data, guiding the model to make predictions for these masked patches based on the holistic cues. Furthermore, to help with feature learning, herein we incorporate a fine-grained density classification task. Our method is general and applicable to most existing crowd counting methods as it doesn't have strict structural or loss constraints. In addition, we observe that the model trained with our framework exhibits a 'subitizing'-like behavior. It accurately predicts low-density regions with only a 'glance', while incorporating local details to predict high-density regions. Our method achieves the state-of-the-art performance, surpassing previous approaches by a large margin on challenging benchmarks such as ShanghaiTech A and UCF-QNRF. The code is available at: https://github.com/cha15yq/MRC-Crowd.


title: Multimodal Object Query Initialization for 3D Object Detection

abstract: 3D object detection models that exploit both LiDAR and camera sensor features are top performers in large-scale autonomous driving benchmarks. A transformer is a popular network architecture used for this task, in which so-called object queries act as candidate objects. Initializing these object queries based on current sensor inputs is a common practice. For this, existing methods strongly rely on LiDAR data however, and do not fully exploit image features. Besides, they introduce significant latency. To overcome these limitations we propose EfficientQ3M, an efficient, modular, and multimodal solution for object query initialization for transformer-based 3D object detection models. The proposed initialization method is combined with a "modality-balanced" transformer decoder where the queries can access all sensor modalities throughout the decoder. In experiments, we outperform the state of the art in transformer-based LiDAR object detection on the competitive nuScenes benchmark and showcase the benefits of input-dependent multimodal query initialization, while being more efficient than the available alternatives for LiDAR-camera initialization. The proposed method can be applied with any combination of sensor modalities as input, demonstrating its modularity.


title: Interfaces Govern Structure of Angstrom-scale Confined Water

abstract: Water plays a crucial role in geological, biological, and technological processes. Nanoscale water confinement occurs in many of these settings, including sedimentary rocks, water channel proteins, and applications like desalination and water purification membranes. The structure and properties of water in nanoconfinement can differ significantly from bulk water, exhibiting, for instance, modified hydrogen bonds, dielectric constant, and phase transitions. Despite the importance of strongly nanoconfined water, experimentally elucidating the nanoconfinement effect on water, such as its orientation and hydrogen bond (H-bond) network, has remained challenging. Here, we study two-dimensionally nanoconfined aqueous electrolyte solutions with tunable confinement from nanoscale to angstrom-scale sandwiched between a graphene sheet and CaF2. We employ heterodyne-detection sum-frequency generation (HD-SFG) spectroscopy, a surface-specific vibrational spectroscopy capable of directly and selective probing water orientation and H-bond environment at interfaces and under confinement. Remarkably, the vibrational spectra of the nanoscale confined water can be described quantitatively by the sum of the individual water surface signals from the CaF2/water and water/graphene interfaces until the confinement reduces to angstrom-scale (< ~8 {\AA}). Ab initio molecular dynamics simulations confirm our experimental observation. These results manifest that interfacial, rather than nanoconfinement effects, dominate the water structure until angstrom-level confinement.


title: Topology optimization of fluidic pressure-driven multi-material compliant mechanisms

abstract: Compliant mechanisms actuated by pneumatic loads are receiving increasing attention due to their direct applicability as soft robots that perform tasks using their flexible bodies. Using multiple materials to build them can further improve their performance and efficiency. Due to developments in additive manufacturing, the fabrication of multi-material soft robots is becoming a real possibility. To exploit this opportunity, there is a need for a dedicated design approach. This paper offers a systematic approach to developing such mechanisms using topology optimization. The extended SIMP scheme is employed for multi-material modeling. The design-dependent nature of the pressure load is modeled using the Darcy law with a volumetric drainage term. Flow coefficient of each element is interpolated using a smoothed Heaviside function. The obtained pressure field is converted to consistent nodal loads. The adjoint-variable approach is employed to determine the sensitivities. A robust formulation is employed, wherein a min-max optimization problem is formulated using the output displacements of the eroded and blueprint designs. Volume constraints are applied to the blueprint design, whereas the strain energy constraint is formulated with respect to the eroded design. The efficacy and success of the approach are demonstrated by designing pneumatically actuated multi-material gripper and contractor mechanisms. A numerical study confirms that multiple-material mechanisms perform relatively better than their single-material counterparts.


title: The evolution of sulphur-bearing molecules in high-mass star-forming cores

abstract: To understand the chemistry of sulphur (S) in the interstellar medium, models need to be tested by observations of S-bearing molecules in different physical conditions. We analyse observations obtained with the IRAM 30m telescope towards 15 well-known cores classified in the three main evolutionary stages of the high-mass star-formation process: high-mass starless cores,high-mass protostellar objects, and ultracompact HII regions. We detected rotational lines of SO, SO+, NS, C34S, 13CS, SO2, CCS, H2S, HCS+, OCS, H2CS, and CCCS. We also analyse for the first time lines of the NO molecule to complement the analysis. From a local thermodynamic equilibrium approach, we have derived column densities of each species and excitation temperatures. Based on a statistical analysis on the line widths and the excitation temperatures, we find that: NS, C34S, 13CS, CCS, and HCS+ trace cold, quiescent, and likely extended material; OCS, and SO2 trace warmer, more turbulent, and likely denser and more compact material; SO and perhaps SO+ trace both quiescent and turbulent material depending on the target. The abundances of SO, SO2, and H2S show the strongest positive correlations with the kinetic temperature, believed to be an evolutionary indicator. Moreover, the sum of all molecular abundances show an enhancement of gaseous S from the less evolved to the more evolved stages. These trends could be due to the increasing amount of S sputtered from dust grains owing to the increasing protostellar activity with evolution. The average abundances in each evolutionary group increase especially in the oxygen-bearing molecules, perhaps due to the increasing abundance of atomic oxygen with evolution owing to photodissociation of water in gas phase. Our observational work represents a test-bed for theoretical studies aimed at modelling the chemistry of sulphur during the evolution of high-mass star-forming cores


title: BEVGPT: Generative Pre-trained Large Model for Autonomous Driving Prediction, Decision-Making, and Planning

abstract: Prediction, decision-making, and motion planning are essential for autonomous driving. In most contemporary works, they are considered as individual modules or combined into a multi-task learning paradigm with a shared backbone but separate task heads. However, we argue that they should be integrated into a comprehensive framework. Although several recent approaches follow this scheme, they suffer from complicated input representations and redundant framework designs. More importantly, they can not make long-term predictions about future driving scenarios. To address these issues, we rethink the necessity of each module in an autonomous driving task and incorporate only the required modules into a minimalist autonomous driving framework. We propose BEVGPT, a generative pre-trained large model that integrates driving scenario prediction, decision-making, and motion planning. The model takes the bird's-eye-view (BEV) images as the only input source and makes driving decisions based on surrounding traffic scenarios. To ensure driving trajectory feasibility and smoothness, we develop an optimization-based motion planning method. We instantiate BEVGPT on Lyft Level 5 Dataset and use Woven Planet L5Kit for realistic driving simulation. The effectiveness and robustness of the proposed framework are verified by the fact that it outperforms previous methods in 100% decision-making metrics and 66% motion planning metrics. Furthermore, the ability of our framework to accurately generate BEV images over the long term is demonstrated through the task of driving scenario prediction. To the best of our knowledge, this is the first generative pre-trained large model for autonomous driving prediction, decision-making, and motion planning with only BEV images as input.


title: Tabular Representation, Noisy Operators, and Impacts on Table Structure Understanding Tasks in LLMs

abstract: Large language models (LLMs) are increasingly applied for tabular tasks using in-context learning. The prompt representation for a table may play a role in the LLMs ability to process the table. Inspired by prior work, we generate a collection of self-supervised structural tasks (e.g. navigate to a cell and row; transpose the table) and evaluate the performance differences when using 8 formats. In contrast to past work, we introduce 8 noise operations inspired by real-world messy data and adversarial inputs, and show that such operations can impact LLM performance across formats for different structural understanding tasks.


title: An Anytime Algorithm for Good Arm Identification

abstract: In good arm identification (GAI), the goal is to identify one arm whose average performance exceeds a given threshold, referred to as good arm, if it exists. Few works have studied GAI in the fixed-budget setting, when the sampling budget is fixed beforehand, or the anytime setting, when a recommendation can be asked at any time. We propose APGAI, an anytime and parameter-free sampling rule for GAI in stochastic bandits. APGAI can be straightforwardly used in fixed-confidence and fixed-budget settings. First, we derive upper bounds on its probability of error at any time. They show that adaptive strategies are more efficient in detecting the absence of good arms than uniform sampling. Second, when APGAI is combined with a stopping rule, we prove upper bounds on the expected sampling complexity, holding at any confidence level. Finally, we show good empirical performance of APGAI on synthetic and real-world data. Our work offers an extensive overview of the GAI problem in all settings.


title: Probabilistic tensor optimization of quantum circuits for the max-$k$-cut problem

abstract: We propose a technique for optimizing parameterized circuits in variational quantum algorithms based on the probabilistic tensor sampling optimization. This method allows one to relax random initialization issues or heuristics for generating initial guess of variational parameters, and can be used to avoid local minima. We illustrate our approach on the example of the quantum approximate optimization algorithm (QAOA) applied to the max-$k$-cut problem based on the binary encoding efficient in the number of qubits. We discuss the advantages of our technique for searching optimal variational parameters of QAOA circuits in comparison to classical optimization methods.


title: Linear system of hypersurfaces passing through a Galois orbit

abstract: Let $d$ and $n$ be positive integers, and $E/F$ be a separable field extension of degree $m=\binom{n+d}{n}$. We show that if $|F| > 2$, then there exists a point $P\in \mathbb{P}^n(E)$ which does not lie on any degree $d$ hypersurface defined over $F$. In other words, the $m$ Galois conjugates of $P$ impose independent conditions on the $m$-dimensional $F$-vector space of degree $d$ forms in $x_0, x_1, \ldots, x_n$. As an application, we determine the maximal dimensions of linear systems $\mathcal{L}_1$ and $\mathcal{L}_2$ of hypersurfaces in $\mathbb P^n$ over a finite field $F$, where every $F$-member of $\mathcal{L}_1$ is reducible and every $F$-member of $\mathcal{L}_2$ is irreducible.


title: Self-Pro: A Self-Prompt and Tuning Framework for Graph Neural Networks

abstract: Graphs have become an important modeling tool for web applications, and Graph Neural Networks (GNNs) have achieved great success in graph representation learning. However, the performance of traditional GNNs heavily relies on a large amount of supervision. Recently, ``pre-train, fine-tune'' has become the paradigm to address the issues of label dependency and poor generalization. However, the pre-training strategies vary for graphs with homophily and heterophily, and the objectives for various downstream tasks also differ. This leads to a gap between pretexts and downstream tasks, resulting in ``negative transfer'' and poor performance. Inspired by prompt learning in Natural Language Processing (NLP), many studies turn to bridge the gap and fully leverage the pre-trained model. However, existing methods for graph prompting are tailored to homophily, neglecting inherent heterophily on graphs. Meanwhile, most of them rely on the randomly initialized prompts, which negatively impact on the stability. Therefore, we propose Self-Prompt, a prompting framework for graphs based on the model and data itself. We first introduce asymmetric graph contrastive learning for pretext to address heterophily and align the objectives of pretext and downstream tasks. Then we reuse the component from pre-training phase as the self adapter and introduce self-prompts based on graph itself for task adaptation. Finally, we conduct extensive experiments on 11 benchmark datasets to demonstrate its superiority. We provide our codes at https://github.com/gongchenghua/Self-Pro.


title: Pattern-detection in the global automotive industry: a manufacturer-supplier-product network analysis

abstract: Production networks arise from supply and customer relations among firms. These systems are gaining growing attention as a consequence of disruptions due to natural or man-made disasters that happened in the last years, such as the Covid-19 pandemic or the Russia-Ukraine war. However, data constraints force the few, available studies to consider only country-specific production networks. In order to fully capture the cross-country structure of modern supply chains, here we focus on the global automotive industry as represented by the MarkLines Automotive dataset. After representing this data as a network of manufacturers, suppliers, and products, we perform a pattern-detection exercise using a statistically grounded validation technique based on the maximum entropy principle. We reveal the presence of a significantly large number of V-shaped and square-shaped motifs, indicating that manufacturing firms compete and are seldom engaged in a buyer-supplier relationship, while they typically have many suppliers in common. Interestingly, generalist and specialist suppliers coexist in the network. Additionally, we unveil the presence of geographical patterns, with manufacturers clustering around groups of suppliers; for instance, Chinese firms constitute a disconnected community, likely an effect of the protectionist policies promoted by the Chinese government. We also show the tendency of suppliers to organize their production by targeting specific functional modules of a vehicle. Besides shedding light on the self-organising principles shaping production networks, our findings open up the possibility of designing realistic generative models of supply chains, to be used for testing the resilience of the interconnected global economy.


title: PEPICO analysis of catalytic reactor effluents at the FinEstBeaMS beamline of MAX IV Laboratory: DME conversion over a ZSM-5 zeolite

abstract: The Methanol-To-Hydrocarbons (MTH) process involves the conversion of methanol, a C1 feedstock that can be produced from green sources, into hydrocarbons using acid zeolite or zeotype catalysts (Olsbye et al., 2012). The reaction that occurs in zeolites yields a complex mixture of multiple isomers and species, which poses challenges for effluent analysis. The conventional gas-phase chromatography (GC) method, typically employed for effluent analysis (Hemberger et al., 2020), is often insufficient for separating isomers or detecting highly reactive molecules, especially with increased time resolution. As a potential solution, here, photoelectron-photoion coincidence (PEPICO) analysis of dimethyl ether (DME) flown through a zeolite catalyst (ZSM-5) has been performed at the FinEstBeAMS beamline of the MAX IV. Even-though, due to the specific configuration of the reactor packing, highly-reactive intermediates are not detected, the ratio of xylene isomers in the product stream is quantitatively determined by deconvoluting the coincidence photoelectron spectra.


title: Berry Curvature and Bulk-Boundary Correspondence from Transport Measurement for Photonic Chern Bands

abstract: Berry curvature is a fundamental element to characterize topological quantum physics, while a full measurement of Berry curvature in momentum space was not reported for topological states. Here we achieve two-dimensional Berry curvature reconstruction in a photonic quantum anomalous Hall system via Hall transport measurement of a momentum-resolved wave packet. Integrating measured Berry curvature over the two-dimensional Brillouin zone, we obtain Chern numbers corresponding to -1 and 0. Further, we identify bulk-boundary correspondence by measuring topology-linked chiral edge states at the boundary. The full topological characterization of photonic Chern bands from Berry curvature, Chern number, and edge transport measurements enables our photonic system to serve as a versatile platform for further in-depth study of novel topological physics.


title: Ewald's Conjecture and integer points in algebraic and symplectic toric geometry

abstract: We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.


title: A note on equality on plurifinely open sets of some complex Monge-Amp\`ere measures

abstract: Our aim in this paper is to prove that if plurisubharmonic functions $u_1,. . . , u_n$, $v_1,. . ., v_n$ in the domain of definition of the complex Monge-Amp\`ere operator on a domain set $D\subset \mathbb{C}^n$ ($n\geq 1$) are such that $u_1= v_1, . . ., u_n=v_n$ on a Borel plurifinely open set $\Omega\subset D$, then $$dd^cu_1\wedge ...\wedge dd^cu_n=dd^cv_1\wedge ...\wedge dd^cv_n$$ on $\Omega$. This extends an earlier result obtained by the author in \cite{EK}.


title: Machine learning in physics: a short guide

abstract: Machine learning is a rapidly growing field with the potential to revolutionize many areas of science, including physics. This review provides a brief overview of machine learning in physics, covering the main concepts of supervised, unsupervised, and reinforcement learning, as well as more specialized topics such as causal inference, symbolic regression, and deep learning. We present some of the principal applications of machine learning in physics and discuss the associated challenges and perspectives.


title: Modulus stabilisation in the multiple-modulus framework

abstract: In a class of modular-invariant models with multiple moduli fields, the viable lepton flavour mixing pattern can be realised if the values of moduli are selected to be at the fixed points. In this paper, we investigate a modulus stabilisation mechanism in the multiple-modulus framework which is capable of providing de Sitter (dS) global minima precisely at the fixed points $\tau = {\rm i}$ and $\omega$, by taking into consideration non-perturbative effects on the superpotential and the dilaton K\"ahler potential. Due to the existence of additional K\"ahler moduli, more possible vacua can occur, and the dS vacua could be in general the deepest. We classify different choices of vacua, and discuss their phenomenological implications for lepton masses and flavour mixing.


title: Polynomial rigidity and spectrum of Sidon automorphisms

abstract: We present spectrally disjoint Sidon automorphisms whose tensor squares are isomorphic to a planar shift. Spectra of such automorphisms do not possess the group property. To check the singularity of spectrum, we use polynomial rigidity of operators associated with Kolmogorov linear determinism. In the class of mixing Gaussian and Poisson suspensions we realize new sets of spectral multiplicities.


title: Camera-LiDAR Fusion with Latent Contact for Place Recognition in Challenging Cross-Scenes

abstract: Although significant progress has been made, achieving place recognition in environments with perspective changes, seasonal variations, and scene transformations remains challenging. Relying solely on perception information from a single sensor is insufficient to address these issues. Recognizing the complementarity between cameras and LiDAR, multi-modal fusion methods have attracted attention. To address the information waste in existing multi-modal fusion works, this paper introduces a novel three-channel place descriptor, which consists of a cascade of image, point cloud, and fusion branches. Specifically, the fusion-based branch employs a dual-stage pipeline, leveraging the correlation between the two modalities with latent contacts, thereby facilitating information interaction and fusion. Extensive experiments on the KITTI, NCLT, USVInland, and the campus dataset demonstrate that the proposed place descriptor stands as the state-of-the-art approach, confirming its robustness and generality in challenging scenarios.


title: Learning Object Permanence from Videos via Latent Imaginations

abstract: While human infants exhibit knowledge about object permanence from two months of age onwards, deep-learning approaches still largely fail to recognize objects' continued existence. We introduce a slot-based autoregressive deep learning system, the looped location and identity tracking model Loci-Looped, which learns to adaptively fuse latent imaginations with pixel-space observations into consistent latent object-specific what and where encodings over time. The novel loop empowers Loci-Looped to learn the physical concepts of object permanence, directional inertia, and object solidity through observation alone. As a result, Loci-Looped tracks objects through occlusions, anticipates their reappearance, and shows signs of surprise and internal revisions when observing implausible object behavior. Notably, Loci-Looped outperforms state-of-the-art baseline models in handling object occlusions and temporary sensory interruptions while exhibiting more compositional, interpretable internal activity patterns. Our work thus introduces the first self-supervised interpretable learning model that learns about object permanence directly from video data without supervision.


title: False Discovery Proportion control for aggregated Knockoffs

abstract: Controlled variable selection is an important analytical step in various scientific fields, such as brain imaging or genomics. In these high-dimensional data settings, considering too many variables leads to poor models and high costs, hence the need for statistical guarantees on false positives. Knockoffs are a popular statistical tool for conditional variable selection in high dimension. However, they control for the expected proportion of false discoveries (FDR) and not their actual proportion (FDP). We present a new method, KOPI, that controls the proportion of false discoveries for Knockoff-based inference. The proposed method also relies on a new type of aggregation to address the undesirable randomness associated with classical Knockoff inference. We demonstrate FDP control and substantial power gains over existing Knockoff-based methods in various simulation settings and achieve good sensitivity/specificity tradeoffs on brain imaging and genomic data.


title: Multi-Factor Spatio-Temporal Prediction based on Graph Decomposition Learning

abstract: Spatio-temporal (ST) prediction is an important and widely used technique in data mining and analytics, especially for ST data in urban systems such as transportation data. In practice, the ST data generation is usually influenced by various latent factors tied to natural phenomena or human socioeconomic activities, impacting specific spatial areas selectively. However, existing ST prediction methods usually do not refine the impacts of different factors, but directly model the entangled impacts of multiple factors. This amplifies the modeling complexity of ST data and compromises model interpretability. To this end, we propose a multi-factor ST prediction task that predicts partial ST data evolution under different factors, and combines them for a final prediction. We make two contributions to this task: an effective theoretical solution and a portable instantiation framework. Specifically, we first propose a theoretical solution called decomposed prediction strategy and prove its effectiveness from the perspective of information entropy theory. On top of that, we instantiate a novel model-agnostic framework, named spatio-temporal graph decomposition learning (STGDL), for multi-factor ST prediction. The framework consists of two main components: an automatic graph decomposition module that decomposes the original graph structure inherent in ST data into subgraphs corresponding to different factors, and a decomposed learning network that learns the partial ST data on each subgraph separately and integrates them for the final prediction. We conduct extensive experiments on four real-world ST datasets of two types of graphs, i.e., grid graph and network graph. Results show that our framework significantly reduces prediction errors of various ST models by 9.41% on average (35.36% at most). Furthermore, a case study reveals the interpretability potential of our framework.


title: GTA: A Geometry-Aware Attention Mechanism for Multi-View Transformers

abstract: As transformers are equivariant to the permutation of input tokens, encoding the positional information of tokens is necessary for many tasks. However, since existing positional encoding schemes have been initially designed for NLP tasks, their suitability for vision tasks, which typically exhibit different structural properties in their data, is questionable. We argue that existing positional encoding schemes are suboptimal for 3D vision tasks, as they do not respect their underlying 3D geometric structure. Based on this hypothesis, we propose a geometry-aware attention mechanism that encodes the geometric structure of tokens as relative transformation determined by the geometric relationship between queries and key-value pairs. By evaluating on multiple novel view synthesis (NVS) datasets in the sparse wide-baseline multi-view setting, we show that our attention, called Geometric Transform Attention (GTA), improves learning efficiency and performance of state-of-the-art transformer-based NVS models without any additional learned parameters and only minor computational overhead.


title: Research on Train Shunting Impedance Based on Transmission Line Theory

abstract: At present, the shunting process of train to track circuit is usually studied by taking the shunting resistance of the first wheel set of train as the equivalent model, which ignores the shunting effect of other wheel sets and cannot study the fault conditions such as "pool shunting". Especially for the jointless track circuit (JTC), the compensation capacitors connected in parallel on the rail line will cause more complex train shunting process. To solve this problem, based on the transmission line theory, starting from the shunting resistance of each wheel set and considering the leakage of track bet, this paper established as six-terminal network model of train shunting impedance, indirectly verified the correctness of the model by using the working principle of track circuit reader (TCR), and focused on the influence of wheel set shunting resistance, compensation capacitors and rail line parameters on train shunting impedance. Finally, based on the calculation of the structural importance of train wheel set, a simplified model of train shunting impedance was constructed, providing theoretical support for the further study of fault conditions such as "poor shunting".


title: Direct measurement of coherent light proportion from a practical laser source

abstract: We present a technique to estimate the proportion of coherent emission in the light emitted by a practical laser source without spectral filtering. The technique is based on measuring interferometric photon correlations between the output ports of an asymmetric Mach-Zehnder interferometer. With this, we characterize the fraction of coherent emission in the light emitted by a laser diode when transiting through the lasing threshold.


title: Cross-Lingual Consistency of Factual Knowledge in Multilingual Language Models

abstract: Multilingual large-scale Pretrained Language Models (PLMs) have been shown to store considerable amounts of factual knowledge, but large variations are observed across languages. With the ultimate goal of ensuring that users with different language backgrounds obtain consistent feedback from the same model, we study the cross-lingual consistency (CLC) of factual knowledge in various multilingual PLMs. To this end, we propose a Ranking-based Consistency (RankC) metric to evaluate knowledge consistency across languages independently from accuracy. Using this metric, we conduct an in-depth analysis of the determining factors for CLC, both at model level and at language-pair level. Among other results, we find that increasing model size leads to higher factual probing accuracy in most languages, but does not improve cross-lingual consistency. Finally, we conduct a case study on CLC when new factual associations are inserted in the PLMs via model editing. Results on a small sample of facts inserted in English reveal a clear pattern whereby the new piece of knowledge transfers only to languages with which English has a high RankC score.


title: Revisiting Logistic-softmax Likelihood in Bayesian Meta-Learning for Few-Shot Classification

abstract: Meta-learning has demonstrated promising results in few-shot classification (FSC) by learning to solve new problems using prior knowledge. Bayesian methods are effective at characterizing uncertainty in FSC, which is crucial in high-risk fields. In this context, the logistic-softmax likelihood is often employed as an alternative to the softmax likelihood in multi-class Gaussian process classification due to its conditional conjugacy property. However, the theoretical property of logistic-softmax is not clear and previous research indicated that the inherent uncertainty of logistic-softmax leads to suboptimal performance. To mitigate these issues, we revisit and redesign the logistic-softmax likelihood, which enables control of the \textit{a priori} confidence level through a temperature parameter. Furthermore, we theoretically and empirically show that softmax can be viewed as a special case of logistic-softmax and logistic-softmax induces a larger family of data distribution than softmax. Utilizing modified logistic-softmax, we integrate the data augmentation technique into the deep kernel based Gaussian process meta-learning framework, and derive an analytical mean-field approximation for task-specific updates. Our approach yields well-calibrated uncertainty estimates and achieves comparable or superior results on standard benchmark datasets. Code is publicly available at \url{https://github.com/keanson/revisit-logistic-softmax}.


title: Contextual Data Augmentation for Task-Oriented Dialog Systems

abstract: Collection of annotated dialogs for training task-oriented dialog systems have been one of the key bottlenecks in improving current models. While dialog response generation has been widely studied on the agent side, it is not evident if similar generative models can be used to generate a large variety of, and often unexpected, user inputs that real dialog systems encounter in practice. Existing data augmentation techniques such as paraphrase generation do not take the dialog context into consideration. In this paper, we develop a novel dialog augmentation model that generates a user turn, conditioning on full dialog context. Additionally, with a new prompt design for language model, and output re-ranking, the dialogs generated from our model can be directly used to train downstream dialog systems. On common benchmark datasets MultiWoZ and SGD, we show that our dialog augmentation model generates high quality dialogs and improves dialog success rate by as much as $8\%$ over baseline.