title: Evolution of trust in structured populations

abstract: The trust game, derived from an economics experiment, has recently attracted interest in the field of evolutionary dynamics. In a recent version of the evolutionary trust game, players adopt one of three strategies: investor, trustworthy trustee, or untrustworthy trustee. Trustworthy trustees enhance and share the investment with the investor, whereas untrustworthy trustees retain the full amount, betraying the investor. Following this setup, we investigate a two-player trust game, which is analytically feasible under weak selection. We explore the evolution of trust in structured populations, factoring in four strategy updating rules: pairwise comparison (PC), birth-death (BD), imitation (IM), and death-birth (DB). Comparing structured populations with well-mixed populations, we arrive at two main conclusions. First, in the absence of untrustworthy trustees, there is a saddle point between investors and trustworthy trustees, with collaboration thriving best in well-mixed populations. The collaboration diminishes sequentially from DB to IM to PC/BD updating rules in structured populations. Second, an invasion of untrustworthy trustees makes this saddle point unstable and leads to the extinction of investors. The 3-strategy system stabilizes at an equilibrium line where the trustworthy and untrustworthy trustees coexist. The stability span of trustworthy trustees is maximally extended under the PC and BD updating rules in structured populations, while it decreases in a sequence from IM to DB updating rules, with the well-mixed population being the least favorable. This research thus adds an analytical lens to the evolution of trust in structured populations.


title: Non-associative Categories of Octonionic Bimodules

abstract: Category is put to work in the non-associative realm in the article. We focus on a typical example of non-associative category. Its objects are octonionic bimodules, morphisms are octonionic para-linear maps, and compositions are non-associative in general. The octonionic para-linear map is the main object of octonionic Hilbert theory because of the octonionic Riesz representation theorem. An octonionic para-linear map f is in general not octonionic linear since it subjects to the rule Re (f (px)-pf (x))= 0. The composition should be modified so that it preserves the octonionic para-linearity. In this non-associative category, we introduce the Hom and Tensor functors which constitute an adjoint pair. We establish the Yoneda lemma in terms of the new notion of weak functor. To define the exactness in a non-associative category, we introduce the notion of the enveloping category via a universal property. This allows us to establish the exactness of the Hom functor and Tensor functor.


title: Generalized threshold of longitudinal multi-bunch instability in synchrotrons

abstract: Beam stability is an essential requirement for particle accelerators. Longitudinal coupled-bunch instabilities (CBI) are driven by beam interaction with long-range wakefields induced in the resonant structures with narrow-band impedance. Single-bunch loss of Landau damping (LLD) is mainly determined by short-range wakefields excited at any geometry change of the beam pipe (broadband impedance) and leads to undamped bunch oscillations. Up to now, to define the threshold beam intensity or impedance, these two effects were evaluated separately. We developed an approach to numerically solve the stability problem in a more general case and derived a new analytical threshold. We have shown that LLD can modify the mechanism of multi-bunch instability and reduce the CBI threshold below the LLD threshold. This effect explains the existing observations in the CERN SPS and should be considered for future accelerators, such as HL-LHC, EIC, FCC, and others.


title: Modeling the 3-micron Class Er-Doped Fluoride Fiber Laser with a Cubic Energy Transfer Rate Dependence

abstract: We propose an energy transfer model with a cubic atomic population dependence to accurately model the behavior of various reported high-power erbium-doped fluoride fiber lasers operating near 2.8 microns. We first show that the previously introduced weakly interacting (WI) and strongly interacting (SI) models are not adequate for precisely modeling such high-power erbium-doped fluoride fiber lasers. We compare results obtained with the WI and SI models to the proposed model by simulating 4 different highly doped (7 mol.%) fiber lasers previously reported in the literature. Laser efficiencies and powers are reproduced with great accuracy. In addition, four other independent fiber laser systems based on erbium doping concentrations varying from 1-6 mol.% are also simulated with good accuracy using the proposed model with the exact same set of spectroscopic parameters, which confirms its validity for various erbium doping concentrations. Redshifting of laser wavelength is also taken into account by considering the full cross section spectra and computing signal powers over several wavelength channels.


title: REVIS: An Error Visualization Tool for Rust

abstract: Rust is a programming language that uses a concept of ownership to guarantee memory safety without the use of a garbage collector. However, some error messages related to ownership can be difficult to understand and fix, particularly those that depend on value lifetimes. To help developers fix lifetime-related errors, we developed REVIS, a VSCode extension that visualizes lifetime-related Rust compiler errors. We describe the design and implementation of the VSCode extension, along with a preliminary evaluation of its efficacy for student learners of Rust. Although the number of participants was too low to enable evaluation of the efficacy of REVIS, we gathered data regarding the prevalence and time to fix the compiler errors that the participants encountered.


title: Quantum Data Center: Perspectives

abstract: A quantum version of data centers might be significant in the quantum era. In this paper, we introduce Quantum Data Center (QDC), a quantum version of existing classical data centers, with a specific emphasis on combining Quantum Random Access Memory (QRAM) and quantum networks. We argue that QDC will provide significant benefits to customers in terms of efficiency, security, and precision, and will be helpful for quantum computing, communication, and sensing. We investigate potential scientific and business opportunities along this novel research direction through hardware realization and possible specific applications. We show the possible impacts of QDCs in business and science, especially the machine learning and big data industries.


title: Adapt and Diffuse: Sample-adaptive Reconstruction via Latent Diffusion Models

abstract: Inverse problems arise in a multitude of applications, where the goal is to recover a clean signal from noisy and possibly (non)linear observations. The difficulty of a reconstruction problem depends on multiple factors, such as the structure of the ground truth signal, the severity of the degradation and the complex interactions between the above. This results in natural sample-by-sample variation in the difficulty of a reconstruction task, which is often overlooked by contemporary techniques. Our key observation is that most existing inverse problem solvers lack the ability to adapt their compute power to the difficulty of the reconstruction task, resulting in subpar performance and wasteful resource allocation. We propose a novel method that we call severity encoding, to estimate the degradation severity of noisy, degraded signals in the latent space of an autoencoder. We show that the estimated severity has strong correlation with the true corruption level and can give useful hints at the difficulty of reconstruction problems on a sample-by-sample basis. Furthermore, we propose a reconstruction method based on latent diffusion models that leverages the predicted degradation severities to fine-tune the reverse diffusion sampling trajectory and thus achieve sample-adaptive inference times. Our framework acts as a wrapper that can be combined with any latent diffusion-based baseline solver, imbuing it with sample-adaptivity and acceleration. We perform numerical experiments on both linear and nonlinear inverse problems and demonstrate that our technique greatly improves the performance of the baseline solver and achieves up to $10\times$ acceleration in mean sampling speed.


title: Semi-supervised Classification of Malware Families Under Extreme Class Imbalance via Hierarchical Non-Negative Matrix Factorization with Automatic Model Selection

abstract: Identification of the family to which a malware specimen belongs is essential in understanding the behavior of the malware and developing mitigation strategies. Solutions proposed by prior work, however, are often not practicable due to the lack of realistic evaluation factors. These factors include learning under class imbalance, the ability to identify new malware, and the cost of production-quality labeled data. In practice, deployed models face prominent, rare, and new malware families. At the same time, obtaining a large quantity of up-to-date labeled malware for training a model can be expensive. In this paper, we address these problems and propose a novel hierarchical semi-supervised algorithm, which we call the HNMFk Classifier, that can be used in the early stages of the malware family labeling process. Our method is based on non-negative matrix factorization with automatic model selection, that is, with an estimation of the number of clusters. With HNMFk Classifier, we exploit the hierarchical structure of the malware data together with a semi-supervised setup, which enables us to classify malware families under conditions of extreme class imbalance. Our solution can perform abstaining predictions, or rejection option, which yields promising results in the identification of novel malware families and helps with maintaining the performance of the model when a low quantity of labeled data is used. We perform bulk classification of nearly 2,900 both rare and prominent malware families, through static analysis, using nearly 388,000 samples from the EMBER-2018 corpus. In our experiments, we surpass both supervised and semi-supervised baseline models with an F1 score of 0.80.


title: Weakened vortex stretching effect in three scale hierarchy for the 3D Euler equations

abstract: We consider the 3D incompressible Euler equations under the following three scale hierarchical situation: large-scale vortex stretching the middle-scale, and at the same time, the middle-scale stretching the small-scale. In this situation, we show that, the stretching effect of this middle-scale flow is weakened by the large-scale. In other words, the vortices being stretched could have the corresponding stress tensor being weakened.


title: Bregman Graph Neural Network

abstract: Numerous recent research on graph neural networks (GNNs) has focused on formulating GNN architectures as an optimization problem with the smoothness assumption. However, in node classification tasks, the smoothing effect induced by GNNs tends to assimilate representations and over-homogenize labels of connected nodes, leading to adverse effects such as over-smoothing and misclassification. In this paper, we propose a novel bilevel optimization framework for GNNs inspired by the notion of Bregman distance. We demonstrate that the GNN layer proposed accordingly can effectively mitigate the over-smoothing issue by introducing a mechanism reminiscent of the "skip connection". We validate our theoretical results through comprehensive empirical studies in which Bregman-enhanced GNNs outperform their original counterparts in both homophilic and heterophilic graphs. Furthermore, our experiments also show that Bregman GNNs can produce more robust learning accuracy even when the number of layers is high, suggesting the effectiveness of the proposed method in alleviating the over-smoothing issue.


title: On the probability of down-crossing and up-crossing rogue waves

abstract: By means of the direct numerical simulation of directional waves on the surface of deep water it is shown that extreme waves can exhibit such asymmetry that the occurrence of deeper troughs is several times more likely on the wave rear slopes. This effect becomes most pronounced in the case of steep short-crested waves. It is not related to the Benjamin - Feir instability, but is a result of complex contribution from nonlinear combination harmonics, mainly cubic in nonlinearity. The discovered asymmetry can lead to remarkably different estimates of the rogue wave probability based on either down- or up-zero-crossing methods for individual wave selection, commonly used in the oceanography.


title: Composing Control Barrier Functions for Complex Safety Specifications

abstract: The increasing complexity of control systems necessitates control laws that guarantee safety w.r.t. complex combinations of constraints. In this letter, we propose a framework to describe compositional safety specifications with control barrier functions (CBFs). The specifications are formulated as Boolean compositions of state constraints, and we propose an algorithmic way to create a single continuously differentiable CBF that captures these constraints and enables safety-critical control. We describe the properties of the proposed CBF, and we demonstrate its efficacy by numerical simulations.


title: Exp[licit]-A Robot modeling Software based on Exponential Maps

abstract: $ $Deriving a robot's equation of motion typically requires placing multiple coordinate frames, commonly using the Denavit-Hartenberg convention to express the kinematic and dynamic relationships between segments. This paper presents an alternative using the differential geometric method of Exponential Maps, which reduces the number of coordinate frame choices to two. The traditional and differential geometric methods are compared, and the conceptual and practical differences are detailed. The open-source software, Exp[licit], based on the differential geometric method, is introduced. It is intended for use by researchers and engineers with basic knowledge of geometry and robotics. Code snippets and an example application are provided to demonstrate the benefits of the differential geometric method and assist users to get started with the software.


title: Differentiable Modelling of Percussive Audio with Transient and Spectral Synthesis

abstract: Differentiable digital signal processing (DDSP) techniques, including methods for audio synthesis, have gained attention in recent years and lend themselves to interpretability in the parameter space. However, current differentiable synthesis methods have not explicitly sought to model the transient portion of signals, which is important for percussive sounds. In this work, we present a unified synthesis framework aiming to address transient generation and percussive synthesis within a DDSP framework. To this end, we propose a model for percussive synthesis that builds on sinusoidal modeling synthesis and incorporates a modulated temporal convolutional network for transient generation. We use a modified sinusoidal peak picking algorithm to generate time-varying non-harmonic sinusoids and pair it with differentiable noise and transient encoders that are jointly trained to reconstruct drumset sounds. We compute a set of reconstruction metrics using a large dataset of acoustic and electronic percussion samples that show that our method leads to improved onset signal reconstruction for membranophone percussion instruments.


title: Analytical model coupling Ekman and surface layer structure in atmospheric boundary layer flows

abstract: We introduce an analytical model that describes the vertical structure of Ekman boundary layer flows coupled to the Monin-Obukhov Similarity Theory (MOST) surface layer representation, which is valid for conventionally neutral (CNBL) and stable (SBL) atmospheric conditions. The model is based on a self-similar total stress distribution for both CNBL and SBL flows that merges the classic 3/2 power law profile with a MOST-consistent stress profile in the surface layer. The velocity profiles are then obtained from the Ekman momentum balance equation. The same stress model is used to derive a new self-consistent Geostrophic Drag Law (GDL). We determine the ABL depth (h) using an equilibrium boundary layer height model and parameterize the surface heat flux for quasi-steady SBL flows as a function of a prescribed surface temperature cooling rate. The ABL height and GDL equations can then be solved together to obtain the friction velocity and the cross-isobaric angle as a function of known input parameters such as the Geostrophic wind velocity magnitude and surface roughness. We show that the model predictions agree well with predictions from the literature and newly generated Large Eddy Simulation (LES). These results indicate that the proposed model provides an efficient and reasonably accurate self-consistent approach for predicting the mean wind velocity distribution in CNBL and SBL flows.


title: ConR: Contrastive Regularizer for Deep Imbalanced Regression

abstract: Imbalanced distributions are ubiquitous in real-world data. They create constraints on Deep Neural Networks to represent the minority labels and avoid bias towards majority labels. The extensive body of imbalanced approaches address categorical label spaces but fail to effectively extend to regression problems where the label space is continuous. Local and global correlations among continuous labels provide valuable insights towards effectively modelling relationships in feature space. In this work, we propose ConR, a contrastive regularizer that models global and local label similarities in feature space and prevents the features of minority samples from being collapsed into their majority neighbours. ConR discerns the disagreements between the label space and feature space and imposes a penalty on these disagreements. ConR addresses the continuous nature of label space with two main strategies in a contrastive manner: incorrect proximities are penalized proportionate to the label similarities and the correct ones are encouraged to model local similarities. ConR consolidates essential considerations into a generic, easy-to-integrate, and efficient method that effectively addresses deep imbalanced regression. Moreover, ConR is orthogonal to existing approaches and smoothly extends to uni- and multi-dimensional label spaces. Our comprehensive experiments show that ConR significantly boosts the performance of all the state-of-the-art methods on four large-scale deep imbalanced regression benchmarks. Our code is publicly available in https://github.com/BorealisAI/ConR.


title: Event-Driven Imaging in Turbid Media: A Confluence of Optoelectronics and Neuromorphic Computation

abstract: In this paper a new optical-computational method is introduced to unveil images of targets whose visibility is severely obscured by light scattering in dense, turbid media. The targets of interest are taken to be dynamic in that their optical properties are time-varying whether stationary in space or moving. The scheme, to our knowledge the first of its kind, is human vision inspired whereby diffuse photons collected from the turbid medium are first transformed to spike trains by a dynamic vision sensor as in the retina, and image reconstruction is then performed by a neuromorphic computing approach mimicking the brain. We combine benchtop experimental data in both reflection (backscattering) and transmission geometries with support from physics-based simulations to develop a neuromorphic computational model and then apply this for image reconstruction of different MNIST characters and image sets by a dedicated deep spiking neural network algorithm. Image reconstruction is achieved under conditions of turbidity where an original image is unintelligible to the human eye or a digital video camera, yet clearly and quantifiable identifiable when using the new neuromorphic computational approach.


title: Temporal evolution of depolarization and magnetic field of FRB 20201124A

abstract: Fast radio bursts (FRBs) are energetic millisecond phenomena in radio band. Polarimetric studies of repeating FRBs indicate that many of these sources occupy extreme and complex magneto-ionized environments. Recently, a frequency-dependent depolarization has been discovered in several repeating FRBs. However, the temporal evolution of polarization properties is limited by the burst rate and observational cadence of telescopes. In this letter, the temporal evolution of depolarization in repeating FRB 20201124A is explored. Using the simultaneous variation of rotation measure and dispersion measure, we also measure the strength of a magnetic field parallel to the line-of-sight. The strength ranges from a few $\mu {\rm G}$ to $10^3\ \mu {\rm G}$. In addition, we find that the evolution of depolarization and magnetic field traces the evolution of rotation measure. Our result supports that the variation of depolarization, rotation measure and the magnetic field are determined by the same complex magneto-ionized screen surrounding the FRB source. The derived properties of the screen are consistent with the wind and the decretion disk of a massive star.


title: Simultaneous thermoosmotic and thermoelectric responses in nanoconfined electrolyte solutions: Effects of nanopore structures and membrane properties

abstract: Hypothesis: Nanofluidic systems provide an emerging and efficient platform for thermoelectric conversion and fluid pumping with low-grade heat energy. As a basis of their performance enhancement, the effects of the structures and properties of the nanofluidic systems on the thermoelectric response (TER) and the thermoosmotic response (TOR) are yet to be explored. Methods: The simultaneous TER and TOR of electrolyte solutions in nanofluidic membrane pores on which an axial temperature gradient is exerted are investigated numerically and semi-analytically. A semi-analytical model is developed with the consideration of finite membrane thermal conductivity and the reservoir/entrance effect. Findings: The increase in the access resistance due to the nanopore-reservoir interfaces accounts for the decrease of short circuit current at the low concentration regime. The decrease in the thermal conductivity ratio can enhance the TER and TOR. The maximum power density occurring at the nanopore radius twice the Debye length ranges from several to dozens of mW K$^{-2}$ m$^{-2}$ and is an order of magnitude higher than typical thermo-supercapacitors. The surface charge polarity can heavily affect the sign and magnitude of the short-circuit current, the Seebeck coefficient, and the open-circuit thermoosmotic coefficient, but has less effect on the short-circuit thermoosmotic coefficient. Furthermore, the membrane thickness makes different impacts on TER and TOR for zero and finite membrane thermal conductivity.


title: Out of Distribution Detection via Domain-Informed Gaussian Process State Space Models

abstract: In order for robots to safely navigate in unseen scenarios using learning-based methods, it is important to accurately detect out-of-training-distribution (OoD) situations online. Recently, Gaussian process state-space models (GPSSMs) have proven useful to discriminate unexpected observations by comparing them against probabilistic predictions. However, the capability for the model to correctly distinguish between in- and out-of-training distribution observations hinges on the accuracy of these predictions, primarily affected by the class of functions the GPSSM kernel can represent. In this paper, we propose (i) a novel approach to embed existing domain knowledge in the kernel and (ii) an OoD online runtime monitor, based on receding-horizon predictions. Domain knowledge is provided in the form of a dataset, collected either in simulation or by using a nominal model. Numerical results show that the informed kernel yields better regression quality with smaller datasets, as compared to standard kernel choices. We demonstrate the effectiveness of the OoD monitor on a real quadruped navigating an indoor setting, which reliably classifies previously unseen terrains.


title: The Web Epoch of Reionization Lyman-$\alpha$ Survey (WERLS) I. MOSFIRE Spectroscopy of $\mathbf{z \sim 7-8}$ Lyman-$\alpha$ Emitters

abstract: We present the first results from the Web Epoch of Reionization Lyman-$\alpha$ Survey (WERLS), a spectroscopic survey of Lyman-$\alpha$ emission using Keck I/MOSFIRE and LRIS. WERLS targets bright ($J<26$) galaxy candidates with photometric redshifts of $5.5\lesssim z \lesssim 8$ selected from pre-JWST imaging embedded in the Epoch of Reionization (EoR) within three JWST deep fields: CEERS, PRIMER, and COSMOS-Web. Here, we report 11 $z\sim7-8$ Lyman-$\alpha$ emitters (LAEs; 3 secure and 8 tentative candidates) detected in the first five nights of WERLS MOSFIRE data. We estimate our observed LAE yield is $\sim13$%, broadly consistent with expectations assuming some loss from redshift uncertainty, contamination from sky OH lines, and that the Universe is approximately half-ionized at this epoch, whereby observable Lyman-$\alpha$ emission is unlikely for galaxies embedded in a neutral intergalactic medium. Our targets are selected to be UV-bright, and span a range of absolute UV magnitudes with $-23.1 < M_{\text{UV}} < -19.8$. With two LAEs detected at $z=7.68$, we also consider the possibility of an ionized bubble at this redshift. Future synergistic Keck+JWST efforts will provide a powerful tool for pinpointing beacons of reionization and mapping the large scale distribution of mass relative to the ionization state of the Universe.


title: Statistical Rejection Sampling Improves Preference Optimization

abstract: Improving the alignment of language models with human preferences remains an active research challenge. Previous approaches have primarily utilized Reinforcement Learning from Human Feedback (RLHF) via online RL methods such as Proximal Policy Optimization (PPO). Recently, offline methods such as Sequence Likelihood Calibration (SLiC) and Direct Preference Optimization (DPO) have emerged as attractive alternatives, offering improvements in stability and scalability while maintaining competitive performance. SLiC refines its loss function using sequence pairs sampled from a supervised fine-tuned (SFT) policy, while DPO directly optimizes language models based on preference data, foregoing the need for a separate reward model. However, the maximum likelihood estimator (MLE) of the target optimal policy requires labeled preference pairs sampled from that policy. DPO's lack of a reward model constrains its ability to sample preference pairs from the optimal policy, and SLiC is restricted to sampling preference pairs only from the SFT policy. To address these limitations, we introduce a novel approach called Statistical Rejection Sampling Optimization (RSO) that aims to source preference data from the target optimal policy using rejection sampling, enabling a more accurate estimation of the optimal policy. We also propose a unified framework that enhances the loss functions used in both SLiC and DPO from a preference modeling standpoint. Through extensive experiments across three diverse tasks, we demonstrate that RSO consistently outperforms both SLiC and DPO on evaluations from both Large Language Model (LLM) and human raters.


title: Dissipative Imitation Learning for Discrete Dynamic Output Feedback Control with Sparse Data Sets

abstract: Imitation learning enables the synthesis of controllers for complex objectives and highly uncertain plant models. However, methods to provide stability guarantees to imitation learned controllers often rely on large amounts of data and/or known plant models. In this paper, we explore an input-output (IO) stability approach to dissipative imitation learning, which achieves stability with sparse data sets and with little known about the plant model. A closed-loop stable dynamic output feedback controller is learned using expert data, a coarse IO plant model, and a new constraint to enforce dissipativity on the learned controller. While the learning objective is nonconvex, iterative convex overbounding (ICO) and projected gradient descent (PGD) are explored as methods to successfully learn the controller. This new imitation learning method is applied to two unknown plants and compared to traditionally learned dynamic output feedback controller and neural network controller. With little knowledge of the plant model and a small data set, the dissipativity constrained learned controller achieves closed loop stability and successfully mimics the behavior of the expert controller, while other methods often fail to maintain stability and achieve good performance.


title: Beyond English: Centering Multilingualism in Data Visualization

abstract: Information visualization and natural language are intricately linked. However, the majority of research and relevant work in information and data visualization (and human-computer interaction) involve English-speaking populations as both researchers and participants, are published in English, and are presented predominantly at English-speaking venues. Although several solutions can be proposed such as translating English texts in visualization to other languages, there is little research that looks at the intersection of data visualization and different languages, and the implications that current visualization practices have on non-English speaking communities. In this position paper, we argue that linguistically diverse communities abound beyond the English-speaking world and offer a richness of experiences for the visualization research community to engage with. Through a case study of how two non-English languages interplay with data visualization reasoning in Madagascar, we describe how monolingualism in data visualization impacts the experiences of underrepresented populations and emphasize potential harm to these communities. Lastly, we raise several questions towards advocating for more inclusive visualization practices that center the diverse experiences of linguistically underrepresented populations.


title: Generalizable Neural Fields as Partially Observed Neural Processes

abstract: Neural fields, which represent signals as a function parameterized by a neural network, are a promising alternative to traditional discrete vector or grid-based representations. Compared to discrete representations, neural representations both scale well with increasing resolution, are continuous, and can be many-times differentiable. However, given a dataset of signals that we would like to represent, having to optimize a separate neural field for each signal is inefficient, and cannot capitalize on shared information or structures among signals. Existing generalization methods view this as a meta-learning problem and employ gradient-based meta-learning to learn an initialization which is then fine-tuned with test-time optimization, or learn hypernetworks to produce the weights of a neural field. We instead propose a new paradigm that views the large-scale training of neural representations as a part of a partially-observed neural process framework, and leverage neural process algorithms to solve this task. We demonstrate that this approach outperforms both state-of-the-art gradient-based meta-learning approaches and hypernetwork approaches.


title: Sound field decomposition based on two-stage neural networks

abstract: A method for sound field decomposition based on neural networks is proposed. The method comprises two stages: a sound field separation stage and a single-source localization stage. In the first stage, the sound pressure at microphones synthesized by multiple sources is separated into one excited by each sound source. In the second stage, the source location is obtained as a regression from the sound pressure at microphones consisting of a single sound source. The estimated location is not affected by discretization because the second stage is designed as a regression rather than a classification. Datasets are generated by simulation using Green's function, and the neural network is trained for each frequency. Numerical experiments reveal that, compared with conventional methods, the proposed method can achieve higher source-localization accuracy and higher sound-field-reconstruction accuracy.


title: Oceananigans.jl: A model that achieves breakthrough resolution, memory and energy efficiency in global ocean simulations

abstract: Climate models must simulate hundreds of future scenarios for hundreds of years at coarse resolutions, and a handful of high-resolution decadal simulations to resolve localized extreme events. Using Oceananigans.jl, written from scratch in Julia, we report several achievements: First, a global ocean simulation with breakthrough horizontal resolution -- 488m -- reaching 15 simulated days per day (0.04 simulated years per day; SYPD). Second, Oceananigans simulates the global ocean at 488m with breakthrough memory efficiency on just 768 Nvidia A100 GPUs, a fraction of the resources available on current and upcoming exascale supercomputers. Third, and arguably most significant for climate modeling, Oceananigans achieves breakthrough energy efficiency reaching 0.95 SYPD at 1.7 km on 576 A100s and 9.9 SYPD at 10 km on 68 A100s -- the latter representing the highest horizontal resolutions employed by current IPCC-class ocean models. Routine climate simulations with 10 km ocean components are within reach.

categories: physics.ao-ph cs.DC physics.comp-ph physics.flu-dyn


title: Frobenius height of prismatic cohomology with coefficients

abstract: We study the behavior of Frobenius operators on smooth proper pushforwards of prismatic F-crystals. In particular we show that the i-th pushforward has its Frobenius height increased by at most i. Our proof crucially uses the notion of prismatic F-gauges introduced by Drinfeld and Bhatt--Lurie and its relative version, and we give a self-contained treatment without using the stacky formulation.


title: A fixed-parameter tractable algorithm for combinatorial filter reduction

abstract: What is the minimal information that a robot must retain to achieve its task? To design economical robots, the literature dealing with reduction of combinatorial filters approaches this problem algorithmically. As lossless state compression is NP-hard, prior work has examined, along with minimization algorithms, a variety of special cases in which specific properties enable efficient solution. Complementing those findings, this paper refines the present understanding from the perspective of parameterized complexity. We give a fixed-parameter tractable algorithm for the general reduction problem by exploiting a transformation into minimal clique covering. The transformation introduces new constraints that arise from sequential dependencies encoded within the input filter -- some of these constraints can be repaired, others are treated through enumeration. Through this approach, we identify parameters affecting filter reduction that are based upon inter-constraint couplings (expressed as a notion of their height and width), which add to the structural parameters present in the unconstrained problem of minimal clique covering.


title: Hybrid algorithm simulating non-equilibrium steady states of an open quantum system

abstract: Non-equilibrium steady states are a focal point of research in the study of open quantum systems. Previous variational algorithms for searching these steady states have suffered from resource-intensive implementations due to vectorization or purification of the system density matrix, requiring large qubit resources and long-range coupling. In this work, we present a novel variational quantum algorithm that efficiently searches for non-equilibrium steady states by simulating the operator-sum form of the Lindblad equation. By introducing the technique of random measurement, we are able to estimate the nonlinear cost function while reducing the required qubit resources by half compared to previous methods. Additionally, we prove the existence of the parameter shift rule in our variational algorithm, enabling efficient updates of circuit parameters using gradient-based classical algorithms. To demonstrate the performance of our algorithm, we conduct simulations for dissipative quantum transverse Ising and Heisenberg models, achieving highly accurate results. Our approach offers a promising solution for effectively addressing non-equilibrium steady state problems while overcoming computational limitations and implementation challenges.


title: Spin Splitting Tunable Optical Bandgap in GdN Thin Films for Spin Filtering

abstract: Rare-earth nitrides, such as gadolinium nitride (GdN), have great potential for spintronic devices due to their unique magnetic and electronic properties. GdN has a large magnetic moment, low coercitivity and strong spin polarization suitable for spin transistors, magnetic memories and spin-based quantum computing devices. Its large spin splitting of the optical bandgap functions as a spin-filter that offers the means for spin-polarized current injection into metals, superconductors, topological insulators, 2D layers and other novel materials. As spintronics devices require thin films, a successful implementation of GdN demands a detailed investigation of the optical and magnetic properties in very thin films. With this objective, we investigate the dependence of the direct and indirect optical bandgaps (Eg) of half-metallic GdN, using the trilayer structure AlN(10 nm)/GdN(t)/AlN(10 nm) for GdN film thickness t in the ranging from 6 nm to 350 nm, in both paramagnetic (PM) and ferromagnetic (FM) phases. Our results show a bandgap of 1.6 eV in the PM state, while in the FM state the bandgap splits for the majority (0.8 eV) and minority (1.2 eV) spin states. As the GdN film becomes thinner the spin split magnitude increases by 60%, going from 0.290 eV to 0.460 eV. Our results point to methods for engineering GdN films for spintronic devices.


title: Visualizing moir\'e ferroelectricity via plasmons and nano-photocurrent in graphene/twisted-WSe2 structures

abstract: Ferroelectricity, a spontaneous and reversible electric polarization, is found in certain classes of van der Waals (vdW) material heterostructures. The discovery of ferroelectricity in twisted vdW layers provides new opportunities to engineer spatially dependent electric and optical properties associated with the configuration of moir\'e superlattice domains and the network of domain walls. Here, we employ near-field infrared nano-imaging and nano-photocurrent measurements to study ferroelectricity in minimally twisted WSe2. The ferroelectric domains are visualized through the imaging of the plasmonic response in a graphene monolayer adjacent to the moir\'e WSe2 bilayers. Specifically, we find that the ferroelectric polarization in moir\'e domains is imprinted on the plasmonic response of the graphene. Complementary nano-photocurrent measurements demonstrate that the optoelectronic properties of graphene are also modulated by the proximal ferroelectric domains. Our approach represents an alternative strategy for studying moir\'e ferroelectricity at native length scales and opens promising prospects for (opto)electronic devices.


title: On the uses and abuses of regression models: a call for reform of statistical practice and teaching

abstract: Regression methods dominate the practice of biostatistical analysis, but biostatistical training emphasises the details of regression models and methods ahead of the purposes for which such modelling might be useful. More broadly, statistics is widely understood to provide a body of techniques for "modelling data", underpinned by what we describe as the "true model myth": that the task of the statistician/data analyst is to build a model that closely approximates the true data generating process. By way of our own historical examples and a brief review of mainstream clinical research journals, we describe how this perspective has led to a range of problems in the application of regression methods, including misguided "adjustment" for covariates, misinterpretation of regression coefficients and the widespread fitting of regression models without a clear purpose. We then outline a new approach to the teaching and application of biostatistical methods, which situates them within a framework that first requires clear definition of the substantive research question at hand within one of three categories: descriptive, predictive, or causal. Within this approach, the simple univariable regression model may be introduced as a tool for description, while the development and application of multivariable regression models as well as other advanced biostatistical methods should proceed differently according to the type of question. Regression methods will no doubt remain central to statistical practice as they provide a powerful tool for representing variation in a response or outcome variable as a function of "input" variables, but their conceptualisation and usage should follow from the purpose at hand.


title: A short proof of the existence of a minor-universal countable planar graph

abstract: We produce a new, shorter construction of a minor-universal planar graph.


title: ShaDocFormer: A Shadow-Attentive Threshold Detector With Cascaded Fusion Refiner for Document Shadow Removal

abstract: Document shadow is a common issue that arises when capturing documents using mobile devices, which significantly impacts readability. Current methods encounter various challenges, including inaccurate detection of shadow masks and estimation of illumination. In this paper, we propose ShaDocFormer, a Transformer-based architecture that integrates traditional methodologies and deep learning techniques to tackle the problem of document shadow removal. The ShaDocFormer architecture comprises two components: the Shadow-attentive Threshold Detector (STD) and the Cascaded Fusion Refiner (CFR). The STD module employs a traditional thresholding technique and leverages the attention mechanism of the Transformer to gather global information, thereby enabling precise detection of shadow masks. The cascaded and aggregative structure of the CFR module facilitates a coarse-to-fine restoration process for the entire image. As a result, ShaDocFormer excels in accurately detecting and capturing variations in both shadow and illumination, thereby enabling effective removal of shadows. Extensive experiments demonstrate that ShaDocFormer outperforms current state-of-the-art methods in both qualitative and quantitative measurements.


title: Adaptive sampling method to monitor low-risk pathways with limited surveillance resources

abstract: The rise of globalisation has led to a sharp increase in international trade, with high volumes of containers, goods and items moving across the world. Unfortunately, these trade pathways also facilitate the movement of unwanted pests, weeds, diseases, and pathogens. Each item could contain biosecurity risk material, but it is impractical to inspect every item. Instead, inspection efforts typically focus on high risk items. However, low risk does not imply no risk. It is crucial to monitor the low risk pathways to ensure that they are and remain low risk. To do so, many approaches would seek to estimate the risk to some precision, but the lower the risk, the more samples needed to estimate the risk. On a low-risk pathway that can be afforded more limited inspection resources, it makes more sense to assign fewer samples to the lower risk activities. We approach the problem by introducing two thresholds. Our method focuses on letting us know whether the risk is below certain thresholds, rather than estimating the risk precisely. This method also allows us to detect a significant change in risk. Our approach typically requires less sampling than previous methods, while still providing evidence to regulators to help them efficiently and effectively allocate inspection effort.


title: Attention-based Encoder-Decoder End-to-End Neural Diarization with Embedding Enhancer

abstract: Deep neural network-based systems have significantly improved the performance of speaker diarization tasks. However, end-to-end neural diarization (EEND) systems often struggle to generalize to scenarios with an unseen number of speakers, while target speaker voice activity detection (TS-VAD) systems tend to be overly complex. In this paper, we propose a simple attention-based encoder-decoder network for end-to-end neural diarization (AED-EEND). In our training process, we introduce a teacher-forcing strategy to address the speaker permutation problem, leading to faster model convergence. For evaluation, we propose an iterative decoding method that outputs diarization results for each speaker sequentially. Additionally, we propose an Enhancer module to enhance the frame-level speaker embeddings, enabling the model to handle scenarios with an unseen number of speakers. We also explore replacing the transformer encoder with a Conformer architecture, which better models local information. Furthermore, we discovered that commonly used simulation datasets for speaker diarization have a much higher overlap ratio compared to real data. We found that using simulated training data that is more consistent with real data can achieve an improvement in consistency. Extensive experimental validation demonstrates the effectiveness of our proposed methodologies. Our best system achieved a new state-of-the-art diarization error rate (DER) performance on all the CALLHOME (10.08%), DIHARD II (24.64%), and AMI (13.00%) evaluation benchmarks, when no oracle voice activity detection (VAD) is used. Beyond speaker diarization, our AED-EEND system also shows remarkable competitiveness as a speech type detection model.


title: Ridge detection for nonstationary multicomponent signals with time-varying wave-shape functions and its applications

abstract: We introduce a novel ridge detection algorithm for time-frequency (TF) analysis, particularly tailored for intricate nonstationary time series encompassing multiple non-sinusoidal oscillatory components. The algorithm is rooted in the distinctive geometric patterns that emerge in the TF domain due to such non-sinusoidal oscillations. We term this method \textit{shape-adaptive mode decomposition-based multiple harmonic ridge detection} (\textsf{SAMD-MHRD}). A swift implementation is available when supplementary information is at hand. We demonstrate the practical utility of \textsf{SAMD-MHRD} through its application to a real-world challenge. We employ it to devise a cutting-edge walking activity detection algorithm, leveraging accelerometer signals from an inertial measurement unit across diverse body locations of a moving subject.


title: Globally Optimal Beamforming Design for Integrated Sensing and Communication Systems

abstract: In this paper, we propose a multi-input multi-output beamforming transmit optimization model for joint radar sensing and multi-user communications, where the design of the beamformers is formulated as an optimization problem whose objective is a weighted combination of the sum rate and the Cram\'{e}r-Rao bound, subject to the transmit power budget constraint. Obtaining a global solution for the formulated problem is a challenging task, because the sum rate maximization problem itself (even without considering the sensing metric) is known to be NP-hard. In this paper, we propose an efficient global branch-and-bound algorithm for solving the formulated problem based on the McCormick envelope relaxation and the semidefinite relaxation technique. The proposed algorithm is guaranteed to find the global solution for the considered problem, and thus serves as an important benchmark for performance evaluation of the existing local or suboptimal algorithms for solving the same problem.


title: High-performance Computation of Kubo Formula with Vectorization of Batched Linear Algebra Operation

abstract: We have proposed a method to accelerate the computation of Kubo formula optimized to vector processors. The key concept is parallel evaluation of multiple integration points, enabled by batched linear algebra operations. Through benchmark comparisons between the vector-based NEC SX-Aurora TSUBASA and the scalar-based Xeon machines in node performance, we verified that the vectorized implementation was speeded up to approximately 2.2 times faster than the baseline. We have also shown that the performance improvement due to padding, indicating that avoiding the memory-bank conflict is critically important in this type of task.


title: Scalar Induced Gravitational Waves from Finslerian Inflation and Pulsar Timing Arrays Observations

abstract: The recent data from NANOGrav provide strong evidence of the existence of the \acp{SGWB}. We investigate \acp{SIGW} from Finslerian inflation as a potential source of stochastic gravitational wave background. Small-scale ($\lesssim$1 Mpc) statistically anisotropic primordial scalar perturbations can be generated in Finslerian inflation. The second order \acp{SIGW} from Finslerian inflation are also anisotropic on small scales. After spatially averaging the small-scale anisotropic \acp{SIGW}, we obtain the large-scale isotropic \acp{SGWB}. We find that the parameters of small-scale anisotropic primordial power spectrum generated by Finslerian inflation affect the \acp{PTA} observations of large-scale isotropic gravitational wave background.


title: SHARM: Segmented Head Anatomical Reference Models

abstract: Reliable segmentation of anatomical tissues of human head is a major step in several clinical applications such as brain mapping, surgery planning and associated computational simulation studies. Segmentation is based on identifying different anatomical structures through labeling different tissues through medical imaging modalities. The segmentation of brain structures is commonly feasible with several remarkable contributions mainly for medical perspective; however, non-brain tissues are of less interest due to anatomical complexity and difficulties to be observed using standard medical imaging protocols. The lack of whole head segmentation methods and unavailability of large human head segmented datasets limiting the variability studies, especially in the computational evaluation of electrical brain stimulation (neuromodulation), human protection from electromagnetic field, and electroencephalography where non-brain tissues are of great importance. To fill this gap, this study provides an open-access Segmented Head Anatomical Reference Models (SHARM) that consists of 196 subjects. These models are segmented into 15 different tissues; skin, fat, muscle, skull cancellous bone, skull cortical bone, brain white matter, brain gray matter, cerebellum white matter, cerebellum gray matter, cerebrospinal fluid, dura, vitreous humor, lens, mucous tissue and blood vessels. The segmented head models are generated using open-access IXI MRI dataset through convolutional neural network structure named ForkNet+. Results indicate a high consistency in statistical characteristics of different tissue distribution in age scale with real measurements. SHARM is expected to be a useful benchmark not only for electromagnetic dosimetry studies but also for different human head segmentation applications.


title: Chaos signatures of current phase transition in a toroidal trap

abstract: In this work we demonstrate how the directed motion of atomic Bose-Einstein condensates in a toroidal trap can be controlled by applying a zero-mean oscillatory driving field. We show that due to the self-trapping effect in momentum space, the oscillatory amplitude of the current can be significantly suppressed and a nearly constant directed current can be obtained preserving the initial current values, by decreasing the driving amplitude, even when the atomic interactions are relatively small. We also reveal numerically the mean-field chaos can serve as an indicator of a quantum phase transition between the vanishing current regime and nonvanishing current regime. Our results are corroborated by an effective three-mode model, which provides an excellent account of the ratchet dynamics of the system.


title: Generalizable improvement of the Spalart-Allmaras model through assimilation of experimental data

abstract: This study focuses on the use of model and data fusion for improving the Spalart-Allmaras (SA) closure model for Reynolds-averaged Navier-Stokes solutions of separated flows. In particular, our goal is to develop of models that not-only assimilate sparse experimental data to improve performance in computational models, but also generalize to unseen cases by recovering classical SA behavior. We achieve our goals using data assimilation, namely the Ensemble Kalman Filtering approach (EnKF), to calibrate the coefficients of the SA model for separated flows. A holistic calibration strategy is implemented via a parameterization of the production, diffusion, and destruction terms. This calibration relies on the assimilation of experimental data collected velocity profiles, skin friction, and pressure coefficients for separated flows. Despite using of observational data from a single flow condition around a backward-facing step (BFS), the recalibrated SA model demonstrates generalization to other separated flows, including cases such as the 2D-bump and modified BFS. Significant improvement is observed in the quantities of interest, i.e., skin friction coefficient ($C_f$) and pressure coefficient ($C_p$) for each flow tested. Finally, it is also demonstrated that the newly proposed model recovers SA proficiency for external, unseparated flows, such as flow around a NACA-0012 airfoil without any danger of extrapolation, and that the individually calibrated terms in the SA model are targeted towards specific flow-physics wherein the calibrated production term improves the re-circulation zone while destruction improves the recovery zone.

categories: physics.flu-dyn cs.LG physics.comp-ph physics.data-an


title: STUPD: A Synthetic Dataset for Spatial and Temporal Relation Reasoning

abstract: Understanding relations between objects is crucial for understanding the semantics of a visual scene. It is also an essential step in order to bridge visual and language models. However, current state-of-the-art computer vision models still lack the ability to perform spatial reasoning well. Existing datasets mostly cover a relatively small number of spatial relations, all of which are static relations that do not intrinsically involve motion. In this paper, we propose the Spatial and Temporal Understanding of Prepositions Dataset (STUPD) -- a large-scale video dataset for understanding static and dynamic spatial relationships derived from prepositions of the English language. The dataset contains 150K visual depictions (videos and images), consisting of 30 distinct spatial prepositional senses, in the form of object interaction simulations generated synthetically using Unity3D. In addition to spatial relations, we also propose 50K visual depictions across 10 temporal relations, consisting of videos depicting event/time-point interactions. To our knowledge, no dataset exists that represents temporal relations through visual settings. In this dataset, we also provide 3D information about object interactions such as frame-wise coordinates, and descriptions of the objects used. The goal of this synthetic dataset is to help models perform better in visual relationship detection in real-world settings. We demonstrate an increase in the performance of various models over 2 real-world datasets (ImageNet-VidVRD and Spatial Senses) when pretrained on the STUPD dataset, in comparison to other pretraining datasets.


title: A plug-and-play synthetic data deep learning for undersampled magnetic resonance image reconstruction

abstract: Magnetic resonance imaging (MRI) plays an important role in modern medical diagnostic but suffers from prolonged scan time. Current deep learning methods for undersampled MRI reconstruction exhibit good performance in image de-aliasing which can be tailored to the specific k-space undersampling scenario. But it is very troublesome to configure different deep networks when the sampling setting changes. In this work, we propose a deep plug-and-play method for undersampled MRI reconstruction, which effectively adapts to different sampling settings. Specifically, the image de-aliasing prior is first learned by a deep denoiser trained to remove general white Gaussian noise from synthetic data. Then the learned deep denoiser is plugged into an iterative algorithm for image reconstruction. Results on in vivo data demonstrate that the proposed method provides nice and robust accelerated image reconstruction performance under different undersampling patterns and sampling rates, both visually and quantitatively.


title: A Novel Low-Cost, Recyclable, Easy-to-Build Robot Blimp For Transporting Supplies in Hard-to-Reach Locations

abstract: Rural communities in remote areas often encounter significant challenges when it comes to accessing emergency healthcare services and essential supplies due to a lack of adequate transportation infrastructure. The situation is further exacerbated by poorly maintained, damaged, or flooded roads, making it arduous for rural residents to obtain the necessary aid in critical situations. Limited budgets and technological constraints pose additional obstacles, hindering the prompt response of local rescue teams during emergencies. The transportation of crucial resources, such as medical supplies and food, plays a vital role in saving lives in these situations. In light of these obstacles, our objective is to improve accessibility and alleviate the suffering of vulnerable populations by automating transportation tasks using low-cost robotic systems. We propose a low-cost, easy-to-build blimp robot (UAVs), that can significantly enhance the efficiency and effectiveness of local emergency responses.


title: Federated PAC-Bayesian Learning on Non-IID data

abstract: Existing research has either adapted the Probably Approximately Correct (PAC) Bayesian framework for federated learning (FL) or used information-theoretic PAC-Bayesian bounds while introducing their theorems, but few considering the non-IID challenges in FL. Our work presents the first non-vacuous federated PAC-Bayesian bound tailored for non-IID local data. This bound assumes unique prior knowledge for each client and variable aggregation weights. We also introduce an objective function and an innovative Gibbs-based algorithm for the optimization of the derived bound. The results are validated on real-world datasets.


title: Attention Loss Adjusted Prioritized Experience Replay

abstract: Prioritized Experience Replay (PER) is a technical means of deep reinforcement learning by selecting experience samples with more knowledge quantity to improve the training rate of neural network. However, the non-uniform sampling used in PER inevitably shifts the state-action space distribution and brings the estimation error of Q-value function. In this paper, an Attention Loss Adjusted Prioritized (ALAP) Experience Replay algorithm is proposed, which integrates the improved Self-Attention network with Double-Sampling mechanism to fit the hyperparameter that can regulate the importance sampling weights to eliminate the estimation error caused by PER. In order to verify the effectiveness and generality of the algorithm, the ALAP is tested with value-function based, policy-gradient based and multi-agent reinforcement learning algorithms in OPENAI gym, and comparison studies verify the advantage and efficiency of the proposed training framework.


title: A discrete uniformization theorem for decorated piecewise Euclidean metrics on surfaces, II

abstract: In this paper, we study a natural discretization of the smooth Gaussian curvature on surfaces, which is defined as the quotient of the angle defect and the area of a geodesic disk at a vertex of a polyhedral surface. It is proved that each decorated piecewise Euclidean metric on surfaces with nonpositive Euler number is discrete conformal to a decorated piecewise Euclidean metric with this discrete curvature constant. We further investigate the prescribing combinatorial curvature problem for a parametrization of this discrete curvature and prove some Kazdan-Warner type results. The main tools are Bobenko-Lutz's discrete conformal theory for decorated piecewise Euclidean metrics on surfaces and variational principles with constraints.


title: Numerical Security Analysis of Three-State Quantum Key Distribution Protocol with Realistic Devices

abstract: Quantum key distribution (QKD) is a secure communication method that utilizes the principles of quantum mechanics to establish secret keys. The central task in the study of QKD is to prove security in the presence of an eavesdropper with unlimited computational power. In this work, we successfully solve a long-standing open question of the security analysis for the three-state QKD protocol with realistic devices, i,e, the weak coherent state source. We prove the existence of the squashing model for the measurement settings in the three-state protocol. This enables the reduction of measurement dimensionality, allowing for key rate computations using the numerical approach. We conduct numerical simulations to evaluate the key rate performance. The simulation results show that we achieve a communication distance of up to 200 km.


title: Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics

abstract: Although Deep Reinforcement Learning (DRL) has achieved notable success in numerous robotic applications, designing a high-performing reward function remains a challenging task that often requires substantial manual input. Recently, Large Language Models (LLMs) have been extensively adopted to address tasks demanding in-depth common-sense knowledge, such as reasoning and planning. Recognizing that reward function design is also inherently linked to such knowledge, LLM offers a promising potential in this context. Motivated by this, we propose in this work a novel LLM framework with a self-refinement mechanism for automated reward function design. The framework commences with the LLM formulating an initial reward function based on natural language inputs. Then, the performance of the reward function is assessed, and the results are presented back to the LLM for guiding its self-refinement process. We examine the performance of our proposed framework through a variety of continuous robotic control tasks across three diverse robotic systems. The results indicate that our LLM-designed reward functions are able to rival or even surpass manually designed reward functions, highlighting the efficacy and applicability of our approach.


title: Cleaning Up the Streets: Understanding Motivations, Mental Models, and Concerns of Users Flagging Social Media Posts

abstract: Social media platforms offer flagging, a technical feature that empowers users to report inappropriate posts or bad actors, to reduce online harms. While flags are often presented as flimsy icons, their simple interface disguises complex underlying interactions among users, algorithms, and moderators. Through semi-structured interviews with 22 active social media users who had recently flagged, we examine their understanding of flagging procedures, explore the factors that motivate and demotivate them from engaging in flagging, and surface their emotional, cognitive, and privacy concerns. Our findings show that a belief in generalized reciprocity motivates flag submissions, but deficiencies in procedural transparency create gaps in users' mental models of how platforms process flags. We highlight how flags raise questions about the distribution of labor and responsibility between platforms and users for addressing online harm. We recommend innovations in the flagging design space that assist user comprehension and facilitate granular status checks while aligning with their privacy and security expectations.


title: Ramanujan's theta functions and internal congruences modulo arbitrary powers of $3$

abstract: In this work, we investigate internal congruences modulo arbitrary powers of $3$ for two functions arising from Ramanujan's classical theta functions $\varphi(q)$ and $\psi(q)$. By letting \begin{align*} \sum_{n\ge 0} ph_3(n) q^n:=\dfrac{\varphi(-q^3)}{\varphi(-q)}\qquad\text{and}\qquad \sum_{n\ge 0} ps_3(n) q^n:=\dfrac{\psi(q^3)}{\psi(q)}, \end{align*} we prove that for any $m\ge 1$ and $n\ge 0$, \begin{align*} ph_3\big(3^{2m-1}n\big)\equiv ph_3\big(3^{2m+1}n\big)\pmod{3^{m+2}}, \end{align*} and \begin{align*} ps_3{\left(3^{2m-1}n+\frac{3^{2m}-1}{4}\right)}\equiv ps_3{\left(3^{2m+1}n+\frac{3^{2m+2}-1}{4}\right)}\pmod{3^{m+2}}, \end{align*} thereby substantially generalizing the previous results of Bharadwaj et al.~and Gireesh et al., respectively.


title: Scalable Scheduling for Industrial Time-Sensitive Networking: A Hyper-flow Graph Based Scheme

abstract: Industrial Time-Sensitive Networking (TSN) provides deterministic mechanisms for real-time and reliable flow transmission. Increasing attention has been paid to efficient scheduling for time-sensitive flows with stringent requirements such as ultra-low latency and jitter. In TSN, the fine-grained traffic shaping protocol, cyclic queuing and forwarding (CQF), eliminates uncertain delay and frame loss by cyclic traffic forwarding and queuing. However, it inevitably causes high scheduling complexity. Moreover, complexity is quite sensitive to flow attributes and network scale. The problem stems in part from the lack of an attribute mining mechanism in existing frame-based scheduling. For time-critical industrial networks with large-scale complex flows, a so-called hyper-flow graph based scheduling scheme is proposed to improve the scheduling scalability in terms of schedulability, scheduling efficiency and latency & jitter. The hyper-flow graph is built by aggregating similar flow sets as hyper-flow nodes and designing a hierarchical scheduling framework. The flow attribute-sensitive scheduling information is embedded into the condensed maximal cliques, and reverse maps them precisely to congestion flow portions for re-scheduling. Its parallel scheduling reduces network scale induced complexity. Further, this scheme is designed in its entirety as a comprehensive scheduling algorithm GH^2. It improves the three criteria of scalability along a Pareto front. Extensive simulation studies demonstrate its superiority. Notably, GH^2 is verified its scheduling stability with a runtime of less than 100 ms for 1000 flows and near 1/430 of the SOTA FITS method for 2000 flows.


title: Spin-flavor precession of Dirac neutrinos in dense matter and its potential in core-collapse supernovae

abstract: We calculate the spin-flavor precession (SFP) of Dirac neutrinos induced by strong magnetic fields and finite neutrino magnetic moments in dense matter. As found in the case of Majorana neutrinos, the SFP of Dirac neutrinos is enhanced by the large magnetic field potential and suppressed by large matter potentials composed of the baryon density and the electron fraction. The SFP is possible irrespective of the large baryon density when the electron fraction is close to 1/3. The diagonal neutrino magnetic moments that are prohibited for Majorana neutrinos enable the spin precession of Dirac neutrinos without any flavor mixing. With supernova hydrodynamics simulation data, we discuss the possibility of the SFP of both Dirac and Majorana neutrinos in core-collapse supernovae. The SFP of Dirac neutrinos occurs at a radius where the electron fraction is 1/3. The required magnetic field of the proto-neutron star for the SFP is a few $10^{14}$G at any explosion time. For the Majorana neutrinos, the required magnetic field fluctuates from $10^{13}$G to $10^{15}$G. Such a fluctuation of the magnetic field is more sensitive to the numerical scheme of the neutrino transport in the supernova simulation.


title: Tackling the Non-IID Issue in Heterogeneous Federated Learning by Gradient Harmonization

abstract: Federated learning (FL) is a privacy-preserving paradigm for collaboratively training a global model from decentralized clients. However, the performance of FL is hindered by non-independent and identically distributed (non-IID) data and device heterogeneity. In this work, we revisit this key challenge through the lens of gradient conflicts on the server side. Specifically, we first investigate the gradient conflict phenomenon among multiple clients and reveal that stronger heterogeneity leads to more severe gradient conflicts. To tackle this issue, we propose FedGH, a simple yet effective method that mitigates local drifts through Gradient Harmonization. This technique projects one gradient vector onto the orthogonal plane of the other within conflicting client pairs. Extensive experiments demonstrate that FedGH consistently enhances multiple state-of-the-art FL baselines across diverse benchmarks and non-IID scenarios. Notably, FedGH yields more significant improvements in scenarios with stronger heterogeneity. As a plug-and-play module, FedGH can be seamlessly integrated into any FL framework without requiring hyperparameter tuning.


title: Stochastic Learning of Semiparametric Monotone Index Models with Large Sample Size

abstract: I study the estimation of semiparametric monotone index models in the scenario where the number of observation points $n$ is extremely large and conventional approaches fail to work due to heavy computational burdens. Motivated by the mini-batch gradient descent algorithm (MBGD) that is widely used as a stochastic optimization tool in the machine learning field, I proposes a novel subsample- and iteration-based estimation procedure. In particular, starting from any initial guess of the true parameter, I progressively update the parameter using a sequence of subsamples randomly drawn from the data set whose sample size is much smaller than $n$. The update is based on the gradient of some well-chosen loss function, where the nonparametric component is replaced with its Nadaraya-Watson kernel estimator based on subsamples. My proposed algorithm essentially generalizes MBGD algorithm to the semiparametric setup. Compared with full-sample-based method, the new method reduces the computational time by roughly $n$ times if the subsample size and the kernel function are chosen properly, so can be easily applied when the sample size $n$ is large. Moreover, I show that if I further conduct averages across the estimators produced during iterations, the difference between the average estimator and full-sample-based estimator will be $1/\sqrt{n}$-trivial. Consequently, the average estimator is $1/\sqrt{n}$-consistent and asymptotically normally distributed. In other words, the new estimator substantially improves the computational speed, while at the same time maintains the estimation accuracy.


title: Detecting extreme-mass-ratio inspirals for space-borne detectors with deep learning

abstract: One of the primary objectives for space-borne gravitational wave detectors is the detection of extreme-mass-ratio inspirals (EMRIs). This undertaking poses a substantial challenge because of the complex and long EMRI signals, further complicated by their inherently faint signal. In this research, we introduce a 2-layer Convolutional Neural Network (CNN) approach to detect EMRI signals for space-borne detectors. Our method employs the Q-transform for data preprocessing, effectively preserving EMRI signal characteristics while minimizing data size. By harnessing the robust capabilities of CNNs, we can reliably distinguish EMRI signals from noise, particularly when the signal-to-noise~(SNR) ratio reaches 50, a benchmark considered a ``golden'' EMRI. At the meantime, we incorporate time-delay interferometry (TDI) to ensure practical utility. We assess our model's performance using a 0.5-year dataset, achieving a true positive rate~(TPR) of 94.2\% at a 1\% false positive rate~(FPR) across various signal-to-noise ratio form 50-100, with 91\% TPR and 1\% FPR at an SNR of 50. This study underscores the promise of incorporating deep learning methods to advance EMRI data analysis, potentially leading to rapid EMRI signal detection.


title: Algorithm based linearly graded compositions of GeSn on GaAs (001) via molecular beam epitaxy

abstract: The growth of high-composition GeSn films of the future will likely be guided via algorithms. In this study we show how a logarithmic-based algorithm can be used to obtain high-quality GeSn compositions up to 16 % on GaAs (001) substrates via molecular beam epitaxy. Within we demonstrate composition targeting and logarithmic gradients to achieve linearly graded pseudomorph Ge1-xSnx compositions up to 10 % before partial relaxation of the structure and a continued gradient to 16 % GeSn. Using algorithmic-based control and calibration, the ability to consistently and easily grow GeSn compositions above 20 % will likely become very possible. In this report, we use X-ray diffraction, simulation and atomic force microscopy to analyze and demonstrate some of the possible growths that can be produced with the enclosed algorithm. This methodology of growth is a major step forward in the field of GeSn development and the first demonstration of algorithmically driven linearly graded high-quality GeSn films in the world.


title: Fault-Tolerant Spanners against Bounded-Degree Edge Failures: Linearly More Faults, Almost For Free

abstract: We study a new and stronger notion of fault-tolerant graph structures whose size bounds depend on the degree of the failing edge set, rather than the total number of faults. For a subset of faulty edges $F \subseteq G$, the faulty-degree $\deg(F)$ is the largest number of faults in $F$ incident to any given vertex. We design new fault-tolerant structures with size comparable to previous constructions, but which tolerate every fault set of small faulty-degree $\deg(F)$, rather than only fault sets of small size $|F|$. Our main results are: - New FT-Certificates: For every $n$-vertex graph $G$ and degree threshold $f$, one can compute a connectivity certificate $H \subseteq G$ with $|E(H)| = \widetilde{O}(fn)$ edges that has the following guarantee: for any edge set $F$ with faulty-degree $\deg(F)\leq f$ and every vertex pair $u,v$, it holds that $u$ and $v$ are connected in $H \setminus F$ iff they are connected in $G \setminus F$. This bound on $|E(H)|$ is nearly tight. Since our certificates handle some fault sets of size up to $|F|=O(fn)$, prior work did not imply any nontrivial upper bound for this problem, even when $f=1$. - New FT-Spanners: We show that every $n$-vertex graph $G$ admits a $(2k-1)$-spanner $H$ with $|E(H)| = O_k(f^{1-1/k} n^{1+1/k})$ edges, which tolerates any fault set $F$ of faulty-degree at most $f$. This bound on $|E(H)|$ optimal up to its hidden dependence on $k$, and it is close to the bound of $O_k(|F|^{1/2} n^{1+1/k} + |F|n)$ that is known for the case where the total number of faults is $|F|$ [Bodwin, Dinitz, Robelle SODA '22]. Our proof of this theorem is non-constructive, but by following a proof strategy of Dinitz and Robelle [PODC '20], we show that the runtime can be made polynomial by paying an additional $\text{polylog } n$ factor in spanner size.


title: Designing Voice Interfaces to Support Mindfulness-Based Pain Management

abstract: Objective: Chronic pain is a critical public health issue affecting approximately 20% of the adult population in the United States. Given the opioid crisis, there has been an urgent focus on non-addictive pain management methods including Mindfulness-Based Stress Reduction (MBSR). Prior work has successfully used MBSR for pain management. However, ensuring longitudinal engagement to MBSR practices remains a serious challenge. In this work, we explore the utility of a voice interface to support MBSR home practice. Methods: We interviewed ten mindfulness program facilitators to understand how such a technology might fit in the context of the MBSR class and identify potential usability issues with our prototype. We then used directed content analysis to identify key themes and sub-themes within the interview data. Results: Our findings show that facilitators supported the use of the voice interface for MBSR, particularly for individuals with limited motor function. Facilitators also highlighted unique affordances of voice interfaces, including perceived social presence, to support sustained engagement. Conclusion: We demonstrate the acceptability of a voice interface to support home practice for MBSR participants among trained mindfulness facilitators. Based on our findings, we outline design recommendations for technologies aiming to provide longitudinal support for mindfulness-based interventions. Future work should further these efforts towards making non-addictive pain management interventions accessible and efficacious for a wide audience of users.


title: Benchmarking Procedural Language Understanding for Low-Resource Languages: A Case Study on Turkish

abstract: Understanding procedural natural language (e.g., step-by-step instructions) is a crucial step to execution and planning. However, while there are ample corpora and downstream tasks available in English, the field lacks such resources for most languages. To address this gap, we conduct a case study on Turkish procedural texts. We first expand the number of tutorials in Turkish wikiHow from 2,000 to 52,000 using automated translation tools, where the translation quality and loyalty to the original meaning are validated by a team of experts on a random set. Then, we generate several downstream tasks on the corpus, such as linking actions, goal inference, and summarization. To tackle these tasks, we implement strong baseline models via fine-tuning large language-specific models such as TR-BART and BERTurk, as well as multilingual models such as mBART, mT5, and XLM. We find that language-specific models consistently outperform their multilingual models by a significant margin across most procedural language understanding (PLU) tasks. We release our corpus, downstream tasks and the baseline models with https://github.com/ GGLAB-KU/turkish-plu.


title: Face relative interior of convex sets in topological vector spaces

abstract: A new notion of face relative interior for convex sets in topological real vector spaces is introduced in this work. Face relative interior is grounded in the facial structure, and may capture the geometry of convex sets in topological vector spaces better than other generalisations of relative interior. We show that the face relative interior partitions convex sets into face relative interiors of their closure-equivalent faces (different to the partition generated by intrinsic cores), establish the conditions for nonemptiness of this new notion, compare the face relative interior with other concepts of convex interior and prove basic calculus rules.


title: Existence of weak solutions to borderline double-phase problems with logarithmic convection term

abstract: In this study, we devote our attention to the question of clarifying the existence of a weak solution to a class of quasilinear double-phase elliptic equations with logarithmic convection terms under some appropriate assumptions on data. The proof is based on the surjectivity theorem for the pseudo-monotone operators and modular function spaces and embedding theorems in generalized Orlicz spaces. Our approach in this paper can be extended naturally to a larger class of unbalanced double-phase problems with logarithmic perturbation and gradient dependence on the right-hand sides.


title: Transparent Object Tracking with Enhanced Fusion Module

abstract: Accurate tracking of transparent objects, such as glasses, plays a critical role in many robotic tasks such as robot-assisted living. Due to the adaptive and often reflective texture of such objects, traditional tracking algorithms that rely on general-purpose learned features suffer from reduced performance. Recent research has proposed to instill transparency awareness into existing general object trackers by fusing purpose-built features. However, with the existing fusion techniques, the addition of new features causes a change in the latent space making it impossible to incorporate transparency awareness on trackers with fixed latent spaces. For example, many of the current days transformer-based trackers are fully pre-trained and are sensitive to any latent space perturbations. In this paper, we present a new feature fusion technique that integrates transparency information into a fixed feature space, enabling its use in a broader range of trackers. Our proposed fusion module, composed of a transformer encoder and an MLP module, leverages key query-based transformations to embed the transparency information into the tracking pipeline. We also present a new two-step training strategy for our fusion module to effectively merge transparency features. We propose a new tracker architecture that uses our fusion techniques to achieve superior results for transparent object tracking. Our proposed method achieves competitive results with state-of-the-art trackers on TOTB, which is the largest transparent object tracking benchmark recently released. Our results and the implementation of code will be made publicly available at https://github.com/kalyan0510/TOTEM.


title: Functional Encryption in the Bounded Storage Models

abstract: Functional encryption is a powerful paradigm for public-key encryption that allows for controlled access to encrypted data. Achieving the ideal simulation based security for this primitive is generally impossible in the plain model, so we investigate possibilities in the bounded quantum storage model (BQSM) and the bounded classical storage model (BCSM), where adversaries are limited with respect to their quantum and classical memories, respectively. The impossibility results on functional encryption do not apply to these settings which allows us to obtain positive outcomes. Firstly, in the BQSM, we construct non-interactive functional encryption satisfying information-theoretic simulation based security with ${q}=O(\sqrt{{s}/{r}})$. Here ${r}$ denotes the number of times that an adversary is restricted to ${s}$--qubits of quantum memory in the protocol and ${q}$ denotes the required quantum memory to run the protocol honestly. We then show that our scheme is optimal by proving that it is impossible to attain information-theoretically security with ${q} < \sqrt{{s}/{r}}$. However, by assuming the existence of one-way functions, we achieve (interactive) functional encryption with ${q}=0$ and ${r}=1$. Secondly, in the BCSM, we construct non-interactive functional encryption satisfying information-theoretic subexponential simulation based security assuming the existence of subexponential grey-box obfuscation. We then demonstrate that this assumption is minimal by constructing subexponential grey-box obfuscation from non-interactive functional encryption. We also consider the computational setting, obtaining (interactive) functional encryption satisfying simulation based security assuming grey-box obfuscation and one-way functions.


title: VLSlice: Interactive Vision-and-Language Slice Discovery

abstract: Recent work in vision-and-language demonstrates that large-scale pretraining can learn generalizable models that are efficiently transferable to downstream tasks. While this may improve dataset-scale aggregate metrics, analyzing performance around hand-crafted subgroups targeting specific bias dimensions reveals systemic undesirable behaviors. However, this subgroup analysis is frequently stalled by annotation efforts, which require extensive time and resources to collect the necessary data. Prior art attempts to automatically discover subgroups to circumvent these constraints but typically leverages model behavior on existing task-specific annotations and rapidly degrades on more complex inputs beyond "tabular" data, none of which study vision-and-language models. This paper presents VLSlice, an interactive system enabling user-guided discovery of coherent representation-level subgroups with consistent visiolinguistic behavior, denoted as vision-and-language slices, from unlabeled image sets. We show that VLSlice enables users to quickly generate diverse high-coherency slices in a user study (n=22) and release the tool publicly.


title: A non-Archimedean Arens--Eells isometric embedding theorem on valued fields

abstract: In 1959, Arens and Eells proved that every metric space can be isometrically embedded into a real linear space as a closed subset. In later years, Michael pointed out that every metric space can be isometrically embedded into a real linear space as a linear independent subset and provided a short proof of Arens--Eells theorem as an application. In this paper, we prove a non-Archimedean analogue of the Arens--Eells isometric embedding theorem, which states that for every non-Archimedean valued field $K$, every ultrametric space can be isometrically embedded into a non-Archimedean valued field that is a valued field extension of $K$ such that the image of the embedding is algebraically independent over $K$. Using Levi-Civita fields, we also show that every Urysohn universal ultrametric sapce has a valued field structure.


title: Distributed Learning Dynamics for Coalitional Games

abstract: In the framework of transferable utility coalitional games, a scoring (characteristic) function determines the value of any subset/coalition of agents. Agents decide on both which coalitions to form and the allocations of the values of the formed coalitions among their members. An important concept in coalitional games is that of a core solution, which is a partitioning of agents into coalitions and an associated allocation to each agent under which no group of agents can get a higher allocation by forming an alternative coalition. We present distributed learning dynamics for coalitional games that converge to a core solution whenever one exists. In these dynamics, an agent maintains a state consisting of (i) an aspiration level for its allocation and (ii) the coalition, if any, to which it belongs. In each stage, a randomly activated agent proposes to form a new coalition and changes its aspiration based on the success or failure of its proposal. The coalition membership structure is changed, accordingly, whenever the proposal succeeds. Required communications are that: (i) agents in the proposed new coalition need to reveal their current aspirations to the proposing agent, and (ii) agents are informed if they are joining the proposed coalition or if their existing coalition is broken. The proposing agent computes the feasibility of forming the coalition. We show that the dynamics hit an absorbing state whenever a core solution is reached. We further illustrate the distributed learning dynamics on a multi-agent task allocation setting.


title: Simultaneous Machine Translation with Large Language Models

abstract: Real-world simultaneous machine translation (SimulMT) systems face more challenges than just the quality-latency trade-off. They also need to address issues related to robustness with noisy input, processing long contexts, and flexibility for knowledge injection. These challenges demand models with strong language understanding and generation capabilities which may not often equipped by dedicated MT models. In this paper, we investigate the possibility of applying Large Language Models (LLM) to SimulMT tasks by using existing incremental-decoding methods with a newly proposed RALCP algorithm for latency reduction. We conducted experiments using the \texttt{Llama2-7b-chat} model on nine different languages from the MUST-C dataset. The results show that LLM outperforms dedicated MT models in terms of BLEU and LAAL metrics. Further analysis indicates that LLM has advantages in terms of tuning efficiency and robustness. However, it is important to note that the computational cost of LLM remains a significant obstacle to its application in SimulMT.\footnote{We will release our code, weights, and data with publication.}


title: An active inference model of Lacanian psychoanalysis

abstract: There has been a growing interest in exploring behavior, brain, and mind through the lens of complex systems theory. However, a unified and computational model that comprehensively encapsulates the properties of the human mind remains elusive. To address this gap, we propose a recurrent generative model drawing upon with Lacanian psychoanalysis and active inference. We conceptualize mechanism of desire as partial generalized synchronization, and then apply the model to suicidal dynamics to illustrate the theoretical and practical implications of our model. This work on computational psychoanalysis reveals its potential in unraveling complex mental phenomena.


title: Predicting Fatigue Crack Growth via Path Slicing and Re-Weighting

abstract: Predicting potential risks associated with the fatigue of key structural components is crucial in engineering design. However, fatigue often involves entangled complexities of material microstructures and service conditions, making diagnosis and prognosis of fatigue damage challenging. We report a statistical learning framework to predict the growth of fatigue cracks and the life-to-failure of the components under loading conditions with uncertainties. Digital libraries of fatigue crack patterns and the remaining life are constructed by high-fidelity physical simulations. Dimensionality reduction and neural network architectures are then used to learn the history dependence and nonlinearity of fatigue crack growth. Path-slicing and re-weighting techniques are introduced to handle the statistical noises and rare events. The predicted fatigue crack patterns are self-updated and self-corrected by the evolving crack patterns. The end-to-end approach is validated by representative examples with fatigue cracks in plates, which showcase the digital-twin scenario in real-time structural health monitoring and fatigue life prediction for maintenance management decision-making.


title: Development of helium turbine loss model based on knowledge transfer with Neural Network and its application on aerodynamic design

abstract: Helium turbines are widely used in the Closed Brayton Cycle for power generation and aerospace applications. The primary concerns of designing highly loaded helium turbines include choosing between conventional and contra-rotating designs and the guidelines for selecting design parameters. A loss model serving as an evaluation means is the key to addressing this issue. Due to the property disparities between helium and air, turbines utilizing either as working fluid experience distinct loss mechanisms. Consequently, directly applying gas turbine experience to the design of helium turbines leads to inherent inaccuracies. A helium turbine loss model is developed by combining knowledge transfer and the Neural Network method to accurately predict performance at design and off-design points. By utilizing the loss model, design parameter selection guidelines for helium turbines are obtained. A comparative analysis is conducted of conventional and contra-rotating helium turbine designs. Results show that the prediction errors of the loss model are below 0.5% at over 90% of test samples, surpassing the accuracy achieved by the gas turbine loss model. Design parameter selection guidelines for helium turbines differ significantly from those based on gas turbine experience. The contra-rotating helium turbine design exhibits advantages in size, weight, and aerodynamic performance.


title: Crystal structure prediction using neural network potential and age-fitness Pareto genetic algorithm

abstract: While crystal structure prediction (CSP) remains a longstanding challenge, we introduce ParetoCSP, a novel algorithm for CSP, which combines a multi-objective genetic algorithm (MOGA) with a neural network inter-atomic potential (IAP) model to find energetically optimal crystal structures given chemical compositions. We enhance the NSGA-III algorithm by incorporating the genotypic age as an independent optimization criterion and employ the M3GNet universal IAP to guide the GA search. Compared to GN-OA, a state-of-the-art neural potential based CSP algorithm, ParetoCSP demonstrated significantly better predictive capabilities, outperforming by a factor of $2.562$ across $55$ diverse benchmark structures, as evaluated by seven performance metrics. Trajectory analysis of the traversed structures of all algorithms shows that ParetoCSP generated more valid structures than other algorithms, which helped guide the GA to search more effectively for the optimal structures


title: Epps Effect and the Signature of Short-Term Momentum Traders

abstract: It is a well-documented fact that the correlation function of the returns on two "related" assets is generally increasing as a function of the horizon $h$ of these returns. This phenomenon, termed the Epps Effect, holds true in a wide variety of markets, and there is a large body of literature devoted to its theoretical justification. Our focus here is to describe and understand a deviation to the Epps effect, observed in the context of the foreign exchange and cryptocurrency markets. Specifically, we document a sharp local maximum of the cross-correlation function of returns on the Euro EUR/USD and Bitcoin BTC/USD pairs as a function of $h$. Our claim is that this anomaly reveals the activity of short-term momentum traders.


title: Probing the state of hydrogen in $\delta$-AlOOH at mantle conditions with machine learning potential

abstract: Hydrous and nominally anhydrous minerals (NAMs) are a fundamental class of solids of enormous significance to geophysics. They are the water carriers in the deep geological water cycle and impact structural, elastic, plastic, and thermodynamic properties and phase relations in Earth's forming aggregates (rocks). They play a critical role in the geochemical and geophysical processes that shape the planet. Their complexity has prevented predictive calculations of their properties, but progress in materials simulations ushered by machine learning potentials is transforming this state of affairs. Here, we adopt a hybrid approach that combines deep learning potentials (DP) with the SCAN meta-GGA functional to simulate a prototypical hydrous system. We illustrate the success of this approach to simulate $\delta$-AlOOH ($\delta$), a phase capable of transporting water down to near the core-mantle boundary of the Earth (~2,900 km depth and ~135 GPa) in subducting slabs. A high-throughput sampling of phase space using molecular dynamics simulations with DP-potentials sheds light on the hydrogen-bond behavior and proton diffusion at geophysical conditions. These simulations provide a pathway for a deeper understanding of these crucial components that shape Earth's internal state.


title: Experimental demonstration of enhanced violations of Leggett-Garg inequalities in a $\mathcal{PT}$-symmetric trapped-ion qubit

abstract: The Leggett-Garg inequality (LGI) places a bound for the distinction between quantum systems and classical systems. Despite that the tests of temporal quantum correlations on LGIs have been studied in Hermitian realm, there are still unknowns for LGIs in non-Hermitian conditions due to the interplay between dissipation and coherence. For example, a theoretical hypothesis to be experimentally validated, suggests that within non-Hermitian systems, the non-unitary evolution of the system dynamics allows the boundaries of the LGIs to surpass the constraints imposed by traditional quantum mechanics. Here, we demonstrate the experimental violation of LGIs in a parity-time ($\mathcal{PT}$)-symmetric trapped-ion qubit system by measuring the temporal correlation of the evolving states at different times. We find that the upper bounds of the three-time parameter $K_3$ and the four-time parameter $K_4$ show enhanced violations with the increasing dissipation, and can reach the upper limit by infinitely approaching exceptional point. We also observe the distinct behavior of the lower bounds for $K_3$ and $K_4$. While the lower bound for $K_3$ remains constant, the case for $K_4$ shows an upward trend with increasing dissipation. These results reveal a pronounced dependence of the system's temporal quantum correlations on its dissipation to the environment. This opens up a potential pathway for harnessing dissipation to modulate quantum correlations and entanglement.


title: MPI-Flow: Learning Realistic Optical Flow with Multiplane Images

abstract: The accuracy of learning-based optical flow estimation models heavily relies on the realism of the training datasets. Current approaches for generating such datasets either employ synthetic data or generate images with limited realism. However, the domain gap of these data with real-world scenes constrains the generalization of the trained model to real-world applications. To address this issue, we investigate generating realistic optical flow datasets from real-world images. Firstly, to generate highly realistic new images, we construct a layered depth representation, known as multiplane images (MPI), from single-view images. This allows us to generate novel view images that are highly realistic. To generate optical flow maps that correspond accurately to the new image, we calculate the optical flows of each plane using the camera matrix and plane depths. We then project these layered optical flows into the output optical flow map with volume rendering. Secondly, to ensure the realism of motion, we present an independent object motion module that can separate the camera and dynamic object motion in MPI. This module addresses the deficiency in MPI-based single-view methods, where optical flow is generated only by camera motion and does not account for any object movement. We additionally devise a depth-aware inpainting module to merge new images with dynamic objects and address unnatural motion occlusions. We show the superior performance of our method through extensive experiments on real-world datasets. Moreover, our approach achieves state-of-the-art performance in both unsupervised and supervised training of learning-based models. The code will be made publicly available at: \url{https://github.com/Sharpiless/MPI-Flow}.